一个自动检查多方合同的工具
An automatic tool for checking multi-party contracts
摘要：
合同在商业中扮演着重要的角色，不同当事人之间的关系由法律规则决定。电子合同的概念主要是由于技术进步以及公司和客户之间的电子交易而出现的。因此，在保证电子谈判中利益攸关方之间的可靠性方面出现了新的挑战。在这种情况下，电子合同的自动验证作为解决方案出现，但同时也是一个新的挑战。合同验证的一个重要任务是检测多方合同中的冲突。检查合同的问题在文献中已经得到了很大程度的解决，但我们不知道任何方法和工具，处理多方合同和冲突检测使用合同语言。这项工作提出了一个自动检查器，所谓的召回，用于查找冲突的多方合同建模的扩展合同语言。我们开发了一个自动检查工具，并将其应用到一个著名的案例研究销售产品，其特点是多方方面的合同。我们还进行了一些实验，以显示工具的性能w.r.t.合同的规模。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
