Describing interactions between MSC components: the MSC connectors

Graubmann, Peter

doi:10.1016/s1389-1286(03)00246-9

Cited by 3 publications

(1 citation statement)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This method provides a simple yet concise tool for describing how actors (clients), components (services) and messages (conversations) are composed together to complete one or more system goals. It has commonly been used in the past for describing interactions by system users [15] however, the actors can also represent any agent or service that interacts with the system being described by way of activities. Basic MSCs (bMSCs) are useful for describing compositional activities, illustrating partial system behaviour by defining synchronous message sequences between components, and providing information of interaction state.…”

Section: Service Composition Specificationsmentioning

confidence: 99%

Tool support for model-based engineering of Web service compositions

Foster

Uchitel

Magee

et al. 2005

IEEE International Conference on Web Services (ICWS'05)

View full text Add to dashboard Cite

In this paper we describe tool support for a modelbased approach to verifying compositions of web service implementations. The tool supports verification of properties created from design specifications and implementation models to confirm expected results from the viewpoints of both the designer and implementer. Scenarios are modeled in UML, in the form of Message Sequence Charts (MSCs), and then compiled into the Finite State Process (FSP) algebra to concisely model the required behavior.BPEL4WS implementations are mechanically translated to FSP to allow an equivalence trace verification process to be performed. By providing early design verification and validation, the implementation, testing and deployment of web service compositions can be eased through the understanding of the behavior exhibited by the composition. The tool is implemented as a plug-in for the Eclipse development environment providing cooperating tools for specification, formal modeling and trace animation of the composition process.

show abstract

Section: Service Composition Specificationsmentioning

confidence: 99%