Validating Inter-Object Interaction in Object-Oriented Designs
conference contributionposted on 2023-05-26, 10:07 authored by Malhotra, V, Stanton, SC
Object classes are the building blocks for object-oriented software. The design methodologies have focused on methods, tools and representations to build classes taking advantages of inheritance and encapsulation properties. The guiding principle being that if all classes are correctly constructed a system consisting of objects in these classes will be correct. Efforts to include object constraints in the object-oriented programs have not attained the role commensurate with the role invariants play in the traditional imperative programs in understanding the programs and in establishing the correctness properties. The paper describes use of a model checker to establish correctness of an object-oriented design.
PublisherACTA Press, ANAHEIM | CALGARY | ZURICH
Event title4th IASTED International Conference on Modelling, Simulation and Optimization
Event VenueKauai, Hawaii, USA
Date of Event (Start Date)2004-08-17
Date of Event (End Date)2004-08-19