【摘 要】
:
通过对当前工作流模型的研究现状的总结分析,发现针对工作流中的数据信息的建模,方法还存在局限性.因此,为了建立一种可以合理的同时描述工作流中的过程信息和数据信息的模型
论文部分内容阅读
通过对当前工作流模型的研究现状的总结分析,发现针对工作流中的数据信息的建模,方法还存在局限性.因此,为了建立一种可以合理的同时描述工作流中的过程信息和数据信息的模型,在过程定义方面,采用Petri网建模方法,建立工作流过程模型;在数据信息方面,采用面向对象方法,建立分级多粒度的数据模型.通过结合过程模型和数据对象模型,提出一种扩展数据对象工作流Petri网模型.由于模型中扩充了数据信息,所以模型除了具有结构特性、行为特性外,还具有存在性、可用性和操作匹配性等数据特性.根据出现图、覆盖图等图形分析法、关联矩阵等线性代数法和针对原子数据对象的模型化简法,对模型的各种特性可以进行形式化验证和分析.模型具有形象的描述数据对象和数据操作、保持与传统分析方法的兼容、更好Petri网仿真效果和模型修改的灵活性等特点.可以有效的描述和分析工作流中的过程信息、数据信息及二者之间的依赖关系,为工作流模型的分析验证提供了一种有力的工具.
其他文献
目前,在我国电信网管建设中,电信管理网TMN标准已得到广泛认同,而且已经进入实施和应用阶段。然而,TMN对网络管理作出贡献的同时,TMN本身及其实现方法尚存在一些不足之处,阻碍了电
对美国国家标准技术研究所(NIST)提出的RBAC/WEB实现模型进行了研究,就角色管理工具、角色激活、与WEB服务器接口等几个方面进行了讨论.为了增强RBAC/WEB对最终用户的透明性,
手写签名鉴别是计算机安全领域中身份认证的重要技术之一.由于手写签名在个人身份表征上具有它本身特有的优势,基于手写签名的身份鉴别系统在信息交换、办公自动化、金融、军
本论文主要在两方面进行:一是对构件软件测试技术进行了深入地研究,包括单元测试、集成测试和回归测试;二是研究了构件化软件系统的测试准则,并对测试数据选择的充分性进行了分析
该文以银行信用卡交易数据为研究对象,利用数据挖掘的理论、技术和方法挖掘银行信用卡信息中的有用知识.首先介绍了数据挖掘技术的基本原理,挖掘的核心算法.结合银行领域背景
搜索引擎是帮助人们从浩瀚的网络资源中获取信息的得力工具。但现阶段的搜索引擎人多基于词串匹配的全文搜索技术,理解网络信息文档的能力有限,把握用户真实查询意图的准确程度
提高产品质量、降低生产成本、缩短开发周期是制造业在全球激烈竞争的市场上取得成功和发展的关键因素和永恒追求的目标,基于约束的CAD设计的产品开发哲理、设计与制造集成的
在RealSystem环境下,采用RealSystemSDK为开发工具,对分布式多媒体的媒体内同步进行研究.研究建立在流媒体技术之上,通过在网络上流化一个自定义的媒体文件来达到研究同步的
DICOM是用于医学图像通信的国际标准,在对DICOM标准所规定的各种对象模型、数据结构以及文件格式和编码方式全面分析的基础上,通过设计和编写DICOM图像处理软件,实现了基于UN
安全工作流管理系统以多级安全环境下的工作流授权模型(MLSW)为基础,实现了用户自行设置工作流模板及其任务环节;工作流中的任务节点仅能被经过授权的用户(主体)执行;权限的