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

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 ofWeb 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 nonfunctional properties of Web services. The language is a novel combination of an expressive temporal logic ì- calculus and an expressive description logic SHIQ(D).