TY - GEN
T1 - Towards formal verification of Web service composition
AU - Rouached, Mohsen
AU - Perrin, Olivier
AU - Godart, Claude
PY - 2006
Y1 - 2006
N2 - Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition proposals, such as BPML, WSBPEL, WSCI, and OWL-S, provide solutions for describing the control and data flows in Web service composition. However, such proposals remain at the descriptive level, without providing any kind of mechanisms or tool support for analysis and verification. Therefore, there is a growing interest for the verification techniques which enable designers to test and repair design errors even before actual running of the service, or allow designers to detect erroneous properties and formally verify whether the service process design does have certain desired properties. In this paper, we propose to verify Web services composition using an event driven approach. We assume Web services that are coordinated by a composition process expressed in WSBPEL and we use Event Calculus to specify the properties and requirements to be monitored.
AB - Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition proposals, such as BPML, WSBPEL, WSCI, and OWL-S, provide solutions for describing the control and data flows in Web service composition. However, such proposals remain at the descriptive level, without providing any kind of mechanisms or tool support for analysis and verification. Therefore, there is a growing interest for the verification techniques which enable designers to test and repair design errors even before actual running of the service, or allow designers to detect erroneous properties and formally verify whether the service process design does have certain desired properties. In this paper, we propose to verify Web services composition using an event driven approach. We assume Web services that are coordinated by a composition process expressed in WSBPEL and we use Event Calculus to specify the properties and requirements to be monitored.
UR - http://www.scopus.com/inward/record.url?scp=33750010119&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33750010119&partnerID=8YFLogxK
U2 - 10.1007/11841760_18
DO - 10.1007/11841760_18
M3 - Conference contribution
AN - SCOPUS:33750010119
SN - 3540389016
SN - 9783540389019
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 257
EP - 273
BT - Business Process Management - 4th International Conference, BPM 2006, Proceedings
PB - Springer Verlag
T2 - 4th International Conference on Business Process Management, BPM 2006
Y2 - 5 September 2006 through 7 September 2006
ER -