A Specification-Based QoS-Aware Design Framework for Service-Based Applications

George Baryannis, Kyriakos Kritikos, Dimitris Plexousakis

Research output: Contribution to journalArticle

2 Citations (Scopus)

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.
Original languageEnglish
Pages (from-to)301-314
Number of pages14
JournalService Oriented Computing and Applications
Volume11
Issue number3
Early online date2 Jun 2017
DOIs
Publication statusPublished - Sep 2017

Fingerprint

Quality of service
Specification languages
Specifications
Web services
Observability
Chemical analysis
Composite materials
Language

Cite this

@article{61b13be748b843c1842e1892e03b2873,
title = "A Specification-Based QoS-Aware Design Framework for Service-Based Applications",
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.",
keywords = "Formal specification, QoS, Service composition, Service discovery, Service design, Ramifications, Partial observability, Verification",
author = "George Baryannis and Kyriakos Kritikos and Dimitris Plexousakis",
year = "2017",
month = "9",
doi = "10.1007/s11761-017-0210-4",
language = "English",
volume = "11",
pages = "301--314",
journal = "Service Oriented Computing and Applications",
issn = "1863-2386",
publisher = "Springer London",
number = "3",

}

A Specification-Based QoS-Aware Design Framework for Service-Based Applications. / Baryannis, George; Kritikos, Kyriakos; Plexousakis, Dimitris.

In: Service Oriented Computing and Applications, Vol. 11, No. 3, 09.2017, p. 301-314.

Research output: Contribution to journalArticle

TY - JOUR

T1 - A Specification-Based QoS-Aware Design Framework for Service-Based Applications

AU - Baryannis, George

AU - Kritikos, Kyriakos

AU - Plexousakis, Dimitris

PY - 2017/9

Y1 - 2017/9

N2 - 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.

AB - 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.

KW - Formal specification

KW - QoS

KW - Service composition

KW - Service discovery

KW - Service design

KW - Ramifications

KW - Partial observability

KW - Verification

UR - https://link.springer.com/journal/11761

U2 - 10.1007/s11761-017-0210-4

DO - 10.1007/s11761-017-0210-4

M3 - Article

VL - 11

SP - 301

EP - 314

JO - Service Oriented Computing and Applications

JF - Service Oriented Computing and Applications

SN - 1863-2386

IS - 3

ER -