A metamodeling language supporting subset and union properties

  title={A metamodeling language supporting subset and union properties},
  author={Marcus Alanen and Ivan Porres},
  journal={Software & Systems Modeling},
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… CONTINUE READING
Highly Cited
This paper has 38 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-10 of 34 references

Automatic program generation for and by model transformation systems

  • D. Varró
  • 2006

Graph Transformations with MOF 2.0

  • Carsten Amelunxen, Tobias Rötschke, Andy Schürr
  • Fujaba Days
  • 2005
1 Excerpt

Similar Papers

Loading similar papers…