Abstract
We address one of the challenges in developing solutions based on multiagent systems for the problems of cross-organizational business processes and commerce generally. Specifically, we study how to gather and analyze requirements embodied within business contracts using the abstractions from multiagent systems.
Commerce is driven by business contracts. Each party to a business contract must be assured that the contract is robust, in the sense that it fulfills its goals and avoids undesirable outcomes. However, real-life business contracts tend to be complex and unamenable both to manual scrutiny and domain-independent scientific methods, making it difficult to provide automated support for determining or improving their robustness. As a result, establishing a contract is nontrivial and adds significantly to the transaction costs of conducting business. If the adoption of multiagent systems approaches in supporting business interactions is to be viable, we need to develop appropriate techniques to enable tools to reason about contracts in relation to their robustness.
To this end, we propose a powerful approach to assessing the robustness of contracts, and make two main contributions. First, we demonstrate a novel conceptual model for contracts that is based on commitments. Second, we offer a methodology for (i) creating commitment-based models of contracts from textual descriptions, and (ii) evaluating the contract models for robustness. We validate these contributions via a study of real-world contracts.
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.S., Bacon, J.M.: A software implementation of Kimbrough’s disquotation theory for representing and enforcing electronic commerce contracts. Group Decision and Negotiation 11(6), 487–524 (2002)
Bordini, R.H., Dastani, M., Dix, J., Fallah-Seghrouchni, A.E.: Multi-Agent Programming: Languages, Platforms and Applications, Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15. Springer, Heidelberg (2005)
Bordini, R.H., Hübner, J.F., Wooldridge, M.J.: Programming Multi-Agent Systems in AgentSpeak using Jason. John Wiley & Sons, Chichester (2007)
Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An agent-oriented software development methodology. Journal of Autonomous Agents and Multi-Agent Systems 8(3), 203–236 (2004)
Carbogim, D., Robertson, D.: Contract-based negotiation via argumentation (a preliminary report). In: Proceedings of the Workshop on Multi-Agent Systems in Logic Programming: Theory, Application, and Issues (MAS) held at the International Conference on Logic Programming (ICLP), Las Cruces, New Mexico (1999)
Daskalopulu, A.: Logic-based tools for legal contract drafting: Prospects and problems. In: Proceedings of the First Logic Symposium, pp. 213–222. University of Cyprus Press (1997)
Daskalopulu, A., Dimitrakos, T., Maibaum, T.: Evidence-based electronic contract performance monitoring. Group Decision and Negotiation 11(6), 469–485 (2002)
Desai, N., Narendra, N.C., Singh, M.P.: Checking correctness of business contracts via commitments. In: Proceedings of the 7th International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS), pp. 787–794. IFAAMAS, Columbia (2008)
Gisler, M., Stanoevska-Slabeva, K., Greunz, M.: Legal aspects of electronic contracts. In: Proceedings of the CAiSE Workshop on Infrastructure for Dynamic Business-to-Business Service Outsourcing (IDSO), Stockholm. CEUR Workshop Proceedings, vol. 30, CEUR-WS.org (2000)
Governatori, G.: Representing business contracts in RuleML. International Journal of Cooperative Information Systems 14(2-3), 181–216 (2005)
Grosof, B., Poon, T.C.: SweetDeal: Representing agent contracts with exceptions using semantic web rules, ontologies, and process descriptions. International Journal of Electronic Commerce 8(4), 61–98 (2004)
Mallya, A.U., Singh, M.P.: Incorporating commitment protocols into Tropos. In: Müller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol. 3950, pp. 69–80. Springer, Heidelberg (2006)
Meneguzzi, F., Miles, S., Holt, C., Luck, M., Oren, N., Faci, N., Kollingbaum, M.: Electronic contracting in aircraft aftercare: A case study. In: Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems, pp. 63–70 (2008)
Nunes, I., Cirillo, E., de Lucena, C.J.P., Sudeikat, J., Hahn, C., Gomez-Sanz, J.J.: A survey on the implementation of agent oriented specifications. In: Gomez-Sanz, J.J. (ed.) AOSE 2009. LNCS, vol. 6038, pp. 169–179. Springer, Heidelberg (2011)
Oren, N., Panagiotidi, S., Vázquez-Salceda, J., Modgil, S., Luck, M., Miles, S.: Towards a formalisation of electronic contracting environments. In: Proceedings of the International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems (COIN) held at AAAI, Chicago, pp. 61–68 (2008)
Rodríguez-Aguilar, J.A., Martín, F.J., Noriega, P., Garcia, P., Sierra, C.: Towards a test-bed for trading agents in electronic auction markets. AI Communications 11(1), 5–19 (1998)
Singh, M.P.: An ontology for commitments in multiagent systems: Toward a unification of normative concepts. Artificial Intelligence and Law 7, 97–113 (1999)
Telang, P.R., Singh, M.P.: Enhancing Tropos with commitments. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.) Conceptual Modeling: Foundations and Applications. LNCS, vol. 5600, pp. 417–435. Springer, Heidelberg (2009)
Telang, P.R., Singh, M.P.: Abstracting and applying business modeling patterns from RosettaNet. In: Proceedings of the 8th International Conference on Service-Oriented Computing (ICSOC), pp. 426–440. ACM, San Francisco (2010)
Telang, P.R., Singh, M.P.: Specifying and verifying cross-organizational business models: An agent-oriented approach. IEEE Transactions on Services Computing 4 (in press, 2011)
Weyns, D., Haesevoets, R., Helleboogh, A.: The MACODO organization model for context-driven dynamic agent organizations. ACM Transactions on Autonomous and Adaptive Systems (TAAS) 5(4), 16:1–16:29 (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chopra, A.K. et al. (2011). Analyzing Contract Robustness through a Model of Commitments. In: Weyns, D., Gleizes, MP. (eds) Agent-Oriented Software Engineering XI. AOSE 2010. Lecture Notes in Computer Science, vol 6788. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22636-6_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-22636-6_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22635-9
Online ISBN: 978-3-642-22636-6
eBook Packages: Computer ScienceComputer Science (R0)