您的位置： 专家智库 > >

浙江省自然科学基金(Y105092)

作品数：5 被引量：2H指数：1
相关作者：张晓春陈中育王晓虎李勇华吴建斌更多>>
相关机构：浙江师范大学更多>>
发文基金：浙江省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 5篇中文期刊文章

领域

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

主题

  • 2篇形式化
  • 2篇SOAP
  • 2篇XML
  • 1篇信息查询
  • 1篇信息查询系统
  • 1篇形式化描述
  • 1篇移动AGEN...
  • 1篇平台架构
  • 1篇基于WEB服...
  • 1篇架构
  • 1篇分布式
  • 1篇分布式应用
  • 1篇服务端
  • 1篇Π演算
  • 1篇PI演算
  • 1篇SERVIC...
  • 1篇SERVIC...
  • 1篇WEB
  • 1篇WEB_SE...
  • 1篇查询

机构

  • 5篇浙江师范大学

作者

  • 3篇陈中育
  • 3篇张晓春
  • 2篇李勇华
  • 2篇王晓虎
  • 1篇冷家锋
  • 1篇吴建斌

传媒

  • 3篇计算机与现代...
  • 1篇微型机与应用
  • 1篇浙江师范大学...

年份

  • 5篇2007
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
基于Web服务的移动Agent平台架构研究被引量：1
2007年
随着Web服务和Agent技术的发展,使构建基于移动Agent计算模型和Web服务计算模型的移动Agent平台成为可能.提出了一种以Web服务为部署形式,利用SOAP/HTTP消息机制进行通信的Agent平台架构.此Agent平台构建在Web服务容器中,为Agent提供了一个轻量级的运行环境,同时也为现有的Web服务容器增加了Agent功能.
王晓虎吴建斌
关键词：WEB服务SOAPXML
需求建模的形式化方法研究
2007年
借鉴π演算的进程构造能力和类型系统表达能力,以π演算为需求建模语言,提出一种需求建模的形式化方法,给出构造功能行为交互系统的良类型性质。
王晓虎
关键词：Π演算形式化
基于Axis的服务端SOAP处理分析
2007年
Web Service是分布式计算领域出现的最新成果。SOAP作为Web Services的核心部分担负了其大部分工作,虽然有集成化的应用,但是目前对其内部处理的研究很少,难以使人对Web Services包含的技术有深入的理解,不利于技术灵活性和细节应用的拓展。本文在深入分析Axis的服务端SOAP处理机制的基础上,对SOAP模型进行讨论,拓展了Axis功能,以便能实现更复杂的处理模型。
李勇华张晓春陈中育
关键词：WEBSERVICESSOAPAXIS
基于Pi演算的软件过程形式化描述被引量：1
2007年
软件过程技术已成为软件工程领域的一个研究热点。本文借鉴P i演算的移动进程代数表达能力,提出一种基于活动交互的软件过程形式化描述方法,以分析为例,对活动交互行为作出P i描述,并验证过程描述的正确性。
冷家锋张晓春陈中育
关键词：PI演算形式化
基于Web Services的信息查询系统
2007年
Web Service是分布式计算领域出现的最新成果,Web Service技术对于解决分散或分布式应用具有明显优势。本文提出基于Web Service的信息查询系统的系统架构和解决方案,可以屏蔽掉平台的差异性,较理想地实现跨平台数据访问。最后给出一个实例运用。
张晓春李勇华陈中育
关键词：SERVICE信息查询XML分布式应用
全选 清除 导出
共1页<1>
聚类工具0