云南高校图书馆联盟文献共享服务平台- 检索结果

检索结果分析

检索条件："关键词=Web服务过程模型 "

共条记录，以下是1-1

全选清除导出

视图：

排序：

显示条数：

基于Spin检测语义Web服务过程模型: 《计算机应用》2010年第12期215-218,共4页周瑾吴尽昭杨建书; 国家863计划项目(2007AA01Z143);国家973计划项目(2007CB310803);国家自然科学基金资助项目(6087311860973147);北京交通大学科学基金资助项目(2007RC110); 在Web服务组合的实现中,正确高效验证语义Web服务过程的正确性具有重要意义。为了实现语义Web服务过程模型的自动化检测,针对过程模型中的控制流和数据流,阐述了使用Promela语言规范OWL-S过程模型的一般方法。实例和系统原型表明了该方...; 关键词：模型检测 Web服务过程模型 SPIN PROMELA

全选清除导出

共1页<1>