# Message Sequence Charts simulation - PowerPoint PPT Presentation

Message Sequence Charts simulation

1 / 9
Message Sequence Charts simulation

## Message Sequence Charts simulation

- - - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - - -
##### Presentation Transcript

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 T1=10 m1 m2 a Message Sequence Charts simulation

3. MSC M1 A B m1 MSC M2 A B m2 HMSC : composition of basic diagrams HMSC H1 HMSC H2 M1 M1 M2 M2 Message Sequence Charts simulation

4. n0 HMSC H n0 M1 n1 M2 n2 M4 M3 n3 HMSC Simulation Main difficulties • Infinite state space • Operational semantics • Efficiency • Incomplete model Message Sequence Charts simulation

5. x x x x x x x x? x x x x x x? x model checking simulation synthesis A fast (and incomplete) classification of HMSC Unbounded Confluent Bounded Local Reconstructible Applications : Message Sequence Charts simulation

6. n0 HMSC H n0 M1 n1 M2 n2 M4 M3 n3 HMSC Simulation framework SIMU SLIM Operational Model (Graph grammars) HMSC Message Sequence Charts simulation

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= Ui=1..n Hi Message Sequence Charts simulation

8. View 1 View 2 View 3 « Monitor » • Property • Controler • … Message Sequence Charts simulation

9. HMSC Environment • Analysis • syntax • classification • comparison LTS Editors Interactive simulation Simulator HMSC grammar or • Structures • unfoldings • depth n • … HMSC • Transformation • normalisation • decomposition • … or … Message Sequence Charts simulation