基于扩展型工作流网的网格工作流模型研究

基于传统的工作流网不能满足网格动态性的要求,及其无法体现数据流的不足,提出一种可行的扩展型工作流网(EWFN)的网格工作流模型.该模型适应网格动态变化特点和应用处理需求,并且既能表示出控制流,又能表示出数据流.使用实例表明采用该模型的可行性及其优点.     

基于价格时间Petri网的网格计算应用模型及分析

网格计算环境下资源管理和任务调度是当前研究的热点问题,OGSA体系结构提出了网格服务的概念,但缺乏应用对网格服务质量要求的形式化描述.本文对OGSA体系结构进行了必要的扩展,提出网格用户应用的价格时间Petri网模型,利用该模型可对网格应用的QoS需求进行定义,并可利用Petri网的工具分析用户应用模型的正确性和时间特性,给出了具体的分析算法.     

军用网格体系结构及Petri Net模型

网格体系结构是网格计算的关键技术之一.针对军事应用需求,提出了一种面向军事应用的网格体系结构,讨论了各层次组成及功能,并研究了网格体系结构的Petri Net描述方法.与经典网格体系结构相比,提出的体系结构有助于提高网格系统的好用性、透明性、自治性、模块性、一致性等.     

网格社区的进程代数模型(GCPAM)

虚组织VO(VirtualOrganization)和网格社区概念是网格理论模型的一个重要组成部分,建立合适的网格社区理论模型有助于精确定义网格社区概念、研究网格社区的重要特性。借鉴进程代数的方法提出了网格社区进程代数模型(Grid Community Process Algebra Model,GCPAM),在形式化定义社区概念方面做出了初步尝试,并为研究网格社区提供了一个合适的工具。     

应用AXIS进行网格服务开发

Axis是Apache Soap第三代的实现，采用完全开放和可插入的体系结构，把SOAP与Java相结合，真正实现跨平台、跨语言。文章基于Soap设计思想，研究了Axis体系结构及其处理SOAP消息的流程，并结合信息网格开发实例，介绍了应用Axis开发、获取数据库服务的全过程。     

信息网格门户的研究

网格门户提供了一个访问网格环境的Web界面．当前存在的网格门户主要是基于计算网格的环境而设计，因此门户设计的重点是文件访问，提交任务，监控任务的执行，从而达到简化研究人员访问网格计算资源的目的．信息网格是在网格基础上的为用户提供信息的平台，通过信息网格门户用户可以无缝的获取所需要的信息．本文以上海网格为背景着重对信息网格门户的特点以及网格资源管理、工作流、事务进行分析和研究．     

集成网格服务的中国虚拟天文台工作流系统研究与设计

根据天文数据的广域分布、异构性以及共享性的特点,将网格技术应用于虚拟天文台项目中,并与工作流技术相结合,提出了集成网格技术的虚拟天文台的工作流体系结构。该结构利用网格技术有效解决了虚拟天文台建设中天文数据资源、计算资源、存储资源等各种资源的全面共享,工作流技术集成网格技术则使得服务调用应用的流程更加规范,实现了协同合作,达到更高的效率,以期望达到真正的无缝连接。     

基于网格工作流的政务协同研究

随着网格基础设施的逐渐完善以及网格应用研究的深入,网格环境下电子政务中协同处理、协同服务的应用越来越复杂。针对网格环境下政务工作流特点以及传统支持跨部门工作流模型的缺点,在研究网格工作流基础上,提出了一个QoS约束的政务协同工作模型。最后通过一个应用实例来实现了模型的应用。     

OGSA开放网格服务体系结构研究

网格计算是信息技术的又一次革命,它的出现为分布式资源的共享和服务提供了一种新的方式。在网格计算的发展过程中,先后主要出现了两种体系结构“五层沙漏结构”和OGSA开放网格体系结构。主要介绍了OGSA体系结构并对它和Web服务进行了一个比较。     

基于Petri网的工作流网模型分析与应用问题研究

文章介绍了Petri网和工作流网的基本知识,以及工作流网模型基本结构,并结合公文管理中发文部分工作流应用环境,提出了一个相对完整的基于Petri网的工作流网模型,并对模型的正确性进行了分析。     

基于Web Services服务管理协议的设计与分析

该文提出基于Web Services的服务管理协议(WSSMP),用于有效地管理跨不同管理域的服务。利用Petri网对WSSMP进行了形式化描述,并利用Petri网的可达性分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、完整性、前进性等性质,从而减少了协议设计中潜在的错误。并在仿真平台上进行了协议测试,测试表明读取大量对象时,随着读取对象数的增多,压缩WSSMP所使用的带宽增加很少,该协议适应服务管理需要大量处理数据的特性。     

On the Design and Temporal Petri Net Verification of Grid Commerce Architecture

The emergence of Grid Computing settings lays a solid foundation for designing and constructing a next generation E-commerce environment. This work presents a new E-commerce architecture based on a Grid Computing environment, and models and analyzes the architecture using Temporal Petri nets （TPNs）. It can make sufficiently use of the Grid resources to implement various electronic bargains between the geographically dispersed users. By means of its TPN model, some main temporal properties are represented and verified formally.     

融合网格的NGN增值服务平台及建模分析

该文提出一种融合网格的下一代网络增值服务平台以解决下一代网络应用服务器的性能问题。该平台将下一代网络应用服务器中的增值业务以网格服务的形式进行封装,并为封装后的增值服务提供运行环境。平台采用一种基于网格技术的任务调度算法,通过利用现有网络上的处理能力以提高系统整体处理能力和性能。采用随机Petri网对平台进行建模,并进行性能仿真实验。实验结果说明本平台能较好地达到利用网络中空闲处理能力以提高系统整体性能的目标。     

网格服务建模分析

在网格环境下．资源以服务的形式共享。针对虚拟组织内网格服务的动态性和广域性．分析了网格服务的特点，指出了网格服务建模需要着重考虑的因素，并建立了其相应的数学模型．对其进行了初步分析．对若干个小规模虚拟组织组成的网格系统进行了仿真实验，实验结果验证了模型的合理性。     

一个基于网格资源超市的计算网格资源管理模型

在现有的基于经济模型的网格资源管理方法中,用户共享资源访问一般经由网格用户代理实现,而资源提供者将资源交给网格资源代理处理,网格用户代理通过网格资源经纪访问网格资源代理,获取共享资源信息并使用共享资源。这类方法制约了用户直接选择使用共享资源,也限制了用户共享资源的范围、延长了作业运行周期。文章给出的基于网格资源超市的计算网格资源管理模型、共享资源访问流程及网格资源管理分配策略,较好地解决了这几个问题。     

基于Web的工作流管理系统的设计与实现

介绍了自主开发的基于Web的工作流管理系统的工作流模型定义、工作流引擎、工作流监控与管理、资源管理服务四个模块的功能与实现方法。并将该系统成功的用在了活塞PDM系统中的工作流管理。     

一个基于网格服务的面向服务架构设计与实现

面向服务架构是一种体系结构理念,通过接口和契约来连接业务逻辑和具体实现.文中提出了一种在网格环境下提供服务的面向服务架构的设计,并在Web服务资源框架标准和GT4工具下给出了一个实现.最后,验证了该架构的优越性,为实现SOA提供了一种比传统实现方式更好的解决方案.     

信息栅格技术发展浅析

介绍了美军全球信息栅格计划发展概况,并对通信基础设施关键技术、计算基础设施关键技术、支撑服务技术、信息安保技术和资源管控技术等信息栅格技术的概念内涵、技术特点、应用前景等方面进行了系统阐述.     

球栅阵列器件及其清洗

球栅阵列技术已经激起了电子行业的人们强烈的兴趣。随着人们的目光愈来愈多地关注于BGA器件的组装的时候，对BGA器件进行组装时所产生的清洗和干燥的问题受到了人们广泛的关注，各种各样的BGA器件和焊膏需要采用合适的清洗处理方法。     

P2P网络Peer访问Web Service的研究和实现

文章首先简要介绍了P2P网络和Web Service的技术背景,接着提出了P2P网络与Web Service集成的思想,为此提出Web Service Broker的概念,从而实现P2P网络Peer透明访问Web Service。