The DEVS-Driven Modeling Language: Syntax and Semantics Definition by Meta-Modeling and Graph Transformation

被引：0

作者：

Ighoroje, Ufuoma Bright ^{[1
]}

Maiga, Oumar ^{[2
]}

Traore, Mamadou Kaba ^{[3
]}

机构：

[1] African Univ Sci & Technol, Abuja, Nigeria

[2] Univ Bamako, Bamako, Mali

[3] Univ Blaise Pascal, UMR 6158, Clermont Univ, Clermont Ferrand, France

来源：

THEORY OF MODELING AND SIMULATION: DEVS INTEGRATIVE M&S SYMPOSIUM 2012 (DEVS 2012) | 2012年 / 44卷 / 04期

关键词：

DDML; DEVS; Graph Transformation; Meta Modeling; Graphical Modeling;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：55 / 60

页数：6