Dead-Path-Elimination in BPEL4WS

Authors:
Franck van Breugel;Mariya Koshkina
Affiliations:
York University;IBM Toronto Lab
Venue:
ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
Year:
2005

Citing 0
Cited 2

Algebraic approach to linking the semantics of web services

Innovations in Systems and Software Engineering
Service Composition and Interaction in a SOC Middleware Supporting Separation of Concerns with Flows and Views

Journal of Database Management

Quantified Score

Hi-index	0.00

Visualization

Abstract

Message sequence charts (MSC) are a graphical notation standardized by the ITU and used for the description of communication scenarios between asynchronous processes. This talk concerns the formal analysis of MSC-based specifications in relation with ...