Model-Based Analysis of Obligations in Web Service Choreography
AICT-ICIW '06 Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services
Web services choreography and orchestration in Reo and constraint automata
Proceedings of the 2007 ACM symposium on Applied computing
A Formal Model for Channel Passing in Web Service Composition
SCC '08 Proceedings of the 2008 IEEE International Conference on Services Computing - Volume 2
UBICOMM '08 Proceedings of the 2008 The Second International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies
An Approach to Check Choreography with Channel Passing in WS-CDL
ICWS '08 Proceedings of the 2008 IEEE International Conference on Web Services
Model-Checking of Web Services Choreography
SOSE '08 Proceedings of the 2008 IEEE International Symposium on Service-Oriented System Engineering
A logical view of choreography
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Hi-index | 0.00 |
Web services choreography describes global model of services interactions among a set of participants. The correct description of choreography is very important, so before implementation upon choreography design description, we must be sure about correctness. Several techniques are employed to verify WS-CDL. In this paper we use a logical formal model to verify specifications of WS-CDL. In our approach, we model some important aspects of WSCDL, such as channel passing, Timeout and policies in first order logic and then use Prolog tool to check reachability of all goal states of choreography interactions.