基于Pi-Calculus的跨组织工作流建模方法*

针对跨组织协同环境下的业务流程建模技术的不足,提出了一个新的用于跨组织业务流程的形式化建模方法。首先根据工作流管理联盟（WfMC）的有关工作流过程定义接口规范,利用PiCalculus技术对跨组织业务流程结构进行了形式化定义。此外,利用PiCalculus特有机制对并发流程及其之间的通信进行描述。提出的方法可以有效用于不同业务流程间的协同工作,并且适合于对分布式协同环境下的工作流进行建模。     

基于面向对象Petri网的组织间工作流建模

工作流建模是工作流技术研究的基础,目前工作流建模多集中在组织内部业务流程建模方面,对于组织间工作流建模研究较少。提出一种用于组织间工作流建模的扩展的面向对象Petri网描述规则,并针对经济运行中常见的一种生产交易流程进行建模。得到单个对象和系统整体的面向对象Petri网模型,然后在此基础上进行系统结构活性和有界性分析。通过针对实际问题的建模验证,阐明了该规则的有效性和实用性。     

结合Petri网和Pi演算的协同业务过程建模

协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作,以形成相对稳定的过程视图,从而满足共同的商业目标。为确保过程模型的正确性,采用形式化方法对协同业务过程进行建模变得越来越重要。将Petri网和Pi演算进行交叉应用,提出了一种协同业务过程的建模方法。该方法采取关注点分离的原则,一方面,从控制流角度,针对协同业务过程面向流的特点,提出公共视图,使用Petri网直观描述参与协同组织的业务过程的静态结构和状态转换;另一方面,从交互角度,针对协同业务过程面向协作的特点,提出协作视图,使用Pi演算描述业务过程间的交互。为建立Petri网和Pi演算间的关联,提出了进程标号迁移系统。与传统的业务过程建模方法相比,该方法能有效支持协同业务过程具有的个性化特征。     

基于Pi演算的跨组织工作流建模研究

传统的工作流建模方法主要用于描述组织内部流程,因而难以描述跨组织工作流面向流程、组合、抽象、涉及多个自治系统通信合作的新特点.针对此问题,提出了一种基于Pi演算的跨组织工作流建模方法,利用Pi演算的并发计算操作符,将跨组织业务流程建模为一组自治且并发执行的组织内子流程的组合,子流程建模为组织内本地流程定义和组织间控制约束的组合.基于Pi演算的弱互相似理论,验证了两个跨组织子流程外部行为的相等性,用于帮助组织内私有流程的外部抽象.基于该方法建立的跨组织工作流模型在子流程间建立了一种松耦合的关系,适用于动态的跨组织环境,同时基于严格的形式化方法,便于分析和验证.     

基于主动工作流视图的跨组织工作流管理和监控

跨组织工作流可以有效的利用不同企业的资源,提高企业的生产率,因而得到了越来越广泛的应用。如何使企业在增强对外交互能力的同时,保护企业内部的敏感信息,是跨组织工作流应用中的重要问题。工作流视图能有选择的隐藏企业私有工作流的细节,同时对外提供面向过程的接口,是一种有效的实现跨组织工作流的方法。在引入主动工作流视图概念的基础上,提出基于主动工作流视图的跨组织工作流管理和监控的体系结构,探讨了跨组织工作流的主动监控及其实现。     

跨组织工作流的动态协同技术研究

跨组织的工作流致力于跨越组织边界进行业务重组。针对多个组织间动态协同的复杂性,在组织间协作过程中必须考虑对组织的隐私信息、已建立的工作流和已建立的工作流管理系统的保护,解决成员间进行信息共享时出现的问题,从而真正实现协同商务。为满足这些需求,提出了基于视图的方法,这个方法考虑了工作流和资源的部分可见性,不同程度的可见性可以使企业保持其内部工作流隐私和安全性所需的水平,从而把工作流的可见性降低到合作所需的最低水平。研究的目的是使得组织在增强对外交互能力的同时,保护组织内部的敏感信息。     

基于对象Petri网工作流建模的研究与实现

结合XPDL（XML Process Definition Language）标准、对象技术和Petri网理论提出了一种工作流网。该工作流网通过Petri网的数学分析来完成对流程的分析验证;通过对象技术来降低流程建模复杂度;通过工作流网和XPDL的映射机制来保证其实用性。在此基础上实现了一套流程建模及分析工具。     

跨组织工作流的动态协同技术研究

跨组织的工作流致力于跨越组织边界进行业务重组.针对多个组织间动态协同的复杂性,在组织问协作过程中必须考虑对组织的隐私信息、已建立的工作流和已建立的工作流管理系统的保护,解决成员间进行信息共享时出现的问题,从而真正实现协同商务.为满足这些需求,提出了基于视图的方法,这个方法考虑了工作流和资源的部分可见性,不同程度的可见性可以使企业保持其内部工作流隐私和安全性所需的水平,从而把工作流的可见性降低到合作所需的最低水平.研究的目的是使得组织在增强对外交互能力的同时,保护组织内部的敏感信息.     

基于Pi演算和EECA规则的跨组织工作流建模研究

针对跨组织环境下的工作流形式化建模技术的不足问题,提出了一种基于Pi演算和EECA(Extended-ECA)规则的跨组织工作流建模方法.将ECA规则在时间上进行扩展,解决了ECA规则在描述与时间相关的复杂过程时能力不足问题.利用Pi演算技术,对跨组织的本地工作流的协同方式进行了形式化描述.分析了协同模型及其执行过程,并给出了一个应用实例验证了提出的模型具有较好的柔性,可以有效用于本地工作流间的协同工作,并且适合于对分布式协同环境下的工作流进行建模.     

基于Petri网的公文流转工作流的建模

研究了工作流技术在公文流转系统中的应用，结合实际应用环境，选择Petri网作为工作流建模的工具，将工作流的路由结构、触发机制引入到建模过程，提出了一个基于Petri网的公文流转工作流模型，并且将Petri网三要素以对象的形式描述出来，进而将整个流程以三个列表表示出来，成为程序语言可以识别的形式，使流程的自定义成为可能。     

Modellierung überbetrieblicher behandlungsprozesse durch objekt-petrinetze

Clinical processes are often performed by the cooperation of different healthcare organization. But even that for modeling of such processes the object Petri nets can be used, they often lack of intuitive comprehensibility. This contribution presents an interpretation of object Petri nets which assigns abstract net elements to real objects of the healthcare domain. By doing this it helps domain user to apply this Petri net type to the modeling of clinical processes. The application of this approach is demonstrated.     

一种基于对象网的多视角软件过程模型

基于关注点分离原则,结合多视角软件过程建模与对象网之间的相似性,提出了一种基于对象网的多视角软件过程模型MOPN-SP-net,可以提高软件过程模型的可复用性(reusability).在使用MOPN-SP-net建模时,得到的多视角软件过程模型是一种多维网.直接分析这种多维网比较困难,为此,提供了一种从对象网到平面网的等价转换规则,且转换前后的模型在合理性准则上保持等价.根据这个转换规则,可以通过分析转换后平面网模型的合理性得知转换前的对象网的合理性.     

UML和CPN在企业销售信息管理系统开发中的应用

UML是标准的统一建模语言，但缺乏合适的工具对其所建立的模型进行严格定量的分析。CPN(有色Pctri网)是严格定义的数学对象，可以模拟和检验用UML描述的系统对象的行为属性。该文以企业销售信息管理系统为实例描述了通过UML进行建模的过程，并用CPN对所建立的模型进行了分析和检验。     

基于PTCPN的网构软件建模与分析

时间Petri网能够对网构软件的性能进行分析,但是无法对网构软件的可变代价进行分析.为了进一步满足对网构软件所具有的柔性建模以及可变代价分析的需求,提出一种代价时间有色Petri网模型(price time colored Petri net,简称PTCPN).该模型对时间Petri网进行了可变代价和颜色信息的扩展,并使用代价时间变迁系统定义了PTCPN的语义;定义了PTCPN的累积代价状态类,并证明了累积代价状态类的合理性和完备性;给出了基于PTCPN的多Agent网构软件建模及分析方法.最后,通过实例分析说明应用PCTPN对网构软件进行形式化建模及分析是可行的.     

基于随机Petri网的柔性工作流可用性分析

提出一种基于随机Petri网的柔性工作流可用性分析方法。给出基本的异常处理模型,以电子商务配送系统(ELMS)为例,利用随机Petri网对系统进行SPN建模,分析ELMS系统的各种可用性参数。实验结果表明,该方法能准确、有效地对支持异常处理操作的柔性工作流进行可用性分析。     

基于Petri网推理的监控视频事件识别

Petri网模型对复合时序事件具有较好的描述和检测能力,提出基于Petri网描述和推理的监控视频事件信息的自动识别方法。将运动目标及其特征间的空间关系用Petri网的库表示,时间关系及其他推理规则用变迁表示,结合低级计算机视觉算法获得的运动目标特征以及基本事件信息,通过对Petri网推理执行,实现监控视频复杂语义事件的交互式查询,通过实验验证了该方法的有效性。     

Petri net-based modeling and control of the multi-elevator systems

This paper extends the Petri net (PN)-based modeling of multi-elevator control system for M floors and N elevators which provides the generic PN model of the system. A new class of Petri nets is introduced known as elevator control Petri net (ECPN) for such purpose. The model of the multi-elevator control system is developed through components, whereas the model of each elevator is defined as a component. The interaction between these elevators is implemented through control places (CPs) of its PN model. A bottom-up modeling approach is adopted by adding the CPs and using the arc-addition operator to the single-elevator modules. Mixture of collective and selective approaches, that is, collective-selective/up–down approach, is used for the control. The proposed Petri net class in the paper resolves the bunching problem among multiple elevators. The bunching problem is tackled by introducing the request places with the capacity of one in the ECPN. A case study of ECPN is also presented by taking the two elevators and four-floor model, and it is analyzed by the incidence matrix–based invariant method.     

一种扩展了价格信息的着色Petri网及其应用

基于实际业务流程建模中成本预算分析的需要，在着色网的基础上扩展了价格信息，提出了价格着色网。讨论了价格着色网的变迁规则，并以一个业务流程实例介绍了价格着色网的分析技术及其应用，实验结果表明着色网扩展价格信息是可行的而且是有效的。     

基于对象Petri网的BPEL建模技术

讨论了通过对象Petri网对业务过程执行语言（BPEL）进行建模,提供一种从抽象BPEL过程扩展生成可执行BPEL过程的方法,该方法保证生成的可执行BPEL过程遵循抽象BPEL过程定义的业务协议,并通过BPEL2OPN对建模结果进行仿真。