| 一种面向服务构件的高可信组装技术的研究 |
| |
| 引用本文： | 高洪皓,宫尚,王鹏,陈韶君.一种面向服务构件的高可信组装技术的研究[J].计算机技术与发展,2010,20(5):34-38. |
| |
| 作者姓名： | 高洪皓 宫尚 王鹏 陈韶君 |
| |
| 作者单位： | 上海大学,计算机工程与科学学院,上海,200072 |
| |
| 摘 要： | 服务构件的组装和验证是基于构件的软件工程的核心.为确保服务构件组装的高可靠性,引入了马丁洛夫类型理论来形式化地描述构件接口的功能性和非功能语义信息,使之在进行组装时,可利用其接口所携带的语义并根据推理规则在验证工具Coq中推导其正确性和可信性.其次,提出基于类型理论的组装验证模型并结合实例进行分析.最后,介绍了文中的可视化开发平台的原型系统,其具有界面友好、功能操作简单等特点.通过马丁洛夫类型理论的方法组合的构件系统表现出高可靠性.
|
| 关 键 词： | 高可靠性与可信性 马丁洛夫类型理论与Coq 形式化组装验证 服务构件 |
Research Technology of Service Component's Combination for High Credibility |
| |
| GAO Hong-hao,GONG Shang,WANG Peng,CHEN Shao-jun.Research Technology of Service Component's Combination for High Credibility[J].Computer Technology and Development,2010,20(5):34-38. |
| |
| Authors: | GAO Hong-hao GONG Shang WANG Peng CHEN Shao-jun |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
