基于统一建模语言和多色集合理论的工作流建模方法研究

在分析了统一建模语言和多色集合理论两种工作流建模方法优缺点的基础上,提出了基于统一建模语言和多色集合理论的工作流建模方法。将活动节点的两两组合作为多色集合的元素,将节点间的连接关系作为多色集合的围道,由此建立了从统一建模语言活动图到多色集合围道矩阵模型的转换机制,给出了工作流过程模型的路径求取算法。以企业备件采购申请过程为例,应用以上理论和方法,定量评价了工作流执行效率,从而重组和优化了该工作流过程。     

基于扩展UML活动图的工作流建模及其到XPDL的转换

针对工作流管理系统建模能力不充分、适应性弱、领域相关等问题,提出了基于扩展统一建模语言活动图与可扩展标记语言的过程定义语言规范相结合的工作流建模方法.为了增强统一建模语言活动图的建模能力,扩展了多实例、条件路由和协调活动等建模元素,给出了建模元素的定义和建模规则.为了使统一建模语言活动图的工作流模型能适应不同工作流引擎的执行,定义了统一建模语言活动图到可扩展标记语言的过程定义语言的形式化转换规则.最后,通过订单处理实例,说明了该方法对增强模型描述能力、适应性和柔性具有积极作用.     

基于时间扩展UML活动图的工作流过程建模方法

为了严格管理与控制业务流程中的时间,对统一建模语言活动图进行了时间约束的扩展,充分考虑活动中资源的到来时间、资源有效时间、活动延迟时间、跃迁有效时间、延迟时间和活动截止时间共六种时间因素,建立基于时间统一建模语言活动图的工作流过程模型,并给予语义形式描述,增强了时间管理的全面性。鉴于时间复杂性,提出基于等待状态事件触发活动转移路由,解决了循环活动事件时间计算的问题。为了检验该方法的正确性、有效性和时间一致性,对Petri网时间验证方法进行了改进。通过对实例建模,验证了所提方法的合理性。     

带数据工作流的形式化建模语言——数据感知的工作流网

为了在工作流实施之前对工作流进行形式化建模与验证,首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后,提出一种带数据工作流的形式化建模语言——数据感知的工作流网,并给出其行为语义。通过工作流网模型的合理性分析／一致性分析方法的提出和方法的工具实现,证明了数据感知的工作流网具有较强的形式化建模能力。     

时间约束工作流模型的简化分析与可调度性验证

为解决复杂工作流的时间建模与可调度性验证问题,提出了将简化规则应用到Petri网工作流模型中的方法.首先,给出了时问约束Petri网的相关定义和基于此的工作流建模方法,实现了工作流模型及其时间信息建模.然后,为了对工作流网的可调度性进行验证和分析,给出了时间约束Petri网时间可调度的概念,并根据时间约束等价变换原则,提出了基于时间约束Petri网的四种基本工作流组件模型的简化规则和压缩推理方法.该方法可以对复杂的工作流模型进行简化,计算模型节点的时间参数,从而完成含有时间信息工作流结构或流程的时间建模和可调度性分析.最后,以保险索赔为例验证了所提方法的可行性.     

工作流管理系统动态变更模型与实例迁移方法研究

为提高工作流管理系统的柔性,研究了工作流动态变更模型和实例迁移方法.在基于统一建模语言和多色集合的工作流集成建模方法的基础上,建立了工作流动态变更模型,对节点(分支)的增加、删除和结构变化等常见动态变更进行了形式化描述.提出了工作流区域的概念,将当前运行节点和动态变更节点放在同一个层次上排序.基于基本模型结构的简化规则,提出了工作流区域的识别算法和排序规则.按照工作流实例迁移过程中可能采用的迁移策略,提出了支持动态变更的工作流实例迁移方法,并分析了实例迁移前后结构和语义的正确性.最后,以客户订单处理流程为例,验证了以上模型和方法的有效性.     

质量管理系统中柔性工作流建模方法研究

针对传统质量管理对流程控制的不足，分析了传统工作流在柔性支持上的缺乏及业务过程建模描述复杂、僵化等问题，提出了一种基于柔性工作流的质量管理系统，结合UML定义良好、易于表达等特点，给出了基于扩展UML活动图的柔性建模方法，引入了复杂柔性节点的概念，提高了业务过程的柔性。实践表明，这一方法降低了业务过程模型的复杂度、增强了实际应用系统的灵活性、拓宽了适用性，为柔性工作流管理系统的进一步研究做出了有益的探索。     

基于Petri网的位置敏感工作流建模与正确性验证方法。

针对移动业务过程中对位置信息建模和分析的需求,结合目前已有的工作流建模方法,提出一种针对位置敏感工作流进行建模和正确性验证的方法。该模型以工作流网为基础,结合6种描述位置之间关系的原语,以位置约束的形式定义业务流程中的位置信息及其与活动之间的关系,然后基于Petri网的状态可达图得出对所建立模型进行正确性检查的方法。基于ProM平台开发了一个位置敏感工作流的建模工具,验证了所提建模方法的可行性和算法的正确性。     

一类含时间因素工作流的建模与时间性能挖掘

时间控制和管理是工作流研究中的重要问题,针对一类含时间因素的工作流,给出了Petri网建模方法,分析了含时间因素工作流Petri网的性质。基于工作流Petri网模型及其可达图,深入挖掘了理想主活动线、稳妥主活动线和最佳状态线,分析了影响整个工作流完成时间的决定性因素以及工作流活动安排的最佳安全方案,给出了寻找理想主活动线、稳妥主活动线和最佳状态线的方法,证明了工作流的最佳状态线存在的充分条件。     

模糊时态工作流网的建模和时间可能性分析

现有的工作流模型中很少考虑时间不确定性,以及资源和变迁的有效时间约束问题。为此,通过对模糊时间Petri网的各个元素中引入时间约束,提出了一种工作流模型,即模糊时态工作流网,给出了该工作流网中各种时态元素的计算方法,并讨论了利用该网对工作流中的时态现象进行时间建模和时间可能性分析的方法。最后,用一个实例解释了这些方法的使用。模糊时态工作流网可以对带有时间不确定性和时间约束的工作流模型中的时态信息进行建模,并对一些典型的时间约束进行时间可能性分析。     

基于UML和Petri网的I-MES建模研究

为了对可集成制造执行系统的行为提供支持 ,需要对其进行有效的建模和模型分析。针对UML和Petri网建模的特点 ,本文提出了基于UML和Petri网———UML PNs的集成建模方法 ,给出了集成建模策略 ,并结合一个示例 ,绘制了对象类图、交互图和行为图 ,最后将其映射成Petri网模型 ,进行模型的分析工作 ,为可集成制造执行系统的设计和开发建立了良好的基础     

基于面向对象赋时Petri网的工作流建模方法

介绍了一般Petri网代数表示的基本定义，分析了赋时Petri网引入时间因素的两种方式。将面向对象建模技术融入到Petri网模型中，形成了面向对象赋时Petri网模型，讨论了建立基于面向对象赋时Petri网的工作流模型的步骤。最后运用面向对象赋时Petri网建立了某制造企业业务流程的工作流模型，并运用可达树分析方法分析了网模型的活性。     

统一建模语言状态图的Petri网模型及其分析方法

针对现有关于统一建模语言状态图形式化语义研究过程中存在的缺点,给出一种统一建模语言状态图的形式化语法表示方法,结合统一网、着色网定义了描述统一建模语言状态图动态语义的Petri网模型状态图网,状态图网可以准确描述状态图中的层间转移、转移的冲突和并发等现象,并且可以描述状态图转移上的数据处理和状态图之间的通讯机制,给出了从统一建模语言状态图到状态图网的转换规则,讨论了基于状态图网验证统一建模语言状态图正确性和一致性的方法.     

基于Petri网的产品研发设计工作流的柔性建模方法

为了解决复杂产品研发设计工作流建模问题,提高产品研发设计工作流管理系统在运行中对动态变化的响应能力,提出了一种基于Petri网的柔性建模方法.该方法结合面向对象和分层的思想对Petri网进行扩展,利用优先级、变迁触发规则等属性规则描述了模型的柔性.该方法不仅可以降低产品研发设计工作流建模的复杂度,还可以支持产品研发设计...     

基于ECA规则的适应性工作流技术研究

工作流管理系统能够给企业的业务运行提供有力支持。但是，目前的工作流管理系统对过程模型的表达过分简化，影响了它在实际应用中的效果。为了提高工作流管理系统的适应性，文中形式化地定义了适合于工作流的ECA规则。在此基础上提出了基于ECA规则的工作流模型，并将该模型与基于Petri网和基于UML活动图的工作流模型进行了比较。提出了一种基于事件表达式重写策略的事件检测方法，以提高工作流引擎的执行效率。最后，介绍了一个基于ECA规则的工作流技术的应用系统。     

质量管理系统中柔性工作流建模方法研究

针对传统质量管理对流程控制的不足,分析了传统工作流在柔性支持上的缺乏及业务过程建模描述复杂、僵化等问题,提出了一种基于柔性工作流的质量管理系统,结合UML定义良好、易于表达等特点,给出了基于扩展UML活动图的柔性建模方法,引入了复杂柔性节点的概念,提高了业务过程的柔性。实践表明,这一方法降低了业务过程模型的复杂度、增强了实际应用系统的灵活性、拓宽了适用性,为柔性工作流管理系统的进一步研究做出了有益的探索。     

支持工程变更的柔性工作流系统建模与实现

提高工作流系统的柔性需要从工作流的建模、系统设计等各方面去努力.将扩展的变迁时间间隔Petri网应用于工作流程的建模,通过对每个变迁节增加点火标识,满足流程处理中对并行性、同步性和回溯反馈等要求;并以工程变更管理为背景提出一种适应复杂多变流程的工作流模型,以及在工作流设计中提高系统柔性的一些策略.最后,讨论了基于该模型的工作流系统的原型实现.     

基于广义随机Petri网的可视化建模与仿真工具

为了满足Petri网理论的应用研究的需要,首先给出了层次对象广义随机Petri网模型的定义,并运用面向对象方法设计和开发了基于层次对象广义随机Petri网的可视化建模和仿真工具软件,详细介绍了该软件工具的设计方法,包括功能结构图、网模型对象类图和符合可扩展标记语言规范的中性文件格式存储模型数据结构。最后通过实例说明了该工具应用的有效性。