Logic-based Web services composition: from service description to process model

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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Rao, Jinghai, Kungas, Peep, Matskin, Mihhail
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Calculus Information science Information technology Logic Microelectronics Microstrip Ontologies Semantic Web Simple object access protocol Web services
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!