[发明专利]针对过程模型的切片分析方法

摘要

本发明提供了一种将程序切片技术引入到过程模型分析中，针对过程模型中的产品进行切片分析的方法。通过该过程模型切片分析方法我们可以针对过程模型中任意产品进行前向、后向或是双向的切片模型分析。由于该切片模型的生成过程中始终依赖于各个元素之间的逻辑关系，因此依据该方法生成的切片模型可以完整的体现各个元素之间的相互关系，有效的捕获与过程模型中某个元素的产生和适用生命周期中的相关信息，将对过程模型修改所引起的影响控制在一定的范围内，而不会带来无法预料的副作用，对现有模型的理解和确保修改模型后不会引发新的错误。

主权项

针对过程模型的切片分析方法，其特征在于：包括如下步骤：(1)对过程模型的正确性和完备性进行检查；(2)提取出该过程模型中所包含的所有产品；(3)由操作人员指定进行切片分析的产品，并选择对该指定产品的切片分析方向；如果切片方向选择为前向切片，则执行步骤(4)，如果切片方向选择为后向切片，则执行步骤(5)，如果切片方向选择为双向切片，则执行步骤(6)；(4)通过前向切片算法对该指定产品进行切片分析，待获得该指定产品的前向切片模型后结束分析过程；(5)通过后向切片算法对该指定产品进行切片分析，待获得该指定产品的后向切片模型后结束分析过程；(6)通过双向切片算法对该指定产品进行切片分析，待获得该指定产品的双向切片模型后结束分析过程。