云南高校图书馆联盟文献共享服务平台- 刘琼

刘琼: 作品数：1被引量：1H指数：1; 导出分析报告; 供职机构：复旦大学信息科学与工程学院计算机科学系更多>>; 发文主题：WEB服务组装UMLPI演算组装方法WEB服务更多>>; 发文领域：自动化与计算机技术更多>>; 发文期刊：《计算机工程与应用》更多>>; 所获基金：国家自然科学基金国家高技术研究发展计划更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

一种改进的基于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