A specification-based QoS-aware design framework for service-based applications

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

Preview	PDF - Published Version Available under License Creative Commons Attribution. Download (848kB) | Preview
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:	Author Publisher
Depositing User:	Georgios Bargiannis
Date Deposited:	06 Jun 2017 10:18
Last Modified:	16 Aug 2017 22:59
URI:	http://eprints.hud.ac.uk/id/eprint/32104

Downloads

Repository Staff Only: item control page

View Item