@inproceedings{bbde8ea7e8654a5ba2ce6687918f22e8,
title = "EMF-DEVS modeling",
abstract = "This paper introduces EMF-DEVS, a meta-modeling approach based on the Eclipse Modeling Framework (EMF) and system-theoretic Discrete Event System Specification (DEVS). Generic atomic and coupled EMF-DEVS meta-models are conceptualized and developed. These aid automating basic input/output consistency checking among model components. They provide the basis upon which to develop meta-models for systems that can be expressed in the DEVS formalism. Structural syntax and semantics for generic and domain-specific meta-models are enforced. The Eclipse Java EMF tool transforms the meta-models to their implemented counterparts. Behaviors for a system under consideration can be added to the implementations of the meta-models so that they can be executed in DEVS-Suite, a target simulator that is used in the EMF-DEVS modeling engine. Some observations and future work including how EMF-DEVS meta-modeling can strengthen model verification and simulation validation activities are briefly described.",
keywords = "DEVS, DEVS-suite simulator, EMF, Meta-modeling, Model verification, Simulation validation",
author = "Hessam Sarjoughian and Markid, {Abbas Mahmoodi}",
year = "2012",
language = "English (US)",
isbn = "9781618397867",
series = "Simulation Series",
number = "4 BOOK",
pages = "334--341",
booktitle = "Proceedings of the 2012 Spring Simulation Multiconference, SpringSim 2012 - Theory of Modeling and Simulation",
edition = "4 BOOK",
note = "Theory of Modeling and Simulation: DEVS Integrative M and S Symposium 2012, DEVS 2012, Part of the 2012 Spring Simulation Multiconference, SpringSim 2012 ; Conference date: 26-03-2012 Through 30-03-2012",
}