Stepwise development of formal models for web services compositions. Modeling and property verification

Abstract : With the development of the web, a huge number of services available on the web have been published. These web services operate in several application domains like concurrent engineering, semantic web, system engineering or electronic commerce. Moreover, due to the ease of use of the web, the idea of composing these web services to build composite ones defining complex workflows arose. Even if several industrial standards providing specification and/or design XML-oriented languages for web services compositions description, like BPEL, CDL, OWL-S, BPMN or XPDL have been proposed, the activity of composing web services remains a syntactically based approach. Due to the lack of formal semantics of these languages, ambiguous interpretations remain possible and the validation of the compositions is left to the testing and deployment phases. From the business point of view, customers do not trust these services nor rely on them. As a consequence, building correct, safe and trustable web services compositions becomes a major challenge.
Document type :
Journal articles
Complete list of metadatas

https://hal-supelec.archives-ouvertes.fr/hal-00831483
Contributor : Elodie Dubrac <>
Submitted on : Friday, June 7, 2013 - 10:44:06 AM
Last modification on : Thursday, June 27, 2019 - 4:27:54 PM

Identifiers

  • HAL Id : hal-00831483, version 1

Collections

Citation

Idir Aït-Sadoune, Yamine Aït-Ameur. Stepwise development of formal models for web services compositions. Modeling and property verification. Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer Berlin / Heidelberg, 2013, 8220/2013, pp.1-33. ⟨hal-00831483⟩

Share

Metrics

Record views

198