Contact person
George Baryannis, gmparg@csd.uoc.gr, UoC
Manuel Carro mcarro@fi.upm.es, UPM
Description
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.
Demo
N/A
Publications
Paper currently under submission process
Area
Formal Models and Languages for QoS-Aware Service Compositions
Paper-based
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
None
Web site
N/A