CHOREOGRAPHY

作品数：24被引量：14H指数：2
导出分析报告
相关作者：盛星黄映辉李冠宇李瑞轩林培文更多>>
相关机构：大连海事大学西安交通大学华中科技大学更多>>
相关期刊：《ChinAfrica》《计算机技术与发展》《Journal of Literature and Art Studies》《Science China Mathematics》更多>>
相关基金：国家自然科学基金辽宁省自然科学基金上海市教育委员会重点学科基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家高技术研究发展计划（863Program）x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Typed formal model for WS-CDL specification of web services composition
《Journal of Southeast University(English Edition)》2008年第3期300-307,共8页辜希武 李瑞轩 卢正鼎 
The National Natural Science Foundation of China(No.60403027,60773191,70771043);the National High Technology Research and Development Program of China(863 Program)(No.2007AA01Z403)
In order to formally reason and verify web services composition described by web services choreography specification WS-CDL,a typed formal model named typed Abstract WS-CDL（web services choreography description langu...
关键词：typed model web services composition web services choreography description language 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部