Towards Formal Verification of Web Service Composition Export

@incollection{citeulike:6081142, abstract = {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.}, author = {Rouached, Mohsen and Perrin, Olivier and Godart, Claude}, citeulike-article-id = {6081142}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/11841760_18}, citeulike-linkout-1 = {http://www.springerlink.com/content/848408351q676lvv}, doi = {10.1007/11841760_18}, journal = {Business Process Management}, keywords = {composition, verification, web-services}, pages = {257--273}, posted-at = {2009-11-06 16:03:35}, priority = {2}, title = {Towards Formal Verification of Web Service Composition}, url = {http://dx.doi.org/10.1007/11841760_18}, year = {2006} }

TY - CHAP ID - citeulike:6081142 L3 - citeulike-article-id:6081142 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. JF - Business Process Management EP - 273 TI - Towards Formal Verification of Web Service Composition SP - 257 KW - composition KW - verification KW - web-services AU - Rouached, Mohsen AU - Perrin, Olivier AU - Godart, Claude PY - 2006/// UR - http://dx.doi.org/10.1007/11841760_18 ER -