What is a multi-modeling language?

Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing

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

Abstract

In large software projects often multiple modeling languages are used in order to cover the different domains and views of the application and the language skills of the developers appropriately. Such "multi-modeling" raises many methodological and semantical questions, ranging from semantic consistency of the models written in different sublanguages to the correctness of model transformations between the sublanguages. We provide a first formal basis for answering such questions by proposing semantically well-founded notions of a multi-modeling language and of semantic correctness for model transformations. In our approach, a multi-modeling language consists of a set of sublanguages and correct model transformations between some of the sublanguages. The abstract syntax of the sublanguages is given by MOF meta-models. The semantics of a multi-modeling language is given by associating an institution, i.e., an appropriate logic, to each of its sublanguages. The correctness of model transformations is defined by semantic connections between the institutions.

Original languageEnglish (US)
Title of host publicationRecent Trends in Algebraic Development Techniques - 19th International Workshop, WADT 2008, Revised Selected Papers
Pages71-87
Number of pages17
DOIs
StatePublished - Sep 28 2009
Event19th International Workshop on Algebraic Development Techniques, WADT 2008 - Pisa, Italy
Duration: Jun 13 2008Jun 16 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5486 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other19th International Workshop on Algebraic Development Techniques, WADT 2008
CountryItaly
CityPisa
Period6/13/086/16/08

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'What is a multi-modeling language?'. Together they form a unique fingerprint.

Cite this