面向服务的业务流程建模与验证研究-计算机应用技术专业毕业论文.docx

作者简介 张曼，陕西西安人，1984 年生。2006 年毕业于西安电子 科技大学，获学士学位。同年于西安电子科技大学开始硕博 连读学习。2012 年获得工学博士学位。导师：段振华教授 主要研究方向：Web 服务，业务流程建模，工作流网 代表性成果：在《软件学报》、《西安电子科技大学学报》、 《西安交通大学学报》等权威核心刊物和 CSCWD08 、 ICSOC08 等国际学术会议发表学术论文多篇。 Man Zhang, was born in Xi’an, Shaan’xi Province, in 1984. She received her B.A. in Computer Science and Technology from Xidian University, Xi’an, in 2006, and took a successive postgraduate and doctoral program of study at the same year in Xidian University. She received the Ph.D. degree in Computer Appliation Technology in 2012. Her doctoral supervisor is Prof. Zhenhua Duan. Her research interests include Web service, business process modeling and workflow net. She has published several papers in the authoritative core periodical, including “Journal of Software”, “Journal of Xidian University” and “Journal of Xi’an Jiaotong University”, and on the international academic conferences composed of CSCWD08, ICSOC08, and so on. 西安电子科技大学 学位论文独创性（或创新性）声明 秉承学校严谨的学风和优良的科学道德，本人声明所呈交的论文是我个人在 导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标 注和致谢中所罗列的内容以外，论文中不包含其他人已经发表或撰写过的研究成 果；也不包含为获得西安电子科技大学或其它教育机构的学位或证书而使用过的 材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中做了明确的说 明并表示了谢意。 申请学位论文与资料若有不实之处，本人承担一切的法律责任。 本人签名： 日 期： 西安电子科技大学 关于论文使用授权的说明 本人完全了解西安电子科技大学有关保留和使用学位论文的规定，即：研究 生在校攻读学位期间论文工作的知识产权单位属西安电子科技大学。学校有权保 留送交论文的复印件，允许查阅和借阅论文；学校可以公布论文的全部或部分内 容，可以允许采用影印、缩印或其它复制手段保存论文。同时本人保证，毕业后 结合学位论文研究课题再撰写的文章一律署名单位为西安电子科技大学。 （保密的论文在解密后遵守此规定） 本人签名： 导师签名： 日 期： 日 期： 摘 要 摘 要 I 面向服务的业务流程建模与验证研究 面向服务的业务流程建模与验证研究 PAGE IV 摘 要 业务流程是对组织内外各种管理逻辑的抽象和视图的描述。在业务流程管理 (Business Process Management, BPM)领域，面向服务的架构 (Service Oriented Architecture, SOA)为跨组织建立业务流程提供了一整套的技术规范。业务流程建模 作为 BPM 的重要组成部分，是业务流程整个生命周期的起点。业务流程模型的验 证是检验流程模型正确性的技术，在流程投入运行前对流程模型进行验证有重要 意义。 业务流程的设计模型通常采用图形化的语言建模，而业务流程执行语言 (Business Process Executable Language, BPEL)是 BPM 与 SOA 领域事实上的流程定 义与执行语言标准。由于 BPEL 的控制流结构主要面向块状，使得图形化流程模 型向 BPEL 的转换不易处理。工作流网是一种基于形式化理论的流程模型，已得 到学术界的广泛接受。化简技术作为流程模型验证的重要方法，能够缓解状态空 间爆炸问题，且易于实现自动化。然而针对自由选择工作流网这种重要的形式化 流程模型，缺乏为其定制的化简方法。 本文的研究内容分为两个部分：首先，采用图形化的统