A formal mapping between UML models and object-Z specifications

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

Volumn 1878, Issue , 2000, Pages 2-21

  Kim, Soon Kyeong ^a   Carrington, David ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

MAPPING; SEMANTICS; UNIFIED MODELING LANGUAGE;

CORE MODEL; DESCRIPTIVE SEMANTICS; FORMAL DESCRIPTION; FORMAL MAPPING; FORMAL SEMANTICS; META LEVELS; OBJECT-Z SPECIFICATION; REASONING TECHNIQUES;

FORMAL SPECIFICATION;

EID: 84937405432     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44525-0_2     Document Type: Conference Paper

References (13)

1. J. S. Dong and R. Duke. The Geometry of Object Containment, Object-Oriented Systems, vol. 2(1), pp. 41-63, Chapman & Hall, 1995.
2. R. Duke, G. Rose, and G. Smith. Object-Z: A specification language advocated for the description of standards, Computer standards & Interfaces, vol. 17, pp. 511-533, 1995.
3. S. Dupuy, Y. Ledru, and M Chabre-Peccoud, Integrating OMT and Object-Z, Proceedings of BCS FACS/EROS ROOM Workshop, 1997.
4. A. Evans and S. Kent, Core Meta-Modeling Semantics of UML: The pUML Approach, Proc 2nd IEEE conference on UML: UML’99, LNCS, No 1723, pp. 140-155, 1999.
5. R. B. France, A. Evans, K. Lano, and B. Rumpe, Developing the UML as a Formal Modeling Notation, Computer Standards and Interfaces, No 19, pp. 325-334, 1998.
6. R. B. France, J.-M. Bruel, M. M. Larrondo-Petrie, and M. Shroff. Exploring the Semantics of UML type structures with Z, Proc. 2nd IFIP conference, Formal Methods for Open Object-Based Distributed Systems(FMOODS’97), pp. 247-260, Chapman and Hall, 1997.
7. A. Griffiths, A formal semantics to support modular reasoning in Object-Z, PhD Thesis, The University of Queensland, Australia, 1998.
8. S-K. Kim and D. Carrington, Formalizing the UML class diagram using Object-Z, Proc 2nd IEEE conference on UML: UML'99, LNCS, No 1723, pp. 83-98, 1999.
9. Object Management Group, OMG Unified Modeling Language Specification, version 1.3, 1999, http://www.omg.org
10. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-oriented modeling and design, Prentice-Hall, 1991.
11. G. Smith, Extending W for Object-Z, ZUM’95: The Z Formal Specification Notation, pp. 276-295, Springer, 1995.
12. G. Smith. The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, 2000.
13. J. M. Spivey. The Z Notation: A Reference Manual, Prentice Hall, 2nd edition, 1992.