Modeling formalisms for dynamic structure systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Verification, validation, and accreditation
Proceedings of the 30th conference on Winter simulation
Concepts and criteria to assess acceptability of simulation studies: a frame of reference
Communications of the ACM - Special issue on simulation modeling and statistical computing
Theory of Modeling and Simulation
Theory of Modeling and Simulation
Contributing to Eclipse: Principles, Patterns, and Plugins
Contributing to Eclipse: Principles, Patterns, and Plugins
EMF: Eclipse Modeling Framework 2.0
EMF: Eclipse Modeling Framework 2.0
System modeling with mixed object and data models
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
CoSMoS: a visual environment for component-based modeling, experimental design, and simulation
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
A framework for executable UML models
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
OSIF: a framework to instrument, validate, and analyze simulations
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Verification and validation of simulation models
Winter Simulation Conference
Real-time network-on-chip simulation modeling
Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques
| Hi-index | 0.00 |
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.