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
相关论文
共 33 条
  • [1] FORMAL FRAMEWORK FOR THE DEVS-DRIVEN MODELING LANGUAGE
    Ighoroje, Ufuoma Bright
    Maiga, Oumar
    Traore, Mamadou Kaba
    23RD EUROPEAN MODELING & SIMULATION SYMPOSIUM, EMSS 2011, 2011, : 669 - 674
  • [2] Development of a Modeling Language for Capability Driven Development: Experiences from Meta-modeling
    Stirna, Janis
    Zdravkovic, Jelena
    CONCEPTUAL MODELING, ER 2016, 2016, 9974 : 396 - 403
  • [3] Integrating Petri Net Semantics in a Model-Driven Approach: The Renew Meta-Modeling and Transformation Framework
    Mosteller, David
    Cabac, Lawrence
    Haustermann, Michael
    TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XI, 2016, 9930 : 92 - 113
  • [4] Transformation rules based on meta-modeling
    Lemesle, R
    ENTERPRISE DISTRIBUTED OBJECT COMPUTING - PROCEEDINGS SECOND INTERNATIONAL WORKSHOP, 1998, : 113 - 122
  • [5] Graph Repair and its Application to Meta-Modeling
    Sandmann, Christian
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (330): : 13 - 34
  • [6] The Syntax and semantics of the PROforma guideline modeling language
    Sutton, DR
    Fox, J
    JOURNAL OF THE AMERICAN MEDICAL INFORMATICS ASSOCIATION, 2003, 10 (05) : 433 - 443
  • [7] Co-evolution of Meta-Modeling Syntax and Informal Semantics in Domain-Specific Modeling Environments - A Case Study of AUTOSAR
    Durisic, Darko
    Motta, Corrado
    Staron, Miroslaw
    Tichy, Matthias
    2017 ACM/IEEE 20TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2017), 2017, : 189 - 198
  • [8] Extending Persistent Meta-Modeling Systems to Handle Behavioral Semantics
    Ait Ameur, Yamine
    Bazhar, Youness
    PROCEEDINGS OF THE 2012 IEEE SECOND INTERNATIONAL WORKSHOP ON ADVANCED INFORMATION SYSTEMS FOR ENTERPRISES (IWAISE 2012), 2012, : 1 - 1
  • [9] Toward formalizing domain modeling semantics in language syntax
    Evermann, J
    Wand, Y
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2005, 31 (01) : 21 - 37
  • [10] Unified meta-modeling framework using bond graph grammars for conceptual modeling
    Ragavan, Sampath Kumar Veera
    Shanmugavel, Madhavan
    Ganapathy, Velappa
    Shirinzadeh, Bijan
    ROBOTICS AND AUTONOMOUS SYSTEMS, 2015, 72 : 114 - 130
1234