消息序列图模式抽取与组合

摘要：

在抽象原子模式的基础上,提出了一种基于图连通性判定的模式抽取方法,并给出了其正确性证明.接着,详尽分析和给出了模式组合定理的一个构造性证明以及模式组合前后的消息序列图的行为等价性证明.基于该模式抽取与组合方法,可以在更高层面重新组合模式.通过实验验证了该方法的有效性.

关键词：程序理解、模式抽取、模式组合、消息序列图、行为分析

所属期刊栏目：26

分类号：TP3111(计算技术、计算机技术)

资助基金：信息产业部电子科学院军事电子预研项目413060601

在线出版日期：2004-12-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1302-1304,1311