Title :
Model Checking Expressive Web Service Descriptions
Author_Institution :
Univ. of Karlsruhe, Karlsruhe
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;
Conference_Titel :
Web Services, 2007. ICWS 2007. IEEE International Conference on
Conference_Location :
Salt Lake City, UT
Print_ISBN :
0-7695-2924-0
DOI :
10.1109/ICWS.2007.122
