Behavioural interoperability to support model-driven systems integration

Software system integration is a process in which the target system is synthesised from discrete components (subsystems) whilst ensuring they function together as a system and are able to deliver required functionality. System integration is particularly important in projects in which new technologies must integrate with legacy systems. In such scenarios, this process can be broadly divided in two stages: interoperability checking and composition. Model-based approaches are promising since they allow us to carry out some of this process earlier (thus identifying problems earlier in the development lifecycle when they are easier to rectify). In this paper we describe a generic modelbased platform for system integration, applicable to different modelling languages, that supports both interoperability checking (at different levels of abstraction) and composition; our presentation focuses on the platform's support for interoperability checking. The approach, which consists of a language and a simulation tool, is presented, and its use is illustrated in a simple example for interoperability checking involving architectural models enriched with behaviour.

[1]  Erhard Rahm,et al.  Rondo: a programming platform for generic model management , 2003, SIGMOD '03.

[2]  James Davis,et al.  GME: the generic modeling environment , 2003, OOPSLA '03.

[3]  Joseph Sifakis,et al.  Modeling Heterogeneous Real-time Components in BIP , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).

[4]  Peter Fettke,et al.  Model Driven Architecture (MDA) , 2003, Wirtsch..

[5]  Fertigungstechnik Maschinenbau,et al.  ATLAS Transformation Language , 2010 .

[6]  Juan de Lara,et al.  Guest Editorial: Special Issue on Multi-paradigm Modeling , 2009, Simul..

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

[8]  Gabor Karsai,et al.  The Generic Modeling Environment , 2001 .

[9]  Frédéric Boulanger,et al.  Exploring Multi-Paradigm Modeling Techniques , 2009, Simul..

[10]  Pierre F. Tiako.  Designing Software-Intensive Systems: Methods and Principles , 2008 .

[11]  Juan de Lara,et al.  AToM3: A Tool for Multi-formalism and Meta-modelling , 2002, FASE.

[12]  Guy Doumeingts,et al.  European initiatives to develop interoperability of enterprise applications - basic concepts, framework and roadmap , 2003, Annu. Rev. Control..

[13]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[14]  Robin J. Wilson.  Introduction to Graph Theory , 1974 .

[15]  Philip A. Bernstein,et al.  Merging Models Based on Given Correspondences , 2003, VLDB.

[16]  François Vernadat,et al.  Enterprise modeling and integration : principles and applications , 1996 .

[17]  Douglas C. Schmidt,et al.  System Integration Using Model-Driven Engineering , 2009 .

[18]  Perry Alexander,et al.  The Rosetta meta-model framework , 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..