earticle

영어

In this work we propose a development methodology aiming to bridge the gap between approaches used by (e)-science communities to develop their modeling frameworks, and model driven engineering approaches used to develop modeling frameworks with similar complexity. The proposed methodology relies on a sound integration of UML-MARTE, CSP-OZ, and PyCSP. We show, in this paper, how to exploit this similarity to bridge the gap between both approaches. A first contribution of this paper consists in proposing a sound software development methodology for the construction of critical reactive systems in general and multi-scale simulation frameworks in particular. A second contribution consists in adding a new sub-profile for MARTE, the so-called SSRM (Specific Software Resource Model), dedicated to the modeling of multi-scale simulation frameworks. MUSCLE [9], a recent distributed multi-scale simulation framework, serves as a case study in this work. The proposed SSRM sub-profile is intended to define specific software resources that capture a subset of MUSCLE core concepts. A third contribution consists in sketching a formal semantic framework for our software development methodology aiming at ensuring a sound integration (from a semantic point of view) of UML-MARTE, CSP-OZ and PyCSP.