Policy-based reasoning for smart web service interaction

CEUR Workshop Proceedings

Volumn 196, Issue , 2006, Pages 87-102

  Alberti, Marco ^a   Chesani, Federico Fchesani ^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

GOAL-ORIENTED; INTERFACE BEHAVIOUR; POLICY-BASED; REACTIVE RULES; REASONING PROCESS; SERVICE INTERACTION;

LOGIC PROGRAMMING; WEBSITES;

WEB SERVICES;

EID: 84884331814     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (18)

1. Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business process execution language for web services version 1.1 (2003) http://www.ibm. com/developerworks/library/ws-bpel/.
2. Adi, A., Stoutenburg, S., Tabet, S., eds.: Proc. 1st Int. Conference on Rules and Rule Markup Languages for the Semantic Web, LNCS 3791, Springer Verlag (2005)
3. Working Group on Rule Interchange Format: Use cases and requirements. http://www.w3.org/2005/rules/wg/ucr/draft-20060323.html (2006)
4. Bry, F., Eckert, M.: Twelve theses on reactive rules for the web. In: Proceedings of the Workshop on Reactivity on the Web, Munich, Germany (2006)
5. Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive Logic Programming. Journal of Logic and Computation 2 (1993) 719-770
6. Kakas, A.C., Mancarella, P.: On the relation between Truth Maintenance and Abduction. In: Proc. 1st Pacific Rim International Conference on Artificial Intelligence, Ohmsha Ltd. (1990) 438-443
7. Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming 33 (1997) 151-165
8. Denecker, M., Schreye, D.D.: SLDNFA: an abductive procedure for abductive logic programs. Journal of Logic Programming 34 (1998) 111-167
9. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: The SOCS computational logic approach for the specification and verification of agent societies. In: Global Computing 2004, LNAI 3267, Springer-Verlag (2005) 324-339
10. Sakama, C., Inoue, K.: Abductive logic programming and disjunctive logic programming: their relationship and transferability. Journal of Logic Programming 44 (2000) 75-100
11. Gelfond, M., Lifschitz, V.: Classical negation in logic programming and disjunctive databases. New Generation Computing 9 (1991) 365-385
12. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: The SCIFF abductive proof-procedure. In: AI IA, LNAI 3673, Springer-Verlag (2005) 135-147
13. Singh, M.: Agent communication language: rethinking the principles. IEEE Computer (1998) 40-47
14. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF proof-procedure. Technical Report DEIS-LIA-06-001, DEIS, University of Bologna (Italy) (2006)
15. Gavanelli, M., Lamma, E., Mello, P.: Proof of properties of the SCIFF proofprocedure. Technical Report CS-2005-01, DI, Universita di Ferrara (2005) Available at http://www.ing.unife.it/informatica/tr/CS-2005-01.pdf
16. Kagal, L., Finin, T.W., Joshi, A.: A policy based approach to security for the semantic web. In Proc. 2nd ISWC. LNCS 2870, Springer (2003) 402-418
17. Uszok, A., Bradshaw, J.M., Jeffers, R., Tate, A., Dalton, J.: Applying KAoS services to ensure policy compliance for semantic web services workflow composition and enactment. In Proc. 3rd ISWC. LNCS 3298, Springer (2004) 425-440
18. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Sartor, G., Torroni, P.: Mapping deontic operators to abductive expectations. Computational and Mathematical Organization Theory (2006) To appear