loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Stéphane Garredu ; Evelyne Vittori ; Jean-François Santucci and Paul-Antoine Bisgambiglia

Affiliation: University of Corsica, France

ISBN: 978-989-8565-69-3

Keyword(s): M&S, DEVS, MDE, MDA, M2M, Interoperability, EMF, ATL.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Biomedical Engineering ; Collaboration and e-Services ; Complex Systems Modeling and Simulation ; Conceptual Modeling ; Data Engineering ; Discrete-Event Simulation ; e-Business ; Enterprise Information Systems ; Formal Methods ; Health Information Systems ; Integration/Interoperability ; Interoperability ; Knowledge Management and Information Sharing ; Knowledge-Based Systems ; Ontologies and the Semantic Web ; Sensor Networks ; Simulation and Modeling ; Software Agents and Internet Computing ; Software and Architectures ; Symbolic Systems

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 M odelling Framework. A metamodel to describe the FSM formalism is also proposed. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 35.170.81.210

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@conference{simultech13,
author={Stéphane Garredu. and Evelyne Vittori. and Jean{-}Fran\c{C}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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.