| 契约式设计在可信业务构件中的应用 |
| |
| 引用本文： | 石双元,陈琦. 契约式设计在可信业务构件中的应用[J]. 武汉理工大学学报(信息与管理工程版), 2006, 28(1): 127-130 |
| |
| 作者姓名： | 石双元 陈琦 |
| |
| 作者单位： | 华中科技大学,管理学院,湖北,武汉,430074 |
| |
| 摘 要： | 介绍了契约式设计的思想，并在业务构件的分析中引入了契约式设计，从而构造出可信的业务构件。重点分析了契约式设计如何通过前置条件、后置条件和不变式3要素保证业务构件的可信，并给出具体的实例来说明。
|
| 关 键 词： | 契约式设计 可信业务构件 前置条件 后置条件 不变式 |
| 文章编号： | 1007-144X（2006）01-0127-04 |
| 收稿时间： | 2005-09-15 |
| 修稿时间： | 2005-09-15 |
Design by Contract in the Application of Trusted Business Component |
| |
| Shi Shuangyuan,Chen Qi. Design by Contract in the Application of Trusted Business Component[J]. Journal of Wuhan University of Technology(Information & Management Engineering), 2006, 28(1): 127-130 |
| |
| Authors: | Shi Shuangyuan Chen Qi |
| |
| Abstract: | The idea of the design by contract is introduced and applied into the analysis of the business component.Therefore,the trusted business component can be built.The three factors: precondition,postcondition and invariant in the design by contract on guaranteeing the business component trustworthiness are analyzed.A concrete instance that demonstrates this idea is provided. |
| |
| Keywords: | design by contract trusted business component precondition postcondition invariant |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
