主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
陈 鑫.一种基于构件演算的主动构件精化方法.软件学报,2008,19(5):1134-1148
一种基于构件演算的主动构件精化方法
An Approach to Refining Active Components Based on Component Calculus
投稿时间:2007-11-15  修订日期:2008-02-19
DOI:
中文关键词:  接口  构件  语义  契约  精化  组合
英文关键词:interface  component  semantics  contract  refinement  composition
基金项目:Supported by the National Basic Research Program of China under Grant No.2002CB312001 (国家重点基础研究发展计划(973)); the National High-Tech Research and Development Plan of China under Grant No.2007AA010302 (国家高技术研究发展计划(863)); the Natural Science Foundation of Jiangsu Province of China under Grant No.BK2007714 (江苏省自然科学基金)
作者单位
陈 鑫 南京大学 计算机科学与技术系,江苏 南京 210093
南京大学 计算机软件新技术国家重点实验室,江苏 南京 210093 
摘要点击次数: 5261
全文下载次数: 3592
中文摘要:
      现代构件系统通常包含多个并发执行的主动构件,这使得验证构件系统的正确性变得十分困难.通过对构件演算进行扩展,提出了一种主动构件的精化方法.在构件接口层引入契约.契约使用卫式设计描述公共方法和主动活动的功能规约.通过一对发散、失败集合定义契约的动态行为,并利用发散、失败集合之间的包含关系定义契约间的精化关系.证明了应用仿真技术确认契约精化关系的定理.定义构件的语义为其需求接口契约到其服务接口契约的函数,以此为基础,可以通过契约的精化来证明构件的精化.给出了构件的组装规则.在构件系统自底向上的构造过程中,应用构件的精化方法和组装规则可以保证最终系统的正确性.
英文摘要:
      Modern component-based systems consist of active components that execute in parallel, which brings great difficulties in verifying correctness. By extending component calculus, a theory concerning refinement of active components is proposed. For interfaces, contracts are introduced which give functional specifications for both public methods and active action in terms of guarded designs. Then, a contract's dynamic behavior is defined by a pair of divergences/failures sets. The refinement relation between contracts is defined as the set inclusion of their divergences/failures sets. The theories applying simulation techniques to assure the refinement relation are proved. By defining the semantics of a component as a mapping from the contract of its required interface to the contract of its provide interface, component refinement can be proved in terms of contract refinement. When the component- based systems are being constructed in a bottom-up manner, the application of the refinement method together with the composition rule can guarantee their correctness.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利