基于工作流模式的BPMN过程模型验证方法
bpmn流程 算法
bpmn流程算法英文回答：BPMN Process Algorithm.Introduction.Business Process Model and Notation (BPMN) is a graphical representation for specifying business processes in a business process diagram (BPD). It provides a standardized way to represent the flow of activities, decisions, and information in a business process.BPMN Elements.BPMN uses a set of graphical elements to represent different aspects of a business process. These elements include:Activities: Steps or tasks that are performed in theprocess.Gateways: Decision points where the process can branch into multiple paths.Events: Occurrences that start, end, or interrupt the process.Pools: Containers that represent participants in the process.Flows: Lines that connect elements and define the flow of the process.BPMN Process Algorithm.The BPMN process algorithm defines the steps involvedin modeling a business process using BPMN. The algorithm is as follows:1. Define the scope of the process. Determine the boundaries of the process and identify the key stakeholders.2. Create a BPMN diagram. Use the BPMN graphical elements to represent the flow of activities, decisions, and information in the process.3. Validate the diagram. Check the diagram for errors and ensure that it accurately represents the business process.4. Implement the process. Use the BPMN diagram as a blueprint for implementing the business process in a software application or other system.5. Monitor and evaluate the process. Track the performance of the process and identify areas for improvement.Advantages of BPMN.BPMN provides several advantages for modeling business processes, including:Standardization: BPMN is a widely accepted standardfor business process modeling.Clarity: BPMN diagrams are easy to understand and can be used to communicate business processes to stakeholders.Automation: BPMN diagrams can be used to automate business processes using workflow management systems.Improvement: BPMN can be used to identify and improve inefficiencies in business processes.Conclusion.The BPMN process algorithm provides a step-by-step approach for modeling business processes using BPMN. The algorithm ensures that business processes are accurately represented and can be implemented and improved effectively.中文回答：BPMN 流程算法。
bpmnjs 模拟验证流程
bpmnjs 模拟验证流程下载温馨提示:该文档是我店铺精心编制而成，希望大家下载以后，能够帮助大家解决实际的问题。
文档下载后可定制随意修改，请根据实际需要进行相应的调整和使用，谢谢!并且，本店铺为大家提供各种各样类型的实用资料，如教育随笔、日记赏析、句子摘抄、古诗大全、经典美文、话题作文、工作总结、词语解析、文案摘录、其他资料等等，如想了解不同资料格式和写法，敬请关注!Download tips: This document is carefully compiled by theeditor. I hope that after you download them,they can help yousolve practical problems. The document can be customized andmodified after downloading,please adjust and use it according toactual needs, thank you!In addition, our shop provides you with various types ofpractical materials,such as educational essays, diaryappreciation,sentence excerpts,ancient poems,classic articles,topic composition,work summary,word parsing,copy excerpts,other materials and so on,want to know different data formats andwriting methods,please pay attention!1. 打开 bpmnjs 编辑器：在浏览器中打开 bpmnjs 编辑器的网页。
bpmn2.0的验证规则
bpmn2.0的验证规则BPMN 2.0是一种流程建模标准，用于描述和执行业务流程。
在BPMN 2.0中，有一套验证规则，用于确保模型的正确性和合规性。
本文将一步一步解释BPMN 2.0的验证规则，并讨论每个规则的目的和影响。
第一步：验证流程图的结构在BPMN 2.0中，流程图由一系列活动、网关、事件和连接线组成。
验证规则的第一步是确保流程图的结构正确。
这包括检查流程是否有开始事件和结束事件，以及连接线是否正确连接活动和网关。
这个规则的目的是确保流程的完整性和可执行性。
第二步：验证控制流规则控制流表示流程中活动和网关之间的顺序关系。
验证规则的第二步是验证控制流规则，包括检查每个活动是否有正确的进入和离开连接线、每个网关是否有正确的进入和离开连接线，以及是否有循环路径或死锁。
这个规则的目的是确保流程的正确执行顺序和无循环路径。
第三步：验证数据流规则在BPMN 2.0中，数据流是指流程中各个活动之间传递的数据。
验证规则的第三步是验证数据流规则，包括检查每个活动是否有正确的输入和输出数据对象，以及数据对象是否正确连接活动和网关。
这个规则的目的是确保数据在流程中正确传递和处理。
第四步：验证事件规则事件是流程中的重要触发器，可以引发活动的开始或终止。
验证规则的第四步是验证事件规则，包括检查每个事件是否有正确的触发条件，以及事件的类型和规则是否与业务需求匹配。
这个规则的目的是确保事件的正确触发和响应。
第五步：验证角色和权限规则BPMN 2.0中的角色和权限用于定义参与者和他们可以执行的活动。
验证规则的第五步是验证角色和权限规则，包括检查每个活动是否分配了正确的参与者和权限，以及参与者是否有能力执行相关的活动。
这个规则的目的是确保角色和权限与组织的需求和限制相匹配。
第六步：验证任务规则任务是流程中需要执行的工作单元。
验证规则的第六步是验证任务规则，包括检查每个任务是否有正确的执行者、执行过程和持续时间等属性。
工作流引擎技术介绍-BPMN2.0
工作流引擎技术介绍-BPMN2.0将BPMN2.0放一章单独讲，是因为不管是个人接触到的流程开发人员或者技术交流群里讨论交流，大部分人都没了解BPMN2.0标准，学习过程仅仅是通过百度，了解到几个基础元素作用，文档也不会看。
不了解，自然遇到新问题，也不会有新的思路，自然想不到好的解决方案，甚至连基础的流程图都不一定能画好，画出来的流程图也会奇奇怪怪，会走很多弯路。
所谓标准，正如千年前始皇帝的车同文，车同轨，达成了统一的共识，这样，只要你用符合标准的做法作出流程图，任何一个熟悉标准的人都能立马读懂。
当然，很可惜，这些标准大都是国外技术人员组织的。
其中制定了BPMN标准的组织叫对象管理组织。
（开发人员至少熟悉UML图，标准也是这个组织）英文Object Management Group,缩写为OMG）是一个国际协会，开始的目的是为分布式面向对象系统建立标准，现在致力于建立对程序、系统和业务流程建模的标准，以及基于模型的标准。
•OMG是一个国际性的非盈利协会。
任何组织都可以加入，在缴纳会费后可以参与OMG标准的制定和投票讨论。
•OMG只提供标准的详细说明书，并不提供对于标准的实现软件。
但是在一个标准的草案被接纳成为正式标准之前，提交这个草案并被接受的成员必须保证，他们在一年之内将会开发一个服从这个标准的产品。
这样就阻止了没有参照实现的标准。
•OMG鼓励其他的企业或开源组织开发服从OMG标准的产品，并且设法开发强制机制，让不同的软件具有通用性。
•OMG的广泛使用的标准包括UML,MOF，XMI 业务流程建模标记法(BPMN)等。
标准类型：•商业动机元模型™（BMM™）-专为实施EA而设计，其中记录了目标、战略和业务计划，并将这些目标和计划与相关的规则和流程相关联。
•业务流程建模表示法（BPMN™）-通过标准的图形表示法来捕获端到端业务流程，从业务分析人员到系统开发人员，所有业务涉众都可以轻松理解该图形表示法。
基于工作流模式的BPMN过程模型验证方法
； 。Ｒ 收稿日期 ： 修订日期 ： ２ ０ １ ０ ０ １ ０ ８ ２ ０ １ ０ ０ ３ ０ ８ ｅ ｃ ｅ ｉ ｖ ｅ ｄ ０ ８Ｊ ａ ｎ． ２ ０ １ ０； ａ ｃ ｃ ｅ ｔ ｅ ｄ ０ ８Ｍ ａ ｒ ． ２ ０ １ ０． － － － － ｐ ） ； ； 基金项目 ： 国家自然科学基金资助项目 （ 高等学校博士学科点专项 科 研 基 金 资 助 项 目 （ 重庆市教育委员会科学技术 ７ ０ ８ ７ １ １ ２ ７ ２ ０ ０ ７ ０ ６ １ １ ０ ２ ７） ） 。Ｆ ： ， （ ） ， 研究资助项目 （ Ｋ Ｊ ０ ８ Ａ ０ ３ ｏ ｕ ｎ ｄ ａ ｔ ｉ ｏ ｎ ｉ ｔ ｅ ｍ ｓ Ｐ ｒ ｏ ｅ ｃ ｔ ｓ ｕ ｏ ｒ ｔ ｅ ｄ ｂ ｔ ｈ ｅ Ｎ ａ ｔ ｉ ｏ ｎ ａ ｌ Ｎ ａ ｔ ｕ ｒ ａ ｌ Ｓ ｃ ｉ ｅ ｎ ｃ ｅ Ｆ ｏ ｕ ｎ ｄ ａ ｔ ｉ ｏ ｎ Ｃ ｈ ｉ ｎ ａ Ｎ ｏ ． ７ ０ ８ ７ １ １ ２ ７ ｊ ｐ ｐ ｙ ，Ｃ ，ａ ｔ ｈ ｅ Ｓ ｅ ｃ ｉ ａ ｌ ｉ ｚ ｅ ｄ Ｒ ｅ ｓ ｅ ａ ｒ ｃ ｈ Ｆ ｕ ｎ ｄ ｆ ｏ ｒ Ｄ ｏ ｃ ｔ ｏ ｒ ａ ｌ Ｐ ｒ ｏ ｒ ａ ｍ ｏ ｆ Ｈ ｉ ｈ ｅ ｒ Ｅ ｄ ｕ ｃ ａ ｔ ｉ ｏ ｎ ｈ ｉ ｎ ａ（ Ｎ ｏ ． ２ ０ ０ ７ ０ ６ １ １ ０ ２ ７） ｎ ｄ ｔ ｈ ｅ Ｆ ｏ ｕ ｎ ｄ ａ ｔ ｉ ｏ ｎ ｏ ｆ ｐ ｇ ｇ ， （ ） Ｃ ｈ ｏ ｎ ｉ ｎ Ｍ ｕ ｎ ｉ ｃ ｉ ａ ｌ Ｅ ｄ ｕ ｃ ａ ｔ ｉ ｏ ｎ Ｃ ｏ ｍｍ ｉ ｔ ｔ ｅ ｅ Ｃ ｈ ｉ ｎ ａ Ｎ ｏ ． Ｋ Ｊ ０ ８ Ａ ０ ３ ． ｇ ｑ ｇ ｐ
（ ） 文章编号 ： １ ０ ０ ６－５ ９ １ １ ２ ０ １ ０ ０ ８－１ ５ ７ ８－０ ９
camunda表结构说明
camunda表结构说明Camunda是一个开源的工作流和决策自动化平台，它提供了一整套工作流引擎和决策引擎，用于管理和执行流程和决策。
Camunda提供了一种基于BPMN（Business Process Model and Notation）的建模方法，通过这种方法可以轻松地建模、部署和执行各种类型的流程和决策。
Camunda的表结构是指在Camunda平台中用于存储流程和决策相关信息的数据库表的结构。
这些表包括了流程实例、任务、执行流、决策表等相关信息，这些信息对于执行和跟踪流程和决策非常重要。
了解Camunda的表结构可以帮助用户更好地理解和利用Camunda平台，以及进行定制化开发和集成。
一、Camunda表结构概述在Camunda平台中，所有相关的流程和决策信息都被存储在数据库中。
Camunda使用了关系型数据库来存储这些信息，例如MySQL、PostgreSQL、Oracle、Microsoft SQL Server等。
在数据库中，Camunda定义了一系列的表来存储不同类型的信息，这些表包括了流程实例表、任务表、执行流表、决策表等。
在Camunda的表结构中，有一些核心的表是非常重要的，这些表包括了ACT_RU_*、ACT_HI_*、ACT_GE_、ACT_ID_*等。
这些表存储了流程和决策引擎执行时所需的各种信息，包括了运行时的信息、历史信息、全局配置信息、身份信息等。
在Camunda的表结构中，表与表之间存在着复杂的关联关系。
这些关联关系反映了流程和决策引擎的执行过程和相关信息之间的联系。
了解这些关联关系可以帮助用户更好地理解和利用Camunda平台。
二、Camunda表结构详解1. ACT_RU_*表在Camunda的表结构中，ACT_RU_*表是非常重要的一类表，这些表用于存储运行时的信息。
其中，ACT_RU_EXECUTION表存储了执行流的信息，包括了流程实例、执行流、活动实例等；ACT_RU_TASK表存储了任务的信息，包括了待办任务、已完成任务等；ACT_RU_JOB表存储了异步任务的信息，包括了定时任务、重试任务等。
工作流平台中过程模型验证的研究与实现的开题报告
工作流平台中过程模型验证的研究与实现的开题报告一、选题背景随着信息化和数字化的推进，企业内部的工作流程越来越复杂，为了提高任务完成的效率和质量，工作流平台应运而生。
工作流平台可以帮助企业将业务过程自动化，提高生产效率，减少人力资源的浪费和错误，从而提高企业的竞争力。
然而，由于工作流程千差万别、环节复杂、多变，企业在使用工作流平台时，需要考虑多种因素，比如事务性、时序性、责任性等等。
因此，工作流平台需确保工作流过程的正确性和完备性。
过程模型验证是工作流平台的保障，包括验证过程的正确性、引用关系的完整性、适应性、可扩展性等方面，对工作流平台的运行有着至关重要的作用。
二、研究目的本文旨在针对工作流平台的应用，探究由流程模型验证构成的工作流平台开发与应用中的验证过程与应用方法，并提出一套完整的流程模型验证方案，通过实际应用，来验证该方案的可行性和有效性。
三、研究内容1. 企业工作流平台的应用与实践；2. 工作流过程模型的验证原理与方法的分析与研究；3. 通过构建工作流平台的验证模型，在平台应用中进行测试评估；4. 开发一套流程模型验证的软件工具，为工作流平台的实际应用提供技术支持。
四、研究计划1. 2021年9月-2021年12月：研究工作流平台的应用与实践2. 2022年1月-2022年4月：研究工作流过程模型的验证原理与方法3. 2022年5月-2022年8月：研发流程模型验证的软件工具4. 2022年9月-2022年12月：进行验证方案的测试评估，进一步提升方案的可行性和有效性。
五、研究意义本文的研究成果将能够提高工作流平台应用的效率和质量，为企业提供更加高效、便捷、安全的服务，对企业的管理工作和生产效率都将有着重要的提升作用。
同时，本文的研究成果有助于在实践中逐步探索和总结工作流模型验证的实用方法，为该研究领域的进一步深入和推广打下基础。
基于工作流网化简和逻辑推导的工作流模型结构验证算法(1)
基于工作流网化简和逻辑推导的工作流模型结构验证算法●关联矩阵赋值规则●工作流网前驱矩阵和后继矩阵赋值规则●化简规则一：库所p1的前驱变迁数量a2等于库所p2的后继变迁数量b1，满足条件实现：顺序遍历其前驱矩阵和后继矩阵，找到相同的行向量Prei与Subj。
化简实现：首先找到前驱矩阵与后继矩阵中i与j行中值为1的列，删除原关联矩阵中这些列，然后将关联矩阵满足条件的i行和j行进行相加合并到i行。
●化简规则二：同步器是串行同步器，满足条件实现：遍历其前驱矩阵与后继矩阵，找到相同行数i，不用列m,n，并且Pre(i,m)=Sub(i,n)=1,其他列全为0。
化简实现：将关联矩阵列m,n进行相加并合并到m列，然后删除i行。
●化简规则三：库所pi的后继变迁与裤松pj的前驱变迁是相同的，满足条件实现：在矩阵中的实现就是遍历关联矩阵的列，找到某列k，不同行i与j，并且ri,k=1，rj,k=-1，行中其他值都为0。
化简实现：将关联矩阵列i，j进行相加并合并到i行，然后删除j行与k列。
●化简规则四：存在多个库所p，并且这些库所p的后继是相同的变迁t。
满足条件：在矩阵中的实现就是遍历其后继矩阵，找到矩阵中相同的行向量。
化简实现：在这些相同行向量，以其中某行i为基准，然后在关联矩阵中对所满足的行进行相加合并到i行，最后在删除除i行得到其他行。
●化简规则五：有多个同步器，并且都是用一类型的。
满足条件实现：遍历其关联矩阵，找到某些行并且行中的值只存在ｂ个－１（或ｂ个１），其他全为０，且ｂ≥２。
化简实现：以满足条件的m行，将其进行相加合并到其中i行，然后删除i行以外的k-1行。
●化简规则六：有多个同步器集，同步器中的库所pi的前驱变迁t是相同的，并且库所pi的后继变迁数量只有一个。
满足条件在矩阵中的实现就是遍历其前驱矩阵，找到相同的行向量，并且这些行向量所在行i对应的pi是串行同步器。
化简实现：以满足条件的行向量的其中一行i为基准，将所有满足得到行进行相加并合并到i行，然后再删除其他行。
基于BPMN扩展的安全约束工作流模型
收稿日期:2017-03-29 修回日期:2017-07-26 网络出版时间:2017-12-05基金项目:四川省教育自然科学重点课题(16ZA 0422)作者简介:严张凌(1980-),男,硕士,研究方向为软件工程㊁云计算与智能大数据等㊂网络出版地址:http :// /kcms /detail /61.1450.TP.20171205.0903.006.html基于BPMN 扩展的安全约束工作流模型严张凌1,代 茂2,彭 強1(1.四川大学锦城学院,四川成都611731;2.四川大学网络教育学院,四川成都610065)摘 要:基于角色的访问控制(role based access control,RBAC)是软件系统中常用的授权机制,而工作流引擎中的核心授权单位是任务,使得RBAC 难以应用在工作流系统中㊂文中在RBAC 思想的基础上,通过对工作流资源边界的确立,将角色与工作流中的任务相关联来进行资源的访问控制与授权,很好地将RBAC 融合进工作流,有效地避免了工作流建立自成体系的权限控制而增加系统复杂性,让同一目标对象的授权在工作流引擎内外得到统一㊂同时,对业务流程建模与标注(business process model and notation,BPMN)的元模型进行安全约束的扩展,以便于在流程图中准确地表达基于角色和任务的安全约束需求,为业务流程的表示与执行提供了良好的支持;最后,将这种扩展应用在了四川省某电力公司的合同与督查管理系统中,并对其具体业务流程的应用进行分析与验证㊂关键词:角色和任务;工作流访问控制;最小特权原则;业务流程建模与标注中图分类号:TP309 文献标识码:A 文章编号:1673-629X (2018)03-0146-04doi:10.3969/j.issn.1673-629X.2018.03.031A Business Processes Model of Security Constraint Based onBPMN ExtensionYAN Zhang -ling 1,DAI Mao 2,PENG Qiang 1(1.Jincheng College of Sichuan University ,Chengdu 611731,China ;2.Distance Education College of Sichuan University ,Chengdu 610065,China )Abstract :The role based access control (RBAC )is a common authorization mechanism in software system ,while task is the core author⁃ization unit in workflow engine ,which makes it hard to apply RBAC into workflow system.On the basis of RBAC ,we connect the roles and the tasks in the workflow for access control and authorization of resources by defining a resource boundary ,which prevents effectively workflow from building a separate authorization control with increase of system complexity ,and enables the authorization of the same ob⁃ject to be unified inside and outside the workflow.At the same time ,we also extend the meta -model of business process modeling nota⁃tion (BPMN )in secure constraint so as to accurately express the security constraint requirements based on roles and tasks in the flow⁃chart ,which provides a good support for the presentation and execution of business process.Finally ,we apply this approach into a typical business process in a power supply company ,which is analyzed and verified in specific business application.Key words :role and task ;workflow access control ;minimum permission principle ;BPMN1 概 述流程感知信息系统用于控制和监视业务活动,典型的系统包括工作流管理系统㊁企业战略资源调配系统和客户关系管理系统等[1]㊂在构建一个安全的流程信息系统时要考虑很多的安全问题,包括身份认证㊁授权㊁访问控制㊁数据完整性㊁审计㊁不可抵赖和可管理性等[2]㊂文中重点讨论访问控制问题㊂工作流扭转的一个经典模型是Petri 网,将权限与Petri 网结合是流程感知信息系统研究的一个方向[3-4]㊂在传统的信息系统的访问控制领域,RBAC 模型应用最为广泛,它是20世纪90年代迅速发展起来的用于大规模系统中管理和实施安全的一种技术㊂其中Ravi Sandhu 提出的RBAC 96模型[5]最为经典,后经美国国家标准与技术研究院(the national institute of standards and technology ,NIST )进行了标准化[6],分为4个部件模型:基本模型RBAC 0㊁角色分级模型第28卷 第3期2018年3月 计算机技术与发展COMPUTER TECHNOLOGY AND DEVELOPMENT Vol.28 No.3Mar. 2018RBAC1㊁角色限制模型RBAC2和组合模型RBAC3㊂RBAC的基本概念就是把权限与角色关联,通过为用户分配合适的角色而获得相应的权限,如图1所示㊂图1 RBAC模型结构RBAC模型的优点是通过角色能够表达企业内部组织和人员之间的复杂关系,用户能够灵活地在不同角色(职位)之间切换,从而便于授权管理[7]㊂但RBAC中的权限是资源和操作组合,它与工作流中以任务为中心的模型不太吻合,所以Thomas等提出了基于任务的访问控制(task-based access control, TBAC)模型[8],其主要思想是通过授权步机制解决工作流运行过程中活动实例与用户权限的同步问题,每个活动对应一个授权步㊂TBAC采用面向任务的观点,从任务的角度来建立安全模型和实现安全机制㊂在这个模型中,权限分配给任务,任务再分配给角色,在任务处理过程中提供动态的㊁实时的安全管理[9]㊂TBAC模型虽然较好地提供了工作流中的安全模型,却与企业信息系统中普遍采用的RBAC模型不兼容,造成取舍困难㊂对此,邢光林等提出了基于任务和角色工作流改进模型(task role-based controllability, TRBC)[10-11];孙军红等[12]也对该模型进行了扩展与研究,其主要组成部件如图2所示㊂图2 基于角色和任务的工作流访问控制模型其基本思想是:角色和权限不直接挂钩而是通过任务把角色和权限联系在一起,然后给用户指派合适的角色,用户通过所指派的角色获得可以执行的任务,然后在执行某个任务的某个具体实例时获得该任务所允许访问的客户的权限,这样更方便权限粒度的控制和管理[12]㊂TRBC模型结合了RBAC中的角色与TBAC中的任务两个核心概念,将RBAC中的权限与角色的绑定移到了与任务绑定,然后将任务分配给角色㊂对于任务成为了授权中必不可少的一环,这样虽然对于工作流是可行的方法,但却忽略了工作流之外的信息系统的权限控制需求,限制了该模型的使用范围㊂文中从信息系统中的资源分配入手,通过定义工作流与信息系统边界,保证信息系统的权限控制模型在工作流引擎中发挥相同的控制作用,而避免了TBAC那样在工作流引擎中单独定义权限控制模型,使得RBAC模型在工作流引擎内外达到统一㊂2 基于角色的安全约束工作流模型在企业组织机构中的角色概念特别适合于进行细粒度的授权控制,所以基于角色的访问控制受到了特别重视[13]㊂现在,一般普遍接受的安全工作流系统要满足如下策略[14]:访问控制:能够控制特定角色访问指定资源或对该资源进行特定操作㊂职责分离原则:遵循不相容职责相分离,实现合理的组织分工,工作流程必须由一个以上的角色完成㊂最小特权原则:工作流中用户在执行具体的任务实例时,只能访问该任务所允许操作的资源㊂下面将讨论这些策略是如何被建模以及如何在工作流驱动的信息系统中被遵循的㊂2.1 安全约束的形式化描述为了给出安全约束的形式化描述,首先定义用户角色关联和任务角色关联的形式化描述㊂任务角色关联需要解决的是对一个特定角色,如何选择特定的某一个或某些角色来执行,然后通过用户角色分配机制将该任务定位到某个特定的用户㊂将任务关联到一个角色集合是该安全约束工作流模型中最基础的一步,其形式化描述如下:T={ti|i=1,2, ,l}是一个任务实例集,一个任务实例是某个任务的动态表示㊂R={ri|i=1,2, ,m}是一个角色集㊂(R,<)表示对R中的元素进行比较,该比较实际上表示的是角色的分级层次㊂设r1,r2∈R,r1<r2表示r2对r1有支配权㊂就企业中的组织关系而言,r2即是r1的上级领导㊂U={ui|i=1,2, ,n}是一个用户集,表示系统中各个特定的用户集合㊂TR⊆(T×R)表示任务与角色之间多对多的关联关系㊂UR⊆(U×R)表示用户与角色之间多对多的关联关系㊂R(t)={rm∈R:∃(t l,r m)∈TR(t)}表示被授权能够执行任务t l的特定角色集㊂U(t)={un∈U:∃(u n,r m)∈UR,r m∈R(t)}表示被授权能够执行任务t l用户集㊂通过以上定义得出结论,通过任务㊁角色和用户之间的两个多对多关联,已可以将任务t l具体指定给一个潜在用户集U(t)㊂当该任务t l被实例化时,潜在用户集U(t)的所有用户均可见任务t l,直到某一个用户u n对t l声明已占有该任务(即准备执行该任务)㊂一旦用户声明后,任务实例t l与u n就表现为一对一的关系㊂OP={op i|i=1,2, ,o}表示操作集,表示对信㊃741㊃ 第3期 严张凌等:基于BPMN扩展的安全约束工作流模型息系统资源的动作㊂RES={res i|i=1,2, ,p}表示资源集,表示系统中的资源,也是安全约束模型中需要保护的目标对象㊂P={pi |i=1,2, ,q}表示权限集,其中pi=(op i,obj i)㊂RP={rp i|i=1,2, ,r}表示角色的权限集㊂UAP(n)={p n∈P:,∃(u n,r m)∈UR,(r m,p q)∈RP}表示用户u n的权限集,首先通过用户与角色的关联获取所有角色,再通过角色与权限的关联获取这些角色的所有权限,然后作并运算得到该用户的所有权限㊂需要注意的是,为了满足最小特权原则,UAP (n)不能直接作为工作流运转过程中的权限判断依据,因为它对于完成任务而言太大了,其中可能包含了完成该任务所不需要的权限㊂例如,某出版社的发文工作流,总经理在审稿人员缺席的情况下可以代为审稿,UAP(总经理)>UAP(审稿员甲),此时就破坏了最小特权原则㊂因此,还需要定义下面这个与任务关联的权限集:UTP(t)={p q∈P:,∃(r m,p q)∈RP,(t l,r m)∈TR(t)}表示用户u n在执行任务t l时的角色对应的权限集㊂由以上定义可以推出:UTP(t)⊆UAP(t)㊂2.2 安全约束的元模型工作流建模已被许多语言进行了定义,其中BPMN是被大家广为接受的一种容易理解且语言丰富的建模符号,由于易于扩展,许多学者从安全角度对其进行扩展,以便表达特定的安全需求㊂其中较为知名的有文献[14]中安全需求模型的BPMN扩展和文献[15]中的安全BPMN模型㊂根据前文的形式化定义,要想在工作流模型中对安全约束进行建模,就属于在展现人工任务的同时展现附于其上的角色集㊂另外,为了实际操作方便,在元模型中还对人工任务进行了分组,以便简易快速地表示一群拥有相同权限的任务㊂在BPMN元模型[16]的基础上,为其增加安全约束来表达前文的形式化描述㊂扩展的BPMN元模型如图3所示㊂图3 扩展的BPMN元模型一个活动从通常意义上来说就是一次特定的任务,只是在这些任务中有一个特殊的属于用于标识该任务是否为人工任务,通常人工任务都是阻塞型的,即流程一旦执行到该步骤将会被挂起直到明确地被推进㊂任务的分组在本质上并不影响流程的正常运行,组仅仅是用来简化为一系列任务定义和描述安全约束的目的㊂组可被用于部件㊁泳道和各种任务㊂把多个任务实例或循环的任务作为一个组后,即可把它当作一个任务来对待,以此来简化设计和展现形式㊂3 实例及安全性分析在企业信息系统中,合同的签订是一个重要且典型的工作流应用场景,该实例来自某电力企业内部信息系统中的合同签订流程(见图4),涉及3个角色:合同谈判人㊁项目管理办公室和分管领导㊂系统的安全策略为:(1)合同谈判人只能对合同进行拟稿和提交工作,且只能看到自己提交的合同;图4 合同签订流程㊃841㊃ 计算机技术与发展 第28卷核,主要是对单价㊁数量和总金额的审核; (3)分管领导只能看到自己分管的部门下属员工提交的合同,并且这些合同必须经过项目管理办公室的审核,分管领导可以进行审批以使合同生效㊂上述流程用文中的安全约束模型描述如下:R={合同谈判人,项目管理办公室,分管领导,出纳}RES={合同,合同附件,票据}OP={新增,读取,删除,修改,审核,签订}P={(新增,合同),(读取,合同),(删除,合同), (修改,合同),(审核,合同)(签订,合同),(新增,附件),(读取,附件),(修改,附件),(签订,附件),(新增,票据),(读取,票据),(删除,票据),(修改,票据),(审核,票据)}假设u1=张三,UR(u1)={项目管理办公室,出纳},则:UAP(审核)={(读取,合同),(审核,合同),(读取,票据),(删除,票据),(修改,票据),(审核,票据)}UTP(审核)={(读取,合同),(审核,合同)}通过UAP可以发现,RBAC模型能很好地为用户关联到具体权限,但由于RBAC模型未对用户同时扮演的角色数量作限制,所以若直接在工作流中使用RBAC则会造成权限超过流程所要求的权限,违反了最小特权原则㊂但是,通过前文所述的任务与角色的关联,并加上UTP限制,可以减小用户在流程运行中所需要的权限,从而有效地进行安全约束㊂4摇结束语工作流的安全约束模型是当前WFMS研究的一个重要课题,如何在安全性和可操作性间取得平衡是一个难点㊂在分析了面向信息系统的传统RBAC模型,面向工作流的TBAC模型和二者的改进TRAC模型的基础上,提出了一种更为简便的RBAC应用模型,使得信息系统中的RBAC与工作流的安全约束达到了统一㊂然而,在元模型的扩展上,目前使用的是注释的子类形式,缺乏有效的验证机制,期望在BPMN 2.0中加以改进㊂参考文献:[1] RUSSELL N,VAN DER AALST W M P,TER HOFSTEDEA H M,et al.Workflow resource patterns:identification,rep⁃resentation and tool support[C]//Proceedings of the17th in⁃ternational conference on advanced information systems engi⁃neering.Berlin:Springer-Verlag,2005:216-232. [2] LI S,KITTEL A,JIA D,et al.Security considerations forworkflow systems[C]//Network operations and manage⁃ment symposium.[s.l.]:IEEE,2000:655-668. [3] 张 亮,姚淑珍.一种新的基于Petri网的分层工作流过程模型[J].计算机集成制造系统,2006,12(9):1367-1373.[4] 沈 满,赵嵩正,刘 婧.依据角色权限的审批工作流模型构建[J].计算机工程与应用,2015,51(4):235-239. [5] SANDHU R S,COYNE E J,FEINSTEIN H L,et al.Role-based access control models[J].Computer,1998,29(2): 38-47.[6] FERRAIOLO D F,SANDHU R,GAVRILA S,et al.Pro⁃posed NIST standard for role-based access control[J].ACM Transactions on Information and System Security,2001,4(3):224-274.[7] 徐 宏,邰伟鹏.面向工作流的RBAC模型研究[J].计算机工程与设计,2012,33(4):1295-1299.[8] THOMAS R K,SANDHU R S.Proceedings of the IFIPTC11WG11.3[C]//Eleventh international conference on database security XI:status and prospects.[s.l.]:[s.n.], 1998:166-181.[9] 杨勇虎,刘振宇.工作流中TBAC权限控制模型的扩展与UML描述[J].计算机系统应用,2008,17(8):34-37. [10]邢光林,洪 帆.基于角色和任务的工作流访问控制模型[J].计算机工程与应用,2005,41(2):210-213. [11]周 炜.具有时空约束的TRBAC模型在OA中的应用[J].网络安全技术与应用,2014(8):116-117. [12]孙军红,李 娟.一种基于任务和角色的工作流访问控制模型[J].计算机工程与应用,2008,44(30):21-23. [13]AHN G,SANDHU R.Role-based authorization constraintsspecification[J].ACM Transactions on Information and Sys⁃tem Security,2000,3(4):207-226.[14]RODRÍGUEZ A,FERNÁNDEZ-MEDINA E,PIATTINI M.A BPMN extension for the modeling of security requirementsin business processes[J].IEICE Transactions on Information &System,2007,90-D(4):745-752.[15]ACHIM D B,GERO L,ISABELLE H,et al.SecureBPMN:modeling and enforcing access control requirements in busi⁃ness processes[C]//Proceedings of the17th ACM on access control models and technologies.New York,NY,USA: ACM,2012:123-126.[16]KALNINS A,VITOLINS e of UML and model trans⁃formations for workflow process definitions[C]//Baltic DB &IS.[s.l.]:[s.n.],2006:3-15.㊃941㊃ 第3期 严张凌等:基于BPMN扩展的安全约束工作流模型。
一种基于BPM对BPMN模型实现的方法[发明专利]
![一种基于BPM对BPMN模型实现的方法[发明专利]](https://img.taocdn.com/s3/m/fb5af71c0812a21614791711cc7931b765ce7b31.png)
专利名称：一种基于BPM对BPMN模型实现的方法专利类型：发明专利
发明人：刘璐豪,宋牮,万翔,李娉娉
申请号：CN202111602006.2
申请日：20211224
公开号：CN114489578A
公开日：
20220513
专利内容由知识产权出版社提供
摘要：本发明公开了一种基于BPM对BPMN模型实现的方法，包括以下步骤：步骤一：BPMN流程设计器的兼容适配；步骤二：流程模型的持久化；步骤三：流程模型的解析；步骤四：流程模型的实例化。
实例化需要建立在源引擎之上，实例化的流程模板即为流程实例，流程实例是运行在源引擎上的实例，以空流程的形式初始化。
这一步在业务上即为流程的发起；步骤五：流程实例的运行实现，本发明的基本方法是通过源引擎提供的动态流转的模式，在此基础上扩展，实现具有BPMN能力的API，最终能显著扩展业务实施人员的流程配置方式，增加流程的表现力，降低实施成本，也完全新增了循环流程的流转功能。
申请人：北京致远互联软件股份有限公司
地址：100089 北京市海淀区北坞村路甲25号静芯园N座
国籍：CN
更多信息请下载全文后查看。
一种基于BPMN的微服务工作流部署方法[发明专利]
![一种基于BPMN的微服务工作流部署方法[发明专利]](https://img.taocdn.com/s3/m/b49bee2faa00b52acec7ca38.png)
专利名称：一种基于BPMN的微服务工作流部署方法专利类型：发明专利
发明人：吴文峻,于笑明,王洋洲
申请号：CN202011338284.7
申请日：20201125
公开号：CN112463141A
公开日：
20210309
专利内容由知识产权出版社提供
摘要：本发明公开了一种基于BPMN的微服务工作流部署方法，涉及工作流引擎领域，具体为：用户通过流程编辑界面串接各图元，以bpmn格式进行存储，然后筛选各个图元的每个元素，将其分为节点类元素和关系类元素；对每个节点类中各元素，去除变量名id和值，将剩余的变量名和值写入YAML中的数组对象template中；同时，对每个关系类中各元素，根据变量名start和end中的变量值，得到工作流的执行顺序，并写入YAML中的数组对象dependencies中；将添加完声明信息的YAML文件提交给工作流部署引擎，针对当前微服务，引擎读取对象类DAG，获得元素的先后执行顺序；并查找对象类Templates中对应的元素，按顺序将所有元素执行完毕后，对节点类的微服务执行完毕；本发明大大降低了微服务部署的门槛。
申请人：北京航空航天大学
地址：100191 北京市海淀区学院路37号
国籍：CN
代理机构：北京永创新实专利事务所
代理人：易卜
更多信息请下载全文后查看。
基于BPMN(业务流程建模与标注)标准实现新型综合监控联动模型的探讨
基于BPMN(业务流程建模与标注)标准实现新型综合监控联动模型的探讨李冰;张赛桥【摘要】传统的综合监控系统联动方式已无法满足地铁运营的需求.提出了一种基于BPMN(业务流程建模与标注)2.0标准的联动设计方案,通过对业务活动、网关及事件等抽象组件的建模,运用状态机方式灵活组态执行流程来实现复杂的联动功能.该方案可实现联动建模的复用性,提高自动化建模的程度,并解决了传统联动方式无法描述及实现复杂逻辑的应用场景的问题,增加了地铁运营的可靠性及安全性.%The traditional ISCS linkage method can not satisfy the demands of rail transit operation.A new linkage design method based on BPMN (business process modeling & note) 2.0 standard is proposed,which could achieve complex functions of linkage through the modeling of abstract components,such as business activities,gateway and trigger events,and carry out flexible configuration process by using the state machine.The application of this program could realized the reusability linkage modeling,greatly improve the automatic modeling degree,and solve scenarios of complex logic problems that the traditional linkage can not describe and apply,thus increase the reliability and safety of metro operation.【期刊名称】《城市轨道交通研究》【年(卷),期】2016(019)012【总页数】4页(P32-35)【关键词】综合监控系统;联动功能;业务流程建模与标注;状态机;网关;触发事件【作者】李冰;张赛桥【作者单位】南瑞集团公司(国网电力科学研究院),210003,南京;国电南瑞科技股份有限公司,210061,南京;南瑞集团公司(国网电力科学研究院),210003,南京;国电南瑞科技股份有限公司,210061,南京【正文语种】中文【中图分类】U284.48First-author′s address NARI Group Corporation (State Grid Electic Power Research Institute),210003,Nanjing,China近年来,综合监控系统朝着越来越集约化及结构复杂化方向发展,组织各子系统协同操作的联动功能显得越来越突出,其应用也越来越广泛。
基于HCPN的复杂BPMN协作模型数据流建模与验证
基于HCPN的复杂BPMN协作模型数据流建模与验证
黄凤兰;倪枫;刘姜;陶蒙怡;周奕宁;李业勋
【期刊名称】《计算机集成制造系统》
【年(卷),期】2024(30)5
【摘要】为了保证复杂BPMN协作模型的正确性,不仅要涵盖多实例和子进程等复杂元素,还要在检测控制流错误的同时检测数据流错误。
但业务流程建模标注(BPMN 2.0)缺乏形式化语义的描述,这对模型正确性的验证造成了阻碍。
因此,给出了一种具有弧权重的层次化着色Petri网(HCPN)的定义,它既可以对数据流进行形式化表示,又可以对多实例和子进程结构进行建模。
进一步提出了从BPMN协作模型到HCPN模型的形式化映射方法。
然后基于HCPN模型的弧权重给出了缺失、丢失和冗余3种数据流错误的定义,并提出了对应的检测算法。
最后,设计了一个自动化建模与验证的框架,通过一个案例研究说明了该方法的有效性。
【总页数】16页(P1754-1769)
【作者】黄凤兰;倪枫;刘姜;陶蒙怡;周奕宁;李业勋
【作者单位】上海理工大学管理学院
【正文语种】中文
【中图分类】TP311.52
【相关文献】
1.基于BPMN(业务流程建模与标注)标准实现新型综合监控联动模型的探讨
2.基于统一建模平台的BPMN模型业务流程验证
3.基于工作流模式的BPMN过程模型
验证方法4.基于Uppaal的实时系统AADL数据流模型的转换与验证5.基于信息熵的复杂网络社团划分建模和验证
因版权原因，仅展示原文概要，查看原文内容请购买。
基于工作流模式的BPMN过程模型验证方法
基于工作流模式的BPMN过程模型验证方法
蔡章利;易树平;高庆萱
【期刊名称】《计算机集成制造系统》
【年(卷),期】2010(016)008
【摘要】针对业务流程建模符号过程模型语义验证问题,提出了一种新方法.该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组合的理念,通过扩展和改进业务流程建模符号及其执行语义,设计了工作流模式的形式化编码规则;借鉴Petri网化简方法,设计了工作流模式组合化简规则;基于工作流模式编码及组合化简规则,给出了业务流程建模符号过程模型验证方法.应用示例表明了该方法的有效性.【总页数】9页(P1578-1586)
【作者】蔡章利;易树平;高庆萱
【作者单位】重庆大学,机械工程学院,重庆400044;重庆大学,自动化学院,重庆400044;重庆大学,机械工程学院,重庆400044;重庆大学,机械工程学院,重庆400044
【正文语种】中文
【中图分类】TP391
【相关文献】
1.基于Petri网工作流过程模型合理性验证方法 [J], 王立君;郭晓冬
2.基于工作流模式的OWL-S过程模型分析及其应用 [J], 雷丽晖;段振华
3.一种基于Petri网的工作流过程模型正确性的有效验证方法(英文) [J], 姜浩;董逸
生;罗军舟
4.一种基于Petri网的工作流过程模型正确性的有效验证方法 [J], 姜浩; 董逸生; 罗军舟
5.基于Petri网分析技术的BPMN2.0过程模型的语义分析 [J], 王冶青
因版权原因，仅展示原文概要，查看原文内容请购买。
基于统一建模平台的BPMN模型业务流程验证
基于统一建模平台的BPMN模型业务流程验证
王克丽;武淑红;王耀力
【期刊名称】《电子技术应用》
【年(卷),期】2016(42)6
【摘要】为了解决业务流程设计、形式化分析、验证的平台不统一以及可移植性差等问题,提出了一种在统一建模平台上处理BPMN模型输出的业务流程形式化验证方案.首先构建基于Java语言的形式化建模平台,将BPMN模型输出作为该平台的输入.随后输出基于BPMN2.0业务流程形式化验证的Java程序代码,该代码可在构建的建模平台实现自动检验业务流程模型中可能存在的死锁、活锁.最后给出复杂信息系统相应实例验证了方案的有效性.
【总页数】4页(P117-120)
【作者】王克丽;武淑红;王耀力
【作者单位】太原理工大学计算机科学与技术学院,山西太原030024;太原理工大学计算机科学与技术学院,山西太原030024;太原理工大学信息工程学院,山西太原030024
【正文语种】中文
【中图分类】TP301.2
【相关文献】
1.基于BPMN(业务流程建模与标注)标准实现新型综合监控联动模型的探讨 [J], 李冰;张赛桥
2.基于BPMN 2.0的业务流程集成平台研究与实现 [J], 杨宁;罗华永;张敏杰
3.基于工作流模式的BPMN过程模型验证方法 [J], 蔡章利;易树平;高庆萱
4.基于i-BPMN的翻转课堂教学系统业务流程建模 [J], 陈蕾;倪枫
5.基于i-BPMN的翻转课堂教学系统业务流程建模 [J], 陈蕾; 倪枫
因版权原因，仅展示原文概要，查看原文内容请购买。
基于BPMN的业务流程一体化建模方法
基于BPMN的业务流程一体化建模方法
基于BPMN的业务流程一体化建模方法
蔡章利1,2,易树平1
【摘要】摘要:为了给业务分析员提供一种简单易懂、直接支持计算机仿真和执行的可视化业务流程建模方法,提出了业务流程一体化建模概念及方法。
该方法以业务分析员为本,用业务流程建模符号可视化描述业务流程,用非结构化方式存储业务流程;基于元素语义细分设计理念,完善了业务流程建模符号规范图形元素的显示语义,引入非图形元素Node,以明确业务流程执行语义,设计了描述业务流程模型的元模型结构及计算机仿真与执行机制。
通过实际研发业务流程管理系统,验证了该方法的可行性。
【期刊名称】计算机集成制造系统
【年(卷),期】2010(016)003
【总页数】7
【关键词】关键词:业务分析员;业务流程一体化建模;元模型;建模符号;语义
0 引言
业务流程建模是指用图形、公式、表格或文字描述业务流程的特性,回答为什么做、做什么、怎么做、谁做等问题。
文献[1]指出业务流程建模方法主要有:1流程图(flow chart),是最早用于业务流程的一种图形化描述方法,易学习、好理解,但存在无法清楚界定流程界限、不支持层次化描述业务流程等问题;④角色活动图(Role Activity Diagram,RAD)和角色交互图(Role Interaction Diagram,RID),擅长描述角色与活动、角色与角色的交互关系,但不支持层次化描述业务流程;㈣IDEF0和IDEF3,IDEF0描述业务流程做什么,但没指明谁做;IDEF3回答了怎么做,但描述复杂业务流程难度大;?高级Petri网有很强的数。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第１６卷第８期计算机集成制造系统Ｖｏｌ．１６Ｎｏ．８２ ０ １ ０年８月Ｃｏｍｐｕｔｅｒ Ｉｎｔｅｇｒａｔｅｄ Ｍａｎｕｆａｃｔｕｒｉｎｇ Ｓｙｓｔｅｍｓ Ａｕｇ．２ ０ １ ０文章编号：１００６－５９１１（２０１０）０８－１５７８－０９收稿日期：２０１０－０１－０８；修订日期：２０１０－０３－０８。
Ｒｅｃｅｉｖｅｄ ０８Ｊａｎ．２０１０；ａｃｃｅｐｔｅｄ ０８Ｍａｒ．２０１０．基金项目：国家自然科学基金资助项目（７０８７１１２７）；高等学校博士学科点专项科研基金资助项目（２００７０６１１０２７）；重庆市教育委员会科学技术研究资助项目（ＫＪ０８Ａ０３）。
Ｆｏｕｎｄａｔｉｏｎ ｉｔｅｍｓ：Ｐｒｏｊｅｃｔ ｓｕｐｐｏｒｔｅｄ ｂｙ ｔｈｅ Ｎａｔｉｏｎａｌ Ｎａｔｕｒａｌ Ｓｃｉｅｎｃｅ Ｆｏｕｎｄａｔｉｏｎ，Ｃｈｉｎａ（Ｎｏ．７０８７１１２７），ｔｈｅ Ｓｐｅｃｉａｌｉｚｅｄ Ｒｅｓｅａｒｃｈ Ｆｕｎｄ ｆｏｒ Ｄｏｃｔｏｒａｌ Ｐｒｏｇｒａｍ ｏｆ Ｈｉｇｈｅｒ Ｅｄｕｃａｔｉｏｎ，Ｃｈｉｎａ（Ｎｏ．２００７０６１１０２７），ａｎｄ ｔｈｅ Ｆｏｕｎｄａｔｉｏｎ ｏｆＣｈｏｎｇｑｉｎｇ Ｍｕｎｉｃｉｐａｌ Ｅｄｕｃａｔｉｏｎ Ｃｏｍｍｉｔｔｅｅ，Ｃｈｉｎａ（Ｎｏ．ＫＪ０８Ａ０３）．基于工作流模式的ＢＰＭＮ过程模型验证方法蔡章利１，２，易树平１，高庆萱１（１．重庆大学机械工程学院，重庆 ４０００４４；２．重庆大学自动化学院，重庆 ４０００４４）摘 要：针对业务流程建模符号过程模型语义验证问题，提出了一种新方法。
该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组合的理念，通过扩展和改进业务流程建模符号及其执行语义，设计了工作流模式的形式化编码规则；借鉴Ｐｅｔｒｉ网化简方法，设计了工作流模式组合化简规则；基于工作流模式编码及组合化简规则，给出了业务流程建模符号过程模型验证方法。
应用示例表明了该方法的有效性。
关键词：工作流；业务流程；建模；过程模型；语义验证；Ｐｅｔｒｉ网中图分类号：ＴＰ３９１ 文献标志码：ＡＶｅｒｉｆｉｃａｔｉｏｎ ｍｅｔｈｏｄ ｆｏｒ ＢＰＭＮ ｐｒｏｃｅｓｓ ｍｏｄｅｌ ｂａｓｅｄ ｏｎ ｗｏｒｋｆｌｏｗ ｐａｔｔｅｒｎｓＣＡＩ Ｚｈａｎｇ－ｌｉ１，２，ＹＩ Ｓｈｕ－ｐｉｎｇ１，ＧＡＯ Ｑｉｎｇ－ｘｕａｎ１（１．Ｃｏｌｌｅｇｅ ｏｆ Ｍｅｃｈａｎｉｃａｌ Ｅｎｇｉｎｅｅｒｉｎｇ，Ｃｈｏｎｇｑｉｎｇ Ｕｎｉｖｅｒｓｉｔｙ，Ｃｈｏｎｇｑｉｎｇ ４０００４４，Ｃｈｉｎａ；２．Ｃｏｌｌｅｇｅ ｏｆ Ａｕｔｏｍａｔｉｏｎ，Ｃｈｏｎｇｑｉｎｇ Ｕｎｉｖｅｒｓｉｔｙ，Ｃｈｏｎｇｑｉｎｇ ４０００４４，Ｃｈｉｎａ）Ａｂｓｔｒａｃｔ：Ｔｏ ｓｅｍａｎｔｉｃａｌｌｙ ｖａｌｉｄａｔｅ Ｂｕｓｉｎｅｓｓ Ｐｒｏｃｅｓｓ Ｍｏｄｅｌ Ｎｏｔａｔｉｏｎ（ＢＰＭＮ）ｐｒｏｃｅｓｓ ｍｏｄｅｌ，ａ ｎｅｗ ｍｅｔｈｏｄ ｗａｓ ｐｕｔｆｏｒｗａｒｄ．Ｔｈｉｓ ｍｅｔｈｏｄ ｗａｓ ｂａｓｅｄ ｏｎ ｔｈｅ ｉｄｅａ ｔｈａｔ ｃｏｒｒｅｃｔ ＢＰＭＮ ｐｒｏｃｅｓｓ ｍｏｄｅｌ ｗａｓ ｔｈｅ ｓｏｕｎｄ ｃｏｍｂｉｎａｔｉｏｎ ｏｆ ｗｏｒｋ－ｆｌｏｗ ｐａｔｔｅｒｎｓ．Ｂｙ ｉｍｐｒｏｖｉｎｇ ｔｈｅ ＢＰＭＮ ｓ ｎｏｔａｔｉｏｎｓ ａｎｄ ｅｘｅｃｕｔｉｏｎ ｓｅｍａｎｔｉｃｓ，ｔｈｅ ｆｏｒｍａｌ ｅｎｃｏｄｉｎｇ ｒｕｌｅｓ ｗｅｒｅ ｄｅ－ｓｉｇｎｅｄ．Ａｎｄ ｔｈｅ ｃｏｍｂｉｎａｔｏｒｉａｌ ｓｉｍｐｌｉｆｉｃａｔｉｏｎ ｒｕｌｅｓ ｗｅｒｅ ｄｅｓｉｇｎｅｄ ｂｙ ｂｏｒｒｏｗｉｎｇ Ｐｅｔｒｉ ｎｅｔ ｓ ｓｉｍｐｌｉｆｉｃａｔｉｏｎ ｍｅｔｈｏｄｓ．Ｔｈｅ ａｌｇｏｒｉｔｈｍｓ ｔｏ ｖａｌｉｄａｔｅ ｔｈｅ ＢＰＭＮ ｐｒｏｃｅｓｓ ｍｏｄｅｌ ｗｅｒｅ ａｌｓｏ ｐｒｅｓｅｎｔｅｄ．Ｆｉｎａｌｌｙ，ｔｈｉｓ ｍｅｔｈｏｄ ｗａｓ ｐｒｏｖｅｄ ｔｏ ｂｅ ｅｆ－ｆｅｃｔｉｖｅ ｉｎ ｖａｌｉｄａｔｉｎｇ ＢＰＭＮ ｐｒｏｃｅｓｓ ｍｏｄｅｌ ｂｙ ａｐｐｌｉｃａｔｉｏｎ ｅｘａｍｐｌｅｓ．Ｋｅｙ ｗｏｒｄｓ：ｗｏｒｋｆｌｏｗ；ｂｕｓｉｎｅｓｓ ｐｒｏｃｅｓｓ；ｍｏｄｅｌｉｎｇ；ｐｒｏｃｅｓｓ ｍｏｄｅｌ；ｓｅｍａｎｔｉｃ ｖｅｒｉｆｉｃａｔｉｏｎ；Ｐｅｔｒｉ ｎｅｔｓ０ 引言工作流是部分或全部可以计算机实现的业务流程。
工作流过程模型是可以计算机实现的业务流程模型。
为跨越业务流程设计与实现鸿沟，便于业务分析师、ＩＴ人员和流程管理员共同设计、实现和监管业务流程，业务流程管理计划组织（ＢｕｓｉｎｅｓｓＰｒｏｃｅｓｓ Ｍａｎａｇｅｍｅｎｔ Ｉｎｉｔｉａｔｉｖｅ，ＢＰＭＩ）于２００４年提出了业务流程建模符号（Ｂｕｓｉｎｅｓｓ Ｐｒｏｃｅｓｓ ＭｏｄｅｌＮｏｔａｔｉｏｎ，ＢＰＭＮ），现已成为国际对象管理组织（Ｏｂｊｅｃｔ Ｍａｎａｇｍｅｎｔ Ｇｒｏｕｐ，ＯＭＧ）支持的一种业务流程建模语言［１］。
为有别于用Ｐｅｔｒｉ网等描述的工作流过程模型，本文将用ＢＰＭＮ描述的工作流过程模型称为ＢＰＭＮ过程模型。
语义验证工作流过程模型是工作流技术领域长期研究的一个热点和难点。
文献［２］基于图形归约方法研究了工作流过程模型验证问题，提出的方法能对有向无环图（Ｄｉｒｅｃｔｅｄ Ａｃｙｃｌｉｃ Ｇｒａｐｈ，ＤＡＧ）存储表示的工作流过程模型进行验证。
文献［３］～文献［４］通过改进文献［２］的方法，提出了基于图形展第８期蔡章利等：基于工作流模式的ＢＰＭＮ过程模型验证方法开及图形归约和基于Ｐｅｔｒｉ网化简的工作流过程模型验证方法，能对有向有环图（Ｄｉｒｅｃｔｅｄ ＣｙｃｌｉｃＧｒａｐｈ，ＤＣＧ）存储表示的工作流过程模型进行验证。
文献［５］研究了如何用源于Ｐｅｔｒｉ网的另一种工作流语言（Ｙｅｔ Ａｎｏｔｈｅｒ Ｗｏｒｋｆｌｏｗ Ｌａｎｇｕａｇｅ，ＹＡＷＬ）形式化文献［６］提出的工作流模式，文献［７］介绍了如何用ＹＡＷＬ方法验证工作流过程模型。
与基于有向图或Ｐｅｔｒｉ网及其扩展表示的工作流过程模型相比，用ＢＰＭＮ符号描述的业务流程更易于业务人员理解，基于ＢＰＭＮ的业务流程建模方法比其他工作流建模方法具有更强的描述能力。
ＢＰＭＮ特有的描述能力使得现有验证方法无法直接用于ＢＰＭＮ过程模型。
对此，文献［８］讨论了如何先将ＢＰＭＮ过程模型转换成工作流网（ｗｏｒｋｆｌｏｗｎｅｔ），然后用Ｐｅｔｒｉ网方法验证ＢＰＭＮ过程模型，但没有解决有异常处理的子过程及合并控制的容他网关（Ｉｎｃｌｕｓｉｖｅ Ｇａｔｅｗａｙ）转换，不支持多实例不同步等工作流模式。
文献［９］用通信顺序进程（Ｃｏｍｍｕ－ｎｉｃａｔｉｎｇ Ｓｅｑｕｅｎｔｉａｌ Ｐｒｏｃｅｓｓｅｓ，ＣＳＰ）形式化ＢＰＭＮ过程模型，但没有说明如何识别错误类型并报告错误所在。
Ｐｕｈｌｍａｎｎ在文献［１０］中用Ｐｉ－演算形式化文献［６］提出的工作流模式，并在文献［１１］给出了基于Ｐｉ－演算的形式化验证ＢＰＭＮ过程模型算法，但没有支持任意循环等工作流模式。
针对ＢＰＭＮ １．２规范存在的过程语义不明等问题，为支持业务分析师创建ＢＰＭＮ过程模型，笔者研究了基于ＢＰＭＮ的业务流程一体化建模方法，并用语义有向图（Ｄｉｒｅｃｔｅｄ Ｇｒａｐｈ ｗｉｔｈ Ｓｅｍａｎｔｉｃｓ，ＤＧＳ）存储ＢＰＭＮ过程模型。
为满足ＢＰＭＮ过程模型语义验证需要，本文基于正确的ＢＰＭＮ过程模型是工作流模式的合理组合的理念，借鉴Ｐｅｔｒｉ网化简规则，提出了基于工作流模式编码、识别、组合与化简的ＢＰＭＮ过程模型验证方法。
１ 语义验证ＢＰＭＮ过程模型的设计理念关于工作流模式，目前尚无文献给出明确定义。
文献［１２］对“模式”的定义是，“对特定上下文中反复出现的具体形式的一种抽象”。
“模式”最初在面向对象设计领域被成功应用，后来Ｗ．Ｍ．Ｐ．ｖａｎ ｄｅｒＡａｌｓｔ等人将“模式”概念引入工作流技术领域，提出“工作流模式”，目的是提供一个系统且实用的方法来处理工作流描述语言的多样性，并作为评价不同工作流描述语言或工作流管理系统的标准，该方法强调工作流模式的抽取与具体的工作流描述语言无关，但其实现依赖于具体的工作流描述语言［６］。
因此，笔者认为工作流模式可定义为“对特定上下文环境中反复出现的，满足特定业务需要的，业务活动之间某种行为方式的一种抽象”。
上述定义体现了工作流模式的三个重要特性：①每个工作流模式有其特定的上下文环境，离开该环境，工作流模式就无法满足业务需要；②构成工作流模式的业务活动之间有特定行为方式，如业务活动之间是顺序或并行执行等；③每个工作流模式只能满足某类业务需要。
据此，工作流模式可形式化定义为ＷＣＰ＝（Ｃ，Ｓ，Ｆ）。
其中：Ｃ是实现ＷＣＰ的上下文环境；Ｓ是构成ＷＣＰ的业务活动之间的行为方式；Ｆ是ＷＣＰ可以满足的业务需要。
众所周知，程序通过主函数调用其他函数共同实现系统功能，函数间可以相互调用。
如果用函数来理解工作流模式，ＷＣＰ可视为函数名，Ｃ是函数接口，Ｓ是函数体，Ｆ是函数功能描述。
同理，工作流过程模型可视为多个ＷＣＰ实例的组合，即ＷＰＭ＝（Ｐａｔｔｅｒｎｓ，Ｃｏｎｔｅｘｔ，Ｆｕｎｃｔｉｏｎ）。
其中：Ｐａｔｔｅｒｎｓ＝｛ｗｃｐ１，ｗｃｐ２，…，ｗｃｐｎ｝，且ｗｃｐｉ是ＷＣＰ实例，Ｃｏｎ－ｔｅｘｔ是ＷＣＰ实例之间组合调用方式，Ｆｕｎｃｔｉｏｎ是ＷＰＭ要完成的业务目标。
工作流模式之间相互组合，形成了实现工作流模式的上下文环境。
２ ＢＰＭＮ过程模型正确性评价标准选择目前，研究人员至少提出了Ｓｏｕｎｄｎｅｓｓ，ＷｅａｋＳｏｕｎｄｎｅｓｓ，Ｒｅｌａｘｅｄ Ｓｏｕｎｄｎｅｓｓ和Ｌａｚｙ Ｓｏｕｎｄｎｅｓｓ四种［１１］工作流过程模型正确性评价标准。
这四种标准的差异在于是否允许工作流过程模型存在死锁（ｄｅａｄ ｌｏｃｋｓ）、活锁（ｌｉｖｅ ｌｏｃｋｓ）、死活动（ｄｅａｄ ａｃｔｉｖｉ－ｔｉｅｓ）和同步丢失（ｌａｃｋ ｓｙｎｃｈｒｏｎｉｚａｔｉｏｎ）。
死锁指计算机执行工作流过程模型时，由于某个活动使能条件无法满足而导致计算机中止执行工作流；活锁指工作流过程模型执行期间，某个活动的使能条件始终满足，导致计算机不断循环执行该活动而无法执行完成工作流；死活动指工作流过程模型中没有路径让计算机可以从开始节点执行到该活动；同步丢失指当计算机执行到工作流过程模型的结束点时，该工作流过程模型中还有活动在执行。
工作流过程模型是否正确，业务人员关注的是能否实现预定业务目标，而ＩＴ人员关注的是计算机能否顺利执行完成模型所描述的过程。
对计算机９７５１计算机集成制造系统第１６卷而言，在工作流过程模型中出现死锁和活锁是不允许的；死锁会让计算机无法执行，活锁会让计算机陷入死循环；死活动和同步丢失对计算机执行完成工作流没有影响。