Metamodelling and conformance checking with PVS

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2029, Issue , 2001, Pages 2-16

  Paige, Richard F ^a   Ostroff, Jonathan S ^a  

^a YORK UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

MODELING LANGUAGES; OBJECT ORIENTED PROGRAMMING; PROGRAM DEBUGGING; SPECIFICATION LANGUAGES; SPECIFICATIONS;

CONFORMANCE CHECKING; INDUSTRIAL STRENGTH; META MODEL; META-MODELLING; OBJECT ORIENTED MODELLING; PVS SPECIFICATION; PVS THEOREM;

SOFTWARE ENGINEERING;

EID: 21044442644     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45314-8_2     Document Type: Conference Paper

References (7)

1. B. Meyer. Object-Oriented Software Construction, Prentice-Hall, 1997.
2. OMG Unified Modelling Language Specification 1.3, OMG, June 1999.
3. S. Owre, N. Shankar, J. Rushby, and D. Stringer-Calvert. The PVS Language Reference Version 2.3, SRI International Technical Report, September 1999.
4. R. Paige and J. Ostroff. An Object-Oriented Refinement Calculus. Technical Report CS-1999- 07,York University, December 1999.
5. R. Paige and J. Ostroff. Precise and Formal Metamodelling with the Business Object Notation and PVS. Technical Report CS-2000-03,York University, August 2000.
6. M. Vaziri and D. Jackson. Some Shortcomings of OCL, the Object Constraint Language of UML. Technical Report, MIT Laboratory for Computer Science, December 1999.
7. K. Walden and J.-M. Nerson. Seamless Object-Oriented Software Development, Prentice- Hall, 1995.