基于LTS图的构件规约匹配

LTS graph-based component specification matching

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

Component reuse is an effective way to reduce software design cycle and to improve software reliability. Component based software development（ CSBD）＇s major task is the retrival and iraprovement of components, the key to which is matching. A formal method of component matching based on LTS graph model was developed, in structure matching and functionality matching. which the component matching was divided into tree The tree structure matching was implemented by tree isomorphic matching, whereas functionality matching was realized by S-forced simulation. The structural matching was used to check the adaptability of components while the functional matching was to ensure functionality.