Message%20Sequence%20Charts%20simulation - PowerPoint PPT Presentation

About This Presentation
Title:

Message%20Sequence%20Charts%20simulation

Description:

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

Number of Views:82
Avg rating:3.0/5.0
Slides: 10
Provided by: Oui3
Category:

less

Transcript and Presenter's Notes

Title: 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
Write a Comment
User Comments (0)
About PowerShow.com