Loading...
Please wait, while we are loading the content...
Similar Documents
A Goal Specification Language for Automated Discovery and Composition of Web Services
| Content Provider | CiteSeerX |
|---|---|
| Author | Agarwal, Sudhir |
| Description | In order to find suitable Web services from a large col-lection of Web services, automatic support is needed to filter out Web services relevant according to some crite-ria specified by the user. In real business scenarios con-straints on the types of input and output parameters are often not sufficient. Rather one wishes to specify con-straints 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 matchmak-ing and composition of Web services either lack expres-sivity to support real business scenarios or formal se-mantics 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 ยต-calculus and an expressive description logic SHIQ(D). 1. |
| File Format | |
| Language | English |
| Publisher Institution | In International Conference on Web Intelligence |
| Access Restriction | Open |
| Subject Keyword | Automatic Algorithm Real Business Scenario Con-straints Expressive Temporal Logic Calculus Output Parameter Real Business Scenario Current Goal Specification Technique Expressive Description Logic Shiq Expressive Goal Specification Language Goal Specification Language Formal Se-mantics Lack Expres-sivity Automated Discovery Non-functional Property Web Service Novel Combination Interaction Pattern Suitable Web Service Automatic Support Large Col-lection |
| Content Type | Text |
| Resource Type | Article |