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

消息流: 作品数：35被引量：44H指数：3; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：王巍杨武萧超海董国忠周清更多>>; 相关机构：国际商业机器公司华为技术有限公司深圳市腾讯计算机系统有限公司哈尔滨工程大学更多>>; 相关期刊：《计算机研究与发展》《中国金属通报》《中国科技期刊数据库工业A》《计算机学报》更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划江苏省基础研究计划更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

面向基于场景规约的Web服务消息流分析与验证被引量：7: 《计算机学报》2009年第9期1759-1772,共14页杨璐柳溪王林章陈鑫李宣东; 国家自然科学基金项目(60673125;90818022);国家"八六三"高技术研究发展计划项目基金(2009AA01Z48);江苏省基础研究计划项目基金(BK2007714)资助~~; 采用UML顺序图构成基于场景的规约、WS-BPEL作为Web服务的描述语言,提出了一种面向基于场景规约对Web服务消息流进行分析与验证的方法:首先,对WS-BPEL消息流进行分析并将其自动抽象为基于Petri网的模型;同时,为了缩小状态空间、提高验...; 关键词：WEB服务基于场景的规约消息交互一致性验证