Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Inproceedings1548

Aus Aifbportal

Wechseln zu: Navigation, Suche

(This page contains COinS metadata)

A Goal Specification Language for Automated Discovery and Composition of Web Services




Published: 2007 November
Herausgeber: Tsau Young Lin, Laura Haas, Janusz Kacprzyk, Rajeev Motwani, Andrei Broder, Howard Po
Buchtitel: International Conference on Web Intelligence (WI `07)
Seiten: 528-534
Erscheinungsort: Silicon Valley, California, USA
Referierte Veröffentlichung
BibTeX

Kurzfassung
In order to find suitableWeb services from a large collection of Web services, automatic support is needed to filter out Web services relevant according to some criteria specified by the user. In real business scenarios constraints on the types of input and output parameters are often not sufficient. Rather one wishes to specify constraints on relationships of input and output parameters, interaction pattern and non-functional properties of Web services. Therefore, there is a need for a more expressive goal specification language. Current goal specification techniques for matchmaking and composition of Web services either lack expressivity to support real business scenarios or formal semantics to enable development of automatic algorithms. In this paper, we present a goal specification language that allow specifying constraints on functional and non-functional properties of Web services. The language is a novel combination of an expressive temporal logic mu- calculus and an expressive description logic SHIQ(D).

Download: Media:2007_1548_Agarwal_A_Goal_Specific_1.pdf

Projekt

SESAMNeOnKAON WS



Forschungsgruppe

Wissensmanagement


Forschungsgebiet
Web Services, Semantische Web Dienste, Semantische Annotierung


-->