From an abstract object-Z specification to UML diagram

Journal of Information and Computational Science

Volumn 1, Issue 2, 2004, Pages 319-324

  Chen, Yihai ^a   Miao, Huaikou ^a  

^a SHANGHAI UNIVERSITY   (China)

Author keywords

Object Z; UML diagram; Visualization

Indexed keywords

CLASSIFICATION (OF INFORMATION); COMMUNICATION; MATHEMATICAL TECHNIQUES; SCHEMATIC DIAGRAMS; SOFTWARE ENGINEERING; VISUALIZATION;

AGGREGATION RELATION; BIDIRECTIONAL ASSOCIATION; CLASS DIAGRAM; OBJECT Z; SOFTWARE SPECIFICATION; STATE DIAGRAM; TRANSFORMATION RULES; UNIFIED MODELING LANGUAGE (URL) DIAGRAM;

SPECIFICATIONS;

EID: 15944409984     PISSN: 15487741     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (12)

1. William Andreopoulos, Defining formal semantics for the unified modeling language, Technical report of University of Toronto, February 2000.
2. Grady Booch, James Rumbaugh and Ivar Jaccobson, The Unified Modeling Language User Guide, Addison Wesley Longman, Inc. American, 2002.
3. J. M. Bruel, Integrating formal and informal specification techniques. Why? How?, 2nd IEEE Workshop on Industrial-Strength Formal Specification Techniques, Boca Raton, Floria (USA), 1998.
4. Yihai Chen and Huaikou Miao, Integrating object-oriented methods and formal methods for requirement engineering, 7th International Young Computer Scientist Conference, (ICYCS 2003), Haerbin, China, 2003, pp. 249-253.
5. S. Dupuy, Y. Ledru and M. Chabre-Peccoud, An overview of RoZ - a tool for integrating UML and Z specifications, 12th Conference on Advanced information Systems Engineering (CAiSE'2000), 2000, pp. 417-430.
6. N. Wafula Evalynn and Paul A. Swatman, Foom: a diagrammatic illustration of Object-Z specifications, Object Oriented Systems 3 (1996) 215-242.
7. Anthony Hall and Roderick Chapman, Correctness by construction: Building a commercial secure system, IEEE Software Jan/Feb (2002) 18-25.
8. A. Hammad, B. Tatibouet, J. C. Voisinet and Wu Weiping, From a B specification to UML statechart diagrams, 4th International Conference on Formal Engineering Methods (ICFEM'2002), LNCS 2495, Shanghai, China, October 21-25, 2002, pp. 511-522.
9. S. Kim and D. Carrington, Formalizing the UML class diagrams using Object-Z, In Proceedings of UML99 Conference, Lecture Notes in Computer Science 1723, 1999, pp. 83-89.
10. Soon-Kyeong Kim and David Carrington, Visualization of formal specifications, Six Asia Pacific Software Engineering Conference, Takamatsu, Japan, 1999, pp. 83-89.
11. Grame Smith, The Object-Z Specification Language, Kluwer Academic Publisher, American, 2000.
12. B. Tatibouet, A. Hammad and J. C. Voisinet, From an abstract B specification to UML class diagrams, 2nd IEEE International Symposium on Signal Processing and Information Technology (ISSPIT'2002), Marrakech, Morocco, December 18-21, 2002, pp. 5-10.