Logic-based Web services composition: from service description to process model
 |
 |
abstract = {This paper introduces a method for automatic composition of semantic Web services using Linear Logic (LL) theorem proving. The method uses semantic Web service language (DAML-S) for external presentation of Web services, while, internally, the services are presented by extralogical axioms and proofs in LL. We use a process calculus to present the composite service formally. The process calculus is attached to the LL inference rules in the style of type theory. Thus the process model for a composite service can be generated directly from the proof. The subtyping rules that are used for semantic reasoning are presented with LL inference figures. We propose a system architecture where the DAML-S translator, the LL theorem prover and the semantic reasoner can operate together to fulfill the task. This architecture has been implemented in Java.},
apice = {LinearlogicwscompositionIcws2004},
author = {Jinghai Rao and Peep Kungas and Mihhail Matskin},
booktitle = {IEEE International Conference on Web Services (ICWS 2004)},
doi = {10.1109/ICWS.2004.1314769},
isbn = {0-7695-2167-3},
numpages = 8,
openalex = {W4249401813},
pages = {446--453},
publisher = {IEEE},
title = {Logic-based Web services composition: from service description to process model},
url = {http://ieeexplore.ieee.org/document/1314769/},
year = 2004
}