DocumentCode
3129128
Title
Model Checking Expressive Web Service Descriptions
Author
Agarwal, Sudhir
Author_Institution
Univ. of Karlsruhe, Karlsruhe
fYear
2007
fDate
9-13 July 2007
Firstpage
1140
Lastpage
1141
Abstract
In order to find suitable web services in a large market of web services, automatic support is needed to filter out web services semantically. Existing matchmaking approaches mainly consider only the types of the input and output parameters, which is not sufficient in practical scenarios. In this paper, we present formalisms for modeling functional and non-functional properties of web services and for specifying user goals. We show how expressive web service descriptions can be checked for satisfiability of the user goal.
Keywords
Web services; program verification; expressive Web service descriptions; matchmaking approach; model checking; nonfunctional properties; Communication channels; Informatics; Information filtering; Information filters; Logic; Ontologies; Postal services; Protocols; Quality of service; Web services;
fLanguage
English
Publisher
ieee
Conference_Titel
Web Services, 2007. ICWS 2007. IEEE International Conference on
Conference_Location
Salt Lake City, UT
Print_ISBN
0-7695-2924-0
Type
conf
DOI
10.1109/ICWS.2007.122
Filename
4279718
Link To Document