RECORD
An automatic tool for checking multi-party contracts
Logic in Computer Science · Submitted 4 Sep 2018
abstract compiled · 2026-09-23 · no language-model review
The authors' main claim This work presents an automatic checker, so-called RECALL, for finding conflicts on multi-party contracts modeled by an extension of a contract language.
The compiled record
The paper's own sentences, arranged. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
Open the compiled record
The abstract, sentence by sentence
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.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Contracts play an important role in business where relationships among different parties are dictated by legal rules. | background 1.00 | 0.03 | 0.02 | asserted 1.00 |
| s1 | The notion of electronic contracts has emerged mostly due to technological advances and the electronic trading among companies and customers. | background 1.00 | 0.04 | 0.02 | asserted 0.97 |
| s2 | Thereby new challenges have arisen to guarantee reliability among the stakeholders in electronic negotiations. | background 1.00 | 0.04 | 0.02 | asserted 1.00 |
| s3 | In this scenery, the automatic verification of electronic contracts appeared as the solution but as a new challenge at the same time. | background 0.99 | 0.05 | 0.05 | asserted 1.00 |
| s4 | An important task on verifying contracts is concerned of detecting conflicts in multi-party contracts. | background 1.00 | 0.05 | 0.05 | asserted 1.00 |
| s5 | 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. | gap 1.00 | 0.24 | 0.09 | asserted 0.96 |
| s6 | This work presents an automatic checker, so-called RECALL, for finding conflicts on multi-party contracts modeled by an extension of a contract language. | contribution 0.96 | 0.95 | 0.53 | asserted 1.00 |
| s7 | 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. | contribution 0.68 | 0.97 | 0.13 | asserted 1.00 |
| s8 | We also performed some experiments in order to show the tool performance w.r.t. the size of contracts. | method 0.60 | 0.97 | 0.06 | asserted 0.97 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
The paper
Original abstract
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.
Human review
Discussion
Know something about this paper? Leave a comment, or highlight any passage above to comment on it.