基于Petri网的民事诉讼流程建模及评价

法院民事诉讼流程的建模和评价是实现其流程重组、优化和改进以及资源合理配置的基础。该文提出了采用形式化建模语言Petri网来建模法院当前的民事诉讼流程,从而可以利用Petri网分析方法(可达图、不变量)对民事诉讼流程进行正确性分析,如不存在死锁、活锁等。在此基础上,通过考虑流程中各活动的执行时间,应用随机时间Petri网对诉讼流程进行性能分析,从而可以估算诉讼流程的平均周期时间、各资源的利用率等性能指标,为法院诉讼流程的重组、优化和改进提供了决策上的支持。     

Web服务组合的层次化建模

目的形式化地描述Web服务组合流程,为更好地使用工具和现有方法验证以及测试Web服务组合奠定基础。方法用有色Petri网对BPEL的每种活动建模,分析BPEL中、、和几种活动的共同作用,分析BPEL流程的错误处理机制和补偿机制;从网资源流动的角度完善现有的层次化有色Petri网定义,将BPEL流程的层次关系映射成层次化有色Petri网的层次关系。结果完善了层次化有色Petri网定义,提出了Web服务组合的层次化建模方法。结论层次化构建Web服务组合模型是一种可以用于大型BPEL流程的方法,所构建的模型有利于从抽象层面和细节上分析Web服务组合。     

基于数据流优化的BPEL流程分割方法

BPEL描述的业务流程在跨组织的企业应用集成与协作中扮演着重要角色.目前BPEL流程主要采用集中式的执行方式,但是集中式执行的BPEL流程性能不高并且不能满足动态流程管理的需求.提出了一种基于数据流优化的BPEL流程分割方法,以支持BPEL流程的分散化执行.BPEL流程经过变换被表示成PFG图,提出数据流方程对PFG图进行数据流分析,扩展复制传播算法优化PFG图的数据流.最后按照流程中的角色分割BPEL流程.实验数据表明优化分割后的业务流程的吞吐率、响应时间等方面的性能有较大提高.     

面向自适应的组合服务动态调整方法

为了实现组合服务对异常情况的自适应,提出了一种组合服务动态调整机制.该机制将调整逻辑和BPEL执行逻辑相分离,从而能够在不扩展BPEL语言的语法和语义基础上支持组合服务的动态调整,保证了方法的适用性.建立了服务异常模型来描述服务运行过程中所面临的异常情况的类别、产生原因以及外在表现,并且在该模型的基础上给出了异常监控策...     

一种Web服务组合模型合理性验证方法

为了更加有效地对Web服务组合进行分析验证,设计BPEL到PNML语言的文件转换规则,实现Web服务组合流程的Petri网建模。针对Web服务组合流程设计中可能存在死锁及不正确的流程,在不破坏原Petri网模型结构性质与系统行为的基础上,将其调整映射为自由选择网。在自由选择Petri网理论基础上,设计了一种Web服务组合Petri网模型的合理性验证规则,能在多项式时间内分析网模型的结构活性与有界性,从而避免采用传统的可达树等分析方法出现的状态空间爆炸问题。最后,使用两个具体的Web服务组合Petri网模型证明了本文方法的有效性。     

混合随机Petri网

二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标识过程的动态方程,在该方程的推导中,首次将同时伴有流体跳跃发生的离散状态转移考虑在内.最后对流体流动速度随连续标识变化的情况下的边界条件进行了分析,使得可直接用数值方法对动态方程进行求解.     

医疗急诊流程挖掘与模型改进

基于流程挖掘中的α算法和流程挖掘平台ProM(process miner),将医疗急诊流程的事件日志转化为Petri网模型,并将其与医疗急诊日志及实际流程对比分析。由于α算法的局限性,对于一些复杂结构,可能会导致错误的挖掘流程。基于逻辑Petri网,给出了一种挖掘模型的改进方法,利用逻辑变迁来避免选择结构,并进行医疗急诊流程的二次建模,进而保证构建的流程模型与实际流程保持一致。     

基于Petri网的购物储值卡流程模型优化

提出基于Petri网的购物储值卡流程优化方法.通过分析模型中各种行为之间的关系,查找现有购物储值卡模型存在的问题,通过增加相关的控制结构对其进行优化,使得优化之后模型具有安全性、有界性等性质,实现购物储值卡的实名化和可挂失.     

协同服务模型及其在电子商务中的应用

针对协同服务的结构关系和特点,研究了协同服务模型,将协同服务模型分为内部服务模型和外部服务模型,此方法中可以较好地保护协同服务的内部信息.给出了基于随机Petri网的电子商务背景下企业协同服务中几种最具有代表性的内部服务模型到外部服务模型之间的转化定理及相应的证明.将该模型分析方法应用于电子商务下单流程分析之中,数值计算结果说明了该方法的有效性.     

混合状态Petri网及其在过程控制混杂系统中的应用

为了处理混杂系统的建模问题，提出了一种称为混合状态Petri网(HSPN)的混合Petri网，给出了HSPN的定义及其变迁规则。采用一个实际化工过程为例建立了HSPN模型，该模型可以用于混合控制器的设计，仿真结果表明了其有效性。本文还简要地讨论了HSPN的一些性质。     

BPEL商业流程建模

介绍了标准化的商业流程执行语言BPEL，从一个例子出发，借鉴统一开发过程(RUP)中的用例模型和分析模型对整个商业流程进行刻画，并简要介绍了如何采用WSDL和BPEL4WS两种标准的语言对整个模型进行文档化的过程。     

A template-based approach for automatic mapping between business process and BPEL process

In order to support just-in-time reconfiguration of business process execution language （BPEL） process, a template-based mapping method is proposed to map business level process to BPEL process. The method builds up mapping relationships between the key points of business level process and BPEL process, which helps users to adjust the business level process with simplified operations, and automatically maps the changes to BPEL. In addition, a case of the application of the method in a clothing enterprise was illustrated.     

一种基于混合Petri网的批过程动态调度算法

针对批处理过程动态调度问题的特点，以赋色时间限制混合Petri网为工具，建立了批过程动态调度的混合Petri网模型，将批过程的调度问题映射技术为求Petri网中变迁的最优激发序列问题。在此模型基础上，根据动态规划基本原理，以资源的终极利用即最短生产周期作为调度目标，提出了一种基于赋色时间限制混合网模型求取变迁的最优激发序列的方法，并针对实际情况中出现的复杂的中间产品存贮策略，讨论了在各存贮策略约束下该模型中时间限制区间的确定方法，最后以炼钢－连铸生产系统的过程调度为例，对该算法进行仿真。多次仿真结果表明，当任务和设备的初始时刻或者过程的动态过程发生改变时，调度结果各不相同，从而验证了该算法的有效性。     

基于BPEL的网格工作流系统

设计并实现了一个基于业务流程执行语言(business process execution language,BPEL)的网格工作流管理系统.针对满足网格环境中的特殊需求,如状态的交互、动态服务绑定、高吞吐量和可扩展性、界面友好的工作流定义工具等,分别提出了BPEL与Web服务资源框架(Web service resource framework,WSRF)整合方法、BPEL的简单集群架构和面向应用组件的工作流定义等.最后,给出了在中国教育科研网格公共支撑平台(ChinaGrid supporting platform,CGSP)中网格工作流系统的原型实现.实验结果表明,原型系统支持负载均衡是正确、可行和有效的.     

一种基于Petri网的服务组合流程分析方法

虽然业务流程执行语言(BPEL)有很多特征使它适合组合流程的描述,但它缺乏形式化语义,从而不能对组合流程进行严格的分析和验证。本文提出了一种基于Petri网的BPEL语言所对应的组合流程分析方法。应用Petri网来描述BPEL所定义的组合流程,描述组合流程的基本活动及它们之间关系,进而分析了组合流程结构上的合理性。通过实例网的构建,给出了流程可组合性的判定定理,并提出减少服务搜索空间的算法。最后,应用具体实例模拟组合流程的分析过程,展示了该方法的有效性。     

一种基于用例和Petri网的业务过程建模方法

在给出用例及其相关概念的形式化定义的基础上,构建了从用例到Petri网模型的映射算法;提出了一种基于用例和Petri网的业务过程建模方法.它先以用例来捕获需求,再用Petri网来图形化用例,以此来实现它们各自优势的互补.并且通过引入工作流建模中任务(task)这一概念来统一了用例描述的语法形式.     

一种基于Petri的服务组合测试模型和分析方法

测试用例选择是服务组合测试的重要内容,将直接影响服务测试的效率和正确性。采用Petri网分别对基本服务、组件和测试用例等组成部分建立形式化模型,进行形成整个服务组合的测试模型。基于模型的状态空间分析测试用例的选择和实施。借助Petri网的操作语义及相关理论,分析了该方法的有效性及正确性。具体实例结果表明:该方法能有效地简化服务组合的测试过程,有助于提高测试的质量和效率。     

基于网络服务的动态业务流程外包模式的综合评价

分析了网络服务支持的动态业务流程外包,根据动态业务流程外包的需求,引进了网络服务框架,最后运用模糊综合评价法对此模式进行了评价。