国防科技技术预先研究基金(41315010103)
- 作品数：4 被引量：171H指数：3
- 相关作者：刘锦德廖军谭浩秦志光董鹏更多>>
- 相关机构：电子科技大学更多>>
- 发文基金：国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于Pi-演算的Web服务组合的描述和验证被引量：157
- 2005年
- 形式化方法对于建模和验证软件系统是一种有效的方法,所以对 Web服务的形式化描述和验证是一个重要的研究方向.对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的.Pi 演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.该文基于 Pi 演算对 Web服务及其组合进行形式化描述和建模.文中说明了Pi 演算与以前形式化方法的不同之处,分析了Pi 演算应用于Web服务组合需要解决的问题.讨论了Pi 演算与Web服务协议栈的对应关系,说明了利用Pi 演算建立 Web服务组合模型的规则,指出了如何寻找代理和通道.最后建立了一个实际的模型,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证.
- 廖军谭浩刘锦德
- 关键词：PI-演算进程代数WEB服务
- 基于Pi-演算的Web服务可替换性验证被引量：16
- 2005年
- 通过使用交互服务集合的概念归纳出一个适用范围较广的Web服务可替换的充分条件,并基于Pi-演算对可替换条件中的兼容性条件进行建模,从Web服务可替换性和兼容性的关系入手,用求逆的方法证明了弱互模拟在语法兼容等条件下可保证服务兼容性和可替换性的结论.最后建立了一个关于投诉处理流程的实际模型,展示了如何应用Pi-演算的弱互模拟方法和形式化辅助工具对服务的可替换性进行判定.
- 廖军谭浩刘锦德
- 关键词：PI-演算进程代数WEB服务
- 开放系统中实时中间件关键技术研究被引量：1
- 2003年
- 1.引言
开放系统已经成为当前计算机界中的一个流行名词,对其相关领域的研究也成为热门.尽管对开放系统本身的定义并不统一和精确,但还是存在着公认的必具特征,即应具有:(1)可移植性;(2)可互操作性;(3)可伸缩性;(4)易获得性.
- 彭舰俞岭董鹏刘锦德
- 关键词：开放系统中间件CORBA网络协议通信协议
- 全球信息栅格与服务计算被引量：5
- 2006年
- 在探索全球信息栅格的概念及其组成的基础上,研究了服务计算的概念、原则及其不同于面向对象计算的方面,服务计算在全球信息栅格中的应用方式以及如何与传统技术相结合的问题。最后,提出了服务计算应用于全球信息栅格有待解决的问题。
- 廖军刘锦德秦志光
- 关键词：全球信息栅格网络中心战
