Web service contracting: Specification and reasoning with SCIFF

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4519 LNCS, Issue , 2007, Pages 68-83

  Alberti, Marco ^a   Chesani, Federico ^b   Gavanelli, Marco ^a   Lamma, Evelina ^a   Mello, Paola ^b   Montali, Marco ^b   Torroni, Paolo ^b  

^a UNIVERSITY OF FERRARA   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTER VISION; DATA STRUCTURES; DYNAMIC PROGRAMMING; INTERFACES (COMPUTER); SPECIFICATION LANGUAGES;

BEHAVIOURAL INTERFACES; DECLARATIVE LANGUAGES; DYNAMIC RECONFIGURATION; SEMANTIC WEB VISION;

WEB SERVICES;

EID: 34548082107     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72667-8_7     Document Type: Conference Paper

References (23)

1. http://lia.deis.unibo.it/research/socs/.
2. http://www.w3.org/TR/rif-ucr/.
3. http://www.daml.org/services/owl-s/.
4. http://www.w3.org/Submission/SWSF-SWSL/.
5. http://www.13s.de/peertrust/.
6. M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and M. Montali. An abductive framework for a-priori verification of web services. In Proc. PPDP, pp. 39-50. ACM Press, 2006.
7. M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Compliance verification of agent interaction: a logic-based tool. Applied Artificial Intelligence, 20(2-4):133-157, 2006.
8. M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Verifiable agent interaction in Abductive Logic Programming: the SCIFF framework. ACM Transactions on Computational Logic, 8, 2007.
9. M. Alberti, M. Gavanelli, E. Lamma, P. Mello, G. Sartor, and P. Torroni. Mapping deontic operators to abductive expectations. Computational and Mathematical Organization Theory, 12(2-3):205-225, 2006.
10. S. Bhansali and N. Grosof. Extending the sweetdeal approach for e-procurement using sweetrules and RuleML. In Proc. RuleML, LNAI 3791:113-129, 2005.
11. F. Bry and M. Eckert. Twelve theses on reactive rules for the web. In Proc. Workshop on Reactivity on the Web, Munich, Germany, March 2006.
12. T. Frühwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37(1-3):95-138, 1998.
13. T. H. Fung and R. A. Kowalski. The IFF proof procedure for abductive logic programming. Journal of Logic Programming, 33(2):151-165, 1997.
14. G. Governatori and D. P. Hoang. A semantic web based architecture for e-contracts in defeasible logic. In Proc. RuleML, LNAI 3701:145-159, 2005.
15. B. N. Grosof and T. C. Poon. SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. In Proc. 12th WWW, pp. 340-349. ACM Press, 2003.
16. J. Jaffar and M. Maher. Constraint logic programming: a survey. Journal of Logic Programming, 19-20:503-582, 1994.
17. A. C. Kakas, R. A. Kowalski, and F. Toni. Abductive Logic Programming. Journal of Logic and Computation, 2(6):719-770, 1993.
18. M. Kifer, R. Lara, A. Polleres, C. Zhao, U. Keller, H. Lausen, and D. Fensel. A logical framework for web service discovery. In Semantic Web Services: Preparing to Meet the World of Business Applications. CEUR Workshop Proc. 119, 2004.
19. R. A. Kowalski and F. Sadri. From logic programming towards multi-agent systems. Annals of Mathematics and Artificial Intelligence, 25(3/4):391-419, 1999.
20. S. A. McIlraith, T. C. Son, and H. Zeng. Semantic web services. IEEE Intelligent Systems, 16(2):46-53, 2001.
21. W. Nejdl, D. Olmedilla, and M. Winslett. PeerTrust: Automated trust negotiation for peers on the semantic web. In Proc. Secure Data Management (SMD 2004), LNAI 3178:118-132. Springer-Verlag, 2004.
22. D. Roman, U. Keller, H. Lausen, J. de Bruijn, R. Lara, M. Stollberg, A. Polleres, C. Feier, C. Bussler, and D. Fensel. Web service modeling ontology. Applied Ontology, 1(1):77-106, 2005.
23. C. Sakama and K. Inoue. Abductive logic programming and disjunctive logic programming: their relationship and transferability. JLP, 44(1-3):75-100, 2000.