Title :
A specification logic for dynamic composition of services
Author :
Lämmermann, Sven ; Tyugu, Enn
Abstract :
We focus on a composition model for services, which are composed of pre-programmed service components represented as Java classes. A common formal basis for representing the semantics of dynamic composition of services from service components is presented. We propose a logic and a specification language that enable us to reason about and deploy service components automatically. The proposed composition model uses a logical proof as witness for the correct deployment of service components in the context of their use. The composition model has been implemented in Java as an environment for dynamic composition of services. We illustrate the proposed composition method on an example of composition of a service
Keywords :
Java; formal logic; formal specification; programming language semantics; specification languages; theorem proving; Java; Java classes; common formal basis; composition method; composition model; dynamic composition; logical proof; pre-programmed service components; semantics; service composition; specification language; specification logic; Automatic logic units; Connectors; Context modeling; Context-aware services; Contracts; Java; Protocols; Software reusability; Specification languages; Writing;
Conference_Titel :
Distributed Computing Systems Workshop, 2001 International Conference on
Conference_Location :
Mesa, AZ
Print_ISBN :
0-7695-1080-9
DOI :
10.1109/CDCS.2001.918700
