Change search
ReferencesLink to record
Permanent link

Direct link
Logic-based web services composition: From service description to process model
Department of Computer Science, Norwegian Univ. Sci. and Technology.
KTH, Superseded Departments, Microelectronics and Information Technology, IMIT.ORCID iD: 0000-0002-4722-0823
2004 (English)In: IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, IEEE Computer Society, 2004, 446-453 p.Conference paper (Refereed)
Abstract [en]

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.
National Category
Computer and Information Science
URN: urn:nbn:se:kth:diva-81365ISI: 000223166900052ScopusID: 2-s2.0-4744356396OAI: diva2:497370
IEEE International Conference on Web Services (ICWS 2004). San Diego, CA. JUL 06-09, 2004
QC 20120221Available from: 2012-02-10 Created: 2012-02-10 Last updated: 2012-02-21Bibliographically approved

Open Access in DiVA

No full text


Search in DiVA

By author/editor
Kungas, PeepMatskin, Mihhail
By organisation
Microelectronics and Information Technology, IMIT
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 8 hits
ReferencesLink to record
Permanent link

Direct link