欢迎访问行业研究报告数据库

行业分类

当前位置:首页 > 报告详细信息

找到报告 1 篇 当前为第 1 页 共 1

从关联接口到假设-保证合同

From Relational Interfaces to Assume-Guarantee Contracts

作者:Pierluigi Nuzzo;Antonio Iannopollo;Stavros Tripakis;Alberto L. Sangiovanni-Vincentelli 加工时间:2014-07-08 信息来源:EECS 索取原文[8 页]
关键词:关联接口;担保合同;关系理论;规范化
摘 要:Contract-based design is emerging as a unifying compositional paradigm for the speci cation, design and veri cation of large-scale complex systems. Yet, di erent contract frameworks are currently available, without a clear understanding of the relations between them. In this paper, we investigate the relation between interface theories (specifically, relational interfaces) and assume-guarantee (A/G) contracts, revealing some of the subtleties involved. We show that the natural transformation of interfaces to A/G contracts represented by LTL formulas preserves re nement,but does not generally preserve serial composition, and we present an assumption-projection operator to remedy the latter issue. We also discuss the properties of our transformation with respect to conjunction. Finally, we provide illustrative examples that shed light on the e ectiveness of both frameworks for requirement formalization, early detection of integration errors, and principled use of abstraction renement.
内 容:

© 2016 武汉世讯达文化传播有限责任公司 版权所有
客服中心

QQ咨询


点击这里给我发消息 客服员


电话咨询


027-87841330


微信公众号




展开客服