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