协同软件技术及应用 汤庸 第4章 流程协同技术新.pptVIP

07CA4 4.5.1　模糊时态工作流网 4)FO表示每个变迁的模糊触发时间(fuzzy occurrence time)的集合。5)D表示变迁的模糊触发延迟时间的集合。6)RVT：TOKEN→Q+×(Q+∪+∞),表示托肯的有效时间区间，记作［a,b］(a,b为时间点且0ab)，其中TOKEN表示托肯的集合，Q+表示正有理数的集合。7)TVT:T→Q+×(Q+∪+∞)，表示变迁的有效时间区间，记作［c,d］(c,d为时间点且0cd)。 07CA4 4.5.2　FTWF-nets中的时间计算 为方便讨论，这里的模糊时间集的隶属度函数采用梯形函数，则一个模糊时间可以表示为h(π1,π2,π3,π4)。模糊时间的梯形函数如图4-18所示。 07CA4 4.5.3　时间建模和时间可能性分析 图4-19　a≤b的时态关系可能性(b为模糊时间) 07CA4 4.5.3　时间建模和时间可能性分析 图4-20　a≤b的时态关系可能性(b为确定时间) 07CA4 4.5.4　实例研究 (1)在测定维生素C的有效成分含量之前，必须提出使用实验室的申请。(2)由于维生素C在空气中极易被氧化，因此在测定之前必须将样本溶解于一定浓度的酸性溶液中，这样可以保持维生素C的相对稳定。(3)用重铬酸钾与碘化钾反应生成碘单质。(4)利用碘单质对维生素C溶液进行滴定，并生成有效成分含量报告。 07CA4 4.5.4　实例研究 (5)另外，步骤(2)、(3)、(4)在进行实验前需要0.1h来做准备工作，同时，为保证实验的速度，规定步骤(2)、(3)、(4)在实验前的准备工作完成后0.05h内必须开始实验。 07CA4 4.2.3　工作流管理系统和工具 随着工作流技术的逐渐发展，国内外出现了一些优秀的工作流管理系统和工具。 07CA4 4.2.4　工作流技术关键问题 1.工作流建模2.工作流分析3.工作流的柔性4.工作流的事务5.工作流的互操作性6.工作流的规划和调度 07CA4 1.工作流建模 对业务流程的建模和描述，即过程建模，是工作流技术中一个十分基本而重要的问题，因为工作流技术的一个研究重点就是研究如何更好管理企业的业务流程在计算机系统中的实现，这必然有一个根本的问题——工作流建模问题。目前主流的方法是采用Petri Net、AO图等对工作流进行建模 07CA4 2.工作流分析 和建模问题紧密相关的问题是工作流的分析问题。在对业务流程进行建模之后，在将其放在工作流引擎中对其进行解析执行之外，还需要对其进行各种属性的分析和验证。 07CA4 3.工作流的柔性 工作流技术的目的除了为了更好建模和执行企业系统的业务流程，还要求它能提供最大程度的系统灵活性、可扩展性、适应性，也就是所谓的工作流柔性。 07CA4 4.工作流的事务 工作流中事务的概念跟关系数据库中传统事务的概念不同，它是一种分布式的事务。 07CA4 5.工作流的互操作性 在企业内部和不同企业之间，不同的工作流执行服务之间存在着相互协作的客观要求，例如，跨组织工作流。 07CA4 6.工作流的规划和调度 为工作流的活动分配资源，安排活动的执行顺序，尤其是决定使用相同资源的多个活动按照什么次序执行等调度问题是研究的热点。利用运筹学、模糊数学、遗传算法等数学工具进行调度是目前主要的方法。 07CA4 4.3　Petri网 在流程协同中，需要有效的方法对业务活动之间的相互关系进行描述。 07CA4 4.3.1　Petri网概述 Petri网是一种图形化的流程建模工具，既具有严谨的数学基础，也可以直观地描述流程中的并发、同步和共享等现象，十分适合用于描述具有并发行为或操作的系统。它具有直观、简单、易懂的优点。 07CA4 4.3.2　Petri网模型及其数学结构 1.S∩T=Φ2.S∪T≠Φ3.F?S×T∪T×S4.dom(F)∪cod(F)=S∪T 07CA4 4.3.3　Petri网模型的动态性质 1.可达性2.有界性和安全性3.活性4.公平性5.可逆性6.持续性 07CA4 1.可达性 可达性是决定网系统能否达到一个指定的状态的性质。它是Petri网的最基本特性，是研究其他动态特性的基础。 07CA4 2.有界性和安全性 有界性反映一个库所在系统运行过程中能够获得的最大的托肯数，即所能获得的最大资源数，它与系统的初始标识有关。有界性保证系统在运行过程中不会需要无限的资源。在实际系统中，必须使得Petri网中的每个库所在任何状态下的托肯数小于该库所的容量，才能保证系统的正常运行。 07CA4 3.活性 一个Petri网被称为活的，当且仅当从初始标识Ｍ0可达的任一标识出发，都可以通过执行某一变迁序列而最终使任何一个变迁使能。这意味着，无论选择什么样的变迁触发序列，一