Formalizing UML models with object-Z

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

Volumn 2495, Issue , 2002, Pages 523-534

  Miao, Huaikou ^a   Liu, Ling ^a   Li, Li ^a  

^a SHANGHAI UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; OBJECT ORIENTED PROGRAMMING; SEMANTICS; UNIFIED MODELING LANGUAGE;

DESIGN PROCESS; GRAPHICAL NOTATION; OBJECT ORIENTED DESIGN; OBJECT Z; SOFTWARE ANALYSIS; STATE CHART DIAGRAMS; UML MODEL;

FORMAL METHODS;

EID: 84948946411     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36103-0_53     Document Type: Conference Paper

References (12)

1. [1] Object Management Group, OMG Unified Modeling Language Specification, Version 1.3, June 1999, http://www.rational.com.
2. [2] 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.
3. [3] M. Bickford and D. Guaspari, Odyssey Research Associates Report No. 10, 1998.
4. [4] A. Hamie, “A Formal Semantics for Checking and Analysing UML Models”, in Proceedings of the OOPSLA’98 Workshop on Formalizing UML. Why? How?, edited by L. Andrade, A. Moreira, A. Deshpande, and S. Kent, 1998.
5. [5] A. Hamie, J. Howse, and S. Kent, “Interpreting the Object Constraint Language”, in Proceedings of Asia Pacific Conference in Software Engineering, IEEE Press, 1998.
6. nd Workshop on Rigorous Object-Oriented Methods, ROOM 2, University of Bradford, 1998.
7. [7] M. Gogolla and M. Richters, “Equivalence Rules for UML Class Diagrams”, in The Unified Modeling Language, UML’98 – Beyond the Notation. First International Workshop, Mulhouse, France, Jun 1998, edited by J. Bézivin and P. – A. Muller, LNCS Vol. 1618, pp. 87-96. Springer, 1998.
8. nd BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23-24 September 1997, 1997.
9. [9] A. Evans, “Reasoning with the Unified Modeling Language”, in Proc. Workshop on Industrial- Strength Formal Specification Techniques (WIFT’98), 1998.
10. [10] 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.
11. [11] S-K. Kim and D. Carrington,, An Integrated Framework with UML and Object-Z for Developing a Precise and Understandable Specification: The Light Control Case Study, In Seventh Asia-Pacific Software Engineering Conference, pages 240-248, December 2000. IEEE Computer Society. Los Alamitos, California.
12. [12] R. Duke, G. Rose and G. Smith, Object-Z: a Specification Language Advocated for the Description of Standards. Technique Report No. 94-45, December 1994.