Manifesto - Model Engineering for Complex Systems

Complex systems are hard to define. 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. MDE is a software engineering field based on few simple and sound principles. Its power stems from the assumption of considering everything - engineering artefacts, manipulations of artefacts, etc - as a model. Our intuition was that MDE may provide the right level of abstraction to move the study of complex systems from an informal goal to more concrete grounds. In order to provide first evidence in support of this intuition, the workshop studied different visions and different approaches to the development and management of different kinds of complex systems. This note presents the summary of the discussions.

[1]  Rick Salay,et al.  An Eclipse-based tool framework for software model management , 2007, eclipse '07.

[2]  Bernhard Rumpe,et al.  Model-driven Development of Complex Software : A Research Roadmap , 2007 .

[3]  Richard F. Paige,et al.  An action semantics for MOF 2.0 , 2006, SAC '06.

[4]  Richard F. Paige,et al.  Metamodel-based model conformance and multiview consistency checking , 2007, TSEM.

[5]  Bernhard Rumpe,et al.  Meaningful modeling: what's the semantics of "semantics"? , 2004, Computer.

[6]  Susan Stepney,et al.  Neutral Emergence and Coarse Graining , 2007, ECAL.

[7]  Richard F. Paige,et al.  The Role of Dependency Links in Ensuring Architectural View Consistency , 2008, Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008).

[8]  Régine Laleau,et al.  Using formal metamodels to check consistency of functional views in information systems specification , 2008, Inf. Softw. Technol..

[9]  Jean Bézivin,et al.  On the Need for Megamodels , 2004, OOPSLA 2004.

[10]  Richard F. Paige,et al.  Merging models with the epsilon merging language (EML) , 2006, MoDELS'06.

[11]  Frédéric Jouault,et al.  Model Driven Management of Complex Systems: Implementing the Macroscope's Vision , 2008, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008).

[12]  Jean Bézivin,et al.  A Canonical Scheme for Model Composition , 2006, ECMDA-FA.

[13]  Jean Bézivin,et al.  On the unification power of models , 2005, Software & Systems Modeling.

[14]  A. Vivanti The macroscope. , 1953, Medical world.

[15]  Richard F. Paige,et al.  Detecting and Repairing Inconsistencies across Heterogeneous Models , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

[16]  Frederick P. Brooks,et al.  No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .

[17]  Bernhard Rumpe,et al.  An Algebraic View on the Semantics of Model Composition , 2007, ECMDA-FA.