随着经济活动的全球化,分布式协同工作环境成为现代企业业务过程运作环境的必然选择。目前,作为支持业务过程建模、过程优化和过程实现的工作流管理技术,为分布式协同工作环境中业务过程管理提供了非常适合的解决方案。建立计算机可理解和处理的、形式化定义和描述业务过程的工作流模型,是企业应用工作流管理技术的关键。由于企业的业务过程渐趋分布性、协同性和依赖性,工作流模型应该能够描述分布式协同工作环境中业务过程的多粒度与多时区时间约束和同步协同约束。近十多年来,研究者们提出了多种工作流模型来满足不同的应用需求,如基于活动网络图模型、基于IDEF模型、基于Petri网模型和基于对话模型等,然而,它们主要集中于对异步结构化流程的支持,尤其缺乏对分布式协同工作环境中时间约束和同步协同约束信息的有效表达。 分布式协同工作环境中时间工作流建模存在两大挑战:首先是时间语义和同步协同约束语义的复杂性,时间具有多粒度性、时区性、相对性和绝对性等特点,需要建立静态和动态一致性检测算法,同时,同步协同活动的各个参与者之间存在复杂的依赖关系,需要建立有效的控制机制;其次是时间性能分析的复杂性,工作流中时间约束不具备排队论和Markov随机过程所要求的活动时延服从指数分布函数的条件,不适用于经典的性能分析方法。尽管近年来工作流中时间建模研究取得了很大进展,基于时间Petri网的工作流表示也取得了较好的效果,但时间工作流建模仍是当前一个极具挑战性的研究课题。本文研究目标就是要建立一个适合分布式协同工作环境中业务过程特点的、具有良好形式化描述的、统一的时间工作流模型。 本文分别从语义层、表示层和性能分析层,建立了支持分布式协同工作环境中业务过程特点的时间工作流模型。模型从语义层着手,分析分布式协同工作环境中业务过程对工作流模型的要求,定义了适合于业务过程特点的约束概念集合;以此为依据,用扩展时间工作流网表示具有该约束的业务过程;然后根据分析策略,从时间计算到合理性分析,再到处理能力评价,完成了模型的性能分析,为分布式协同工作环境中时间约束信息的描述和分析提供了集成框架。总体上说,本文贡献如下: 通过引入时间空间概念,提出了工作流模型的多粒度与多时区时间约束语义,给出 了多粒度与多时区时间约束一致性算法,从而可以在模型静态建立阶段检测和动态 运行阶段预测时间约束一致性。 通过引入协作子概念,提出了时间工作流模型的同步协同约束语义,分析了同步协