计算机工程与应用2016，Vol.52Issue(11)：30-33,4.DOI:10.3778/j.issn.1002-8331.1407-0079
软件组件组装行为兼容性检查研究
Research on verifying of behavioral compatibility for software component composition
摘要
Abstract
In open environment component interfaces that only express syntactic are insufficient to describe behavior infor-mation of component interaction, thus can't verify the compatibility of composited system. This paper presents compo-nent view including not only external interface operation call information but also internal logic behavior, uses LTS to express behavior protocol and expresses interaction process as synchronous transition of multi-LTSs. It simulates dynamic interaction behavior by LTS synchronous product and checks whether there are deadlock states in synchronous product of LTSs to judge compatibility of composited system with the help of LTS operation semantics, designs an algorithm to verify behavioral compatibility automatically. It inspects this method is effectual by a typical e-business application.关键词
接口/组件视图/行为兼容性/标签转换系统(LTS)Key words
interface/component view/behavioral compatibility/Labeled Transition System(LTS)分类
信息技术与安全科学引用本文复制引用
张驰,褚楚..软件组件组装行为兼容性检查研究[J].计算机工程与应用,2016,52(11):30-33,4.基金项目
国家自然科学基金(No.61262012) （No.61262012）
江西省自然科学基金(No.2008GZS0017). （No.2008GZS0017）
