| 基于行为协议的构件替换性分析 |
| |
| 引用本文： | 任洪敏,刘晋.基于行为协议的构件替换性分析[J].计算机工程与科学,2012,34(12):74-80. |
| |
| 作者姓名： | 任洪敏 刘晋 |
| |
| 作者单位： | 上海海事大学信息工程学院计算机科学与技术系,上海,200433 |
| |
| 基金项目： | 上海市自然科学基金资助项目，上海市教委科研创新项目，上海海事大学科技基金资助项目 |
| |
| 摘 要： | 构件的插拔与替换是CBSD实现组装开发、支持定制和演化的基本机制,基于行为协议的构件替换性分析与验证是CBSD的核心研究课题。基于有穷自动机理论和面向服务软件构件的特点,提出了构件行为自动机模型以描述构件的行为协议,定义了构件行为替换性的概念体系,以增进软件构件的复用,开发了构件行为替换性的验证方法,以支持构件行为替换性验证的自动执行。
|
| 关 键 词： | 基于构件的软件工程 构件替换性 构件自动机 形式化分析 形式化验证 |
Component Substitutability Analysis Based on Behavior Protocols |
| |
| REN Hong-min
,
LIU Jin.Component Substitutability Analysis Based on Behavior Protocols[J].Computer Engineering & Science,2012,34(12):74-80. |
| |
| Authors: | REN Hong-min LIU Jin |
| |
| Affiliation: | (Department of Computer Science and Technology,College of Information Engineering, Shanghai Maritime University,Shanghai 200433,China) |
| |
| Abstract: | Component’s plug-and-play and substitution is the primary means to implement assembly development and support customization and evolution in CBSD. Component behavioral substitutability analysis and verification is the core research subject of CBSD. Based on Finite Automata and characteristics of service-oriented software components, the component behavior automata is proposed to describe component behavior protocols formally, a conceptual hierarchy of component behavioral substitutability is defined formally to increase component reuse, and related verification algorithms are developed to analyze component behavioral substitutability automatically. |
| |
| Keywords: | component based software engineering component substitutability component automata formal analysis formal verification |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
|
