[1]高洪皓 宫尚 王鹏 陈韶君.一种面向服务构件的高可信组装技术的研究[J].计算机技术与发展,2010,(05):34-38.
　GAO Hong-hao,GONG Shang,WANG Peng,et al.Research Technology of Service Component＇s Combination for High Credibility[J].,2010,(05):34-38.
点击复制

一种面向服务构件的高可信组装技术的研究()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2010年05期
页码:
34-38
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Research Technology of Service Component＇s Combination for High Credibility
文章编号:
1673-629X（2010）05-0034-05
作者:
高洪皓 宫尚 王鹏 陈韶君
上海大学计算机工程与科学学院
Author(s):
GAO Hong-hao; GONG Shang; WANG Peng; CHEN Shao-jun
College of Computer Engineering and Science,Shanghai University
关键词:
高可靠性与可信性; 马丁洛夫类型理论与Coq; 形式化组装验证; 服务构件
Keywords:
high reliability and credibility;  Martin-Lof＇s type theory and Coq;  formal verification and combination;  service component
分类号:
TP311.52
文献标志码:
A
摘要:
服务构件的组装和验证是基于构件的软件工程的核心。为确保服务构件组装的高可靠性,引入了马丁洛夫类型理论来形式化地描述构件接口的功能性和非功能语义信息,使之在进行组装时,可利用其接口所携带的语义并根据推理规则在验证工具Coq中推导其正确性和可信性。其次,提出基于类型理论的组装验证模型并结合实例进行分析。最后,介绍了文中的可视化开发平台的原型系统,其具有界面友好、功能操作简单等特点。通过马丁洛夫类型理论的方法组合的构件系统表现出高可靠性。
Abstract:
Service component＇s combination and verification is the core of service component based on software engineering.In order to ensure its high-credibility during being composed based on the visual development platform,use Martin-Lof＇s type theory to formally

备注/Memo

备注/Memo:
国家自然科学基金（60376072）高洪皓（1985-），男，博士研究生，CCF学生会员，研究方向为可信软件、软件形式化、软件工程等。
更新日期/Last Update: 1900-01-01