分布式办公自动化建模与配置分解系统的研究与实现
文献类型 | 学位 |
作者 | 易君[1] |
机构 | 北京航空航天大学 ↓ |
授予学位 | 硕士 |
年度 | 2004 |
学位授予单位 | 北京航空航天大学 |
语言 | 中文 |
关键词 | 工作流;工作流管理系统;工作流建模 |
摘要 | 分布式工作流管理系统由于具有良好的可扩展性、健壮性目前已成为工作流管理系统发展的主流.该文以应用于办公自动化领域的分布式工作流系统为研究对象,探讨与工作流模型、定义与模型描述信息分解相关的一系列技术问题.该文首先介绍了工作流管理中的一些基本概念,并分析了当前工作流管理系统体系结构的一些特点,引入了该系统采用的全分布式体系结构,介绍了这种全分布式体系机构的特点,经过分析我们发现全分布式系统结构能够适应当前的应用环境,是一种比较理想的结构设计.确定了整个系统的体系结构设计以后,针对办公自动化领域的工作流模型的特点,并提出了该文的工作流元模型,该文的工作流元模型由过程模型、组织结构模型和数据模型等三个子模型组成.子模型分开的策略有利于具体描述的维护.针对工作流模型,我们设计了一种形式化的工作流描述语言,该语言简洁直观,同时其丰富的描述能力完全可以描述办公中可能出现的各种流程类型.根据形式化语言与下推自动机的等价性定理,我们提出了一种基于下推自动机引导的建模方法,在工作流建摸的同时同步完成了语法检查,有效性验证,可以保证所建立的工作流模型的正确性.最后给出了对工作流描述进行分解和发布的方法.论文最后对全文进行了总结并对今后的工作提出了展望. |
影响因子:
dc:title:分布式办公自动化建模与配置分解系统的研究与实现
dc:creator:易君
dc:date: publishDate:1753-01-01
dc:type:学位
dc:format: Media:北京航空航天大学
dc:identifier: LnterrelatedLiterature:北京航空航天大学.2004.
dc:identifier:DOI:
dc: identifier:ISBN: