Service QoS composition at the level of part names

Marco Aiello*, Florian Rosenberg, Christian Platzer, Agata Ciabattoni, Schahram Dustdar

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

5 Citations (Scopus)


The cornerstone for the success of Service-Oriented Computing lies in its promise to allow fast and easy composition of services to create added-value applications. Compositions need to be described in terms of their desired functional properties, but the non-functional properties are of paramount importance as well. Inspired by the Web service challenge we propose a new model for describing the Quality of Service (QoS) of a composition which considers the information flow and describes basic service qualities at the granularity level of service part names, that is, operations comprised in service invocation/response messages. In this initial investigation, we overview a number of formal methods techniques that allow to reason with QoS composition based on the proposed model, and propose an algorithm for determining the QoS of a composition given the QoS associated with the individual services.

Original languageEnglish
Title of host publicationWeb Services and Formal Methods - Third International Workshop, WS-FM 2006, Proceedings
Place of PublicationBerlin
Number of pages14
Volume4184 LNCS
Publication statusPublished - 2006
Externally publishedYes
Event3rd International Workshop on Web Services and Formal Methods, WS-FM 2006 - Vienna, Austria
Duration: 8 Sep 20069 Sep 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4184 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349


Other3rd International Workshop on Web Services and Formal Methods, WS-FM 2006


  • Quality of service
  • Service composition
  • Service-Oriented Computing
  • Web services

Fingerprint Dive into the research topics of 'Service QoS composition at the level of part names'. Together they form a unique fingerprint.

Cite this