Object-Z web environment and projections to UML
Proceedings of the 10th international conference on World Wide Web
A Formal Object Approach to the Design of ZML
Annals of Software Engineering
Formalizing UML Models with Object-Z
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
On translating UML models into graph transformation systems
Journal of Visual Languages and Computing
Hi-index | 0.00 |
Presents a framework that integrates a graphical specification technique (UML) with a formal specification technique (Object-Z) to support requirements elicitation and analysis activities. Various UML diagrams are used to specify the system from different concerns during the early requirements elicitation and analysis stage. The information captured in the diagrams is used to develop a complete Object-Z specification. This paper presents a semantic translation from statechart diagrams to Object-Z specifications. Finally, based on information captured in sequence diagrams and use case diagrams, a functional model of the whole system is formally defined. The case study used in this paper is a real-time, interactive and embedded system: a light control system.