Comparing representations with relational and EER models
Communications of the ACM
On Formalizing the UML Object Constraint Language OCL
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
Relationship Type Refinement in Conceptual Models with Multiple Classification
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Expressing UML Class Diagrams Properties with OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Unified Modeling Language Reference Manual, The (2nd Edition)
Unified Modeling Language Reference Manual, The (2nd Edition)
Formal Semantics and Reasoning about UML Class Diagram
DEPCOS-RELCOMEX '06 Proceedings of the International Conference on Dependability of Computer Systems
Conceptual Modeling of Information Systems
Conceptual Modeling of Information Systems
What's in a Relationship: An Ontological Analysis
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Model-Driven Development with Executable UML
Model-Driven Development with Executable UML
Enhancing the semantics of UML association redefinition
Data & Knowledge Engineering
Basic operations over models containing subset and union properties
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
The association construct in conceptual modelling – an analysis using the bunge ontological model
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
On the use of association redefinition in UML class diagrams
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Ontological foundations for conceptual modeling with applications
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
The definition of the exact meaning of conceptual modeling constructs is considered a relevant issue since it contributes to their effective and appropriate use by conceptual modelers. This paper studies three related constructs that enhance the expressiveness of the UML language about associations and which still lack a complete and comprehensive study, namely, association subsetting, specialization and redefinition. It formalizes their semantics, analyses them from an ontological perspective and compares them. The semantic formalization is based on mapping the studied constructs to a basic UML layer which have a previous formal definition in the literature. Furthermore, the ontological analysis developed here is based on a formal theory of relations which is part of the Unified Foundational Ontology (UFO).