【摘 要】
：
上世纪90年代以来,随着计算机网络在应用中的日益普及,出现了众多各具特色的工作流产品。相对于工作流产品市场的繁荣,工作流的相关理论研究则显得有些滞后。特别是工作流建
论文部分内容阅读
上世纪90年代以来,随着计算机网络在应用中的日益普及,出现了众多各具特色的工作流产品。相对于工作流产品市场的繁荣,工作流的相关理论研究则显得有些滞后。特别是工作流建模方面,目前没有一个统一的解决方案,各产品之间互不兼容;而且现有的工作流模型普遍缺乏严密的定义,很难支持对流程正确性、有效性的分析验证。 针对现状,本文首先提出将工作流建模明确的划分成两个层次:流程逻辑层和描述语言层,分析了不同层次的目标,主要内容以及如何利用层次的划分来保证不同工作流产品在保持自我特色的情况下实现流程定义的互操作,并将目前主要的工作流建模技术按照两层的标准进行了分类。 在分层的基础上,综合目前工作流建模的几种方法,本文提出了一种新的工作流模型:XOP-WFM(Object Petri-Net WorkFlow Model Based on XPDL)。该模型在描述语言层采用了XPDL(XML Process Definition Language)标准,在流程逻辑层采用了对象建模和Petri网建模相结合的建模方式。在XOP-WFM中,我们通过Petri网的相关理论来保证流程模型的严密性,并完成对流程的有效性、正确性分析验证;通过对象技术以及规则机制来保证流程的动态变化性和模型重用性;通过描述语言层的XPDL标准来保证模型的实用性。 为印证XOP-WFM模型的合理性和可行性,本文设计并实现了一套基于XOP-WFM的工作流建模工具——XOP-Flow。通过实际建模以及与其它建模方法的比较分析发现,XOP-WFM除了具有严格的形式化定义,支持对流程的正确性分析,实现了流程互操作以及具有较好可读性外还可降低流程建模的复杂度。
其他文献
在大型计算环境中,故障的发生不可避免,而由此造成的损失也是巨大的。容错技术的应用在一定程度上能够减少故障的发生带来的影响,提高系统可靠性。进程级的容错则是直接针对
基于内容的视频分析和检索是近年来一个非常活跃的研究方向，其基本研究目的是开发出自动化的算法和系统，提供组织、管理和应用视频数据的有效手段。视频内容结构化和视频摘要是
双十一购物狂欢节是指每年11月11日的网络促销日。在这一天,许多企业会进行大规模促销活动,网购订单均会瞬间激增。同一时间,企业面临一个运输调度的问题,然而货仓里货物数量以及运输环境可能产生很多不确定因素。货物运输调度问题(简称运输调度)是将有限的资源分配给各种不同需求的决策过程,其目的就是优化一个或者多个目标,它广泛存在于当今大多数的制造和生产系统中。优化的运输调度方案,可使得货物到达时间提前,降
本论文致力于研究CDMA无线蜂窝网定位服务实现的关键技术，探索定位系统实现的方式以及提高定位精度的方法。本文总结了T1P1无线信道模型的特点及其适用环境，提出了一种基于T1P1
随着国际互联网和无线通讯的迅速发展,图像被广泛应用于在各种多媒体服务中,图像压缩技术伴随着信息理论的发展和信息交流的需求而不断发展、成熟。图像压缩的基本理论起源于
云存储是在云计算概念上延伸和发展出来的一个新的概念,作为一种新兴的存储模式,其特有的优势使它得到众厂商、开源社区和科研机构的高度重视,并得到快速发展。越来越多的厂
由于城市交通拥塞现象及交通事故的日趋严重,交通监控系统的开发近年来引起了广泛的关注。正确的交通信息是进行交通监控的基础,因此交通信息数据的准确与否影响着对交通的管
特征提取是模式识别研究的核心内容之一;其基本过程是根据实际需要,定义一个函数映射,将数据从原始输入空间投影到一个新的特征空间,从而提取出感兴趣的信息。本文的主要研究
Geo PDF是一种新兴的存储地图的文件格式。Geo PDF地图以PDF文件格式为基础,除了存储文字和图像以外,还存储了图像所关联的地理属性信息,成功的解决了传统地图在易用性、便携
本文介绍了湖北省国税局开发的“网络和主机实时监控系统”，此系统可对广域网、UNIX服务器、重要WindowsPC服务器和湖北国税四类关键业务数据异地灾备，实现实时量化监控，并能进