黄邵
- 作品数:5 被引量:5H指数:2
- 供职机构:湖南省第一师范学校信息技术系更多>>
- 发文基金:湖南省重点科技攻关项目国家自然科学基金湖南省教育厅科研基金更多>>
- 相关领域:自动化与计算机技术理学更多>>
- 基于类型化Pi-演算的Web服务组合相容性检测被引量:2
- 2007年
- 定义了一个Pi-演算的类型系统,然后利用扩充后的类型化Pi-演算建模BPEL4WS描述的Web服务组合系统。提出了基于类型化Pi-演算的服务组合相容性检测算法。并给出了一个银行贷款审批系统检测实例的片段,说明利用该算法检测服务组合系统相容性的可行性。
- 刘荣胜黄邵高春鸣
- 关键词:PI-演算WEB服务相容性
- Web服务组合语言的出错与补偿处理的pi演算编码
- 2007年
- 本文研究了Web服务组合语言BPEL4WS的出错与补偿处理的pi演算编码,目的是实现Web服务组合语言BPEL4WS自动验证过程。本文对pi演算进行扩充以编码BPEL4WS程序,给出了pi演算对BPEL活动的编码规则。在一个作用域的条件下,用pi演算的通信并发结构表示BPEL4WS规范的出错与补偿处理结构,采用传名机制分别处理程序化显式抛出故障与非程序化抛出故障的捕获,给出BPEL4WS的出错与补偿处理的pi演算编码,为系统地完成从Web服务组合语言BPEL4WS规范到扩展pi演算的编码奠定了基础。
- 高春鸣黄邵陈火旺
- 关键词:BPEL4WSPI演算
- 一种基于QoS的服务组合运行时的重组容错机制
- 2008年
- 基于支持服务组合运行时容错处理的平台,提出了运行时重构局部流程的故障处理机制,以有效支持流程运行出现故障时的在线自恢复,使流程执行时在业务功能与服务质量两方面均得到保障。
- 黄邵蔡美玲
- 关键词:容错
- Web服务组合的形式化建模与相容性分析
- 随着Web服务技术的研究、发展和应用,众多学者试图寻找Web服务组合验证的有效方法,开始运用形式化方法描述Web服务组合并对其进行分析。目前国内外有使用进程代数、petri网、spin等工具来形式化建模、验证Web服务组...
- 黄邵
- 关键词:BPEL4WSPI演算
- 文献传递
- Pi演算建模BPEL4WS程序及实例研究被引量:1
- 2008年
- 通过对pi演算进行扩充以形式化描述BPEL4WS程序,给出了扩充pi演算的语法和操作语义,并用pi演算的通讯并发结构表示BPEL4WS规范的link结构。基于对BPEL4WS规范死路排除DPE模式的分析,提出了一个完善的解决DPE问题的pi演算形式化方法。在以上工作的基础上,系统地完成从Web服务组合语言BPEL4WS规范到扩展pi演算的映射,提出了几种验证程序性质的思路。最后给出了一个完整的案例,说明BPEL4WS程序的pi演算描述。
- 黄邵
- 关键词:PI演算