What is a Multi-Modeling Language?

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

Permalink

https://hdl.handle.net/2142/11494 Copy

Description

Title

What is a Multi-Modeling Language?

Author(s)

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

Issue Date

2008-10

Keyword(s)

• programming languages
• computer science

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 multimodeling 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."

Type of Resource

text

Permalink

http://hdl.handle.net/2142/11494

Copyright and License Information

You are granted permission for the non-commercial reproduction, distribution, display, and performance of this technical report in any format, BUT this permission is only for a period of 45 (forty-five) days from the most recent time that you verified that this technical report is still available from the University of Illinois at Urbana-Champaign Computer Science Department under terms that include this permission. All other rights are reserved by the author(s).

Owning Collections