Formalizing UML models with Object-Z
From MaRDI portal
Recommendations
- Comparison of formalisation approaches of UML class constructs in Z and Object-Z
- A formal object approach to the design of ZML
- Validation of UML models thanks to Z and Lustre
- A formal metamodeling approach to a transformation between the UML state machine and Object-Z
- Formalization of the UML class diagrams
Cited in
(20)- A formal object approach to the design of ZML
- Use of E-LOTOS in adding formality to UML
- 37 things that don't work in object-oriented modelling with UML
- On formalizing UML with high-level Petri nets
- Application of unified modeling language in developing of unconstrained optimization software
- Formalization of the UML class diagrams
- An approach to identify and manage interoperability of class diagrams in visual paradigm and magicdraw tools
- On the semantics of unified modeling language diagrams using Z notation
- Toward UML platform specific model for programming languages
- Towards a formal semantic base for the type models of the unified modeling language
- Using transition systems to unify UML models
- A formal metamodeling approach to a transformation between the UML state machine and Object-Z
- Comparison of formalisation approaches of UML class constructs in Z and Object-Z
- scientific article; zbMATH DE number 2080621 (Why is no real title available?)
- scientific article; zbMATH DE number 2156157 (Why is no real title available?)
- scientific article; zbMATH DE number 1930752 (Why is no real title available?)
- Algorithmic support for model transformation in object-oriented software development
- scientific article; zbMATH DE number 2090158 (Why is no real title available?)
- Formal Methods for Components and Objects
- Object oriented concepts identification from formal \(B\) specifications
This page was built for publication: Formalizing UML models with Object-Z
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4412545)
