高 涛，周 彪，孔 会，艾合买提尼牙孜，郁 湧,3

(1.云南经济管理学院 教育学院，云南 昆明 650033；2.云南大学 软件学院，云南 昆明 650504；3.云南省软件工程重点实验室，云南 昆明 650504)

0 引 言

在当今激烈竞争的环境下，企业要想能够很好地生存、发展并扩大其竞争优势，就迫切需要用系统的方法和工具对其业务过程进行分析、优化和管理，因而业务过程管理得到了学术界和工业界的普遍重视。业务过程管理是致力创新企业业务过程管理、分析、控制与改进的系统化和理论化方法，目的是为了使企业能够不断改进产品质量和提升其服务水平[1]。

业务过程管理就是从企业的业务过程出发来对其业务过程进行全方位的管理和分析，并能够支持企业对业务过程的不断持续改进，从而在理论上和实践上都具有广阔的研究空间和应用范围[2]。业务过程管理自从开始受到国内学者和相关研究人员的关注[3-4]以来，已在多方面、多角度取得了一系列的研究成果：

在协同业务过程的建模方法和正确性分析方面，文献[5-6]提出自顶向下建模方法，并在此基础上从契约中生成对应组织的相关业务过程；文献[7]采用自底向上建模方法来定义企业自身的业务过程，并用它来构建具有协同功效的协同业务过程；文献[8-9]根据正确性约束对业务过程内部结构进行修改以自动构建满足正确性约束的业务过程；文献[10]结合Petri网和过程挖掘来提出一种针对协同业务过程的修正方法；文献[11]基于模型检测技术提出一种需求一致性检测方法，实现需求一致性自动验证；……