Dagstuhl Seminar Proceedings, Volume 4101



Publication Details

  • published at: 2005-02-01
  • Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Access Numbers

Documents

No documents found matching your filter selection.
Document
04101 Abstracts Collection – Language Engineering for Model-Driven Software Development

Authors: Jean Bézivin and Reiko Heckel


Abstract
From 29.02. to 05.03.04, the Dagstuhl Seminar 04101 ``Language Engineering for Model-Driven Software Development'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Jean Bézivin and Reiko Heckel. 04101 Abstracts Collection – Language Engineering for Model-Driven Software Development. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{bezivin_et_al:DagSemProc.04101.1,
  author =	{B\'{e}zivin, Jean and Heckel, Reiko},
  title =	{{04101 Abstracts Collection – Language Engineering for Model-Driven Software Development}},
  booktitle =	{Language Engineering for Model-Driven Software Development},
  pages =	{1--21},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4101},
  editor =	{Jean Bezivin and Reiko Heckel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.1},
  URN =		{urn:nbn:de:0030-drops-258},
  doi =		{10.4230/DagSemProc.04101.1},
  annote =	{Keywords: Dagstuhl Seminar 04101}
}
Document
04101 Discussion – A Taxonomy of Model Transformations

Authors: Tom Mens, Krzysztof Czarnecki, and Pieter Van Gorp


Abstract
This report summarises the results of the discussions of a working group on model transformation of the Dagstuhl Seminar on Language Engineering for Model-Driven Software Development. The main contribution is a taxonomy of model transformation. This taxonomy can be used to help developers in deciding which model transformation approach is best suited to deal with a particular problem.

Cite as

Tom Mens, Krzysztof Czarnecki, and Pieter Van Gorp. 04101 Discussion – A Taxonomy of Model Transformations. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{mens_et_al:DagSemProc.04101.2,
  author =	{Mens, Tom and Czarnecki, Krzysztof and Gorp, Pieter Van},
  title =	{{04101 Discussion – A Taxonomy of Model Transformations}},
  booktitle =	{Language Engineering for Model-Driven Software Development},
  pages =	{1--10},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4101},
  editor =	{Jean Bezivin and Reiko Heckel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.2},
  URN =		{urn:nbn:de:0030-drops-111},
  doi =		{10.4230/DagSemProc.04101.2},
  annote =	{Keywords: taxonomy , model transformations}
}
Document
04101 Summary – Language Engineering for Model-driven Software Development

Authors: Jean Bézivin and Reiko Heckel


Abstract
This paper summarizes the objectives and structure of a seminar with the same title, held from February 29th to April 5th 2004 at Schloss Dagstuhl, Germany.

Cite as

Jean Bézivin and Reiko Heckel. 04101 Summary – Language Engineering for Model-driven Software Development. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{bezivin_et_al:DagSemProc.04101.3,
  author =	{B\'{e}zivin, Jean and Heckel, Reiko},
  title =	{{04101 Summary –  Language Engineering for Model-driven Software Development}},
  booktitle =	{Language Engineering for Model-Driven Software Development},
  pages =	{1--8},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4101},
  editor =	{Jean Bezivin and Reiko Heckel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.3},
  URN =		{urn:nbn:de:0030-drops-101},
  doi =		{10.4230/DagSemProc.04101.3},
  annote =	{Keywords: Dagstuhl Seminar 04101}
}
Document
A MDA Approach to Model & Implement Transformations

Authors: Jean-Marc Jezequel


Abstract
Only in software and in linguistics a model has the same nature as the thing it models. In software at least, this opens the possibility to automatically derive software from its model. This property is well known from any compiler writer (and others), but it was recently be made quite popular with an OMG initiative called the Model Driven Architecture (MDA). The model transformations allowing the engineers to more or less automatically go from platform-independent models (PIM) to platform-specific models (PSM) are increasingly seen as vital assets that must be managed with sound software engineering principles. We believe that transformations should be first-class models in the MDA world; we propose to adopt the object-oriented approach and to leverage the expressive power of UML as a metamodel defining the transformation language.

Cite as

Jean-Marc Jezequel. A MDA Approach to Model & Implement Transformations. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{jezequel:DagSemProc.04101.4,
  author =	{Jezequel, Jean-Marc},
  title =	{{A MDA Approach to Model \& Implement Transformations}},
  booktitle =	{Language Engineering for Model-Driven Software Development},
  pages =	{1--5},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4101},
  editor =	{Jean Bezivin and Reiko Heckel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.4},
  URN =		{urn:nbn:de:0030-drops-202},
  doi =		{10.4230/DagSemProc.04101.4},
  annote =	{Keywords: no keywords}
}
Document
An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion

Authors: Martin Gogolla


Abstract
We study a metamodel for the Entity Relationship (ER) and the Relational data model. We do this by describing the syntax of the ER data model by introducing classes for ER schemata, entities, and relationships. We also describe the semantics of the ER data model by introducing classes for ER states, instances, and links. The connection between syntax and semantics is established by associations explaining that syntactical objects are interpreted by corresponding semantical objects. Analogously we do this for the Relational data model. Finally, we give a metamodel for the transformation of ER schemata into Relational database schemata. By characterizing the syntax and semantics of the languages to be transformed and also the transformation itself within the same (meta-)modeling language we are able to include equivalence criteria on the syntactical and on the semantical level for the transformation. In particular, we show that the semantical equivalence criterion requires that the ER states and the corresponding Relational states bear the same information.

Cite as

Martin Gogolla. An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{gogolla:DagSemProc.04101.5,
  author =	{Gogolla, Martin},
  title =	{{An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion}},
  booktitle =	{Language Engineering for Model-Driven Software Development},
  pages =	{1--10},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4101},
  editor =	{Jean Bezivin and Reiko Heckel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.5},
  URN =		{urn:nbn:de:0030-drops-143},
  doi =		{10.4230/DagSemProc.04101.5},
  annote =	{Keywords: no keywords}
}
Document
Application of Graph Transformation for Automating Web Service Discovery

Authors: Reiko Heckel and Alexey Cherchago


Abstract
The paper represents current achievements of an ongoing research that aims to develop a formal approach supporting an automatic selection of a Web service sought by a requestor. The approach is based on the matching the requestor’s requirements for a "useful" service against the service description offered by the provider. We focus on the checking behavioral compatibility between operation contracts specifying pre-conditions and effects of required and provided operations. Graph transformation rules with positive application conditions are proposed as a visual formal notation for contracts. The desired dependence between requestor and provider contracts is determined by the semantic compatibility relation and syntactic matching procedure that is sound w.r.t. this relation.

Cite as

Reiko Heckel and Alexey Cherchago. Application of Graph Transformation for Automating Web Service Discovery. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{heckel_et_al:DagSemProc.04101.6,
  author =	{Heckel, Reiko and Cherchago, Alexey},
  title =	{{Application of Graph Transformation for Automating Web Service Discovery}},
  booktitle =	{Language Engineering for Model-Driven Software Development},
  pages =	{1--12},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4101},
  editor =	{Jean Bezivin and Reiko Heckel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.6},
  URN =		{urn:nbn:de:0030-drops-121},
  doi =		{10.4230/DagSemProc.04101.6},
  annote =	{Keywords: SOA , graph transformation , contracts}
}
Document
Foundations of Meta-Pyramids: Languages vs. Metamodels – Episode II: Story of Thotus the Baboon

Authors: Jean-Marie Favre


Abstract
Despite the recent interest for Model Driven Engineering approaches, the so-called four-layers metamodelling architecture is subject to a lot of debate. The relationship that exists between a model and a metamodel is often called instanceOf, but this terminology, which comes directly from the object oriented technology, is not appropriate for the modelling of similar meta-pyramids in other domains. The goal of this paper is to study which are the foundations of the meta-pyramids independently from a particular technology. This paper is actually the second episode of the series "From Ancient Egypt to Model Driven Engineering". In the pilot episode, the notion of megamodel was introduced to model essential Model Driven Engineering concepts. The notion of models was thoroughly discussed and only one association, namely RepresentationOf was introduced. In this paper the megamodel is extended with one fundamental relation in order to model the notion of languages and of metamodels. It is shown how Thotus the Baboon helped Nivizeb the priest in designing strong foundations for meta-pyramids. The secrets of some ancient pyramids are revealed.

Cite as

Jean-Marie Favre. Foundations of Meta-Pyramids: Languages vs. Metamodels – Episode II: Story of Thotus the Baboon. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{favre:DagSemProc.04101.7,
  author =	{Favre, Jean-Marie},
  title =	{{Foundations of Meta-Pyramids: Languages vs. Metamodels – Episode II: Story of Thotus the Baboon}},
  booktitle =	{Language Engineering for Model-Driven Software Development},
  pages =	{1--28},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4101},
  editor =	{Jean Bezivin and Reiko Heckel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.7},
  URN =		{urn:nbn:de:0030-drops-212},
  doi =		{10.4230/DagSemProc.04101.7},
  annote =	{Keywords: models , reverse engineering , transformations}
}
Document
Foundations of Model (Driven) (Reverse) Engineering : Models – Episode I: Stories of The Fidus Papyrus and of The Solarus

Authors: Jean-Marie Favre


Abstract
Model Driven Engineering (MDE) received a lot of attention in the last years, both from academia and industry. However, there is still a debate on which basic concepts form the foundation of MDE. The Model Driven Architecture (MDA) from the OMG does not provided clear answers to this question. This standard instead provides a complex set of interdependent technologies. This paper is the first of a series aiming at defining the foundations of MDE independently from a particular technology. A megamodel is introduced in this paper and incrementally refined in further papers from the series. This paper is devoted to a single concept, the concept of model, and to a single relation, the RepresentationOf relation. The lack of strong foundations for the MDA 4-layers meta-pyramid leads to a common mockery: ``So, MDA is just about Egyptology?!''. This paper is the pilot of the series called ``From Ancient Egypt to Model Driven Engineering''. The various episodes of this series show that Egyptology is actually a good model to study MDE.

Cite as

Jean-Marie Favre. Foundations of Model (Driven) (Reverse) Engineering : Models – Episode I: Stories of The Fidus Papyrus and of The Solarus. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{favre:DagSemProc.04101.8,
  author =	{Favre, Jean-Marie},
  title =	{{Foundations of Model (Driven) (Reverse) Engineering : Models – Episode I: Stories of The Fidus Papyrus and of The Solarus}},
  booktitle =	{Language Engineering for Model-Driven Software Development},
  pages =	{1--31},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4101},
  editor =	{Jean Bezivin and Reiko Heckel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.8},
  URN =		{urn:nbn:de:0030-drops-136},
  doi =		{10.4230/DagSemProc.04101.8},
  annote =	{Keywords: models, reverse engineering, transformations}
}
Document
Graph Transformation Based Models of Dynamic Software Architectures and Architectural Styles

Authors: Sebastian Thöne


Abstract
no abstract

Cite as

Sebastian Thöne. Graph Transformation Based Models of Dynamic Software Architectures and Architectural Styles. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{thone:DagSemProc.04101.9,
  author =	{Th\"{o}ne, Sebastian},
  title =	{{Graph Transformation Based Models of Dynamic Software Architectures and Architectural Styles}},
  booktitle =	{Language Engineering for Model-Driven Software Development},
  pages =	{1--2},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4101},
  editor =	{Jean Bezivin and Reiko Heckel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.9},
  URN =		{urn:nbn:de:0030-drops-174},
  doi =		{10.4230/DagSemProc.04101.9},
  annote =	{Keywords: no keywords}
}
Document
Graph Transformation in a Nutshell

Authors: Reiko Heckel


Abstract
Even sophisticated techniques start out from simple ideas. Later, in reply to application needs or theoretical problems new concepts are introduced and new formalizations proposed, often to a point where the original simple core is hardly recognizable. In this paper we provide a non-technical introduction to the basic concepts of typed graph transformation systems, completed with a survey of more advanced concepts, and explain some of its history and motivations.

Cite as

Reiko Heckel. Graph Transformation in a Nutshell. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{heckel:DagSemProc.04101.10,
  author =	{Heckel, Reiko},
  title =	{{Graph Transformation in a Nutshell}},
  booktitle =	{Language Engineering for Model-Driven Software Development},
  pages =	{1--12},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4101},
  editor =	{Jean Bezivin and Reiko Heckel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.10},
  URN =		{urn:nbn:de:0030-drops-169},
  doi =		{10.4230/DagSemProc.04101.10},
  annote =	{Keywords: graph transformation}
}
Document
Language Engineering in Practice

Authors: Martin Große-Rhode


Abstract
no abstract

Cite as

Martin Große-Rhode. Language Engineering in Practice. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{groerhode:DagSemProc.04101.11,
  author =	{Gro{\ss}e-Rhode, Martin},
  title =	{{Language Engineering in Practice}},
  booktitle =	{Language Engineering for Model-Driven Software Development},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4101},
  editor =	{Jean Bezivin and Reiko Heckel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.11},
  URN =		{urn:nbn:de:0030-drops-151},
  doi =		{10.4230/DagSemProc.04101.11},
  annote =	{Keywords: no keywords}
}
Document
Multi-Domain Integration with MOF and extended Triple Graph Grammars

Authors: Alexander Königs and Andy Schürr


Abstract
One aim of tool integration is designing an integrated development environment that accesses the data/models of different tools and keeps them consistent throughout a project being considered. Present approaches that aim for data integration by specifying (graphically denoted) consistency checking constraints or consistency preserving transformations are restricted to pairs of documents. We present an example that motivates the need for a more general data/model integration approach which is able to integrate an arbitrary number of MOF-compliant models. From a formal point of view this approach is a generalization of the triple graph grammar document integration approach. From a practical point of view it is a proposal how to specify multidirectional declarative model transformations in the context of OMG’s model-driven architecture (MDA) development efforts and its request for proposals for a MOF-compliant "query, view, and transformation" (QVT) approach.

Cite as

Alexander Königs and Andy Schürr. Multi-Domain Integration with MOF and extended Triple Graph Grammars. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{konigs_et_al:DagSemProc.04101.12,
  author =	{K\"{o}nigs, Alexander and Sch\"{u}rr, Andy},
  title =	{{Multi-Domain Integration with MOF and extended Triple Graph Grammars}},
  booktitle =	{Language Engineering for Model-Driven Software Development},
  pages =	{1--8},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4101},
  editor =	{Jean Bezivin and Reiko Heckel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.12},
  URN =		{urn:nbn:de:0030-drops-225},
  doi =		{10.4230/DagSemProc.04101.12},
  annote =	{Keywords: no keywords}
}
Document
Refinement and Consistency in Multiview Models

Authors: Heike Wehrheim


Abstract
Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless transition from high-level models to actual implementations. They are therefore required to be behaviour preserving: models (or the final implementation) at lower levels should adhere to the descriptions given in higher level models. Moreover, for complex systems models usually consists of descriptions of different views on the system. Consequently, different kinds of model transformations take place on different views, and together they should guarantee behaviourpreservation. In this paper we discuss the applicability of formal methods to model transformations. Formal methods come with build-in notions of transformations between models, or more precisely, with refinement and subtyping concepts which provide means for comparing models on different levels with respect to their behaviour. Such notions can be applied as correctness criteria for evaluating model transformations. Moreover, refinement and subtyping concepts for different views can be shown to neatly fit together. This is achieved by giving a common semantics to all views which furthermore opens the possibility of checking consistency between them.

Cite as

Heike Wehrheim. Refinement and Consistency in Multiview Models. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{wehrheim:DagSemProc.04101.13,
  author =	{Wehrheim, Heike},
  title =	{{Refinement and Consistency in Multiview Models}},
  booktitle =	{Language Engineering for Model-Driven Software Development},
  pages =	{1--11},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4101},
  editor =	{Jean Bezivin and Reiko Heckel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.13},
  URN =		{urn:nbn:de:0030-drops-190},
  doi =		{10.4230/DagSemProc.04101.13},
  annote =	{Keywords: no keywords}
}
Document
Subjects, Models, Languages, Transformations

Authors: Arend Rensink


Abstract
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).

Cite as

Arend Rensink. Subjects, Models, Languages, Transformations. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{rensink:DagSemProc.04101.14,
  author =	{Rensink, Arend},
  title =	{{Subjects, Models, Languages, Transformations}},
  booktitle =	{Language Engineering for Model-Driven Software Development},
  pages =	{1--13},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4101},
  editor =	{Jean Bezivin and Reiko Heckel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.14},
  URN =		{urn:nbn:de:0030-drops-242},
  doi =		{10.4230/DagSemProc.04101.14},
  annote =	{Keywords: no keywords}
}
Document
What is a Model?

Authors: Thomas Kühne


Abstract
With the recent trend to model driven development a commonly agreed notion of \model" becomes a pivotal issue. However, currently there is little consensus about what exactly a model is and what it is not. Furthermore, basic terms such as \metamodel" are far from being understood in the same way by all members of the modeling community. This article attempts to start establishing a consensus about generally acceptable terminology. Its main contribution is the distinction between two fundamentally different kinds of models, i.e. \type model" versus \token model". The recognition of the fundamental difference in these two kinds of models is crucial to avoid misunderstandings and unnecessary disputes among members of the modeling community.

Cite as

Thomas Kühne. What is a Model?. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{kuhne:DagSemProc.04101.15,
  author =	{K\"{u}hne, Thomas},
  title =	{{What is a Model?}},
  booktitle =	{Language Engineering for Model-Driven Software Development},
  pages =	{1--10},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4101},
  editor =	{Jean Bezivin and Reiko Heckel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.15},
  URN =		{urn:nbn:de:0030-drops-237},
  doi =		{10.4230/DagSemProc.04101.15},
  annote =	{Keywords: no keywords}
}
Document
Write Once, Deploy N: a Performance Oriented MDA Case Study

Authors: Pieter Van Gorp


Abstract
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, realistic case studies. In this paper, we first present the problem of developing distributed database applications that are optimized for concurrent data access, without locking in on vendor extensions of a particular J2EE application server, with proper separation of concerns, and with tool support for domain evolution. Then, we propose and discuss a conceptual language for model refinement and code generation as a possible solution to the presented problem. After applying this particular language on our case study, we derive general conclusions on composition, sequencing, inheritance, and design by contract for such languages.

Cite as

Pieter Van Gorp. Write Once, Deploy N: a Performance Oriented MDA Case Study. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{gorp:DagSemProc.04101.16,
  author =	{Gorp, Pieter Van},
  title =	{{Write Once, Deploy N: a Performance Oriented MDA Case Study}},
  booktitle =	{Language Engineering for Model-Driven Software Development},
  pages =	{1--7},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4101},
  editor =	{Jean Bezivin and Reiko Heckel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.16},
  URN =		{urn:nbn:de:0030-drops-181},
  doi =		{10.4230/DagSemProc.04101.16},
  annote =	{Keywords: model transformation , consistency management , qvt , mda , ocl}
}

Filters


Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail