Logic-based web services composition: From service description to process model
2004 (English)In: IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, IEEE Computer Society, 2004, 446-453 p.Conference paper (Refereed)
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.
Place, publisher, year, edition, pages
IEEE Computer Society, 2004. 446-453 p.
Computer and Information Science
IdentifiersURN: urn:nbn:se:kth:diva-81365ISI: 000223166900052ScopusID: 2-s2.0-4744356396OAI: oai:DiVA.org:kth-81365DiVA: diva2:497370
IEEE International Conference on Web Services (ICWS 2004). San Diego, CA. JUL 06-09, 2004
QC 201202212012-02-102012-02-102012-02-21Bibliographically approved