Specifying interacting components with coordinated concurrent scenarios

Chandrasekaran, Prakash ; Mukund, Madhavan (2009) Specifying interacting components with coordinated concurrent scenarios In: 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 23-27 Nov 2009, Hanoi, Vietnam.

Full text not available from this repository.

Official URL: https://ieeexplore.ieee.org/document/5368114/

Related URL: http://dx.doi.org/10.1109/SEFM.2009.18


We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose actions are MSCs that specify its local view of the overall communication in the system. These local MSCs are composed into coherent global scenarios using a separately specified set of transactions. Intuitively, each MSC represents a phase of interaction. We introduce a mechanism to overlap phases that allows complex interactions to be specified without obscuring the logical structure of the constituent scenarios. Our notation combines the global view available in models such as high-level message sequence charts (HMSCs) with the local, asynchronous structure captured by message-passing automata (MPA). In fact, both HMSCs and MPAs can be captured as special cases of our formalism. In this paper we focus on the syntax and formal semantics of our notation, with examples that illustrate why this approach is more natural for capturing real-life specifications. We also describe an approach to use automated tools to analyze systems specified using our notation.

Item Type:Conference or Workshop Item (Paper)
Source:Copyright of this article belongs to Institute of Electrical and Electronics Engineers.
Keywords:Concurrent Scenarios; Concurrent Systems; Visual Specification
ID Code:114141
Deposited On:25 May 2018 04:41
Last Modified:25 May 2018 04:41

Repository Staff Only: item control page