DDML

A support for communication in

M&S

Oumar Maïga

Ufuoma Bright Ighoroje

Mamadou Kaba Traoré

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

2

DEVS

3

4

Issues

• DEVS doesn’t provide a concrete syntax for models specification

• Gap between mathematical representation and computer implementation

• Absence of logical semantics

5

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

6

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

7

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

Attributes

Methods

dynamics

UML Class

Attributes

Methods

Input portsOutput

ports

8

Abstract Syntax of DDML 9

Concrete Syntax of DDML 10

Application to Traffic Modeling 11

Domain Analysis (Domain Experts)

AtomicModel

Model

CoupledModel

1

*Traffic

Area

1

*

CrossRoadTrafficLight Generator Road Accumulator

1*

Parking

Panel

X_Jonction T_Jonction Roundabout

1*

12

TrafficLight

Status:{GO,READY-TO-STOP, STOP,tempOFF, tempON}

display()

GO

Status=GO

5

READY-TO-STOP

Status= Ready-To-

STOP

1

STOP

Status=STOP

3

OFF

Status=OFF

tempON

Status=tempON

tempOFF

Status=tempOFF

Control:{0,1}

Signal

+Red

+Green

+Yellow

+Black

«enumeration»

Color

Signal^Yellow

Signal^Green

Signal^Black

Signal^Red

Control.0[e>0]

Control.1[e>0]

Signal^Green

13

Select()

Badalabougou

King Fad’s BridgeAdministrative

City

ENSUP

Dabanani Market

CarOut

CarOut

CarOut

CarOut

CarOut1

CarIn

CarIn

CarIn

CarIn

CarIn1

CarInAuthIn

AuthInAuthIn

AuthIn

AuthIn1

CarOut

CarOut1

CarIn2

AuthOut

AuthOut

AuthOut

AuthOut

AuthOut1

Traffic

14

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

15

Thank You!

Question?

16