MODEL CHECKING AN OBJECT-ORIENTED DESIGN - Validation Led Development of Software

Simon C Stanton, Vishv Malhotra

2004

Abstract

The object-oriented design methodologies have focused on methods, tools and representations to build classes taking advantage of inheritance and encapsulation properties. Modelling of the interaction among the objects often does not go beyond the method declarations stage until the programming phase. Efforts to include object constraints in the object-oriented design to embody the behavioural correctness have not reached the level assertions play in understanding the correctness of the traditional imperative programs. The paper describes use of a model checker to establish correctness of an object-oriented design.

References

  1. Dijkstra, E.W., 1976. A Discipline of Programming, Prentice-Hall. Englewood Cliffs, NJ.
  2. Lakos, C.A. & V.M. Malhotra, 2002. Validation Led Development of Software Specifications, International Journal of Modelling and Simulation, 22(1), 57-74.
  3. Magee, J. & J. Kramer, 1999. Concurrency: State Models & Java Programs, John Wiley & Sons, Chichester. England.
  4. Perry, W., 1995. Effective Methods for Software Testing, John Wiley & Sons, NY.
  5. Stanton, S.C., 2002. Validation and Verification of Software Design using Finite State Process (Honours thesis), School of Computing, University of Tasmania, Hobart, Australia.
  6. Warmer J. & A. Kleppe, 1999. The Object Constraint Language - Precise Modeling with UML, Addison Wesley Longman Inc., Reading,, Ma.
Download


Paper Citation


in Harvard Style

C Stanton S. and Malhotra V. (2004). MODEL CHECKING AN OBJECT-ORIENTED DESIGN - Validation Led Development of Software . In Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 972-8865-00-7, pages 605-608. DOI: 10.5220/0002600706050608


in Bibtex Style

@conference{iceis04,
author={Simon C Stanton and Vishv Malhotra},
title={MODEL CHECKING AN OBJECT-ORIENTED DESIGN - Validation Led Development of Software},
booktitle={Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2004},
pages={605-608},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002600706050608},
isbn={972-8865-00-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - MODEL CHECKING AN OBJECT-ORIENTED DESIGN - Validation Led Development of Software
SN - 972-8865-00-7
AU - C Stanton S.
AU - Malhotra V.
PY - 2004
SP - 605
EP - 608
DO - 10.5220/0002600706050608