Quotient for Assume-Guarantee Contracts
Quotient for Assume-Guarantee Contracts
复制标题
假设担保合同的商
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Eunsuk Kang
中科院分区：
文献类型：
--
作者：
Í. Í. Romeo;A. Sangiovanni;Chung;Eunsuk Kang
我们引入了一种新的概念，即一对合同的商集和假设保证合同的商的运算。商集及其相关运算可用于将设计要求映射到库中的一组组件的任何组合方法中。特别是，它们可以用于所谓的组件缺失问题，即给定的组件不能履行需求的义务。在这种情况下，商操作标识组件的约定，如果将该组件添加到原始集合中，则会使结果系统满足要求。
We introduce a novel notion of quotient set for a pair of contracts and the operation of quotient for assumeguarantee contracts. The quotient set and its related operation can be used in any compositional methodology where design requirements are mapped into a set of components in a library. In particular, they can be used for the so called missing component problem, where the given components are not capable of discharging the obligations of the requirements. In this case, the quotient operation identifies the contract for a component that, if added to the original set, makes the resulting system fulfill the requirements.