一种面向服务构件的高可信组装技术的研究

摘要：

服务构件的组装和验证是基于构件的软件工程的核心.为确保服务构件组装的高可靠性,引入了马丁洛夫类型理论来形式化地描述构件接口的功能性和非功能语义信息,使之在进行组装时,可利用其接口所携带的语义并根据推理规则在验证工具Coq中推导其正确性和可信性.其次,提出基于类型理论的组装验证模型并结合实例进行分析.最后,介绍了文中的可视化开发平台的原型系统,其具有界面友好、功能操作简单等特点.通过马丁洛夫类型理论的方法组合的构件系统表现出高可靠性.

关键词：高可靠性与可信性、马丁洛夫类型理论与Coq、形式化组装验证、服务构件

所属期刊栏目：20

分类号：TP311.52(计算技术、计算机技术)

资助基金：国家自然科学基金60376072

在线出版日期：2010-06-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：34-38