The Internet's World Wide Web has become the prime driver of contemporary Electronic
commerce (E-commerce). Although the emphasis has moved from Electronic Data …

This note addresses the history of process algebra as an area of research in concurrency
theory, the theory of parallel and distributed systems in computer science. Origins are traced …

Today's corporations often must operate across organizational boundaries. Phenomena
such as electronic commerce, extended enterprises, and the Internet stimulate cooperation …

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

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 …

Real-time systems need to react to certain input stimuli within given time bounds. For
example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many …

Abstract Message Sequence Charts (MSCs) are increasingly used in software engineering
methodologies and tools to capture, for instance, system requirements, test scenarios, and …

Publisher Summary This chapter includes a definition of the semantics of the sublanguage
high-level message sequence charts (HMSCs) of MSC96, based on the recommended …

The methodical mastery of interaction scenarios is a key factor for capturing and modeling
system requirements of distributed, reactive systems. Message Sequence Charts (MSCs) …

The Lamport diagram is a pervasive and intuitive tool for informal reasoning about “happens-
before” relationships in a concurrent system. However, traditional axiomatic formalizations of …