摘要
针对目前基于行为规约匹配的构件获取方面的不足,提出了一种基于有限自动机的多层次的构件行为匹配模型.该模型采用有限自动机对构件的行为进行建模,借鉴图论中图匹配的思想,提出了6种行为匹配关系:等价行为匹配、扩展行为匹配、相容行为匹配、包含行为匹配、弱包含行为匹配和弱相容行为匹配.分析了这些行为匹配关系之间的蕴涵关系,并给出各种行为匹配关系的判定算法和相应的适配方法.基于这些算法,提出了一种通用的行为匹配判定方法,以此来减少后继构件适配和组装的复杂性.所提出的匹配模型为基于行为的构件获取提供了有利的技术支持.
The aim to improve deficiency of current research on components retrieval is based on behavior specification matching,a multi-level component behavior matching model based on finite automata,which is presented in this paper.The study uses finite automata to model the behavior of components,refers to the idea of graph matching in graph theory,proposes six kinds of behavior matching relationships： equivalence behavior matching,extended behavior matching,compatible behavior matching,contain behavior matching,weak contain behavior matching and weak compatible behavior matching,analysis the implication relationships among these behavior matching relationships,and gives corresponding decision algorithms and adaptation methods of each behavior matching relationship.Based on these algorithms,a universal decision algorithm is proposed to reduce the complexity of subsequent component adapter and assembly.The matching model proposed in this paper provides a favorable technical support for components retrieval,based on behavior specification matching
出处
《软件学报》
EI
CSCD
北大核心
2011年第11期2668-2683,共16页
Journal of Software
基金
国家自然科学基金(61033005)
国家高技术研究发展计划(863)(2008AA404Z101)
山东省科技攻关项目(2011GGX10108
2010GGX10104
2010GGX10116
2010GZX20126)
关键词
有限自动机
构件
行为匹配
行为映射图
finite state automata
component
behavior matching
behavior mapping graph
