Abstract
Contracts play an important role in business management where relationships among different parties are dictated by legal rules. Electronic contracts have emerged mostly due to technological advances and electronic trading between companies and customers. New challenges have then arisen to guarantee reliability among the stakeholders in electronic negotiations. In this scenario, automatic verification of electronic contracts appeared as an imperative support, specially the conflict detection task of multi-party contracts. The problem of checking contracts has been largely addressed in the literature, but there are few, if any, methods and practical tools that can deal with multi-party contracts using a contract language with deontic and dynamic aspects as well as relativizations, over the same formalism. In this work we present an automatic checker for finding conflicts on multi-party contracts modeled by an extended contract language with deontic operators and relativizations. Moreover a well-known case study of sales contract is modeled and automatically verified by our tool. Further, we performed practical experiments in order to evaluate the efficiency of our method and the practical tool.
Similar content being viewed by others
Notes
Relativized Contract Language.
\({\mathbf {R}}\)elativiz\({\mathbf {E}}\)d \({\mathbf {C}}\)ontr\({\mathbf {A}}\)ct \({\mathbf {L}}\)anguage ana\({\mathbf {L}}\)yser
The use of penalties and reparations obviate the need for explicit discussion of issues relating to contrary to duty and contrary to prohibition.
Available at http://recallcontracts.github.io.
References
Abdelsadiq A, Molina-Jimenez C, Shrivastava S (2011) A high-level model-checking tool for verifying service agreements. In: Proceedings of 2011 IEEE 6th international symposium on service oriented system (SOSE), pp 297–304
Angelov S, Grefen P (2001) B2b econtract handling—a survey of projects, papers and standards. University of Twente, The Netherlands, Tech. rep
Azzopardi S, Pace GJ, Schapachnik F, Schneider G (2016) Contract automata. Artif Intell Law 24(3):203–243. https://doi.org/10.1007/s10506-016-9185-2
Bartoletti M, Zunino R (2010) A calculus of contracting processes. In: Logic in computer science, symposium on (LICS), pp 332–341. https://doi.org/10.1109/LICS.2010.25
Belardinelli F, Lomuscio A, Murano A, Rubin S (2017) Verification of multi-agent systems with imperfect information and public actions. In: AAMAS
Bonifacio AL, Della Mura WA (2018) An automatic tool for checking multi-party contracts. ArXiv e-prints
Camilleri JJ, Schneider G (2017) Modelling and analysis of normative documents. J Log Algebr Methods Program 91:33–59. https://doi.org/10.1016/j.jlamp.2017.05.002
Daskalopulu A (2001) Model checking contractual protocols. CoRR. arXiv:cs.SE/0106009
Della Mura WA, Bonifácio AL (2015a) A conflict detection approach for multi-party contracts. Tech. Rep. DC-15-01, Department of Computing, University of Londrina. http://www.uel.br/cce/dc/wp-content/uploads/RT-DC-15-01.pdf (in English)
Della Mura WA, Bonifácio AL (2015b) Devising a conflict detection method for multi-party contracts. In: 34th international conference of the chilean computer science society, SCCC 2015, Santiago, Chile, November 9–13, 2015, pp 1–6. IEEE. https://doi.org/10.1109/SCCC.2015.7416574
Fenech S (2008) Conflict analysis of deontic contracts
Fenech S, Pace G, Schneider G (2009) Automatic conflict detection on contracts. In: Leucker M, Morgan C (eds) Theoretical aspects of computing—ICTAC 2009, vol 5684. Lecture notes in computer science. Springer, Berlin, pp 200–214
Governatori G (2005) Representing business contracts in ruleml. Int J Coop Inf Syst 14:181–216
Harel D, Kozen D, Tiuryn J (1984) Dynamic logic. In: Gabbay DM, Guenthner F (eds) Handbook of philosophical logic. MIT Press, Cambridge, pp 497–604
Herrestad H, Krogh C (1995) Obligations directed from bearers to counterparts. In: ICAIL’95 proceedings of the 5th international conference on artificial intelligence and law, pp 453–522
Hilpinen R (2001) Deontic logic. In: L. Goble (ed.) The blackwell guide to philosophical logic, chap. 8. Blackwell
Kyas M, Prisacariu C, Schneider G (2008) Runtime monitoring of electronic contracts. In: ATVA08, LNCS. Springer
Lomuscio A, Qu H, Raimondi F (2017) Mcmas: an open-source model checker for the verification of multi-agent systems. Int J Softw Tools Technol Transf 19(1):9–30. https://doi.org/10.1007/s10009-015-0378-x
Meyer JJC (1987) A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. Notre Dame J Formal Logic 29(1):109–136
Prisacariu C, Schneider G (2007) A formal language for electronic contracts. In: FMOODS 07, volume 4468 of LNCS. Springer, pp 174–189
Prisacariu C, Schneider G (2008) Cl: a logic for reasoning about legal contracts—semantics. Tech. Rep. 371, Univ. Oslo
Prisacariu C, Schneider G (2009) Cl: an action-based logic for reasoning about contracts. In: Ono H, Kanazawa M, Queiroz R (eds) Logic, language, information and computation, vol 5514. Lecture notes in computer science. Springer, Berlin, pp 335–349
Prisacariu C, Schneider G (2012) A dynamic deontic logic for complex contracts. J Logic Algebr Program 81(4):458–490. https://doi.org/10.1016/j.jlap.2012.03.003
Royakkers LMM (1998) Standard deontic logic. Springer, Dordrecht, pp 13–50. https://doi.org/10.1007/978-94-015-9099-0_2
van der Hoek W, Wooldridge M (2003) Cooperation, knowledge, and time: alternating-time temporal epistemic logic and its applications. Stud Log 75(1):125–157. https://doi.org/10.1023/A:1026185103185
Xu L (2004) A multi-party contract model. SIGecom Exch. 5(1):13–23. https://doi.org/10.1145/1120694.1120697
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Bonifacio, A.L., Della Mura, W.A. Automatically running experiments on checking multi-party contracts. Artif Intell Law 29, 287–310 (2021). https://doi.org/10.1007/s10506-020-09276-y
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10506-020-09276-y