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 …

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

This paper is concerned with the application of Web services to distributed, cross-
organizational business processes. In this scenario, it is crucial to answer the following …

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

Business process execution language for Web services (BPEL) is becoming the industrial
standard for modeling Web-service-based business processes. Behavioral compatibility for …

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 (MSC) are a graphical specification language widely used for
designing communication protocols. Our starting point are two decision problems …

Multiparty session types (MSTs) provide an efficient methodology for specifying and verifying
message passing software systems. In the theory of MSTs, a global type specifies the …

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 …

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 …