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

George Baryannis, Kyriakos Kritikos, Dimitris Plexousakis

Research output: Contribution to journalArticlepeer-review

9 Citations (Scopus)


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
Issue number3
Early online date2 Jun 2017
Publication statusPublished - Sep 2017


Dive into the research topics of 'A Specification-Based QoS-Aware Design Framework for Service-Based Applications'. Together they form a unique fingerprint.

Cite this