EMF-DEVS modeling

Hessam Sarjoughian, Abbas Mahmoodi Markid

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationProceedings of the 2012 Spring Simulation Multiconference, SpringSim 2012 - Theory of Modeling and Simulation
Subtitle of host publicationDEVS Integrative M and S Symposium 2012, DEVS 2012
Pages334-341
Number of pages8
Edition4 BOOK
StatePublished - Dec 1 2012
EventTheory of Modeling and Simulation: DEVS Integrative M and S Symposium 2012, DEVS 2012, Part of the 2012 Spring Simulation Multiconference, SpringSim 2012 - Orlando, FL, United States
Duration: Mar 26 2012Mar 30 2012

Publication series

NameSimulation Series
Number4 BOOK
Volume44
ISSN (Print)0735-9276

Other

OtherTheory of Modeling and Simulation: DEVS Integrative M and S Symposium 2012, DEVS 2012, Part of the 2012 Spring Simulation Multiconference, SpringSim 2012
CountryUnited States
CityOrlando, FL
Period3/26/123/30/12

Keywords

  • DEVS
  • DEVS-suite simulator
  • EMF
  • Meta-modeling
  • Model verification
  • Simulation validation

ASJC Scopus subject areas

  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'EMF-DEVS modeling'. Together they form a unique fingerprint.

  • Cite this

    Sarjoughian, H., & Markid, A. M. (2012). EMF-DEVS modeling. In Proceedings of the 2012 Spring Simulation Multiconference, SpringSim 2012 - Theory of Modeling and Simulation: DEVS Integrative M and S Symposium 2012, DEVS 2012 (4 BOOK ed., pp. 334-341). (Simulation Series; Vol. 44, No. 4 BOOK).