Message Sequence Charts simulation - PowerPoint PPT Presentation

message sequence charts simulation n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
Message Sequence Charts simulation PowerPoint Presentation
Download Presentation
Message Sequence Charts simulation

play fullscreen
1 / 9
Message Sequence Charts simulation
118 Views
Download Presentation
vlora
Download Presentation

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