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

Pattern extraction and composition of message sequence chart

作　　者：李青山[1] 

机构地区：[1]西安电子科技大学软件工程研究所,陕西西安710071

出　　处：《系统工程与电子技术》2004年第9期1302-1304,1311,共4页Systems Engineering and Electronics

基　　金："十五"军事电子预研重点课题项目(413060601)

摘　　要：在抽象原子模式的基础上,提出了一种基于图连通性判定的模式抽取方法,并给出了其正确性证明。接着,详尽分析和给出了模式组合定理的一个构造性证明以及模式组合前后的消息序列图的行为等价性证明。基于该模式抽取与组合方法,可以在更高层面重新组合模式。通过实验验证了该方法的有效性。Based on the abstraction of atomic patterns, a method for pattern extraction of MSC is provided and its correctness is proven. Next, a construction process is given for proving the pattern composition theorem and the behavior equivalence is also proven for MSC. Based on the approach of pattern extraction and composition, the MSC can stand on higher levels. Finally, the effectiveness of the approach is verified by the experiments.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]