组合WEB服务

作品数：39被引量：198H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘清堂上超望段振华赵呈领王艳凤更多>>
相关机构：华中师范大学西安电子科技大学南京大学哈尔滨工业大学更多>>
相关期刊：《中国科技成果》《东北大学学报（自然科学版）》《上海理工大学学报》《科学技术与工程》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=中国科学：信息科学x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种具有正确性保证的组合Web服务自动合成方法被引量：2
《中国科学（F辑:信息科学）》2009年第9期990-1002,共13页怀进鹏 邓婷 李先贤 杜宗霞 郭慧鹏 
国家高技术研究发展计划(批准号:2007AA010301);国家重点基础研究发展规划(批准号:2005CB321803);国家杰出青年科学基金(批准号:60525209);NSFC/RGC联合科研基金(批准号:60731160632);新世纪优秀人才支持计划(批准号:NCET-05-0186)资助项目
Web服务应用中一个富有挑战性的关键问题是:如何自动组合已有的Web服务并保证组合的正确性,如没有死锁和未指定的接收以及时态约束等.在现有的研究中,需要在先给出组合服务的详细规范的基础上,进行形式化验证保证设计的正确性,这使得组...
关键词：业务协议 合成 组合服务 正确性约束 L~*算法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部