分布式协同工作环境中时间工作流建模技术研究机械设计及理论专业论文.docxVIP

浙江大学博士学位论文： 浙江大学博士学位论文： 分布式协同工作环境中时间工作流建模技术研究 摘 要 随着经济活动的全球化，分布式协同工作环境成为现代企业业务过程运作环境的必然选 择=目前，作为支持企业业务过程建模、过程优化及业务过程实现的工作流管理技术，为分 布式协同工作环境中企业业务过程管理提供了非常适合的解决方案。建立计算机可理解和处 理的、形式化定义和描述企业中业务过程的工作流模型，是企业应用工作流管理技术的关键。 由于企业业务过程渐趋分布性、协同性和依赖’|生，工作流模型应该能够描述分布式协同工作 环境中业务过程的多粒度及多时区时间约束和同步协同约束。近十多年来，研究者们提出了 许多[作流模型来满足各种应用需求，如基于活动网络图模型、基于IDEF模型、基于Petri 网模型和基于对话模型等．然而，它们主要集中于对异步结构化流程的支持，尤其缺乏对分 布式协同工作环境中时间约束和同步协同约柬信息的有效建模。 分布式协同_[作环境中时间工作流建模存在两大挑战：首先是时间语义和同步协同语义 的复杂性，时间具有多粒度性、时区性、相对性和绝对性等特点，需要建立静态及动态一致 性检测算法，同时，同步协同活动的各个参与者之间存在复杂的依赖关系，需要建立有效的 控制机制：其次是时间性能分析的复杂性，。[作流中时间约束不具各排队论平【I Markov随机 过程所要求的活动时延服从指数分布函数的条件，不适用于经典的性能分忻方法。尽管近年 {}∈【：作流中时间建模研究取得了很大进展，基了二时间Petri网的工作流表示也取得了较好的 效果，但时间工作流建模仍是当前一个极具挑战性的研究课题。本文研究目标就是要建立一 个适合分布式协同工作环境中业务过程特点的、具有良好形式化描述的、统一的时间：[作流 模型。 本文分别从语义层、表示屡及性能分析层，建立了支持分布式协同：[作环境中业务过程 特点的时问j二作流模型。模型从语义层着手，分析分布式协同工作环境中业务过程对工作流 模型的要求，定义了适合于业务过程特点的完整约束概念集合：以此为依据，用扩展时间：[ 作流网表示具有该约束的业务过程：然后根据分析策略，从时间计算到合理性分析。再到处 理能力评价．完成了模型的性能分析，为分布式协同工作环境中时间约束和同步协同约束信 息描述提供了集成框架。 总体上说，本文贡献如下： ● 通过引入时间空间概念，提出了’r作流模型的多粒度及多时区时间约求语义表达， 给出了多粒度及多时区时间约束一致陛算法，从而可以在模型静态建立阶段检测剥 动态运行阶段预测时间约束一致性。 ● 通过引入协作子概念．提出了时间工作流模型的同步协同约束语义表达．分析了同 摘 摘 要 步协同约束语义中的数据依赖及协作活动中状态依赖。 · 根据时间工作流网特点及其不足，引入静态触发时间间隔及时问映射函数，定义了 扩展时间工作流网概念，分析了扩展时间工作流网的触发规则及运行过程。 · 根据扩展时间工作流网的基本结构．在线性时间复杂度内建立了扩展时间工作流网 的时序一致性分析方法。 ● 通过引入变迁触发完成概率函数，定义了扩展时间工作流网性能分析模型，由此可 计算模型的吞吐率等性能指标。 在给出工作流建模相关概念及目前工作流中日-J-N约束建模存在问题基础上，本文第二章 和第三章详细论述了工作流模型的多粒度及多时区时间约束和同步协同约束语义描述：第四 章给出了时间工作流模型的扩展时间工作流网表示，包括性质、构建规则及触发规则：第五 章和第六章论述了扩展时间工作流网的时序一致性分析和性能分析算法；第七章介绍了本文 研究成果在支持大规模定制设计工作流管理系统中的应用：最后总结全文，并展望了今后的 研究方向。 ＼ 关键词：分布式协同』二作环境，工作流模型，时间建模，一致性，时间Petri网，扩展时间 L作流网．多粒度，时区．Markov链，性能评价，【作流管理系统，大规模定制 设计 浙江大学博士学位论文： 浙江大学博士学位论文： 分布式协同工作环境中时间工作流建模技术研究 ABSTRACT With the fast development of economic gtobalization．distributed cooperative work environment is the inevitable choice of operation environment of modem enterprises‘business processes．Werkflow marlagement technology,which call model，optimize and jnstantiate business processes，offers a suitable