上海市科委科技攻关项目(03dz15027)

作品数：6被引量：34H指数：4
导出分析报告
相关作者：李明禄唐飞龙毛宏燕黄林鹏孙永强更多>>
相关机构：上海交通大学香港大学更多>>
相关期刊：《计算机学报》《上海交通大学学报》《电子学报》《计算机科学》更多>>
相关主题：WEB服务网络服务补偿事务事务处理模型事务补偿更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向服务的分布式部分计值被引量：1
《上海交通大学学报》2006年第3期507-510,514,共5页毛宏燕 黄林鹏 孙永强 
国家高技术研究发展计划(863)项目(2004AA104280;2001AA113160);上海科委科技攻关项目(03dz15027);上海高校网格技术E-研究院(200308)
从服务运行角度出发,提出利用部分计值技术优化服务的新方法,将通用服务例化为更有效的实现.基于字节码例化的部分计值和网格特性,分析并给出了分布式部分计值架构和实现机制.通过光线跟踪服务实例的分析,论述了部分计值对改进服务性能...
关键词：网络技术 网络服务 分布式部分计值 优化 WEB服务 字节码例化 
基于Web服务的图像处理系统研究与实现被引量：5
《计算机科学》2005年第10期190-192,共3页毛宏燕 黄林鹏 孙永强 
国家973项目(2002CB312002)资助;上海科委科技攻关项目(03dz15027)资助;上海高校网格技术研究院(200308)资助
网格技术的发展,特别是网络服务资源框架WSRF的推出,为以服务形式实现大型分布式应用提供了有力支持。本文结合基于Web服务构建的图像处理系统WIP,讨论实现网格应用系统的相关技术。WIP采用多层应用模式分解系统功能,任务调度通过UDDI...
关键词：网格环境 网络服务 图像处理 消息服务 注册中心 图像处理系统 Web服务 系统研究 分布式应用 网格技术 计算资源 网络服务 服务形式 系统功能 
服务网格中的事务服务及基于Petri网的正确性分析被引量：11
《计算机学报》2005年第4期667-676,共10页唐飞龙 李明禄 黄哲学 王卓立 
国家自然科学基金委项目基金(60473092;60433040);国家"九七三"重点基础研究发展规划项目基金(2002CB312002);教育部中国教育科研网格 China Grid项目基金;上海市科委科技攻关重大项目基金(03dz15027)资助.
面向服务的的架构(SOA)推动着网格技术从科学计算走向商业领域,大部分商业应用需要事务的支持.该文提出了服务网格环境下用于事务管理的网格事务服务,它能够动态地发现执行子事务的网格服务;根据事务类型调用原子事务或聚合事务协调算...
关键词：服务网格 事务服务 PETRI网 模型 算法 
信息网格门户的研究被引量：1
《电子学报》2004年第F12期199-202,共4页李蓥 李明禄 俞嘉地 
国家 973计划项目 (No .2 0 0 2CB31 2 0 0 2 ) ;国家 863项目 (No .2 0 0 1AA41 531 0 ) ;上海市科委科技攻关重大项目 (No .0 3dz1 50 2 7)
网格门户提供了一个访问网格环境的Web界面 .当前存在的网格门户主要是基于计算网格的环境而设计 ,因此门户设计的重点是文件访问 ,提交任务 ,监控任务的执行 ,从而达到简化研究人员访问网格计算资源的目的 .信息网格是在网格基础上的...
关键词：信息网格 信息服务 工作流 事务 
一个Web服务事务处理模型:结构、算法和事务补偿被引量：12
《电子学报》2003年第z1期2074-2078,共5页唐飞龙 李明禄 曹健 
国家 973计划项目 (No .2 0 0 2CB31 2 0 0 2 ) ;国家 863项目 (No .2 0 0 1AA41 531 0 );上海市科委科技攻关重大项目 (No .0 3dz1 50 2 7);重点项目(No .0 2 51 1 50 33)
事务处理是Web服务能否用于电子商务的关键技术之一 .Web服务事务处理必须提供协调短事务和长事务的能力 .本文提出了一个能够同时处理原子事务和聚合事务的模型 ,研究了其协调算法、状态转换及恢复机制 .聚合事务允许候选者独立提交 ,...
关键词：WEB服务 模型 原子事务 聚合事务 补偿事务 
基于抽象状态机的网格系统设计和分析被引量：4
《电子学报》2003年第z1期2096-2100,共5页刘晖 李明禄 
国家重点基础研究发展规划 973(No .2 0 0 2CB31 2 0 0 2 );上海市科委科技攻关重大项目 (No .0 3dz1 50 2 7) ;上海市科委科技攻关重点项目(No .0 2 51 1 50 33)
基于可执行规范的实现 测试同步开发模式可以将错误尽早消灭在各个开发阶段的初期 .其理论基础是抽象状态机ASM ,实现工具是支持 .NET的AsmL .本文首先介绍了基于可执行规范的实现 测试同步开发模式、ASM起源和定义 ,然后采用ASM描述...
关键词：抽象状态机 抽象状态机语言 网格 软件测试 可执行规范 有限状态机 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部