loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
21st International Conference on Distributed Computing Systems Workshops (ICDCSW '01)
A Specification Logic for Dynamic Composition of Services
Mesa, Arizona
April 16-April 19
ISBN: 0-7695-1080-9
ASCII Text
x 
 
Sven Lämmermann, Enn Tyugu, "A Specification Logic for Dynamic Composition of Services," Distributed Computing Systems Workshops, International Conference on, pp. 0157, 21st International Conference on Distributed Computing Systems Workshops (ICDCSW '01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/CDCS.2001.918700,
author = {Sven Lämmermann and Enn Tyugu},
title = {A Specification Logic for Dynamic Composition of Services},
journal ={Distributed Computing Systems Workshops, International Conference on},
volume = {0},
year = {2001},
isbn = {0-7695-1080-9},
pages = {0157},
doi = {http://doi.ieeecomputersociety.org/10.1109/CDCS.2001.918700},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Distributed Computing Systems Workshops, International Conference on
TI - A Specification Logic for Dynamic Composition of Services
SN - 0-7695-1080-9
SP
EP
A1 - Sven Lämmermann,
A1 - Enn Tyugu,
PY - 2001
VL - 0
JA - Distributed Computing Systems Workshops, International Conference on
ER -
 
Enn Tyugu, Estonian Business School
Abstract: In this paper we focus on a composition model for services, which are composed from 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.
Citation:
Sven Lämmermann, Enn Tyugu, "A Specification Logic for Dynamic Composition of Services," icdcsw, pp.0157, 21st International Conference on Distributed Computing Systems Workshops (ICDCSW '01), 2001
Usage of this product signifies your acceptance of the Terms of Use.