0
The DEVS-Driven Modeling         Language:Syntax and Semantics Definition by Meta-  Modeling and Graph Transformation     ...
HighlightsThe DEVS-Driven Modeling Language (DDML):    Graphical Modeling language    Simulation Modeling for discrete ...
DDMLThe DEVS-Driven Modeling Language High Communicability: uses easy visual   notations and integrates software engineer...
Hierarchy of System   Specification  Coupled Network:  Multi-component system specification,     CN  couplings, and intera...
Defining DDMLThe Visual Language, 𝐷𝐷𝑀𝐿 = < 𝐴, 𝐶, 𝑆, 𝑀 𝐶𝐴 , 𝑀 𝐴𝑆 >                                  Semantic               ...
DDML: Abstract SyntaxTwo approaches to define abstract syntax:    Meta-Modeling: declarative approach with     UML class...
Notes on Graph Transformation   A Graph Transformation System,       GTS = <DSIG, ATG, P>      DSIG: data type signature...
DDML: Meta-Model    (UML)
OCL Constraints on the DDML Meta-Model context Coupled_Model        inv EIC.source.OclIsTypeOf(self.Input_Port)        inv...
DDML: Graph Transformation       (Type Graph)                                                                             ...
Graph Production Rules
DDML: Concrete Syntax                                                          Configuration                              ...
Case Study: Queuing Network      (Coupled Model)
Queuing Network (AtomicModel of Queue Component)
DDML: Semantics Operational Semantics: adopts the DEVS Simulation  Protocol Formal Semantics: Semantic mapping of DDML a...
DDML Formal andOperational Semantics….
DDML Tool SupportDDML tools are developed using model driven engineering techniquesThe DDML Editor: for graphical constr...
SimStudio Architecture                                                                                 Other Modeling Tool...
The DEVS-Driven Modeling Language: Syntax and Semantics Definition by Meta-Modeling and Graph Transformation
Upcoming SlideShare
Loading in...5
×

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

538

Published on

Presentation at the 2nd International Workshop on Model-driven Approaches for Simulation Engineering

(held within the SCS/IEEE Symposium on Theory of Modeling and Simulation part of SpringSim 2012)

Please see: http://www.sel.uniroma2.it/mod4sim12/ for further details

Published in: Technology
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
538
On Slideshare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
6
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

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

  1. 1. 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é The 2nd International Workshop on Model-driven Approaches for Simulation Engineering (MO4SIM 2012)
  2. 2. HighlightsThe DEVS-Driven Modeling Language (DDML):  Graphical Modeling language  Simulation Modeling for discrete event systems  Amenable to formal analysis  Inspired by the DEVS (Discrete Event System Specification) formalismSyntax and Semantic Definition of DDML
  3. 3. DDMLThe DEVS-Driven Modeling Language High Communicability: uses easy visual notations and integrates software engineering and system theoretic principles High Integrity of Simulation Models: integrates formal analysis and simulation for verification and validation of models Universality: driven by DEVS and rooted in system theory, models of discrete, (approximate) continuous and hybrid systems can be built
  4. 4. Hierarchy of System Specification Coupled Network: Multi-component system specification, CN couplings, and interactions. Input Output System: Internal structure of the system; state IOS sets and transition rules Input Output Function Observation: IOFO Functional groupings of I/O segment pairs Input Output Relation Observation: IORO Underlying behavior of the system Observation Frame: OF Set of inputs and outputs of the system
  5. 5. Defining DDMLThe Visual Language, 𝐷𝐷𝑀𝐿 = < 𝐴, 𝐶, 𝑆, 𝑀 𝐶𝐴 , 𝑀 𝐴𝑆 > Semantic Domain Abstract Syntax (A) Concrete Syntax (C)
  6. 6. DDML: Abstract SyntaxTwo approaches to define abstract syntax:  Meta-Modeling: declarative approach with UML class diagrams  Graph Transformation: constructive approach
  7. 7. Notes on Graph Transformation  A Graph Transformation System, GTS = <DSIG, ATG, P>  DSIG: data type signature  ATG: attributed type graph  P: typed attributed graph productions.  A Graph Grammar, GG = <GTS, S>, with a start graph S.  The language L generated by GG is given by L = {G | S ⇒∗ G}
  8. 8. DDML: Meta-Model (UML)
  9. 9. OCL Constraints on the DDML Meta-Model context Coupled_Model inv EIC.source.OclIsTypeOf(self.Input_Port) inv EIC.target.OclIsTypeOf(self.component.Input_Port) inv IC.source.OclIsTypeOf(self.component.Output_Port) inv IC.target.OclIsTypeOf(self.component.Input_Port) inv EOC.source.OclIsTypeOf(self.component.Output_Port) inv EOC.target.OclIsTypeOf(self.Output_Port) context Transient::timeAdvance() inv self::timeAdvance() = 0.0 context Passive inv self.timeAdvance() = + ∞ context Finite inv self.timeAdvance() > 0.0 and < + ∞
  10. 10. DDML: Graph Transformation (Type Graph) NamedElement name: string Operation Class IOInterface parameter Select priority:nat Model source components target selectFlag Coupled_Model interaction Coupling Port type Attribute EIC IC EOC Input_Port Output_Port StateVariable Atomic_Model channel internalstructure StateMachine transition DataType feature messageType from trigger Node Transition Event DoActivity to property message activity Message Configuration ConditionalNode Internal External Confluent timeAdvance: real condition: bool Passive Finite Transient DDML Type Graph
  11. 11. Graph Production Rules
  12. 12. DDML: Concrete Syntax Configuration IOFrame Model Transient Passive Finite Properties CoupledModel Properties AtomicModel Label Properties Template: Name Input_Port Output_Port Label Template: Name Activities Attributes Label Attributes Activities Functions TA Functions Activities Transition Internal External Confluent Conditional Assignments Condition Coupling Properties Lamda triggerLabel Properties Properties Label Activities Label Activities Activities EIC IC EOC Assignments TA trigger Assignments
  13. 13. Case Study: Queuing Network (Coupled Model)
  14. 14. Queuing Network (AtomicModel of Queue Component)
  15. 15. DDML: Semantics Operational Semantics: adopts the DEVS Simulation Protocol Formal Semantics: Semantic mapping of DDML at three levels of abstraction (CN, IOS, IORO) to formal methods  CN: Coupled Network --- Process Algebra (CSP, CCS …)  IOS: Input Output System ---Transition Systems (LTS, TA …)  IORO: Input Output Relation Observation --- Temporal Logic (CTL, LTL …)
  16. 16. DDML Formal andOperational Semantics….
  17. 17. DDML Tool SupportDDML tools are developed using model driven engineering techniquesThe DDML Editor: for graphical construction of models with DDMLSimStudio: Model editors, DEVS simulation engine, visualization and management modulesFormal tools: federated formal tools for formal analysis of models
  18. 18. SimStudio Architecture Other Modeling Tools DDML Graphical Modeler T T Transformer XML Standard Format XML Standard Format XML Standard Format SImStudio Visualizer Java SimStudio Kernel C++ T Visualization Tools Python T XML Standard Format T T T CSP LTS CTL Tools for Formal Analysis
  1. A particular slide catching your eye?

    Clipping is a handy way to collect important slides you want to go back to later.

×