Semantic Web Service Choreography: Contracting and Enactment

  • Dumitru Roman
  • Michael Kifer
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5318)


The emerging paradigm of service-oriented computing requires novel techniques for various service-related tasks. Along with automated support for service discovery, selection, negotiation, and composition, support for automated service contracting and enactment is crucial for any large scale service environment, where large numbers of clients and service providers interact. Many problems in this area involve reasoning, and a number of logic-based methods to handle these problems have emerged in the field of Semantic Web Services. In this paper, we build upon our previous work where we used Concurrent Transaction Logic (CTR) to model and reason about service contracts. We significantly extend the modeling power of the previous work by allowing iterative processes in the specification of service contracts, and we extend the proof theory of CTR to enable reasoning about such contracts. With this extension, our logic-based approach is capable of modeling general services represented using languages such as WS-BPEL.


Inference Rule Atomic Formula Service Policy Proof Theory Service Contract 
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.
    Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M., Torroni, P.: Expressing and verifying business contracts with abductive logic programming. Number 07122 in Dagstuhl Seminar Proceedings (2007)Google Scholar
  2. 2.
    Andersen, J., Elsborg, E., Henglein, F., Simonsen, J.G., Stefansen, C.: Compositional specification of commercial contracts. Int. J. Softw. Tools Technol. Transf. 8(6), 485–516 (2006)CrossRefGoogle Scholar
  3. 3.
    Bonner, A.J., Kifer, M.: Concurrency and Communication in Transaction Logic. In: Joint International Conference and Symposium on Logic Programming (1996)Google Scholar
  4. 4.
    Carpineti, S., Castagna, G., Laneve, C., Padovani, L.: A formal account of contracts for web services. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 148–162. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  5. 5.
    Davulcu, H., Kifer, M., Ramakrishnan, C.R., Ramakrishnan, I.V.: Logic Based Modeling and Analysis of Workflows. In: PODS, pp. 25–33 (1998)Google Scholar
  6. 6.
    Davulcu, H., Kifer, M., Ramakrishnan, I.: CTR–S: A Logic for Specifying Contracts in Semantic Web Services. In: WWW 2004, p. 144 (2004)Google Scholar
  7. 7.
    Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: EDOC 2006, pp. 221–232 (2006)Google Scholar
  8. 8.
    Governatori, G., Milosevic, Z., Sadiq, S., Orlowska, M.: On compliance of business processes with business contracts. Technical report, File System Repository (Australia) (2007),
  9. 9.
    Roman, D., Kifer, M.: Reasoning about the behavior of semantic web services with concurrent transaction logic. In: VLDB, pp. 627–638 (2007)Google Scholar
  10. 10.
    Roman, D., Kifer, M.: Service contracting: A logic-based approach. Tech. report (2008),
  11. 11.
    Angelov, P.G.S.: B2B E-Contracting: A Survey of Existing Projects and Standards. Report I/RS/2003/119, Telematica Instituut (2003)Google Scholar
  12. 12.
    Senkul, P., Kifer, M., Toroslu, I.: A Logical Framework for Scheduling Workflows under Resource Allocation Constraints. In: VLDB 2002, pp. 694–705 (2002)Google Scholar
  13. 13.
    van der Aalst, W., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: The Role of Business Processes in Service Oriented Architectures, number 06291 in Dagstuhl Seminar Proceedings (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Dumitru Roman
    • 1
  • Michael Kifer
    • 2
  1. 1.STI InnsbruckUniversity of InnsbruckAustria
  2. 2.State University of New York at Stony BrookUSA

Personalised recommendations