论不诚实系统中契约的可实现性
编程语言
2012-01-31 v1
摘要
我们发展了一套契约系统理论，其中行为契约在达成一致后可能被不诚实的参与者违反，这与基于行为类型的传统方法不同。我们考虑了\cite{CastagnaPadovaniGesbert09toplas}中的契约，并将其嵌入到一个演算中，该演算允许分布式参与者发布契约、达成协议、查询契约履行情况，并实现契约（或选择不实现）。我们的契约理论明确了计算每一步中的责任方。当参与者在给定上下文 S 中与 S 的每种可能交互中均无责任时，称其在该上下文中是诚实的。我们的主要结果是给出了一个充分准则，用于将参与者分类为在所有可能上下文中均为诚实的参与者。
引用
@article{arxiv.1201.6188,
title = {On the realizability of contracts in dishonest systems},
author = {Massimo Bartoletti and Emilio Tuosto and Roberto Zunino},
journal= {arXiv preprint arXiv:1201.6188},
year = {2012}
}