工作流模型的CSP语义描述与分析研究

来源 :华东师范大学 | 被引量 : 0次 | 上传用户:wxcplayer
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
工作流作为支持企业经营过程重组、经营过程自动化的一种手段,已在并行工程、办公自动化、计算机集成制造等方面得到了广泛的应用。随着信息技术、分布对象技术、Internet/Intranet技术的发展,在全球范围内对工作流的技术研究以及相关产品开发进入了更为繁荣的阶段。工作流模型是对组织机构业务过程的抽象表示,包含了工作流执行所需要的各种信息,是工作流执行的前提和基础,直接影响到整个工作流系统的正确性与执行效率等关键问题。然而现有工作流管理系统普遍存在的一个不足是缺乏有效的方法与工具来保证工作流模型的合理性,这已成为工作流得到进一步广泛应用的障碍。从现有研究看,对工作流模型描述和分析技术还远没有成熟,原因在于两方面:其一,许多工作流模型的描述是基于直观理解,没有严格的形式化描述,缺乏坚实的理论基础,因而不能很好地描述工作流中丰富的语义信息,从而在分析检测问题上也就没有成熟的数学方法可以依据;其二,现有技术都偏重于对控制结构的描述和分析,忽视对数据以及资源语义信息的全面描述和分析。针对这些不足,本文提出了使用CSP对工作流模型进行语义描述,在对进程代数CSP进行深入了解的基础上,结合工作流元模型,定义了工作流模型中的事件与基本进程;其次,针对工作流定义标准语言XPDL对模型语义分析能力的不足,提出了XPDL到CSP进程的转化方法,从而对任何符合XPDL标准的工作流模型均可以映射到CSP进程,然后再利用CSP的成熟理论对模型进行分析;再次,在研究工作流模型的语义正确性的基础上,利用CSP进程的精化关系以及工具FDR,提出了通过检测断言来对工作流模型进行分析的方法;最后通过对一工作流实例进行CSP语义描述和分析,并说明该方法在工作流系统中的应用,验证了方法的有效性。
其他文献
高频链矩阵整流器由输入滤波器、矩阵变换器、高频变压器、不控整流器以及输出滤波器组成,能够实现网侧单位功率因数,具有高频化、隔离变压、变换级数少,功率密度高等优点,该
数据挖掘技术是伴随信息量的迅速增长而诞生的,如何满足人们对知识与信息的渴求,以便快速地获取知识以及应用于决策领域,已经成为当前信息处理中的热门课题之一。数据挖掘的
随着科技的逐渐进步,喷雾技术已广泛应用于农业、工业、医学和科研等领域,喷雾形成的雾滴是常见的分析测量对象。其中雾滴的粒径分布等参数可以体现雾滴的瞬时行为和状态,获
本文首先简要介绍了分形的基本理论和聚集生长的重要模型——DLA模型,以及该模型的相关性质。考虑到自然中的聚集生长过程,凝聚物的粒子源不一定具有类似于传统DLA模型的对称性
超声波电机是一种具有低速大力矩、高功率密度等特点的新原理电机。迄今,世界各国对各类超声波电机展开大量研究,从原理、数学模型以致控制策略等已越趋成熟。相对而言,超声波电
电力系统中性点接地方式多种多样,我国配电网主要采用中性点不接地,经消弧线圈接地或者小电阻接地等方式。随着城市电网的改造,架空线入地工程的深入,电力电缆的广泛使用,中性点经小电阻接地方式在城市电网中得到的越来越多的应用。本文将详细论述各中接地方式的优缺点。单相接地故障占配网故障的60%-70%,研究单相接地故障能加强配网主要故障的理解,对于电力系统的运行有着非常重要的指导作用。原先对单相接地故障的仿
近年来,下垂控制的逆变器由于具有“即插即用”、无需通信等优点,在分布式发电系统中应用越来越广泛。合理有效利用分布式电源的关键技术是将分布式电源与电网相连实现并网发