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

• 作者: 宫尚 王鹏 陈韶君 高洪皓
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 高可靠性与可信性 马丁洛夫类型理论与Coq 形式化组装验证 服务构件
• 年，卷（期）: 2010,（5）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 34-38
• 分类号: TP311.52
• 字数: 3579字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2010.05.009

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高洪皓	上海大学计算机工程与科学学院	35	118	6.0	8.0
2	王鹏	上海大学计算机工程与科学学院	26	151	6.0	11.0
3	宫尚	上海大学计算机工程与科学学院	1	4	1.0	1.0
4	陈韶君	上海大学计算机工程与科学学院	1	4	1.0	1.0