Basic operations over models containing subset and union properties

Authors:
Marcus Alanen;Ivan Porres
Affiliations:
TUCS Turku Centre for Computer Science, Department of Information Technologies, Åbo Akademi University, Turku, Finland;TUCS Turku Centre for Computer Science, Department of Information Technologies, Åbo Akademi University, Turku, Finland
Venue:
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Year:
2006

Citing 6
Cited 4

Covariance and contravariance: conflict without a cause

ACM Transactions on Programming Languages and Systems (TOPLAS)
The FUJABA environment

Proceedings of the 22nd international conference on Software engineering
The Metamodelling Language Calculus: Foundation Semantics for UML

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language

VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Eclipse Modeling Framework

Eclipse Modeling Framework
First-class relationships in an object-oriented language

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming

Modelling the Operational Semantics of Domain-Specific Modelling Languages

Generative and Transformational Techniques in Software Engineering II
Requirements for Practical Model Merge --- An Industrial Perspective

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Human comprehensible and machine processable specifications of operational semantics

ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Formal semantics and ontological analysis for understanding subsetting, specialization and redefinition of associations in UML

ER'11 Proceedings of the 30th international conference on Conceptual modeling

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Meta Object Facility 2.0 and Unified Modeling Language 2.0 Infrastructure standards present novel metamodeling constructs called subset and union properties. However, they do not provide a complete definition of these constructs. This definition is necessary to construct modeling tools and to ensure their interoperability. In this article, we present the basic model operations over models containing subset and union properties. These operations are formalized using pre- and postconditions using substitutability as the main criterion for language specialization.