An automatic tool for checking multi-party contracts

by   Adilson Luiz Bonifacio, et al.

Contracts play an important role in business where relationships among different parties are dictated by legal rules. The notion of electronic contracts has emerged mostly due to technological advances and the electronic trading among companies and customers. Thereby new challenges have arisen to guarantee reliability among the stakeholders in electronic negotiations. In this scenery, the automatic verification of electronic contracts appeared as the solution but as a new challenge at the same time. An important task on verifying contracts is concerned of detecting conflicts in multi-party contracts. The problem of checking contracts has been largely addressed in the literature, but we are not aware about any method and tool that deals with multi-party contracts and conflict detection using a contract language. This work presents an automatic checker, so-called RECALL, for finding conflicts on multi-party contracts modeled by an extension of a contract language. We developed an automatic checking tool and also applied it to a a well-known case study of selling products that is characterized by multi-party aspects of the contracts. We also performed some experiments in order to show the tool performance w.r.t. the size of contracts.


page 1

page 2

page 3

page 4


What to Read in a Contract? Party-Specific Summarization of Important Obligations, Entitlements, and Prohibitions in Legal Documents

Legal contracts, such as employment or lease agreements, are important d...

Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society

Almost two centuries ago Pierre-Joseph Proudhon proposed social contract...

Combining Static and Dynamic Contract Checking for Curry

Static type systems are usually not sufficient to express all requiremen...

Computational Dating for the Nuzi Cuneiform Archive: The Least Squares Constrained by Family Trees and Synchronisms

We introduce a computational method of dating for an archive in ancient ...

A Digital Marketplace Combining WS-Agreement, Service Negotiation Protocols and Heterogeneous Services

With the ever increasing importance of web services and the Cloud as a r...

Modeling and Analysis of the Landing Gear System with the Generalized Contracts

Nowadays, there are several complex systems in different sectors such as...

Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows

Distributed ledger technologies, also known as blockchains for enterpris...

Please sign up or login with your details

Forgot password? Click here to reset