Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH scholarly article en Rensink, Arend License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-242

Subjects, Models, Languages, Transformations



Discussions about model-driven approaches tend to be hampered by terminological confusion. This is at least partially caused by a lack of formal precision in defining the basic concepts, including that of \model" and \thing being modelled" | which we call subject in this paper. We propose a minimal criterion that a model should fulfill: essentially, it should come equipped with a clear and unambiguous membership test; in other words, a notion of which subjects it models. We then go on to discuss a certain class of models of models that we call languages, which apart from defining their own membership test also determine membership of their members. Finally, we introduce transformations on each of these layers: a subject transformation is essentially a pair of subjects, a model transformation is both a pair of models and a model of pairs (namely, subject transformations), and a language transformation is both a pair of languages and a language of model transformations. We argue that our framework has the benefits of formal precision (there can be no doubt about whether something satifies our criteria for being a model, a language or a transformation) and minimality (it is hard to imagine a case of modelling or transformation not having the characterstics that we propose).

BibTeX - Entry

  author =	{Arend Rensink},
  title =	{Subjects, Models, Languages, Transformations},
  booktitle =	{Language Engineering for Model-Driven Software Development},
  year =	{2005},
  editor =	{Jean Bezivin and Reiko Heckel},
  number =	{04101},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{},
  annote =	{Keywords: no keywords}

Keywords: no keywords
Seminar: 04101 - Language Engineering for Model-Driven Software Development
Issue date: 2005
Date of publication: 07.02.2005

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI