摘要
在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机(nondeterministic finite automata,简称NFA)来建模构件的交互行为,在保证交互兼容性的前提下,提出了按构件环境的透明度和构件交互的变化度两维划分的可替换性模型,给出了4类可替换性的形式化定义及其之间的关系,并基于NFA理论给出了相关的验证算法.另外,该模型以构件的替换行为而不是其全部行为作为构件替换的参照,从而使替换时有更多的候选构件可供使用,提高了构件复用的几率.
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.
出处
《软件学报》
EI
CSCD
北大核心
2010年第11期2768-2781,共14页
Journal of Software
基金
国家高技术研究发展计划(863)No.2006AA012191
上海市科技计划No.07DZ22924~~
关键词
基于构件的软件工程
构件可替换性
交互兼容性
构件行为自动机
软件演化
component-based software engineering; component substitutability; interaction compatibility; component behavior automata; software evolving;