Search:
Computing and Library Services - delivering an inspiring information environment

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

[img]
Preview
PDF - Published Version
Available under License Creative Commons Attribution.

Download (848kB) | Preview
[img]
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: Georgios Bargiannis
Date Deposited: 06 Jun 2017 10:18
Last Modified: 16 Oct 2017 07:32
URI: http://eprints.hud.ac.uk/id/eprint/32104

Downloads

Downloads per month over past year

Repository Staff Only: item control page

View Item View Item

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©