协同应用流程并行交互的形式化建模研究

论文摘要

协同技术的不断发展和协同应用研究的深入,使得复杂网络环境下的应用流程变得越来越复杂。随着应用流程的协同性、并行性和规模性的发展,子流程之间的交互也趋于复杂化和频繁化,这可能会导致应用流程之间的交互出现各种瓶颈。针对这个问题,论文研究了协同应用流程之间的并行交互,使用扩展的Petri网对交互模式进行建模和分析,提出一种新的过程描述模型——并行交互网PIPN,其中主要做了以下几个方面的工作：(1)总结了协同应用流程并行交互的三个分析角度。深入分析了协同应用流程的协同性、交互性、并行性等特点,然后根据当前流程交互的研究现状,总结了并行交互研究的三个分析角度：单向/双向、单点/多点和同步/异步。(2)提出了并行交互网模型。考虑协同应用流程交互的复杂性和并行性,提出一种新的交互模型——并行交互网PIPN,为协同流程之间的交互分析奠定了基础。(3)研究了并行交互模式的形式化建模。根据协同应用流程并行交互的三个分析角度,突破已有研究中交互模式的局限性,研究了协同应用流程的7种交互模式,给出了PIPN交互模式的逻辑描述和形式化定义。(4)证明了并行交互模式的活性保持性。深入分析了对交互模式的建模,给出协同应用流程并行交互的建模指导,证明了交互模式的活性保持性。并采用协同应用流程的一个工作流实例——微博客,来描述参与者协同完成并行交互的过程,同时通过子网交互的反例分析说明了并行交互模式对协同流程建模的必要性,体现了PIPN模型的合理性和正确性。

论文目录

• 摘要
• ABSTRACT
• 第一章 绪论
• 1.1 引言
• 1.2 计算机支持的协同工作
• 1.2.1 协同技术概述
• 1.2.2 协同应用流程
• 1.3 工作流技术
• 1.3.1 工作流概述
• 1.3.2 工作流与协同应用流程
• 1.4 主要研究内容和贡献
• 1.5 论文结构组织
• 第二章 相关研究背景
• 2.1 工作流互操作模型
• 2.2 协同流程的相关研究
• 2.3 相关建模方法
• 2.3.1 常见的建模方法
• 2.3.2 Petri网基本概念
• 2.4 本章小结
• 第三章 协同应用流程并行交互的建模
• 3.1 并行交互网PIPN
• 3.1.1 PIPN基本概念
• 3.1.2 PIPN的动态规则
• 3.1.3 PIPN的图形表示
• 3.2 协同应用流程交互分析
• 3.3 交互模式的定义及其图形化表示
• 3.4 PIPN子网合成
• 3.5 PIPN活性保持性
• 3.6 本章小结
• 第四章 应用实例
• 4.1 实例描述
• 4.2 子模型建立
• 4.2.1 博主（听众）子流程模型
• 4.2.2 微博系统子流程模型
• 4.2.3 博主子流程模型
• 4.3 交互分析
• 4.4 本章小结
• 第五章 结论和下一步工作
• 5.1 论文总结
• 5.2 进一步的工作
• 参考文献
• 致谢
• 附：攻读硕士期间参加的研究项目