基于LTS图的构件规约匹配

构件重用是缩减软件设计周期和提高软件可靠性的有效方法。基于构件的软件开发(CBSD)主要花费在于构件的检索和修改,而匹配过程则是关键。文章提出一个基于LTS图模型(Labeled Transition System)的形式化构件匹配方法,此方法将构件匹配分为结构匹配和功能匹配两部份。结构匹配过程通过树的同构匹配完成,用于检查构件的可调整性;功能匹配则通过S-Forced模拟完成,用于确保得到适当的功能。