云南高校图书馆联盟文献共享服务平台- 江苏省基础研究计划(BK2007714)

江苏省基础研究计划(BK2007714): 作品数：1被引量：7H指数：1; 导出分析报告; 相关作者：柳溪陈鑫李宣东王林章杨璐更多>>; 相关机构：南京大学更多>>; 相关期刊：《计算机学报》更多>>; 相关主题：消息流WEB服务更多>>; 相关领域：自动化与计算机技术更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

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