DDML a support for communication in m&s

400 views
301 views

Published on

Presentation delivered at the 3rd IEEE Track on
Collaborative Modeling & Simulation - CoMetS'12.

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

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

  • Be the first to like this

No Downloads
Views
Total views
400
On SlideShare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
4
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

DDML a support for communication in m&s

  1. 1. DDMLA support for communication in M&S Oumar Maïga Ufuoma Bright Ighoroje Mamadou Kaba Traoré
  2. 2. 2Outline• DEVS• The DEVS-Driven Modeling Language (DDML) ▫ The DDML approach ▫ Abstract Syntax of DDML ▫ Concrete Syntax of DDML• Application to traffic modeling ▫ The domain analysis ▫ Models• Conclusion
  3. 3. 3DEVS
  4. 4. 4
  5. 5. 5Issues• DEVS doesn’t provide a concrete syntax for models specification• Gap between mathematical representation and computer implementation• Absence of logical semantics
  6. 6. 6Objective• Our objective is to build a simulation modeling methodology based on a formalism that is easy to understand and amenable to formal analysis• Facilitates the modeling process and improves communication between experts
  7. 7. 7The DEVS-Driven Modeling Language• Graphical Modeling language• Simulation Modeling for discrete event systems• Combining Software Engineering and System Theory views (UML and DEVS)• Facilitates and Improve communication between M&S experts and system domain experts• Amenable to formal analysis
  8. 8. 8 The DDML approach• Domain analysis, where the domain class diagram is built according to the knowledge provided by domain experts• Identification of dynamic components as atomic or coupled models, and specification of their structure and behavior DDML Model UML Class Attributes Attributes Methods Methods Output Input ports ports dynamics
  9. 9. 9Abstract Syntax of DDML
  10. 10. 10Concrete Syntax of DDML
  11. 11. 11Application to Traffic Modeling
  12. 12. 12Domain Analysis (Domain Experts) Model * Traffic Parking 1 AtomicModel CoupledModel 1 Panel * Area CrossRoad 1 TrafficLight Generator Road Accumulator * 1 * X_Jonction T_Jonction Roundabout
  13. 13. 13 TrafficLight Status:{GO,READY-TO-STOP, STOP,tempOFF, tempON} display() «enumeration» Color +Red GO READY-TO-STOP STOP +Green Signal^Yellow Signal^Red +Yellow Status= Ready-To- +Black Status=GO Status=STOP STOP 5 1 3 Signal Signal^GreenControl:{0,1} Control.0[e>0] Signal^Green tempOFF OFF tempON Signal^Black Status=OFF Status=tempOFF Status=tempON Control.1[e>0]
  14. 14. 14 Traffic Select() AuthIn CarOut CarIn Administrative CarOut CarIn AuthOut King Fad’s Bridge City AuthIn CarOut1AuthOut1 CarIn CarOut ENSUP AuthOut CarOut1 CarIn2 AuthIn1 CarIn CarOut CarIn1 CarOut AuthOut Badalabougou Dabanani Market CarIn AuthIn AuthIn AuthOut
  15. 15. 15Conclusion• The main idea is to develop a simulation modeling methodology based on formalism that is highly communicable, expressive, and amenable to formal analysis.• DDML methodology allows a hierarchical and modular construction of complex models• Using SE and ST views in the same language at differents levels of abstraction: ▫ More collaboration at analysis step ▫ Automation of simulation code synthesis
  16. 16. 16Thank You!Question?

×