周昆
- 作品数：2 被引量：3H指数：1
- 供职机构：湖南工业大学计算机与通信学院更多>>
- 发文基金：湖南省教育厅高等学校科学研究项目湖南省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- Web服务失败分类法被引量：3
- 2009年
- 在分析了当前失败分类法的基础上,提出了一种Web服务分类方法来指明在Web服务中可能的失败,并将失败分类处理。这样能够在失败发生时尽可能隔离失败,减小失败带来或者可能导致的损失,从而提高服务的可靠性。
- 唐渊金可音周昆宋春阳
- 关键词：WEB服务自适应
- 一种Web服务组合形式化模型及验证方法
- 2010年
- Web服务组合研究领域中一个重要的研究内容是服务组合验证问题,通过对Web服务组合建立形式化模型,在服务组合之前进行形式化验证,以确保满足服务组合符合设计者的预期目标。Pi演算是一种适合描述动态拓扑结构的并发系统的进程代数。本文首先介绍了Pi演算的基本语法,建立了Pi演算与BPEL4WS的映射关系,提出了一种基于Pi演算的BPEL4WS的形式化模型,最后通过案例给出了模型的验证过程。
- 周昆金可音
- 关键词：PI演算WEB服务
