Logic-based Web services composition: from service description to process model
Jinghai Rao
Peep Kungas
Mihhail Matskin
Dept. of Comput. & Inf. Sci., Norwegian Univ. Sci. & Technol., Trondheim, Norway;
This paper appears in: Web Services, 2004. Proceedings. IEEE International Conference on
Publication Date: 6-9 July 2004
On page(s): 446- 453
ISSN:
ISBN: 0-7695-2167-3
INSPEC Accession Number: 8205444
Digital Object Identifier: 10.1109/ICWS.2004.1314769
Current Version Published: 2004-07-19
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.
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
