Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Within this website:
External resources:
Within this website:
External resources:
  • the dblp Computer Science Bibliography

Dagstuhl Seminar 04101

Language Engineering for Model-Driven Software Development

( Feb 29 – Mar 05, 2004 )

(Click in the middle of the image to enlarge)

Please use the following short url to reference this page:

  • Jean Bezivin (University of Nantes, FR)
  • Reiko Heckel (University of Leicester, GB)


Model-driven approaches to software development require precise definitions and tool support for modeling languages, their syntax and semantics, their notions of consistency and refinement, as well as their mappings to the implementation level. In order to support model-driven development in a variety of contexts, we must find efficient ways of designing languages, accepting that definitions are evolving and that tools need to be delivered in a timely fashion.

In this respect, language definitions are not unlike software. Thus, a discipline of language engineering is required to support the design, implementation, and validation of modeling languages with the goal to deliver languages at low cost and with high quality.

An important contribution of any engineering science, besides the actual technology provided, is the meta knowledge about what are the relevant concerns to be addressed, what are the possible solutions, and what concern is best addressed in a given context by which kind of technology.

It is understood that different concerns of language engineering, like the defi- nition of abstract syntax and well-formedness rules, operational and denotational semantics, consistency and refinement relations, and model transformations, will, in general, require technologies from different domains.

A framework for classifying, choosing, and relating different solutions domains is provided by the concept of technological spaces [KBA03]. A technological space is a working context with a set of associated concepts, body of knowledge, tools, acquired skills and possibilities, often associated to a given community. Well-known examples include XML, UML meta modeling, graph transformation, algebra and logic, programming languages, etc.

It has been the goal of the seminar to investigate relevant concerns and promising solution domains for language engineering, learn from specific solutions presented by the participants, and attempt a provisional classification and mapping. To illustrate problems and available solutions, a sample language engineering problem was proposed and elaborated.

After a more detailed discussion of the architectural aspect of language engineering, this summary presents this case study, discusses concerns and open issues raised by the corresponding language definition problem, and gives a more general motivation of technological spaces as solution domains for model-driven development.

  • Mehmet Aksit (University of Twente, NL)
  • Colin Atkinson (Universität Mannheim, DE) [dblp]
  • Jean Bezivin (University of Nantes, FR) [dblp]
  • Alexey Cherchago (Universität Paderborn, DE)
  • Krzysztof Czarnecki (University of Waterloo, CA) [dblp]
  • Keith Duddy (DSTC - Brisbane, AU)
  • Gregor Engels (Universität Paderborn, DE) [dblp]
  • Jean-Marie Favre (LSR - IMAG, FR) [dblp]
  • Tracy Gardner (IBM United Kingdom Ltd. - Winchester, GB)
  • Sébastien Gérard (CEA - Gif sur Yvette, FR)
  • Tudor Girba (Universität Bern, CH) [dblp]
  • Martin Gogolla (Universität Bremen, DE) [dblp]
  • Ursula Goltz (TU Braunschweig, DE)
  • Luuk P.J. Groenewegen (Leiden University, NL)
  • Martin Große-Rhode (FhG - ISST Berlin, DE)
  • Alan Hartman (IBM - Haifa, IL) [dblp]
  • Jan Hendrik Hausmann (Universität Paderborn, DE)
  • Reiko Heckel (University of Leicester, GB) [dblp]
  • Jean-Marc Jézéquel (INRIA - Rennes, FR) [dblp]
  • Frédéric Jouault (University of Nantes, FR)
  • Alexander Königs (TU Darmstadt, DE)
  • Thomas Kühne (TU Darmstadt, DE) [dblp]
  • Jochen M. Küster (Universität Paderborn, DE)
  • Ralf Lämmel (Microsoft Research - Redmond, US) [dblp]
  • Tom Mens (University of Mons, BE) [dblp]
  • Daniel Moldt (Universität Hamburg, DE) [dblp]
  • Peter D. Mosses (Swansea University, GB) [dblp]
  • Pierre-Alain Muller (ESSAIM - Mulhouse, FR) [dblp]
  • Wolfgang Reisig (HU Berlin, DE) [dblp]
  • Arend Rensink (University of Twente, NL) [dblp]
  • Bernhard Rumpe (TU Braunschweig, DE) [dblp]
  • James Skene (University College London, GB)
  • Sebastian Thöne (Universität Paderborn, DE)
  • Laurence Tratt (King's College London, GB) [dblp]
  • Pieter Van Gorp (University of Antwerp, BE)
  • Dániel Varró (Budapest University of Technology & Economics, HU) [dblp]
  • Jos Warmer (De Nederlandsche Bank - Amsterdam, NL)
  • Heike Wehrheim (Universität Oldenburg, DE) [dblp]
  • Michel Wermelinger (The Open University - Milton Keynes, GB)
  • Albert Zündorf (Universität Kassel, DE) [dblp]