This book does not tell a story. Instead, it is about stories. Or rather, in technical terms, it is
about scenarios. Scenarios of system behavior. It con centrates on reactive systems, be they …

Behavior modeling has proved to be successful in hel** uncover design flaws of
concurrent and distributed systems. Nevertheless, it has not had a widespread impact on …

We describe a methodology for executing scenario-based requirements of reactive systems,
focusing on “playing-out” the behavior using formal verification techniques for driving the …

Scenario-based specifications such as message sequence charts (MSC) offer an intuitive
and visual way to describe design requirements. MSC-graphs allow convenient expression …

Message sequence charts (MSCs) constitute an attractive visual formalism that is widely
used to capture system requirements during the early design stages in domains such as …

We provide semantics for the powerful scenario-based language of live sequence charts
(LSCs). We show how the semantics of live sequence charts can be captured using …

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 …

Scenario-based specifications such as message sequence charts (MSC) offer an intuitive
and visual way of describing design requirements. MSC-graphs allow convenient …

Hierarchical state machines are finite state machines whose states themselves can be other
state machines. Hierarchy is a useful construct in many modeling formalisms and tools for …

Message sequence charts (MSC) and High-level MSC (HMSC) is a visual notation for
asynchronously communicating processes and a standard of the ITU. They usually …