Subjects, Models, Languages, Transformations

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    3 Citations (Scopus)
    62 Downloads (Pure)


    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).
    Original languageUndefined
    Title of host publicationLanguage Engineering for Model-Driven Software Development
    EditorsJ. Bézivin, R. Heckel
    Place of PublicationSchloss Dagstuhl, Germany
    PublisherInternationales Begegnungs- und Forschungszentrum für Informatik
    Number of pages13
    ISBN (Print)1862-4405
    Publication statusPublished - 2005
    EventDagstuhl Seminar Language engineering for model driven software development 2004 - International Conference and Research Center, Schloss Dagstuhl, Dagstuhl, Germany
    Duration: 29 Feb 20045 Mar 2004

    Publication series

    NameDagstuhl Seminar Proceedings
    PublisherInternationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI)
    ISSN (Print)1862-4405


    SeminarDagstuhl Seminar Language engineering for model driven software development 2004


    • Languages
    • transformations
    • Metamodelling
    • METIS-248075
    • IR-55755
    • EWI-1537

    Cite this