1.带里程碑活动的业务过程对齐方法，其特征在于，通过分析迹与过程模型中的活动属性并进行不同的操作，包括以下步骤：步骤1，将给定迹中活动映射到Petri网的变迁，构建日志模型；

步骤2，考察日志模型与过程模型中标记为里程碑活动的变迁，进行同步合成运算；

步骤3，找出日志模型与过程模型中其他具有相同活动的变迁，进行乘积运算；

步骤4，给出算法在新生成的模型中查找迹与过程模型之间基于给定代价函数的最优对齐。

2.如权利要求1所述的带里程碑活动的业务过程对齐方法，其特征在于，步骤1中：根据对计算机系统中文件的操作情况构建过程模型N1，其中，活动a表示打开文件，活动b表示解析文件，活动c表示文件计数器的增1操作，活动d表示关闭文件，活动e表示未找到文件；

在给定过程模型的基础上，指定过程模型中一些特定的活动为里程碑活动，在表示里程碑活动时采用序列的形式，既记录了所有的里程碑活动，也说明了活动之间的顺序关系；

定义里程碑活动序列，合理的里程碑活动序列是过程模型的一个完整变迁引发序列映射的活动序列的子序列；

给定迹σ1＝，迹中包含活动a和b，且二者虽不邻接，但活动a在b之前、活动b在a之后，符合模型Np中，里程碑活动序列的约束，该迹符合带里程碑活动的业务过程的对齐条件，该对齐条件称作AwMA标准，定义AwMA标准，将迹σ1中所有的活动一一对应地映射到变迁，得到迹σ1对应的日志模型N2。

3.如权利要求1所述的带里程碑活动的业务过程对齐方法，其特征在于，步骤2中：对于任意里程碑活动，在生成AwMA模型时，首先确定其在迹和过程模型中对应的变迁，将两个变迁视作相同变迁，进行同步合成运算，同步合成运算即将两个变迁合成为一个变迁，新生成变迁的前集为原变迁前集的并集，后集为原变迁后集的并集。

4.如权利要求1所述的带里程碑活动的业务过程对齐方法，其特征在于，步骤3中，比对迹和过程模型中的非里程碑活动，若某活动只能在迹中被观察到，而不能在过程模型中被模拟，则该类活动为日志活动，日志活动在对齐结果中只能对应着日志移动，在生成AwMA模型时，该类活动对应的变迁也就直接转化为日志变迁；

比对迹和过程模型中的非里程碑活动，若某活动不能在迹中被观察到，但能在过程模型中被模拟，则该类活动为模型活动，模型活动在对齐结果中只能对应着模型移动；过程模型中的不可见变迁无法模拟实际活动，此类特殊情况称之为不可见活动，不可见活动在对齐结果中只能对应着不可见移动；

在生成AwMA模型时，模型活动对应的变迁转化为模型变迁；不可见活动对应的变迁就转化为不可见变迁；

比对迹和过程模型中的非里程碑活动，若某活动既能在迹中被观察到，又能在过程模型中被模拟，则该类活动为同名活动，在生成AwMA模型时，迹中活动需与模型中活动进行乘积运算，以保证所有可能对齐结果都考虑到；

根据日志模型、过程模型和里程碑活动序列生成AwMA模型。

5.如权利要求1所述的带里程碑活动的业务过程对齐方法，其特征在于，步骤4中，加权Petri网中查找代价值最小的变迁引发序列，采用了最直观的查找方式，在查找过程中采用了宽度优先的搜索算法，本算法是NP-hard问题，其时间复杂度与Petri网的复杂情况及其可达状态数有关。