Requirements-driven verification of WSBPEL processes

Mohsen Rouached, Claude Godart

Research output: Chapter in Book/Report/Conference proceedingConference contribution

19 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - 2007 IEEE International Conference on Web Services, ICWS 2007
Pages354-363
Number of pages10
DOIs
Publication statusPublished - 2007
Event2007 IEEE International Conference on Web Services, ICWS 2007 - Salt Lake City, UT, United States
Duration: Jul 9 2007Jul 13 2007

Other

Other2007 IEEE International Conference on Web Services, ICWS 2007
CountryUnited States
CitySalt Lake City, UT
Period7/9/077/13/07

Fingerprint

Web services
Chemical analysis
Process design
Repair
Web service composition
Service process
Data flow

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Information Systems
  • Information Systems and Management
  • Electrical and Electronic Engineering

Cite this

Rouached, M., & Godart, C. (2007). Requirements-driven verification of WSBPEL processes. In Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007 (pp. 354-363). [4279619] https://doi.org/10.1109/ICWS.2007.153

Requirements-driven verification of WSBPEL processes. / Rouached, Mohsen; Godart, Claude.

Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007. 2007. p. 354-363 4279619.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Rouached, M & Godart, C 2007, Requirements-driven verification of WSBPEL processes. in Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007., 4279619, pp. 354-363, 2007 IEEE International Conference on Web Services, ICWS 2007, Salt Lake City, UT, United States, 7/9/07. https://doi.org/10.1109/ICWS.2007.153
Rouached M, Godart C. Requirements-driven verification of WSBPEL processes. In Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007. 2007. p. 354-363. 4279619 https://doi.org/10.1109/ICWS.2007.153
Rouached, Mohsen ; Godart, Claude. / Requirements-driven verification of WSBPEL processes. Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007. 2007. pp. 354-363
@inproceedings{136bef76922a4124aeba48217b40bca2,
title = "Requirements-driven verification of WSBPEL processes",
abstract = "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.",
author = "Mohsen Rouached and Claude Godart",
year = "2007",
doi = "10.1109/ICWS.2007.153",
language = "English",
isbn = "0769529240",
pages = "354--363",
booktitle = "Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007",

}

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

SN - 0769529240

SN - 9780769529240

SP - 354

EP - 363

BT - Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007

ER -