互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

基于进程代数的构件动态演化行为一致性研究


□ 申利民 马 川 王 涛

  (燕山大学 信息科学与工程学院, 河北 秦皇岛 066004)
  
  摘 要:
  为了保证构件在动态演化时的行为一致性,提出了一种基于进程代数的构件模型,形式化描述了构件及其对外交互协议,引入了对外主动请求接口和内部连接,并给出了行为一致性验证的规则和相关定理;然后给出了验证算法;最后,通过一个构件化系统的实例来说明所提出方法的可行性。
  关键词:构件; 动态演化; 进程代数; 行为一致性; 主动请求接口
  中图分类号:TP311.5文献标志码:A
  文章编号:1001-3695(2009)04-1345-04
  
  Research on behavioral consistency of component dynamic evolution based on process algebra
  
  SHEN Li-min, MA Chuan, WANG Tao
  (Information Science & Engineering Institute, Yanshan University, Qinhuangdao Hebei 066004,China)
  
  Abstract:To ensure behavioral consistency of components during dynamic evolution, defined a component model based on process algebra which formally specified the components and their interaction behaviors. Introduced the initiate request port and internal connection into the model, and then presented a set of rules and arithmetic to verify the behavioral consistency. Finally, presented an example of component-based system to illustrate the feasibility of the approach.
  Key words:component; dynamic evolution; process algebra(PA); behavioral consistency; initiate request port
  
  基于构件的软件工程(component-based software enginee-ring,CBSE)可有效地提高软件开发质量和效率,降低开发及维护成本。构件演化是构件系统维护的关键技术和研究热点[1],确保构件系统的一致性是构件演化的根本目标。在一些如航空通信、工业控制、医疗等领域,停机演化所带来的损失是巨大的甚至是无法忍受的,人们对动态演化的需求日趋强烈。 ......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《计算机应用研究》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017