10.3321/j.issn:1001-506X.2004.09.041
消息序列图模式抽取与组合
在抽象原子模式的基础上,提出了一种基于图连通性判定的模式抽取方法,并给出了其正确性证明.接着,详尽分析和给出了模式组合定理的一个构造性证明以及模式组合前后的消息序列图的行为等价性证明.基于该模式抽取与组合方法,可以在更高层面重新组合模式.通过实验验证了该方法的有效性.
程序理解、模式抽取、模式组合、消息序列图、行为分析
26
TP3111(计算技术、计算机技术)
信息产业部电子科学院军事电子预研项目413060601
2004-12-09(万方平台首次上网日期,不代表论文的发表时间)
共4页
1302-1304,1311