摘要
构件的插拔与替换是CBSD实现组装开发、支持定制和演化的基本机制,基于行为协议的构件替换性分析与验证是CBSD的核心研究课题。基于有穷自动机理论和面向服务软件构件的特点,提出了构件行为自动机模型以描述构件的行为协议,定义了构件行为替换性的概念体系,以增进软件构件的复用,开发了构件行为替换性的验证方法,以支持构件行为替换性验证的自动执行。
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.
出处
《计算机工程与科学》
CSCD
北大核心
2012年第12期74-80,共7页
Computer Engineering & Science
基金
上海市自然科学基金资助项目(10ZR141370)
上海市教委科研创新项目(12ZZ157)
上海海事大学科技基金资助项目(20110018)
关键词
基于构件的软件工程
构件替换性
构件自动机
形式化分析
形式化验证
component based software engineering
component substitutability
component automata
formal analysis
formal verification
