Baryannis, George, Kritikos, Kyriakos and Plexousakis, Dimitris (2017) A specification-based QoS-aware design framework for service-based applications. Service Oriented Computing and Applications. ISSN 1863-2386
|
PDF
- Published Version
Available under License Creative Commons Attribution. Download (848kB) | Preview |
|
|
PDF
- Supplemental Material
Available under License Creative Commons Attribution. Download (3MB) | Preview |
Abstract
Effective and accurate service discovery and composition rely on complete specifications of service behaviour, containing inputs and preconditions that are required before service execution, outputs, effects and ramifications of a
successful execution and explanations for unsuccessful executions. The previously defined Web Service Specification Language (WSSL) relies on the fluent calculus formalism to produce such rich specifications for atomic and composite
services. In this work, we propose further extensions that focus on the specification of QoS profiles, as well as partially observable service states. Additionally, a design framework for service-based applications is implemented
based on WSSL, advancing state of the art by being the first service framework to simultaneously provide several desirable
capabilities, such as supporting ramifications and partial observability, as well as non-determinism in composition schemas using heuristic encodings; providing explanations
for unexpected behaviour; and QoS-awareness through goal-based techniques. These capabilities are illustrated through a comparative evaluation against prominent state-of-the-art approaches based on a typical SBA design scenario.
Item Type: | Article |
---|---|
Uncontrolled Keywords: | Formal specification, QoS, Service composition, Service discovery, Service design, Ramifications, Partial observability, Verification |
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science Q Science > QA Mathematics > QA76 Computer software |
Schools: | School of Computing and Engineering School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge |
Related URLs: | |
Depositing User: | George Bargiannis |
Date Deposited: | 06 Jun 2017 10:18 |
Last Modified: | 28 Aug 2021 15:56 |
URI: | http://eprints.hud.ac.uk/id/eprint/32104 |
Downloads
Downloads per month over past year
Repository Staff Only: item control page
![]() |
View Item |