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

SPECIFICATION: 作品数：129被引量：110H指数：5; 导出分析报告; 相关领域：生物学艺术更多>>; 相关作者：顾荣宝张琳娜刘玉芳孔晓峰唐勇更多>>; 相关机构：沈阳高精数控技术有限公司武汉华中数控股份有限公司安徽大学沈阳产品质量监督检验院更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金河南省科技攻关计划国家重点基础研究发展计划广东省自然科学基金更多>>

检索结果分析

选择条件：

共条记录，以下是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