Abstract | ||
---|---|---|
We present a vision of smart, goal-oriented web services that reason about other services' policies and evaluate the possibility of future interactions. We assume web services whose behavioural interface is specified in terms of reactive rules. Such rules can be made public, in order for other web services to answer the following question: "is it possible to inter-operate with a given web service and achieve a given goal?". In this article we focus on the underlying reasoning process, and we propose a declarative and operational abductive logic programmingbased framework, called WAVe. We show how this framework can be used for a-priori verification of web services interaction. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-72982-2_22 | RR |
Keywords | Field | DocType |
rule-based approach,programmingbased framework,web services interaction,future interaction,operational abductive logic,goal-oriented web service,behavioural interface,web service,reactive rule,following question,smart web service,a-priori verification,rule based | Services computing,Data mining,World Wide Web,WS-Addressing,Computer science,Web standards,Data Web,WS-I Basic Profile,Web modeling,Web service,WS-Policy | Conference |
Volume | ISSN | Citations |
4524 | 0302-9743 | 1 |
PageRank | References | Authors |
0.35 | 15 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
marco alberti | 1 | 467 | 30.93 |
federico chesani | 2 | 801 | 46.41 |
Marco Gavanelli | 3 | 596 | 48.07 |
Evelina Lamma | 4 | 1268 | 109.21 |
Paola Mello | 5 | 444 | 21.33 |
Marco Montali | 6 | 1280 | 99.36 |
Paolo Torroni | 7 | 1167 | 80.57 |