Inference of message sequence charts
Software designers draw Message Sequence Charts for early modeling of the individual
behaviors they expect from the concurrent system under design. Can they be sure that …
behaviors they expect from the concurrent system under design. Can they be sure that …
Inferring models of concurrent systems from logs of their behavior with CSight
Concurrent systems are notoriously difficult to debug and understand. A common way of
gaining insight into system behavior is to inspect execution logs and documentation …
gaining insight into system behavior is to inspect execution logs and documentation …
Model checking of message sequence charts
R Alur, M Yannakakis - International Conference on Concurrency Theory, 1999 - Springer
Scenario-based specifications such as message sequence charts (MSC) offer an intuitive
and visual way of describing design requirements. Such specifications focus on message …
and visual way of describing design requirements. Such specifications focus on message …
Realizability and verification of MSC graphs
Scenario-based specifications such as message sequence charts (MSC) offer an intuitive
and visual way to describe design requirements. MSC-graphs allow convenient expression …
and visual way to describe design requirements. MSC-graphs allow convenient expression …
Deciding properties for message sequence charts
Message sequence charts (MSC) are commonly used in designing communication systems.
They allow describing the communication skeleton of a system and can be used for finding …
They allow describing the communication skeleton of a system and can be used for finding …
Realizability and verification of MSC graphs
Scenario-based specifications such as message sequence charts (MSC) offer an intuitive
and visual way of describing design requirements. MSC-graphs allow convenient …
and visual way of describing design requirements. MSC-graphs allow convenient …
LSCs: Breathing life into message sequence charts
W Damm, D Harel - Formal methods in system design, 2001 - Springer
While message sequence charts (MSCs) are widely used in industry to document the
interworking of processes or objects, they are expressively weak, being based on the …
interworking of processes or objects, they are expressively weak, being based on the …
Syntactic detection of process divergence and non-local choice in message sequence charts
H Ben-Abdallah, S Leue - … Workshop on Tools and Algorithms for the …, 1997 - Springer
Abstract Message Sequence Charts (MSCs) are increasingly used in software engineering
methodologies and tools to capture, for instance, system requirements, test scenarios, and …
methodologies and tools to capture, for instance, system requirements, test scenarios, and …
An analyzer for message sequence charts
Message sequence charts (MSCs) are used in the design phase of a distributed system to
record intended system behaviors. They serve as informal documentation of design …
record intended system behaviors. They serve as informal documentation of design …
A theory of regular MSC languages
Message sequence charts (MSCs) are an attractive visual formalism widely used to capture
system requirements during the early design stages in domains such as telecommunication …
system requirements during the early design stages in domains such as telecommunication …