TY - GEN
T1 - Requirements-driven verification of WSBPEL processes
AU - Rouached, Mohsen
AU - Godart, Claude
PY - 2007
Y1 - 2007
N2 - Current Web services composition proposals, such as BPML, WSBPEL, WSCL 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 - Current Web services composition proposals, such as BPML, WSBPEL, WSCL 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=46849111813&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=46849111813&partnerID=8YFLogxK
U2 - 10.1109/ICWS.2007.153
DO - 10.1109/ICWS.2007.153
M3 - Conference contribution
AN - SCOPUS:46849111813
SN - 0769529240
SN - 9780769529240
T3 - Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007
SP - 354
EP - 363
BT - Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007
T2 - 2007 IEEE International Conference on Web Services, ICWS 2007
Y2 - 9 July 2007 through 13 July 2007
ER -