Personal tools
You are here: Home Results S-Cube Shopping List for Industry Results Deriving Composite Service Specifications

Deriving Composite Service Specifications

by Pierluigi Plebani last modified Jan 11, 2012 10:19

Contact person

George Baryannis,, UoC

Manuel Carro, UPM



While existing service description and composition frameworks attempt to describe service compositions using a variety of composition models ranging from orchestrations to choreographies to Finite State Machines, no attempt has been made to handle the problem of automatically producing specifications for a composite service, based on the specifications of the participating services. Our work aims to provide a thorough and efficient process of automatically deriving composite specifications based on the specifications of the participating services by attempting to deduce the minimum subset of these specifications that needs to be exposed to the service consumer. In order to achieve this, we formulate the derivation for all fundamental control constructs, namely sequential composition, AND-Split/AND-Join, OR-Split/OR-Join and XOR-Split/XOR-Join. By deriving preconditions and postconditions for these constructs, we can derive specifications for any composite service that includes such constructs, by considering the composition schema. The derivation process begins by examining the construct deeper in the schema and gradually moves its way upwards, till the whole composition schema is considered. We also handle loop specification by deriving preconditions and postconditions based on the loop invariant. Finally, the case of handling asynchronous execution is addressed by employing the static single assignment form (SSA) in order to make sure that preconditions are evaluated in the context of the request and not the response.


Technical Information

Can be applied to any existing service description framework based on logic, such as OWL-S or WSMO.




Paper currently under submission process


Formal Models and Languages for QoS-Aware Service Compositions


Maturity Level


Relationship with Future Internet and Internet of Services

The derived specifications offer a complete rich formal service description that gives the opportunity to service providers to accuarately describe what they offer and for service consumers to understand exactly what is provided. This is of utmost importance in the Internet of Services since it facilitates service reusability and composability.


Relationship with Cloud


Web site


Document Actions
  • Send this
  • Print this
  • Bookmarks

The Plone® CMS — Open Source Content Management System is © 2000-2017 by the Plone Foundation et al.