A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints

@inproceedings{Kim2002AFM,
  title={A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints},
  author={Soon-Kyeong Kim and David A. Carrington},
  booktitle={ZB},
  year={2002}
}
This paper presents a formal Object-Z model of the UML State Machine. We encapsulate the abstract syntax and the static and dynamic semantics for each individual model construct as a single Object-Z class. To formalize the dynamic semantics, a denotational semantics of the construct is given first ignoring detailed operational sequences. Based on this denotational semantics, an operational (execution) semantics is then defined in terms of (Object-Z) class operations and invariants constraining… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 14 CITATIONS

A formal object-oriented approach to defining consistency constraints for UML models

  • 2004 Australian Software Engineering Conference. Proceedings.
  • 2004
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A Graph-Based Approach for Containment Checking of Behavior Models of Software Systems

  • 2015 IEEE 19th International Enterprise Distributed Object Computing Conference
  • 2015

Similar Papers

Loading similar papers…