Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Enhancing object-oriented methods with formal notations
Theory and Practice of Object Systems
Formalizing and integrating the dynamic model within OMT
ICSE '97 Proceedings of the 19th international conference on Software engineering
Exploring the semantics of UML type structures with Z
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Towards a formalization of UML class structures in Z
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Integration of Z-based Semantics of OO-Notations
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
A Formal Representation for State Diagrams in the OMT Methodology
SOFSEM '96 Proceedings of the 23rd Seminar on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
On Formalizing the UML Object Constraint Language OCL
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
Formalizing the UML class diagram using object-Z
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
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
Typechecking UML static models
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Object-Oriented Theories for Model Driven Architecture
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Analysis of UML Stereotypes within the UML Metamodel
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
A performance analysis approach based on the UML class diagram
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Transforming OCL constraints: a context change approach
Proceedings of the 2006 ACM symposium on Applied computing
Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis
IEEE Transactions on Knowledge and Data Engineering
Transformation techniques for OCL constraints
Science of Computer Programming
Transformation techniques for OCL constraints
Science of Computer Programming
Incremental integrity checking of UML/OCL conceptual schemas
Journal of Systems and Software
Realizing UML Metamodel Transformations with AGG
Electronic Notes in Theoretical Computer Science (ENTCS)
From UML/OCL to SBVR specifications: A challenging transformation
Information Systems
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Verification-driven slicing of UML/OCL models
Proceedings of the IEEE/ACM international conference on Automated software engineering
Synthesis of OCL pre-conditions for graph transformation rules
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
A specification-based test case generation method for UML/OCL
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Verification and Validation of UML Conceptual Schemas with OCL Constraints
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Workflow system modeling in the mobile healthcare b2b using semantic information
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part II
Computing the relevant instances that may violate an OCL constraint
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Incremental evaluation of OCL constraints
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Workflow modeling based on extended activity diagram using ASM semantics
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III
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
Towards a generic verification methodology for system models
Proceedings of the Conference on Design, Automation and Test in Europe
Finite satisfiability of UML class diagrams with constrained class hierarchy
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Debugging of inconsistent UML/OCL models
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
| Hi-index | 0.00 |
The Unified Modeling Language UML is a complex language offering many modeling features. Especially the description of static structures with class diagrams is supported by a rich set of primitives. This paper shows how to transfrom UML class diagrams involving cardinality constraints, qualifiers, association classes, aggregations, compositions, and generalizations into equivalent UML class diagrams employing only binary associations and OCL constraints. Thus we provide a better understanding of UML features. By reducing more complex features in terms of basic ones, we suggest an easy way users can gradually extend the set of UML elements they commonly apply in the modeling process.