114 search results - page 14 / 23 » Compositional Message Sequence Charts |
133
click to vote
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
116
click to vote
SEKE
2004
Springer
15 years 8 months ago
2004
Springer
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...
104
click to vote
FORTE
2007
15 years 4 months ago
2007
This paper proposes a diagnosis framework for distributed systems based on pomset languages. Diagnosis is performed by projecting these models on a collection of observable labels ...
118
click to vote
CN
2002
15 years 2 months ago
2002
Abstract. Two types of visualization and animation tools for LOTOS execution traces are presented: a translator from LOTOS traces to Message Sequence Charts and a graphic animator....
135
click to vote
IEEECIT
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract The conversation model captures interactions among the components of a composite web service. A conversation is the global sequence of messages exchanged among the compone...