Towards formal verification of Web service composition

Mohsen Rouached, Olivier Perrin, Claude Godart

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

22 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationBusiness Process Management - 4th International Conference, BPM 2006, Proceedings
PublisherSpringer Verlag
Pages257-273
Number of pages17
Volume4102 LNCS
ISBN (Print)3540389016, 9783540389019
Publication statusPublished - 2006
Event4th International Conference on Business Process Management, BPM 2006 - Vienna, Austria
Duration: Sep 5 2006Sep 7 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4102 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other4th International Conference on Business Process Management, BPM 2006
CountryAustria
CityVienna
Period9/5/069/7/06

Fingerprint

Web Service Composition
Formal Verification
Web services
WS-BPEL
Chemical analysis
Event Calculus
OWL-S
Verify
Process Design
Event-driven
Tool Support
Data Flow
Repair
Web Services
Paradigm
Process design
Formal verification
Requirements

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Rouached, M., Perrin, O., & Godart, C. (2006). Towards formal verification of Web service composition. In Business Process Management - 4th International Conference, BPM 2006, Proceedings (Vol. 4102 LNCS, pp. 257-273). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4102 LNCS). Springer Verlag.

Towards formal verification of Web service composition. / Rouached, Mohsen; Perrin, Olivier; Godart, Claude.

Business Process Management - 4th International Conference, BPM 2006, Proceedings. Vol. 4102 LNCS Springer Verlag, 2006. p. 257-273 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4102 LNCS).

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

Rouached, M, Perrin, O & Godart, C 2006, Towards formal verification of Web service composition. in Business Process Management - 4th International Conference, BPM 2006, Proceedings. vol. 4102 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4102 LNCS, Springer Verlag, pp. 257-273, 4th International Conference on Business Process Management, BPM 2006, Vienna, Austria, 9/5/06.
Rouached M, Perrin O, Godart C. Towards formal verification of Web service composition. In Business Process Management - 4th International Conference, BPM 2006, Proceedings. Vol. 4102 LNCS. Springer Verlag. 2006. p. 257-273. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Rouached, Mohsen ; Perrin, Olivier ; Godart, Claude. / Towards formal verification of Web service composition. Business Process Management - 4th International Conference, BPM 2006, Proceedings. Vol. 4102 LNCS Springer Verlag, 2006. pp. 257-273 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{b6b66da65e9a44b09c29cff3a7508bd0,
title = "Towards formal verification of Web service composition",
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 = "Mohsen Rouached and Olivier Perrin and Claude Godart",
year = "2006",
language = "English",
isbn = "3540389016",
volume = "4102 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "257--273",
booktitle = "Business Process Management - 4th International Conference, BPM 2006, Proceedings",

}

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

M3 - Conference contribution

SN - 3540389016

SN - 9783540389019

VL - 4102 LNCS

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

ER -