Dagstuhl Seminar Proceedings, Volume 8331



Publication Details

  • published at: 2008-10-17
  • Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Access Numbers

Documents

No documents found matching your filter selection.
Document
08331 Abstracts Collection – Perspectives Workshop: Model Engineering of Complex Systems (MECS)

Authors: Uwe Aßmann, Jean Bézivin, Richard F. Paige, Bernhard Rumpe, and Douglas C. Schmidt


Abstract
From 10.08. to 13.08.2008, the Dagstuhl Seminar 08331 ``Perspectives Workshop: Model Engineering of Complex Systems (MECS)'' 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

Uwe Aßmann, Jean Bézivin, Richard F. Paige, Bernhard Rumpe, and Douglas C. Schmidt. 08331 Abstracts Collection – Perspectives Workshop: Model Engineering of Complex Systems (MECS). In Perspectives Workshop: Model Engineering of Complex Systems (MECS). Dagstuhl Seminar Proceedings, Volume 8331, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{amann_et_al:DagSemProc.08331.1,
  author =	{A{\ss}mann, Uwe and B\'{e}zivin, Jean and Paige, Richard F. and Rumpe, Bernhard and Schmidt, Douglas C.},
  title =	{{08331 Abstracts Collection – Perspectives Workshop: Model Engineering of Complex Systems (MECS)}},
  booktitle =	{Perspectives Workshop: Model Engineering of Complex Systems (MECS)},
  pages =	{1--14},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8331},
  editor =	{Uwe A{\ss}mann and Jean B\'{e}zivin and Richard Paige and Bernhard Rumpe and Douglas C. Schmidt},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08331.1},
  URN =		{urn:nbn:de:0030-drops-16043},
  doi =		{10.4230/DagSemProc.08331.1},
  annote =	{Keywords: Conceptual modeling, model, modeling language, modeling method, model quality, modeling proccess, model cost}
}
Document
08331 Manifesto – Model Engineering for Complex Systems

Authors: Jean Bézivin, Richard F. Paige, Uwe Aßmann, Bernhard Rumpe, and Douglas C. Schmidt


Abstract
Complex systems are hard to define [1]. Nevertheless they are more and more frequently encountered. Examples include a worldwide airline traffic management system, a global telecommunication or energy infrastructure or even the whole legacy portfolio accumulated for more than thirty years in a large insurance company. There are currently few engineering methods and tools to deal with them in practice. The purpose of this Dagstuhl Perspectives Workshop on Model Engineering for Complex Systems was to study the applicability of Model Driven Engineering (MDE) to the development and management of complex systems.

Cite as

Jean Bézivin, Richard F. Paige, Uwe Aßmann, Bernhard Rumpe, and Douglas C. Schmidt. 08331 Manifesto – Model Engineering for Complex Systems. In Perspectives Workshop: Model Engineering of Complex Systems (MECS). Dagstuhl Seminar Proceedings, Volume 8331, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{bezivin_et_al:DagSemProc.08331.2,
  author =	{B\'{e}zivin, Jean and Paige, Richard F. and A{\ss}mann, Uwe and Rumpe, Bernhard and Schmidt, Douglas C.},
  title =	{{08331 Manifesto – Model Engineering for Complex Systems}},
  booktitle =	{Perspectives Workshop: Model Engineering of Complex Systems (MECS)},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8331},
  editor =	{Uwe A{\ss}mann and Jean B\'{e}zivin and Richard Paige and Bernhard Rumpe and Douglas C. Schmidt},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08331.2},
  URN =		{urn:nbn:de:0030-drops-16033},
  doi =		{10.4230/DagSemProc.08331.2},
  annote =	{Keywords: Conceptual modeling, model, modeling language, modeling method, model quality, modeling proccess, model cost}
}
Document
A Journey through the Secret Life of Models

Authors: Antonio Vallecillo


Abstract
Although Model Driven Software Development (MDSD) is achieving significant progress, it is still far from becoming a real Engineering discipline. In fact, many of the difficult problems of the engineering of complex software systems are still unresolved, or simplistically addressed by many of the existing MDSD approaches. In this paper we outline three of the currently outstanding problems of MDSD on which we are now working, and propose some hints on how they can be addressed. The challenges are: the specification of the behavioral semantics of metamodels; the addition of time to these specifications so that models can be properly animated, simulated and analyzed; and the use of viewpoints and correspondences for specifying large-scale software systems.

Cite as

Antonio Vallecillo. A Journey through the Secret Life of Models. In Perspectives Workshop: Model Engineering of Complex Systems (MECS). Dagstuhl Seminar Proceedings, Volume 8331, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{vallecillo:DagSemProc.08331.3,
  author =	{Vallecillo, Antonio},
  title =	{{A Journey through the Secret Life of Models}},
  booktitle =	{Perspectives Workshop: Model Engineering of Complex Systems (MECS)},
  pages =	{1--23},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8331},
  editor =	{Uwe A{\ss}mann and Jean B\'{e}zivin and Richard Paige and Bernhard Rumpe and Douglas C. Schmidt},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08331.3},
  URN =		{urn:nbn:de:0030-drops-16012},
  doi =		{10.4230/DagSemProc.08331.3},
  annote =	{Keywords: Model behavio, Time, Model Analysis, Viewpoint Modeling.}
}
Document
Model Driven Management of Complex Systems: Implementing the Macroscope's vision

Authors: Mikael Barbero and Jean Bézivin


Abstract
Several years ago, first generation model driven engineering (MDE) tools focused on generating code from high-level platform-independent abstract descriptions. Since then, the target scope of MDE has much broadened and now addresses for example testing, verification, measurement, tool interoperability, software evolution, and many more hard issues in software engineering. In this paper we study the applicability of MDE to another difficult problem: the management of complex systems. We show how the basic properties of MDE may be of significant help in this context and we characterize and extend MDE by the concept of a "megamodel", i.e. a model which elements may themselves be models. We sketch the basic characteristics of a tool for handling megamodels and we apply it to the example of the Eclipse.org ecosystem, chosen here as a representative illustration of a complex system. The paper finally discusses how the proposed original approach and tools may impact the construction and maintenance of computer based complex systems.

Cite as

Mikael Barbero and Jean Bézivin. Model Driven Management of Complex Systems: Implementing the Macroscope's vision. In Perspectives Workshop: Model Engineering of Complex Systems (MECS). Dagstuhl Seminar Proceedings, Volume 8331, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{barbero_et_al:DagSemProc.08331.4,
  author =	{Barbero, Mikael and B\'{e}zivin, Jean},
  title =	{{Model Driven Management of Complex Systems: Implementing the Macroscope's vision}},
  booktitle =	{Perspectives Workshop: Model Engineering of Complex Systems (MECS)},
  pages =	{1--10},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8331},
  editor =	{Uwe A{\ss}mann and Jean B\'{e}zivin and Richard Paige and Bernhard Rumpe and Douglas C. Schmidt},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08331.4},
  URN =		{urn:nbn:de:0030-drops-16000},
  doi =		{10.4230/DagSemProc.08331.4},
  annote =	{Keywords: MDE, Complex Systems, Macroscope}
}
Document
Modeling Heterogeneous Real-time Components in BIP

Authors: Ananda Basu, Marius Bozga, and Joseph Sifakis


Abstract
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitions; Interactions between transitions of the behavior; Priorities, used to choose amongst possible interactions. A parameterized binary composition operator is used to compose components layer by layer. We present the BIP language for the description and composition of layered components as well as associated tools for executing and analyzing components on a dedicated platform. The language provides a powerful mechanism for structuring interactions involving rendezvous and broadcast. We show that synchronous and timed systems are particular classes of components. Finally, we provide examples showing the utility of the BIP framework in heterogeneous component modeling.

Cite as

Ananda Basu, Marius Bozga, and Joseph Sifakis. Modeling Heterogeneous Real-time Components in BIP. In Perspectives Workshop: Model Engineering of Complex Systems (MECS). Dagstuhl Seminar Proceedings, Volume 8331, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{basu_et_al:DagSemProc.08331.5,
  author =	{Basu, Ananda and Bozga, Marius and Sifakis, Joseph},
  title =	{{Modeling Heterogeneous Real-time Components in BIP}},
  booktitle =	{Perspectives Workshop: Model Engineering of Complex Systems (MECS)},
  pages =	{1--10},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8331},
  editor =	{Uwe A{\ss}mann and Jean B\'{e}zivin and Richard Paige and Bernhard Rumpe and Douglas C. Schmidt},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08331.5},
  URN =		{urn:nbn:de:0030-drops-16026},
  doi =		{10.4230/DagSemProc.08331.5},
  annote =	{Keywords: Component based construction, Heterogeneous systems, Modeling and simulation, Code generation}
}
Document
On Horizontal and Vertical Relationships between Models

Authors: Martin Gogolla


Abstract
Detecting, modeling and managing relationships between models are central tasks within model-driven engineering. By taking a simple view on software development, we distinguish in a vertical dimension between domain-specific models, core models, and executable models. A typical example for a vertical relationship is the refinement relationship beween a core model and an executable model. In the horizontal dimension, there may be several so-called property models which have the task to validate or verify particular properties of the core model. Software development coincides in our view with model development, and therefore finding the right models and their relationships is a crucial task.

Cite as

Martin Gogolla. On Horizontal and Vertical Relationships between Models. In Perspectives Workshop: Model Engineering of Complex Systems (MECS). Dagstuhl Seminar Proceedings, Volume 8331, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{gogolla:DagSemProc.08331.6,
  author =	{Gogolla, Martin},
  title =	{{On Horizontal and Vertical Relationships between Models}},
  booktitle =	{Perspectives Workshop: Model Engineering of Complex Systems (MECS)},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8331},
  editor =	{Uwe A{\ss}mann and Jean B\'{e}zivin and Richard Paige and Bernhard Rumpe and Douglas C. Schmidt},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08331.6},
  URN =		{urn:nbn:de:0030-drops-16351},
  doi =		{10.4230/DagSemProc.08331.6},
  annote =	{Keywords: Model, Model Relationship, Model Transformation, Model Development}
}

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