【摘 要】
：
工作流管理技术是实现企业业务过程重组、过程管理和过程自动化的核心技术,是实现先进制造战略的客观需求。工作流建模就是将实际的经营过程描述成计算机可处理的形式化表示,
论文部分内容阅读
工作流管理技术是实现企业业务过程重组、过程管理和过程自动化的核心技术,是实现先进制造战略的客观需求。工作流建模就是将实际的经营过程描述成计算机可处理的形式化表示,它是工作流管理技术研究的基础。 工作流产品经过80年代的萌芽和90年代的繁荣,已经基本上确定了在计算机应用市场上的地位。纵观国内外的各工作流产品,经过20年的发展,已经取得了显著的成果,但是还存在着很多的不足,如标准化问题等等。 该建模工具的设计原则是:规范性、易实用性、无二义性。基于活动网络的工作流建模直观、易使用,Petri网的建模有严密的数学逻辑,在比较了二者的优缺的基础上,本文的工作流建模工具在表示方式上采用了活动网络的建模方式,在计算方法上采用了Petri网的建模方法。工作流模型的输出为XML格式,满足XPDL规范,这种格式的模型输出使工作流建模工具之间、工作流建模工具与工作流管理系统之间更好的交互与集成。另外本文讨论了几种常见的工作流模式,以及它们转换为Petri网后的表示方法。工作流模型包括过程模型、组织模型和资源模型。过程模型通过引用组织模型和资源模型完成建模。本文讨论了以树形结构来存储组织模型,在工作流使用组织模型时采用动态的工作组概念,实现了过程模型和资源模型的解耦,资源模型也同样。 对于工作流模型的语法正确性和结构正确性,我们可以采用数学证明的方法来加以验证。语法正确性比较易于证明,而结构正确性的证明则较难,本文采用了一种基于图归约法的工作流模型结构冲突验证方法,该方法可以检测出工作流模型中存在的各种结构冲突。
其他文献
当前PWM(Pulse Width Modulation)控制技术广泛应用于电气设备系统。电气设备在受PWM控制时EIM(Electrical Insulation Materials EIM)和(Electrical Insulation Systems EIS
网格技术及其基础设施可实现不同组织内部及彼此之间的资源和服务的高度集成，它可以为高性能计算和问题解决带来新的方法和途径，实现了网络虚拟环境上的资源共享和协同工作。开
急剧增长的移动业务需求促使着高速、可靠、安全的无线通信技术不断进步,而频谱资源稀缺、利用率低及无线链路低可靠、易窃听等问题却束缚着其发展。结合认知无线电与协作通
网络技术在近二三十年来飞速发展，随着Internet的迅速普及，网络规模不断扩大，不幸的是，随着网络规模的增加，出现问题的可能性也在增加，这就对通信协议测试技术提出了巨大的挑战。传
网格是继万维网之后的一种新兴技术，其目的是要利用互联网把分散在不同地理位置的电脑组织成一台“虚拟的超级计算机”，实现计算资源、存储资源、数据资源、信息资源、软件资源
目前，软件测试技术的研究领域虽然取得了一些成果，但在具体的开发环境下开发的特定领域的软件系统应采用怎样的测试方法对其进行全面的、完整的测试，仍没有具体的标准可以遵循。
在交通迅猛发展的今天,随着经济的发展和科技进步,迅捷、高效的车辆科学管理和疏通就越来越重要,而这些都离不开车辆检测。目前在车辆检测领域,视频检测经过十几年的发展,技
随着多媒体和网络技术的迅速发展，大量的视频信息不断地在网络上涌现出来，极大地丰富了人们的日常生活。但是，视频信息的丰富性是以其无结构性为代价的，在海量的视频数据库中人们
语音是人类进行相互交流和通信最便捷的手段，在当今数字化的信息时代，用数字化的技术进行语音的增强、传送、识别、合成、存储已成为语音信号处理技术的科学前沿。语音识别技术
本文采用了协议组合的技术，对SIP协议在每一层进一步划分成协议构件，建立了一个SIP协议组合实现模型，在这个模型中，将复杂的协议功能划分成几个小的功能，使得协议之间的交互更加清