Activities per year
We propose a composition and verification framework for Semantic Web Services specified using WSSL, a novel service specification language based on the fluent calculus, that addresses issues related to the frame, ramification and qualification problems. These deal with the succinct and flexible representation of non-effects, indirect effects and preconditions, respectively. The framework exploits the unique features of WSSL, allowing, among others, for: compositions that take into account ramifications of services; determining the feasibility of a composition a priori; and considering exogenous qualifications during the verification process. The framework is implemented using FLUX-based planning, supporting compositions with fundamental control constructs, including nondeterministic ones such as conditionals and loops. Performance is evaluated with regard to termination and execution time for increasingly complex synthetic compositions.
|Title of host publication||Service-Oriented Computing - ICSOC 2013 Workshops|
|Editors||Alessio R. Lomuscio, Surya Nepal, Fabio Patrizi, Boualem Benatallah, Ivona Brandić|
|Number of pages||15|
|Publication status||Published - 2014|
|Event||2013 International Conference on Service-Oriented Computing - Berlin, Germany|
Duration: 2 Dec 2013 → 5 Dec 2013
|Name||Lecture Notes in Computer Science|
|Conference||2013 International Conference on Service-Oriented Computing|
|Abbreviated title||ICSOC 2013|
|Period||2/12/13 → 5/12/13|
FingerprintDive into the research topics of 'Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL'. Together they form a unique fingerprint.
- 1 Oral presentation
Georgios Bargiannis (Speaker) & Dimitris Plexousakis (Speaker)2 Dec 2013
Activity: Talk or presentation types › Oral presentationFile