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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
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)
Dubray, J.-J.: A new model for ebxml bpss multi-party collaborations and web services choreography (2002), http://www.ebpml.org/ebpml.doc
Grefen, P., Vonk, J., Apers, P.: Global transaction support for workflow management systems: from formal specification to practical implementation. The VLDB Journal (2001)
Grosof, B., Poon, T.: Sweetdeal: representing agent contracts with exceptions using xml rules, ontologies, and process descriptions (2003)
Haugen, B.: Multi-party electronic business transactions (2002), http://www.supplychainlinks.com/MultiPartyBusinessTransactions.PDF
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)
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)
Koetsier, M., Grefen, P., Vonk: Contract model. Technical Report Deliverable D4b, Cross-Organisational/Workflow, Crossflow ESPRITE/28635 (1999)
Lee, R.: Towards open electronic contracting. Electronic Markets 8(3) (March 1998)
Moore, S.A.: Kqml and flbc: Contrasting agent communication languages. International Journal of Electronic Commerce 5(1) (2000)
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)
Preist, C.: Agent mediated electronic commerce research at hewlett packard labs, bristol. ACM SIGecom Exchanges (2001)
CrossFlow Project. Insurance requirements. Technical Report CrossFlow deliverable: D1.b, CrossFlow consortium (1999)
Ervin, R.: Chains of commitment software architecture. ACM SIGecom Exchanges 3(1) (2002)
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)
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)
Verdicchio, M., Colombetti, M.: Commitments for agent-based supply chain management. ACM SIGecom Exchanges 3(1) (2002)
Weigand, H., Dignum, F., Verharen, E.: Dynamic business models as a basis for interoperable transaction design. Information Systems (1997)
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)
Xu, L.: Monitorable electronic contract. In: The 2003 IEEE Conference on ECommerce (CEC 2003), IEEE Computer Society Press, Los Alamitos (2003)
Xu, L.: Appendix: all actions and commitments of a car insurance case (2004), http://www.cs.vu.nl/~xu/appendix.pdf
Xu, L.: A multi-party contract model. ACM SIGecom Exchanges 5(1) (2004)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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