Please Note:

The Open Access Repository has moved to a new authentication system as of the 1st of November.

Account holders will now be able to login using their University of Tasmania credentials.
If you have trouble logging in please email us on so we can assist you.

Public users can still access the records in this repository as normal

Open Access Repository

Validating Inter-Object Interaction in Object-Oriented Designs


Downloads per month over past year

Malhotra, V and Stanton, SC (2004) Validating Inter-Object Interaction in Object-Oriented Designs. In: 4th IASTED International Conference on Modelling, Simulation and Optimization, 17-19 August 2004, Kauai, Hawaii, USA.

429-101.pdf | Download (474kB)
Available under University of Tasmania Standard License.

| Preview


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.

Item Type: Conference or Workshop Item (Paper)
Keywords: Finite state process, Object-oriented design, Invariants, Object constraints, Model-checking.
Page Range: pp. 241-246
Date Deposited: 24 Aug 2004
Last Modified: 18 Nov 2014 03:10
Item Statistics: View statistics for this item

Actions (login required)

Item Control Page Item Control Page