Contract theories have been proposed to formally support distributed and decentralized system design while ensuring safe system integration. In this paper we propose hypercontracts, a generic model with a richer structure for its underlying model of components, subsuming simulation preorders. While this new model remains generic, it provides a much more elegant and richer algebra for its key notions of refinement, parallel composition, and quotient, and it allows inclusion of new operations. On top of these foundations, we propose conic hypercontracts, which are still generic but come with a finite description.
翻译:已经提出合同理论,正式支持分布式和分散式系统设计,同时确保安全系统整合;在本文件中,我们提出超额合同,这是一个通用模式,其基本部件模型结构更丰富,可以将模拟预购进行分包。 虽然这一新模式仍然通用,但它为精细、平行组成和商数等关键概念提供了更优雅、更丰富的代数,并允许纳入新的操作。除了这些基础外,我们还提出二次超额合同,这些合同仍然通用,但有一定的描述。