%0 Journal Article
%T Component Substitutability Analysis and Verification Based on Behavior Automata
基于行为自动机的构件可替换性分析与验证
%A ZHANG Jing-Zhou
%A REN Hong-Min
%A ZONG Yu-Wei
%A QIAN Le-Qiu
%A ZHU San-Yuan
%A
张敬周
%A 任洪敏
%A 宗宇伟
%A 钱乐秋
%A 朱三元
%J 软件学报
%D 2010
%I
%X 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.
%K component-based software engineering
%K component substitutability
%K interaction ompatibility
%K component behavior automata
%K software evolving
基于构件的软件工程
%K 构件可替换性
%K 交互兼容性
%K 构件行为自动机
%K 软件演化
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=7DB4CDC226CD2B9345F8381319701A1D&yid=140ECF96957D60B2&vid=659D3B06EBF534A7&iid=708DD6B15D2464E8&sid=2855A37868816BE0&eid=406243A5B7DF1DE5&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=30