The DEVS-driven modeling language: syntax and semantics definition by meta-modeling and graph transformation

Authors:
Ufuoma Bright Ighoroje;Oumar Maïga;Mamadou Kaba Traoré
Affiliations:
African University of Science and Technology, Abuja, Nigeria;Université de Bamako, Bamako, Mali;Université Blaise Pascal, UMR, Clermont-Ferrand II, France
Venue:
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Year:
2012

Citing 5
Cited 0

Theory of Modelling and Simulation

Theory of Modelling and Simulation
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
SimStudio: a next generation modeling and simulation framework

Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation

Simulation
A graphical notation for DEVS

SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents the syntax and semantics of the DEVS-Driven Modeling Language (DDML), a simulation modeling formalism that combines visual modeling, discrete event simulation and formal analysis. The use of visual notations makes DDML highly communicable. Simulation and formal analysis are combined for verification, validation, and accreditation of models to ensure high integrity models. DDML is inspired by the Discrete Event System Specification (DEVS) formalism as its operational semantics adopts the DEVS simulation protocol. We present the definition of the syntaxes and semantics of DDML using meta-modeling and graph transformation techniques.