The UML as a formal modeling notation
Computer Standards & Interfaces - Special issue on semantics in specifications
Transformation Rules for UML Class Diagrams
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Interpreting the Object Constraint Language
APSEC '98 Proceedings of the Fifth Asia Pacific Software Engineering Conference
APSEC '00 Proceedings of the Seventh Asia-Pacific Software Engineering Conference
Formalizing the UML class diagram using object-Z
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Foundations of the unified modeling language
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Weaving executability into UML class models at PIM level
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
A polyadic pi-calculus approach for the formal specification of UML-RT
Advances in Software Engineering
An executable semantics of the systemc UML profile
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
| Hi-index | 0.00 |
The Unified Modeling Language (UML) has been developed as a standard language for object-oriented designs. Through its graphical and intuitive diagrams, software analysis and design process become easy. However, this graphical notation lacks precisely defined semantics. It is difficult to determine whether the design is consistent, unambiguous and complete. This paper provides a method of formalizing UML models. It gives the transforming rules from UML models to Object-Z constructs. With this method, the semantics of UML models are directly expressed in formal language Object-Z. The UML class, sequence and statechart diagrams are formalized using this method. A tool OZRose is developed to automate the transforming process.