The Z notation: a reference manual
The Z notation: a reference manual
OPNets: an object-oriented high-level Petri net model for real-time system modeling
Journal of Systems and Software - Special issue on object-orientation
The Unified Modeling Language user guide
The Unified Modeling Language user guide
A Theory of Objects
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Towards a formalization of UML class structures in Z
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Using Z as a Specification Calculus for Object-Oriented Systems
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
From Coloured Petri Nets to Object Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
A Formal Definition of Hierarchical Predicate Transition Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Reasoning with UML Class Diagrams
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Formalizing the UML class diagram using object-Z
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML-compiler: a framework for syntactic and semantic verification of UML diagrams
ICDCIT'10 Proceedings of the 6th international conference on Distributed Computing and Internet Technology
| Hi-index | 0.00 |
Unified Modeling Language (UML) has been widely accepted as the standard object-oriented development methodology in software industry. However, many graphical notations in UML only have informal English definitions and thus are error-prone and cannot be formally analyzed. In this paper, we present our preliminary results on an approach to formally define UML class diagrams using hierarchical predicate transition nets (HPrTNs). We show how to define the main concepts related to class diagrams using HPrTN elements.