您的位置： 专家智库 > >

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

作品数：6 被引量：57H指数：4
相关作者：李明禄唐飞龙毛宏燕黄林鹏孙永强更多>>
相关机构：上海交通大学香港大学更多>>
发文基金：上海市科委科技攻关项目国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 6篇中文期刊文章

领域

  • 6篇自动化与计算...

主题

  • 4篇网格
  • 2篇网络
  • 2篇网络服务
  • 2篇WEB服务
  • 1篇信息服务
  • 1篇信息网
  • 1篇信息网格
  • 1篇有限状态机
  • 1篇原子事务
  • 1篇软件测试
  • 1篇事务
  • 1篇事务补偿
  • 1篇事务处理
  • 1篇事务处理模型
  • 1篇事务服务
  • 1篇图像
  • 1篇图像处理
  • 1篇图像处理系统
  • 1篇注册中心
  • 1篇状态机

机构

  • 6篇上海交通大学
  • 1篇香港大学

作者

  • 4篇李明禄
  • 2篇孙永强
  • 2篇黄林鹏
  • 2篇毛宏燕
  • 2篇唐飞龙
  • 1篇李蓥
  • 1篇黄哲学
  • 1篇曹健
  • 1篇王卓立
  • 1篇刘晖
  • 1篇俞嘉地

传媒

  • 3篇电子学报
  • 1篇计算机学报
  • 1篇上海交通大学...
  • 1篇计算机科学

年份

  • 1篇2006
  • 2篇2005
  • 1篇2004
  • 2篇2003
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
服务网格中的事务服务及基于Petri网的正确性分析被引量：18
2005年
面向服务的的架构(SOA)推动着网格技术从科学计算走向商业领域,大部分商业应用需要事务的支持.该文提出了服务网格环境下用于事务管理的网格事务服务,它能够动态地发现执行子事务的网格服务;根据事务类型调用原子事务或聚合事务协调算法以保证这些服务在行动上实现期望的一致性.通过 Petri 网分析技术,将两种协调算法模型化为Petri网并验证了它们的正确性.网格事务服务可以提供较强的事务管理能力并将复杂的处理过程对用户透明,为网格技术的商业化提供了有效的支持.
唐飞龙李明禄黄哲学王卓立
关键词：服务网格事务服务PETRI网
面向服务的分布式部分计值被引量：1
2006年
从服务运行角度出发,提出利用部分计值技术优化服务的新方法,将通用服务例化为更有效的实现.基于字节码例化的部分计值和网格特性,分析并给出了分布式部分计值架构和实现机制.通过光线跟踪服务实例的分析,论述了部分计值对改进服务性能的可行性,使服务的设计和实现能够有机地统一和分离.
毛宏燕黄林鹏孙永强
关键词：网络技术网络服务WEB服务
基于Web服务的图像处理系统研究与实现被引量：6
2005年
网格技术的发展,特别是网络服务资源框架WSRF的推出,为以服务形式实现大型分布式应用提供了有力支持。本文结合基于Web服务构建的图像处理系统WIP,讨论实现网格应用系统的相关技术。WIP采用多层应用模式分解系统功能,任务调度通过UDDI注册中心分布式调用服务,利用网格环境中空闲计算资源处理图像服务,提高图像计算速度。WIP是基于医学图像构建的,该平台易于扩展到其它应用领域。
毛宏燕黄林鹏孙永强
关键词：网格环境网络服务图像处理注册中心图像处理系统分布式应用网络服务
信息网格门户的研究被引量：1
2004年
网格门户提供了一个访问网格环境的Web界面 .当前存在的网格门户主要是基于计算网格的环境而设计 ,因此门户设计的重点是文件访问 ,提交任务 ,监控任务的执行 ,从而达到简化研究人员访问网格计算资源的目的 .信息网格是在网格基础上的为用户提供信息的平台 ,通过信息网格门户用户可以无缝的获取所需要的信息 .本文以上海网格为背景着重对信息网格门户的特点以及网格资源管理、工作流、事务进行分析和研究 .
李蓥李明禄俞嘉地
关键词：信息网格信息服务工作流事务
一个Web服务事务处理模型:结构、算法和事务补偿被引量：26
2003年
事务处理是Web服务能否用于电子商务的关键技术之一 .Web服务事务处理必须提供协调短事务和长事务的能力 .本文提出了一个能够同时处理原子事务和聚合事务的模型 ,研究了其协调算法、状态转换及恢复机制 .聚合事务允许候选者独立提交 ,并使用补偿事务来撤销已提交的子事务所带来的影响 ,可以较好地满足Web服务环境下对长事务的要求 。
唐飞龙李明禄曹健
关键词：WEB服务原子事务补偿事务
基于抽象状态机的网格系统设计和分析被引量：6
2003年
基于可执行规范的实现 测试同步开发模式可以将错误尽早消灭在各个开发阶段的初期 .其理论基础是抽象状态机ASM ,实现工具是支持 .NET的AsmL .本文首先介绍了基于可执行规范的实现 测试同步开发模式、ASM起源和定义 ,然后采用ASM描述了网格高层次系统语义 ,并举例说明了采用AsmL生成有限状态机分析模型语义的方法步骤 .
刘晖李明禄
关键词：抽象状态机网格软件测试有限状态机
全选 清除 导出
共1页<1>
聚类工具0