From State-transition Models to DEVS Models - Improving DEVS External Interoperability using MetaDEVS - A MDE Approach

Stéphane Garredu, Evelyne Vittori, Jean-François Santucci, Paul-Antoine Bisgambiglia

2013

Abstract

In this paper, the issue of the “external” interoperability of DEVS models is discussed. Scientists often need to simulate non-DEVS models using a DEVS-oriented framework, in order, for instance, to make their DEVS and non-DEVS modes interoperate. The source formalisms we propose to transform onto DEVS models are those which are based on the “family” of states and transitions. A general and model-oriented approach called MetaDEVS is presented in this article. MetaDEVS is also the name given to the DEVS metamodel we use. This metamodel allows creating platform-independent DEVS models. This paper shows how models which belong to the state and transitions “family” can be mapped onto DEVS, and more exactly onto MetaDEVS-based DEVS models, following the MetaDEVS approach. Then, the approach is applied to a concrete case: we transform Finite-State Machine (FSM) models into MetaDEVS models, using ATL, a hybrid language (which mixes both declarative and imperative rules), within the Eclipse Modelling Framework. A metamodel to describe the FSM formalism is also proposed.

Paper Citation

in Harvard Style

Garredu S., Vittori E., Santucci J. and Bisgambiglia P. (2013). From State-transition Models to DEVS Models - Improving DEVS External Interoperability using MetaDEVS - A MDE Approach . In Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-8565-69-3, pages 186-196. DOI: 10.5220/0004494401860196

in Bibtex Style

@conference{simultech13,
author={Stéphane Garredu and Evelyne Vittori and Jean-François Santucci and Paul-Antoine Bisgambiglia},
title={From State-transition Models to DEVS Models - Improving DEVS External Interoperability using MetaDEVS - A MDE Approach},
booktitle={Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2013},
pages={186-196},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004494401860196},
isbn={978-989-8565-69-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - From State-transition Models to DEVS Models - Improving DEVS External Interoperability using MetaDEVS - A MDE Approach
SN - 978-989-8565-69-3
AU - Garredu S.
AU - Vittori E.
AU - Santucci J.
AU - Bisgambiglia P.
PY - 2013
SP - 186
EP - 196
DO - 10.5220/0004494401860196