首页 | 本学科首页   官方微博 | 高级检索  
     检索      

基于行为自动机的构件可替换性分析与验证
引用本文:张敬周,任洪敏,宗宇伟,钱乐秋,朱三元.基于行为自动机的构件可替换性分析与验证[J].软件学报,2010,21(11):2768-2781.
作者姓名:张敬周  任洪敏  宗宇伟  钱乐秋  朱三元
基金项目:Supported by the National High-Tech Research and Development Plan of China under Grant No.2006AA012191 (国家高技术研究发展计划(863)); the Shanghai Municipal Science-Technology Program of China under Grant No.07DZ22924 (上海市科技计划)
摘    要:在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机(nondeterministic finite automata,简称NFA)来建模构件的交互行为,在保证交互兼容性的前提下,提出了按构件环境的透明度和构件交互的变化度两维划分的可替换性模型,给出了4类可替换性的形式化定义及其之间的关系,并基于NFA理论给出了相关的验证算法。另外,该模型以构件的替换行为而不是其全部行为作为构件替换的参照,从而使替换时有更多的候选构件可供使用,提高了构件复用的几率。

关 键 词:基于构件的软件工程  构件可替换性  交互兼容性  构件行为自动机  软件演化
收稿时间:2008/12/1 0:00:00
修稿时间:2009/11/4 0:00:00

Component Substitutability Analysis and Verification Based on Behavior Automata
ZHANG Jing-Zhou,REN Hong-Min,ZONG Yu-Wei,QIAN Le-Qiu and ZHU San-Yuan.Component Substitutability Analysis and Verification Based on Behavior Automata[J].Journal of Software,2010,21(11):2768-2781.
Authors:ZHANG Jing-Zhou  REN Hong-Min  ZONG Yu-Wei  QIAN Le-Qiu and ZHU San-Yuan
Abstract:This paper discusses component substitutability at the protocol level. Component behavior is modeled by Component behavior automaton (CBA), which is a special kind of nondeterministic finite automata (NFA). Based on CBA, a component substitutability analysis model is presented, which contains four substitutability types partitioned by two dimensions: component environment transparency and interaction similarity. This model can better ensure interaction compatibility than a traditional model based on subtype, and related verification algorithms are developed to automatically analyze component substitutability. In order to make component substitution more precise and increase component reuse, this model makes the behavior of component substituted for the actual interactive behavior that is expressed in the component environment. The reference behavior is formally defined by analyzing the actions by which the component substituted for is bound within the environment.
Keywords:component-based software engineering  component substitutability  interaction ompatibility  component behavior automata  software evolving
本文献已被 万方数据 等数据库收录!
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号