【摘 要】
：
该文在对工作流的相关标准以及办公自动化应用需求进行分析的基础上,提出了一种符合WFMC规范的工作流应用开发和运行平台(WF平台)的体系结构,重点讨论适于描述办公自动化中工
论文部分内容阅读
该文在对工作流的相关标准以及办公自动化应用需求进行分析的基础上,提出了一种符合WFMC规范的工作流应用开发和运行平台(WF平台)的体系结构,重点讨论适于描述办公自动化中工作流的形式化模型及其性能评价.该文首先对国内外工作流相关的技术、标准以及一些产品做了分析,结合具体的办公自动化系统应用需求,提出了该平台(WF平台)的体系结构;重点讨论了将用WPDL描述的工作流转换成Petri网模型的转换技术以及Petri网模型的正确性验证和性能分析,并结合河南某电信分公司网络办公自动化系统中的一个具体实例,分析了转换的方法,最后详细介绍了对转换后得到的工作流模型进行正确性验证和性能分析的方法.
其他文献
本文就最新的Web数据库技术进行了研究。通过对目前世界上流行的数据库产品的性能分析，和对当前较为流行的有代表性的Web服务器端的访问技术分析和比较，以及在对Web数据库相关
该课题主要研究在网络环境下预测模型库管理系统,包括模型的存储管理、模型的运行管理.宏观经济问题具有复杂巨系统的特征,可以应用计算机技术、网络技术与计量经济学相结合
随着人工智能的发展，特别是对基于知识的系统的研制和开发，人们越来越清楚的认识到一阶逻辑的局限性：很难描述和处理知识的不确定性、不一致性和不完全性。布尔算子模糊逻辑(简
该文阐述了核电厂经济评价决策支持系统的设计与开发.针对目前核电厂经济评价工作的现状和决策支持的特点,设计了定性与定量相结合的评价方法,提出了一种三层C/S体系的智能决
该文在分析了IP协议的技术细节后,讨论了IPv4中的移动IP机制,并针对IPv6协议的特性作了剖析,并在此基础上提出了基于IPv6的移动通信的设想.通过缩短路由器公告和路由器请求的
该文从介绍数字视频的一般技术出发,首先论述了针对视频通信的数字视频压缩技术、阐明了视频通信对视频编码的要求.其次,讲述了视频编解码的一般国际标准及视频编解码器的工
该文作者设计并部分实现了基于设计模式的工具DPB_TOOLS（Design Pattern Based tools）.在该工具中,我们提出了以下新技术：动态模板生成.这使DPB_TOOLS克服了以往工具因采用固定
该文在大量调研的基础上,详细论述了国内外工程勘察软件的发展状况,析出了国内制约该领域发展的因素,而后提出了基于GIS研发工程勘察钻孔采样数据管理分析系统的方案.将GIS技
随着Internet/Intranet技术的高速发展和广泛应用,基于B/S结构的信息管理系统在很多领域逐步取代传统的C/S结构的信息管理系统.该文在分析了C/S计算模式存在的不足的基础上,