An MDE Approach to Derive System component Behavior

In this paper we are interested in the early development phases of a distributed software system, especially in the case of obtaining a system design from its global requirement specification. This is an important step in the development of complex systems and their automated derivation. The Model-Driven Engineering (MDE) approach allows the designers to model their systems at different abstraction levels. Such approach provides automatic model transformations to incrementally refine abstract models into concrete ones. This paper presents a MDE approach to derive the behavior of a given system component from its global requirements. The requirements are specified using UML activity diagram extended with collaborations. The derived behavior of the components is in the form of distributed UML state machines. The suggested approach is based on the definition of an appropriate source meta-model (requirements meta-model) and the definition of a target design meta-model. A set of model transformation rules has been designed to govern the derivation process. A real application of telediagnosis in neuroscience has been developed using this approach.

[1]  Gregor von Bochmann,et al.  Realizability of Collaboration-based Service Specifications , 2007, 14th Asia-Pacific Software Engineering Conference (APSEC'07).

[2]  Jean Bézivin,et al.  ATL: A model transformation tool , 2008, Sci. Comput. Program..

[3]  F. Migeon,et al.  Model Driven Engineering for Designing Adaptive Multi-Agent Systems , 2007 .

[4]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[5]  Jorge J. Gómez-Sanz,et al.  Methodologies for Developing Multi-Agent Systems , 2004, J. Univers. Comput. Sci..

[6]  Martin Kardos,et al.  Analytical method of CIM to PIM transformation in Model Driven Architecture (MDA) , 2010 .

[7]  Jean Bézivin,et al.  ATL: a QVT-like transformation language , 2006, OOPSLA '06.

[8]  Frank Budinsky,et al.  Eclipse Modeling Framework , 2003 .

[9]  Jorge J. Gómez-Sanz,et al.  Model Driven Development of Multi-Agent Systems , 2006, ECMDA-FA.

[10]  Márcia Lucena,et al.  Stream: a strategy for transition between requirements models and architectural models , 2011, SAC.

[11]  G. Bochmann.  Deriving component designs from global requirements , 2008 .

[12]  Marie-Pierre Gleizes,et al.  Model Driven Engineering for Designing Adaptive Multi-Agents Systems , 2008, ESAW.

[13]  Frédéric Jouault,et al.  On the architectural alignment of ATL and QVT , 2006, SAC '06.

[14]  Gerard J. Holzmann,et al.  The SPIN Model Checker , 2003 .

[15]  Gerard J. Holzmann,et al.  The SPIN Model Checker - primer and reference manual , 2003 .

[16]  QVT Partners.  Initial submission for MOF 2.0 Query / Views / Transformations RFP , 2003 .

[17]  John Mylopoulos,et al.  A Tropos Model-Driven Development Environment , 2006, CAiSE Forum.

[18]  Mario Piattini,et al.  Towards CIM to PIM Transformation: From Secure Business Processes Defined in BPMN to Use-Cases , 2007, BPM.

[19]  Esperanza Marcos,et al.  Applying CIM-to-PIM model transformations for the service-oriented development of information systems , 2011, Inf. Softw. Technol..

[20]  Gregor von Bochmann,et al.  Using collaborations in the development of distributed services , 2008 .

[21]  Anna Perini,et al.  Automating Model Transformations in Agent-Oriented Modelling , 2005, AOSE.