Presentation delivered at the 3rd IEEE Track on Collaborative Modeling & Simulation - CoMetS'12. Please see http://www.sel.uniroma2.it/comets12/ for further details.

1. DDML
A support for communication in
M&S
Oumar Maïga
Ufuoma Bright Ighoroje
Mamadou Kaba Traoré

2. 2
Outline
• 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
DEVS

4. 4

5. 5
Issues
• DEVS doesn’t provide a concrete syntax for
models specification
• Gap between mathematical representation and
computer implementation
• Absence of logical semantics

6. 6
Objective
• 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
The 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
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
Abstract Syntax of DDML

10. 10
Concrete Syntax of DDML

11. 11
Application to Traffic Modeling

12. 12
Domain 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
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^Green
Control:{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
Traffic
Select()
AuthIn CarOut
CarIn Administrative
CarOut CarIn
AuthOut King Fad’s Bridge City AuthIn
CarOut1
AuthOut1
CarIn CarOut
ENSUP
AuthOut
CarOut1
CarIn2 AuthIn1
CarIn CarOut
CarIn1
CarOut
AuthOut Badalabougou Dabanani Market
CarIn
AuthIn AuthIn
AuthOut

15. 15
Conclusion
• 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
Thank You!
Question?