Representing and analysing composed web services using Cress
Journal of Network and Computer Applications
A rigorous approach to orchestrating grid services
Computer Networks: The International Journal of Computer and Telecommunications Networking
A Calculus for Generation, Verification and Refinement of BPEL Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
A mechanism for grid service composition behavior specification and verification
Future Generation Computer Systems
A Rigorous Methodology for Composing Services
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Graphical composition of grid services
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
Rigorous development of composite grid services
Journal of Network and Computer Applications
| Hi-index | 0.01 |
It is now widely accepted that formal methods are helpful for many issues raised in the web services area. In this paper, we advocate the use of process algebra as a first step in the design and development of executable web services. From such formal descriptions, reasoning tools can be used to validate their correct execution. We define some guidelines to encode abstract specifications of services-to-be written using these calculi into executable web services. As a back-end language, we consider the standard orchestration language BPEL. We illustrate our approach through the development of an e-business application.