首页    期刊浏览 2024年11月30日 星期六
登录注册

文章基本信息

  • 标题:An event-based model for contracts
  • 本地全文:下载
  • 作者:Massimo Bartoletti ; Tiziana Cimoli ; G. Michele Pinna
  • 期刊名称:Electronic Proceedings in Theoretical Computer Science
  • 电子版ISSN:2075-2180
  • 出版年度:2013
  • 卷号:109
  • 页码:13-20
  • DOI:10.4204/EPTCS.109.3
  • 出版社:Open Publishing Association
  • 摘要:We introduce a basic model for contracts. Our model extends event structures with a new relation, which faithfully captures the circular dependencies among contract clauses. We establish whether an agreement exists which respects all the contracts at hand (i.e. all the dependencies can be resolved), and we detect the obligations of each participant. The main technical contribution is a correspondence between our model and a fragment of the contract logic PCL. More precisely, we show that the reachable events are exactly those which correspond to provable atoms in the logic. Despite of this strong correspondence, our model improves previous work on PCL by exhibiting a finer-grained notion of culpability, which takes into account the legitimate orderings of events.
国家哲学社会科学文献中心版权所有