Towards a Software Engineering Approach to Multi-Scale Modeling and Simulation
| Autor: | Mourad Maouche, Mohamed Bettaz |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
Social software engineering
business.industry Computer science Search-based software engineering Software development Feature-oriented domain analysis Software development process Software construction Systems engineering Model-driven architecture Software engineering business computer Software Software verification computer.programming_language |
| Zdroj: | International Journal of Software Engineering and Its Applications. 10:205-218 |
| ISSN: | 1738-9984 |
| DOI: | 10.14257/ijseia.2016.10.11.18 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|