Web Service Contracting: Specification and Reasoning with SCIFF

  • Marco Alberti
  • Federico Chesani
  • Marco Gavanelli
  • Evelina Lamma
  • Paola Mello
  • Marco Montali
  • Paolo Torroni
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4519)


The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a specific stage of web service location, called, by some authors, contracting. We address contracting both at the operational level and at the semantic level. We present a framework encompassing communication and reasoning, in which web services exchange and evaluate goals and policies. Policies represent behavioural interfaces. The reasoning procedure at the core of the framework is based on the abductive logic programming SCIFF proof-procedure. We describe the framework, show by examples how to formalise policies in the declarative language of SCIFF, and give the framework a model-theoretic and a sound proof-theoretic semantics.


Logic Program Logic Programming Trust Negotiation Hypothetical Reasoning Disjunctive Logic Program 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
  2. 2.
  3. 3.
  4. 4.
  5. 5.
  6. 6.
    Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M.: An abductive framework for a-priori verification of web services. In: Proc. PPDP, pp. 39–50. ACM Press, New York (2006)Google Scholar
  7. 7.
    Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based tool. Applied Artificial Intelligence 20(2-4), 133–157 (2006)CrossRefGoogle Scholar
  8. 8.
    Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in Abductive Logic Programming: the SCIFF framework. ACM Transactions on Computational Logic 8 (2007)Google Scholar
  9. 9.
    Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Sartor, G., Torroni, P.: Mapping deontic operators to abductive expectations. Computational and Mathematical Organization Theory 12(2-3), 205–225 (2006)CrossRefzbMATHGoogle Scholar
  10. 10.
    Bhansali, S., Grosof, B.N.: Extending the sweetDeal approach for e-procurement using sweetRules and RuleML. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 113–129. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  11. 11.
    Bry, F., Eckert, M.: Twelve theses on reactive rules for the web. In: Grust, T., Höpfner, H., Illarramendi, A., Jablonski, S., Mesiti, M., Müller, S., Patranjan, P.-L., Sattler, K.-U., Spiliopoulou, M., Wijsen, J. (eds.) EDBT 2006. LNCS, vol. 4254, pp. 842–854. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  12. 12.
    Frühwirth, T.: Theory and practice of constraint handling rules. Journal of Logic Programming 37(1-3), 95–138 (1998)CrossRefMathSciNetzbMATHGoogle Scholar
  13. 13.
    Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming 33(2), 151–165 (1997)CrossRefMathSciNetzbMATHGoogle Scholar
  14. 14.
    Governatori, G., Hoang, D.P.: A semantic web based architecture for e-contracts in defeasible logic. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 145–159. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  15. 15.
    Grosof, B.N., Poon, T.C.: SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. In: Proc. 12th WWW, pp. 340–349. ACM Press, New York (2003)CrossRefGoogle Scholar
  16. 16.
    Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming 19-20, 503–582 (1994)CrossRefMathSciNetGoogle Scholar
  17. 17.
    Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive Logic Programming. Journal of Logic and Computation 2(6), 719–770 (1993)CrossRefMathSciNetGoogle Scholar
  18. 18.
    Kifer, M., Lara, R., Polleres, A., Zhao, C., Keller, U., Lausen, H., Fensel, D.: A logical framework for web service discovery. In: Semantic Web Services: Preparing to Meet the World of Business Applications. CEUR Workshop Proc., vol. 119 (2004)Google Scholar
  19. 19.
    Kowalski, R.A., Sadri, F.: From logic programming towards multi-agent systems. Annals of Mathematics and Artificial Intelligence 25(3/4), 391–419 (1999)CrossRefMathSciNetzbMATHGoogle Scholar
  20. 20.
    McIlraith, S.A., Son, T.C., Zeng, H.: Semantic web services. IEEE Intelligent Systems 16(2), 46–53 (2001)CrossRefGoogle Scholar
  21. 21.
    Nejdl, W., Olmedilla, D., Winslett, M.: PeerTrust: Automated trust negotiation for peers on the semantic web. In: Jonker, W., Petković, M. (eds.) SDM 2004. LNCS, vol. 3178, pp. 118–132. Springer, Heidelberg (2004)Google Scholar
  22. 22.
    Roman, D., Keller, U., Lausen, H., de Bruijn, J., Lara, R., Stollberg, M., Polleres, A., Feier, C., Bussler, C., Fensel, D.: Web service modeling ontology. Applied Ontology 1(1), 77–106 (2005)Google Scholar
  23. 23.
    Sakama, C., Inoue, K.: Abductive logic programming and disjunctive logic programming: their relationship and transferability. JLP 44(1-3), 75–100 (2000)CrossRefMathSciNetzbMATHGoogle Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Marco Alberti
    • 1
  • Federico Chesani
    • 2
  • Marco Gavanelli
    • 1
  • Evelina Lamma
    • 1
  • Paola Mello
    • 2
  • Marco Montali
    • 2
  • Paolo Torroni
    • 2
  1. 1.ENDIF, University of Ferrara, Via Saragat 1, 44100 FerraraItaly
  2. 2.DEIS, University of Bologna, V.le Risorgimento 2, 40136 BolognaItaly

Personalised recommendations