PI演算

作品数：73被引量：109H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：郭小群郝克刚侯红李彤莫启更多>>
相关机构：吉林大学西北大学武汉大学云南大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多Web服务组合兼容性的自动化验证被引量：1
《计算机工程与应用》2016年第7期67-73,共7页贾志淳 邢星 
Web服务组合的目的是实现单一服务无法满足的复杂功能,而保证组合的正确性以实现服务增值是十分必要,因此组合之后的正确性验证是Web服务组合的一个重要研究方向。从Web服务交互行为方面描述多Web服务组合,在提出行为兼容性的相关理论...
关键词：PI演算 WEB服务组合 行为兼容性 WEB服务行为 自动化验证 
航空订票业务的Web服务建模及组合兼容性验证被引量：3
《计算机工程与应用》2010年第24期237-242,共6页贾志淳 陈荣 张维石 
国家自然科学基金(No.60775028);大连市科技局重大项目(No.2007A14GX042);吉林大学符号计算与知识工程教育部重点实验室开放课题(No.93K-17-2006-04);大连市信息产业局IT优秀教师项目~~
Web服务通过组合基本服务为解决复杂问题提供了方法,于是近年来越来越受到关注。当前交互式下的Web服务在实际组合中还存在诸多问题,其中就包括Web服务组合验证问题。运用Pi演算对航空订票业务的Web服务进行形式化建模,改进基于Pi演算...
关键词：PI演算 WEB服务组合 组合兼容性 
一种改进的基于Pi演算的Web服务自动组装方法被引量：1
《计算机工程与应用》2007年第16期67-70,共4页刘琼 彭鑫 赵文耘 
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60473061);国家高技术研究发展计划(863) (the National High- Tech Research and Development Plan of China under Grant No.2005AA113120)
提出了一种改进的Web服务自动组装的方法,以提高Web服务组装的自动化。组装Web服务时,先用UML对复合Web服务进行建模,从UML模型得到复合服务的Pi演算描述,通过Pi演算的形式化验证,为这些逻辑子服务自动找到匹配的已实现的原子服务,最后...
关键词：WEB服务组装 PI演算 UML 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部