Message%20Sequence%20Charts%20simulation

1
Message Sequence Charts simulation

• Loïc Hélouët

2
Message Sequence Charts

• Close to UML 2.0 Sequence Diagrams
• Intuitive representation of behaviours
• Partial order model

A
B
T110
m1
m2
a
3
HMSC composition of basic diagrams
HMSC H1
HMSC H2
M1
M1
M2
M2
4
HMSC Simulation

• Main difficulties
• Infinite state space
• Operational semantics
• Efficiency
• Incomplete model

5
A fast (and incomplete) classification of HMSC
Unbounded
Confluent
Bounded
Local
Reconstructible
Applications
6
HMSC Simulation framework
SIMU
SLIM
Operational Model (Graph grammars)
HMSC
7
Ongoing work

• A HMSC a view of a system
• n HMSC n interpretations of a system

How to define a coherent behavior w.r.t. n
 views 
Calculus of a global model G Ui1..n Hi
8
View 1
View 2
View 3
 Monitor 

• Property
• Controler

9
HMSC Environment

• Analysis
• syntax
• classification
• comparison

LTS
Editors
Interactive simulation
Simulator
HMSC
grammar
or

• Structures
• unfoldings
• depth n

HMSC

• Transformation
• normalisation
• decomposition

or