SlideShare a Scribd company logo
1 of 16
Download to read offline
DDML
A support for communication in
              M&S
           Oumar Maïga
       Ufuoma Bright Ighoroje
       Mamadou Kaba Traoré
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
DEVS
4
5



Issues
• DEVS doesn’t provide a concrete syntax for
  models specification
• Gap between mathematical representation and
  computer implementation
• Absence of logical semantics
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

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

  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
Abstract Syntax of DDML
10

Concrete Syntax of DDML
11

Application to Traffic Modeling
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
                                                               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

                                            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

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




Thank You!
Question?

More Related Content

Viewers also liked

Ika sherlyta 1005309
Ika sherlyta 1005309Ika sherlyta 1005309
Ika sherlyta 1005309
Ika R
 
Uts media pembelajaran
Uts media pembelajaranUts media pembelajaran
Uts media pembelajaran
Ika R
 

Viewers also liked (19)

Simj a framework to develop distributed simulators scsc06
Simj a framework to develop distributed simulators   scsc06Simj a framework to develop distributed simulators   scsc06
Simj a framework to develop distributed simulators scsc06
 
Presentazione pieroni
Presentazione pieroniPresentazione pieroni
Presentazione pieroni
 
Collaborative engineering solutions and challenges in the development of spac...
Collaborative engineering solutions and challenges in the development of spac...Collaborative engineering solutions and challenges in the development of spac...
Collaborative engineering solutions and challenges in the development of spac...
 
Validation of Spacecraft Behaviour Using a Collaborative Approach
Validation of Spacecraft Behaviour Using a Collaborative ApproachValidation of Spacecraft Behaviour Using a Collaborative Approach
Validation of Spacecraft Behaviour Using a Collaborative Approach
 
Modules for reusable and collaborative modeling of biological mathematical sy...
Modules for reusable and collaborative modeling of biological mathematical sy...Modules for reusable and collaborative modeling of biological mathematical sy...
Modules for reusable and collaborative modeling of biological mathematical sy...
 
Collaborative modeling and co simulation with destecs - a pilot study
Collaborative modeling and co simulation with destecs - a pilot studyCollaborative modeling and co simulation with destecs - a pilot study
Collaborative modeling and co simulation with destecs - a pilot study
 
Ika sherlyta 1005309
Ika sherlyta 1005309Ika sherlyta 1005309
Ika sherlyta 1005309
 
Automated Performance Analysis of Business Processes
Automated Performance Analysis of Business ProcessesAutomated Performance Analysis of Business Processes
Automated Performance Analysis of Business Processes
 
A vision on collaborative computation of things for personalized analyses
A vision on collaborative computation of things for personalized analysesA vision on collaborative computation of things for personalized analyses
A vision on collaborative computation of things for personalized analyses
 
The Beauty of Mathematics
The Beauty of MathematicsThe Beauty of Mathematics
The Beauty of Mathematics
 
SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems
SysML to Discrete-event Simulation to Analyze Electronic Assembly SystemsSysML to Discrete-event Simulation to Analyze Electronic Assembly Systems
SysML to Discrete-event Simulation to Analyze Electronic Assembly Systems
 
Uts media pembelajaran
Uts media pembelajaranUts media pembelajaran
Uts media pembelajaran
 
BOM2UML: Integrating BOM Specifications into UML-based Development Environments
BOM2UML: Integrating BOM Specifications into UML-based Development EnvironmentsBOM2UML: Integrating BOM Specifications into UML-based Development Environments
BOM2UML: Integrating BOM Specifications into UML-based Development Environments
 
Anatomical Model Database
Anatomical Model DatabaseAnatomical Model Database
Anatomical Model Database
 
Simulation assisted elicitation and validation of behavioral specifications f...
Simulation assisted elicitation and validation of behavioral specifications f...Simulation assisted elicitation and validation of behavioral specifications f...
Simulation assisted elicitation and validation of behavioral specifications f...
 
Collaborative development and cataloguing of simulation and calculation model...
Collaborative development and cataloguing of simulation and calculation model...Collaborative development and cataloguing of simulation and calculation model...
Collaborative development and cataloguing of simulation and calculation model...
 
Modelling Methodologies in Support of Complex Systems of Systems Design and I...
Modelling Methodologies in Support of Complex Systems of Systems Design and I...Modelling Methodologies in Support of Complex Systems of Systems Design and I...
Modelling Methodologies in Support of Complex Systems of Systems Design and I...
 
SimArch: un'architectura software per lo sviluppo di sistemi di simulatione d...
SimArch: un'architectura software per lo sviluppo di sistemi di simulatione d...SimArch: un'architectura software per lo sviluppo di sistemi di simulatione d...
SimArch: un'architectura software per lo sviluppo di sistemi di simulatione d...
 
Modular Mathematical Modelling of Biological Systems
Modular Mathematical Modelling of Biological SystemsModular Mathematical Modelling of Biological Systems
Modular Mathematical Modelling of Biological Systems
 

More from Daniele Gianni

More from Daniele Gianni (11)

Integrated modeling and simulation framework for wireless sensor networks
Integrated modeling and simulation framework for wireless sensor networksIntegrated modeling and simulation framework for wireless sensor networks
Integrated modeling and simulation framework for wireless sensor networks
 
A package system for maintaining large model distributions in vle software
A package system for maintaining large model distributions in vle softwareA package system for maintaining large model distributions in vle software
A package system for maintaining large model distributions in vle software
 
A collaborative environment for urban landscape simulation
A collaborative environment for urban landscape simulationA collaborative environment for urban landscape simulation
A collaborative environment for urban landscape simulation
 
System model optimization through functional models execution methodology and...
System model optimization through functional models execution methodology and...System model optimization through functional models execution methodology and...
System model optimization through functional models execution methodology and...
 
Validation of Service Oriented Computing DEVS Simulation Models
Validation of Service Oriented Computing DEVS Simulation ModelsValidation of Service Oriented Computing DEVS Simulation Models
Validation of Service Oriented Computing DEVS Simulation Models
 
The DEVS-Driven Modeling Language: Syntax and Semantics Definition by Meta-Mo...
The DEVS-Driven Modeling Language: Syntax and Semantics Definition by Meta-Mo...The DEVS-Driven Modeling Language: Syntax and Semantics Definition by Meta-Mo...
The DEVS-Driven Modeling Language: Syntax and Semantics Definition by Meta-Mo...
 
A Model-Based Method for System Reliability Analysis
A Model-Based Method for System Reliability AnalysisA Model-Based Method for System Reliability Analysis
A Model-Based Method for System Reliability Analysis
 
Automation of SysML Activity Diagram Simulation with Model-Driven Engineering...
Automation of SysML Activity Diagram Simulation with Model-Driven Engineering...Automation of SysML Activity Diagram Simulation with Model-Driven Engineering...
Automation of SysML Activity Diagram Simulation with Model-Driven Engineering...
 
Model Transformation from BPMN to DEVS in a Prototype Implementation of the M...
Model Transformation from BPMN to DEVS in a Prototype Implementation of the M...Model Transformation from BPMN to DEVS in a Prototype Implementation of the M...
Model Transformation from BPMN to DEVS in a Prototype Implementation of the M...
 
SimArch: A Layered Architectural Approach to Reduce the Development Effort of...
SimArch: A Layered Architectural Approach to Reduce the Development Effort of...SimArch: A Layered Architectural Approach to Reduce the Development Effort of...
SimArch: A Layered Architectural Approach to Reduce the Development Effort of...
 
A Methodology to Predict the Performance of Distributed Simulation Systems
A Methodology to Predict the Performance of Distributed Simulation SystemsA Methodology to Predict the Performance of Distributed Simulation Systems
A Methodology to Predict the Performance of Distributed Simulation Systems
 

Recently uploaded

Why Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire businessWhy Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire business
panagenda
 
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers:  A Deep Dive into Serverless Spatial Data and FMECloud Frontiers:  A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Safe Software
 
Artificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and MythsArtificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and Myths
Joaquim Jorge
 

Recently uploaded (20)

Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024
 
Why Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire businessWhy Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire business
 
Boost PC performance: How more available memory can improve productivity
Boost PC performance: How more available memory can improve productivityBoost PC performance: How more available memory can improve productivity
Boost PC performance: How more available memory can improve productivity
 
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
 
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot TakeoffStrategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
 
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
 
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers:  A Deep Dive into Serverless Spatial Data and FMECloud Frontiers:  A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
 
2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...
 
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
 
HTML Injection Attacks: Impact and Mitigation Strategies
HTML Injection Attacks: Impact and Mitigation StrategiesHTML Injection Attacks: Impact and Mitigation Strategies
HTML Injection Attacks: Impact and Mitigation Strategies
 
The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024
 
Apidays New York 2024 - The value of a flexible API Management solution for O...
Apidays New York 2024 - The value of a flexible API Management solution for O...Apidays New York 2024 - The value of a flexible API Management solution for O...
Apidays New York 2024 - The value of a flexible API Management solution for O...
 
Artificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and MythsArtificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and Myths
 
Exploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone ProcessorsExploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone Processors
 
Tata AIG General Insurance Company - Insurer Innovation Award 2024
Tata AIG General Insurance Company - Insurer Innovation Award 2024Tata AIG General Insurance Company - Insurer Innovation Award 2024
Tata AIG General Insurance Company - Insurer Innovation Award 2024
 
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
 
From Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time AutomationFrom Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time Automation
 
GenAI Risks & Security Meetup 01052024.pdf
GenAI Risks & Security Meetup 01052024.pdfGenAI Risks & Security Meetup 01052024.pdf
GenAI Risks & Security Meetup 01052024.pdf
 
A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)
 
Powerful Google developer tools for immediate impact! (2023-24 C)
Powerful Google developer tools for immediate impact! (2023-24 C)Powerful Google developer tools for immediate impact! (2023-24 C)
Powerful Google developer tools for immediate impact! (2023-24 C)
 

DDML a support for communication in m&s

  • 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
  • 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
  • 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