Detecting Violators of Multi-party Contracts | SpringerLink
Skip to main content

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3290))

Abstract

In the business world, business coordinations are becoming global, execution of multi-party contracts has to be considered a vital point for successful business coordinations. The need for a new multi-party contract model is thus becoming evident. However, there is little known on how to formally model a multi-party contract. In this paper, we investigate how a contract involving multilateral parties can be modeled more easily for finding the contract responsible for given contract violations.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 11439
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 14299
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Abrahams, A.: An asynchronous rule-based approach for business process automation using obligations. In: The 3rd ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, USA (2002)

    Google Scholar 

  2. Cohen, P.R., Levesque, H.J.: Communicative actions for artificial agents. In: Lesser, V., Gasser, L. (eds.) Proceedings of the First International Conference on Multi-Agent Systems, San Francisco, CA, USA, pp. 65–72. The MIT Press, Cambridge (1995)

    Google Scholar 

  3. Dan, A., Nguyen, T.N., Dias, D.M., Parr, F.N., Kearney, R., Sachs, M.W., Lau, T.C., Shaikh, H.H.: Business-to-business intergration with tpaml and a business-tobusiness protocol framework. IBM Systems Journal 40(1) (2001)

    Google Scholar 

  4. Daskalopulu, A., Dimitrako, T., Maibaum, T.: Evidence-based electronic contract performance monitoring. INFORMS Journal of Group Decision and Negotiation, Special Issue: formal Modeling of Electronic Commerce (2002)

    Google Scholar 

  5. Dubray, J.-J.: A new model for ebxml bpss multi-party collaborations and web services choreography (2002), http://www.ebpml.org/ebpml.doc

  6. Grefen, P., Vonk, J., Apers, P.: Global transaction support for workflow management systems: from formal specification to practical implementation. The VLDB Journal (2001)

    Google Scholar 

  7. Grosof, B., Poon, T.: Sweetdeal: representing agent contracts with exceptions using xml rules, ontologies, and process descriptions (2003)

    Google Scholar 

  8. Haugen, B.: Multi-party electronic business transactions (2002), http://www.supplychainlinks.com/MultiPartyBusinessTransactions.PDF

  9. Kafeza, E., Chiu, D., Kafeza, I.: View-based contracts in an e-service crossorganizational workflow environment. In: The second International Workshop on Technologies for E-Service (2001)

    Google Scholar 

  10. Kimbrough, S.O., Moore, S.A.: On automated message processing in electronic commerce and work support systems: Speech act theory and expressive felicity. ACM Transactions on Information Systems 15(4), 321–367 (1997)

    Article  Google Scholar 

  11. Koetsier, M., Grefen, P., Vonk: Contract model. Technical Report Deliverable D4b, Cross-Organisational/Workflow, Crossflow ESPRITE/28635 (1999)

    Google Scholar 

  12. Lee, R.: Towards open electronic contracting. Electronic Markets 8(3) (March 1998)

    Google Scholar 

  13. Moore, S.A.: Kqml and flbc: Contrasting agent communication languages. International Journal of Electronic Commerce 5(1) (2000)

    Google Scholar 

  14. Norman, T.J., Sierra, C., Jennings, N.R.: Rights and commitments in multiagent agreements. In: Proceedings of the 3rd International Conference on Multi-Agent Systems (ICMAS 1998), Paris, France (1998)

    Google Scholar 

  15. Preist, C.: Agent mediated electronic commerce research at hewlett packard labs, bristol. ACM SIGecom Exchanges (2001)

    Google Scholar 

  16. CrossFlow Project. Insurance requirements. Technical Report CrossFlow deliverable: D1.b, CrossFlow consortium (1999)

    Google Scholar 

  17. Ervin, R.: Chains of commitment software architecture. ACM SIGecom Exchanges 3(1) (2002)

    Google Scholar 

  18. Tan, Y.-H., Thoen, W.: A logical model of directed obligations and permissions to support electronic contracting in electronic commerce. International Journal of Electronic Commerce 3(2), 87–104 (1999)

    Google Scholar 

  19. Venkatraman, M., Singh, M.P.: Verifying compliance with commitment protocols: Enabling open web-based multiagent systems. Autonomous Agents and Multi-Agent Systems 2(3) (1999)

    Google Scholar 

  20. Verdicchio, M., Colombetti, M.: Commitments for agent-based supply chain management. ACM SIGecom Exchanges 3(1) (2002)

    Google Scholar 

  21. Weigand, H., Dignum, F., Verharen, E.: Dynamic business models as a basis for interoperable transaction design. Information Systems (1997)

    Google Scholar 

  22. Weigand, H., Xu, L.: Contracts in e-commerce. In: 9th IFIP 2.6 Working Conference on Database Semantic Issues in E-Commerce Systems, DS-9 (2001)

    Google Scholar 

  23. Xu, L.: Monitorable electronic contract. In: The 2003 IEEE Conference on ECommerce (CEC 2003), IEEE Computer Society Press, Los Alamitos (2003)

    Google Scholar 

  24. Xu, L.: Appendix: all actions and commitments of a car insurance case (2004), http://www.cs.vu.nl/~xu/appendix.pdf

  25. Xu, L.: A multi-party contract model. ACM SIGecom Exchanges 5(1) (2004)

    Google Scholar 

  26. Xu, L., Jeusfeld, M.A.: Pro-active monitoring of electronic contracts. In: The 15th Conference On Advanced Information Systems Engineering. Lecture Notes of Computer Science, vol. 2681, pp. 584–600. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Xu, L., Jeusfeld, M.A. (2004). Detecting Violators of Multi-party Contracts. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE. OTM 2004. Lecture Notes in Computer Science, vol 3290. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30468-5_33

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30468-5_33

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23663-4

  • Online ISBN: 978-3-540-30468-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics