The Z notation: a reference manual
The Z notation: a reference manual
Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented development: the fusion method
Object-oriented development: the fusion method
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Visualization and interpretation of analysis results within the context of formalized UML diagrams
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Formalizing and integrating the dynamic model for object-oriented modeling
IEEE Transactions on Software Engineering
Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach
COMPSAC '00 24th International Computer Software and Applications Conference
An Overview of RoZ: A Tool for Integrating UML and Z Specifications
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
On Associations in the Unified Modelling Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Expressing UML Class Diagrams Properties with OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Object models as heap invariants
Programming methodology
Object-Oriented Modeling and Automated Analysis of a Telemedicine Application
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
UML formalization is a traceability problem
TEFSE '05 Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering
Reasoning on UML class diagrams
Artificial Intelligence
Reasoning on UML class diagrams
Artificial Intelligence
A formal approach to collaborations in the unified modeling language
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Correct realizations of interface constraints with OCL
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A delegation model for designing collaborative multi-agent systems
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Towards the completion of expressing and checking inheritance constraints in UML
BNCOD'06 Proceedings of the 23rd British National Conference on Databases, conference on Flexible and Efficient Information Handling
Constraints checking in UML class diagrams: SQL vs OCL
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
| Hi-index | 0.00 |
There is much interest in developing a firm semantic base for object-oriented modeling concepts. By providing precise characterizations of object-oriented (OO) modeling concepts one gains the ability to build a precise OO model of behavior and structure that can be rigorously analyzed. We present the current results of our ongoing formalization of the Unified Modeling Language (UML). UML is a proposed common OO modeling language, thus it is important that it has a formally defined semantic base. The focus of this paper is the formalization of the primary UML constructs used to build class structures. We use the Z notation to precisely express the meaning of UML class structures.