Formalizing the UML class diagram using object-Z

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

Volumn 1723, Issue , 1999, Pages 83-98

  Kim, Soon Kyeong ^a   Carrington, David ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ENCODING (SYMBOLS); SEMANTICS; SYNTACTICS;

CLASS DIAGRAMS; FORMAL DESCRIPTION; MODELING TECHNIQUE; PRECISE MODELING; RIGOROUS ANALYSIS; SOFTWARE MODEL; SYNTACTIC STRUCTURE; UML CLASS DIAGRAMS;

UNIFIED MODELING LANGUAGE;

EID: 84947712992     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46852-8_7     Document Type: Conference Paper

References (16)

1. J. Araujo, Metamorphosis: An Integrated Object-Oriented Requirements Analysis and Specification Method. PhD thesis Lancaster University 1996, ftp://ftp.comp.lancs.ac.uk /pub/reports/ThesisJA.ps.Z
2. G. Booch, Object-oriented analysis and design with applications, Benjamin/Cummings, 1994.
3. J. S. Dong and R. Duke. The Geometry of Object Containment, Object-Oriented Systems, vol. 2(1), pp. 41-63, Chapman & Hall, 1995.
4. 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.
5. S. Dupuy, Y. Ledru, and M Chabre-Peccoud, Integrating OMT and Object-Z, Proceedings of BCS FACS/EROS ROOM Workshop, technical report GR/K67311-2, Department of Computing, Imperial College, London, UK, 1997.
6. A.S. Evans. Reasoning with the UML, Proc. Workshop on Industrial-Strength Formal Specification Techniques (WIFT'98), IEEE Press, 1998.
7. A. S. Evans and A.N.Clark. Foundations of the unified modeling language. In 2nd Northern Formal Methods Workshop, Ilkley, electronic Workshops in Computing,. Springer-Verlag, 1997.
8. 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.
9. 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, London, 1997.
10. K. Lano, Formal Object-Oriented Development, Springer 1995.
11. K. Lano and J. Bicarregui. Formalizing the UML in Structured Temporal Theories, Proc. second ECOOP Workshop on Precise Behavioral Semantics, pp. 105-121, Springer-Verlag, 1998.
12. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-oriented modeling and design, Prentice-Hall, 1991.
13. G. Smith, Extending W for Object-Z, ZUM'95: The Z Formal Specification Notation, pp. 276-295, Springer, 1995.
14. J. M. Spivey. The Z Notation: A Reference Manual, Prentice Hall, 2nd edition, 1992.
15. The UML group, UML Notation Guide, Version 1.1, Rational Software Corporation, Santa Clara, CA-95051, USA, January, 1997, http://www.rational.com.
16. The UML group, UML Semantics, Version 1.1, Rational Software Corporation, Santa Clara, CA-95051, USA, January, 1997, http://www.rational.com.