Basic Operations over Models Containing Subset and Union Properties

Alanen, Marcus; Porres, Iván

doi:10.1007/11880240_33

Cited by 6 publications

(3 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…An important extension to our framework is the semantics of the operations that can be performed on models while satisfying the model constraints. These basic model operations over models containing subset and union properties are defined in [5].…”

Section: Discussionmentioning

confidence: 99%

“…This is represented by the function contents. The value of this function is either a set of elements if the order of elements does not matter, and thus contents : S → P(E); 5 An example Statechart represented in the UML notation otherwise, the function returns a sequence of elements and we say contents : S → (E, ≺). We discuss the ordered characteristic in more detail in Sect.…”

Section: Model Formalizationmentioning

confidence: 99%

See 1 more Smart Citation

A metamodeling language supporting subset and union properties

Alanen

Porres

2007

Softw Syst Model

Self Cite

View full text Add to dashboard Cite

In this article, we describe successive versions of a metamodeling language using a set-theoretic formalization. We focus on language extension mechanisms, particularly on the relatively new subset and union properties of MOF 2.0 and the UML 2.0 Infrastructure. We use Liskov substitutability as the rationale for our formalization. We also show that property redefinitions are not a safe language extension mechanism. Each language version provides new features, and we note how such features cannot be mixed arbitrarily. Instead, constraints over the metamodel and model structures must be established. We expect that this article provides a better understanding of the foundations of MOF 2.0, which is necessary to define new extensions, model transformation languages and tools.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Model Formalizationmentioning

confidence: 99%

A metamodeling language supporting subset and union properties

Alanen

Porres

2007

Softw Syst Model

Self Cite

View full text Add to dashboard Cite

show abstract

“…The reason is that the CMOF meta-meta-model [14] provides means for feature refinement in the context of class specialisation, which allows better expressions of abstractions in meta-models than EMOF or similar models (MOF 1.x, EMFEcore). The according MOF features were formalised by Alanen and Porres in [15], and we provided a programming framework for CMOF based modelling in [16].…”

Section: Related Workmentioning

confidence: 99%

Human Comprehensible and Machine Processable Specifications of Operational Semantics

Scheidgen

Fischer

Model Driven Architecture- Foundations and Applications

View full text Add to dashboard Cite

Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, OCL, and UML activities to create language models that cover abstract syntax, runtime configurations, and the behaviour of runtime elements. The method allows graphical and executable language models. These models are easy to read by humans and are formal enough to be processed in a generic model interpreter. We use Petri-nets as a running example to explain the method. The paper further proposes design patterns for common language concepts. The presented method was applied to the existing modelling language SDL to examine its applicability.

show abstract

Modelling the Operational Semantics of Domain-Specific Modelling Languages

Wachsmuth

2008

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Basic Operations over Models Containing Subset and Union Properties

Cited by 6 publications

References 6 publications

A metamodeling language supporting subset and union properties

A metamodeling language supporting subset and union properties

Human Comprehensible and Machine Processable Specifications of Operational Semantics

Modelling the Operational Semantics of Domain-Specific Modelling Languages

Contact Info

Product

Resources

About