Sciweavers

36 search results - page 4 / 8
» Stepwise Design with Message Sequence Charts
Sort
View
SAM
2000
89views Hardware» more  SAM 2000»
14 years 10 months ago
HyperMSC - a Graphical Representation of TTCN
The development of an MSC based graphical representation of TTCN is part of the ETSI project STF 156 on 'Specification of a Message Sequence Chart/UML format, including valid...
Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski
FMCAD
2008
Springer
14 years 11 months ago
Going with the Flow: Parameterized Verification Using Message Flows
A message flow is a sequence of messages sent among processors during the execution of a protocol, usually illustrated with something like a message sequence chart. Protocol design...
Murali Talupur, Mark R. Tuttle
TACAS
1998
Springer
115views Algorithms» more  TACAS 1998»
15 years 1 months ago
MESA: Support for Scenario-Based Design of Concurrent Systems
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
Hanêne Ben-Abdallah, Stefan Leue
CN
2002
89views more  CN 2002»
14 years 9 months ago
Graphic visualization and animation of LOTOS execution traces
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....
Bernard Stepien, Luigi Logrippo
ACSD
2003
IEEE
151views Hardware» more  ACSD 2003»
15 years 2 months ago
Communicating Transaction Processes
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
Abhik Roychoudhury, P. S. Thiagarajan