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

Sudhir Agarwal
2007 IEEE/WIC/ACM International Conference on Web Intelligence (WI'07)  
In order to find suitable Web 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
more » ... pressive 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 nonfunctional properties of Web services. The language is a novel combination of an expressive temporal logic µcalculus and an expressive description logic SHIQ(D).
doi:10.1109/wi.2007.49 dblp:conf/webi/Agarwal07 fatcat:le3rnubt3zabhd7hivefgiemni