【摘 要】
：
服务构件的组装和验证是基于构件的软件工程的核心。为确保服务构件组装的高可靠性,引入了马丁洛夫类型理论来形式化地描述构件接口的功能性和非功能语义信息,使之在进行组装
【基金项目】
：
国家自然科学基金（60376072）
论文部分内容阅读
服务构件的组装和验证是基于构件的软件工程的核心。为确保服务构件组装的高可靠性,引入了马丁洛夫类型理论来形式化地描述构件接口的功能性和非功能语义信息,使之在进行组装时,可利用其接口所携带的语义并根据推理规则在验证工具Coq中推导其正确性和可信性。其次,提出基于类型理论的组装验证模型并结合实例进行分析。最后,介绍了文中的可视化开发平台的原型系统,其具有界面友好、功能操作简单等特点。通过马丁洛夫类型理论的方法组合的构件系统表现出高可靠性。
其他文献
带状疱疹患者往往伴有剧烈的疼痛,临床有刺络拔罐结合氦氖激光照射治疗的报道[1].自1998年以来,我院采用抗病毒药物联合星状神经节阻滞治疗带状疱疹神经痛20例,收到满意效果,
高中数学是高中教学中的一门重要学科,也是一门基础性学科,学好这一学科可以很好地培养学生的思考能力与实践能力。培养学生解题能力是数学教学中的重点教学计划,也是学生应
目的研究茶碱控释片和硫酸沙丁胺醇气雾剂吸入治疗急性老年哮喘患者的临床疗效。方法 100例急性老年哮喘患者,随机分为研究组（51例）与对照组（49例）。给予对照组患者硫酸沙丁胺醇
实践是检验真理的唯一标准,实验是验证理论的依据.为适应面向2l世纪教育的基本要求,为提高学生对知识的综合运用能力及创新能力,实验课程内容有了质的变化,由原先验证性内容
本文介绍了在Solid Works2008下工程图标题栏设计、项目修改、填写有关内容。使标题栏的内容符合本单位规定的内容、格式，并可实现由系统自动填写，对于工程设计非常实用。
随着教育部《大学英语课程教学要求》的正式颁布，大学英语教学改革成了我国高等教育改革的热门话题。文章以大学英语教学现存的种种问题为切人点，结合北华航天工业学院的实际情
大学生民族精神的培育面临社会变迁的挑战，社会变迁对大学生的民族精神有不利影响。大学生民族精神培育体系的改进对策有：巩固民族精神培育的基本渠道和拓展民族精神培育的具体
利用交通现场俯视摄影图可快速准确记录事故现场信息,再通过计算机分析处理,对事故现场勘查、责任划分具有重要意义。然而对事故现场俯视摄影图进行几何校正后,单幅图像存在视场角度小、局部场景信息量少的缺点,需要对多幅图像进行拼接得到更多图像信息。因此首先提出分阶段快速网格匹配方法,实现多幅有部分重叠图像的快速匹配,接着提出一种快速图像融合方法,实现多幅图像无缝融合,最后以例证的方式证明了该方法的有效性及良
随着经济全球化发展，英语在我国的应用越发普遍，在教育教学中越发重视英语学科教学展开。初中阶段，正是学生语言能力发展的黄金时期，在这个阶段展开英语学科教学，能够促进学生英语
如今新课程改革正在如火如荼的进行着，学校也对多元化教育模式进行了高度的重视，使学生可以在适合自己的教学环境中实现高效学习，使学生的综合素质和学习能力得到全面的提高，小学