xDSML

1

Breakthrough #1: modular and explicit definition of the behavioral semantics of modeling languages

Breakthrough #2: explicit mapping used as behavioral interface of modeling languages

Breakthrough #3: integration of modeling languages for heterogeneous model coordination

Semantics

ASDSAMoCC

DSE(Domain Specific

Event)

Event-driven behavioral interface

Concurrent execution of homogeneous domain-specific models

•Data•Control•Communication

ArduRobotML: A toy example for illustrating the Gemoc methodology benefits

Debugging and Concurrent Execution of Heterogeneous Models – GEMOC Workshop (Mar., 2016)

A Modeling Language based on TFSM…

To drive a robot …

Coping with Semantic Variation Points

- 4

GO Forward

SCAN

STOP

For illustrating the Gemoc methodology benefits …

Using Sirius animator…