公共文化服务平台

共 1 条记录，以下是 1-1

全选清除导出

排序方式：

面向基于场景规约的Web服务消息流分析与验证被引量：7: 2009年; 采用UML顺序图构成基于场景的规约、WS-BPEL作为Web服务的描述语言,提出了一种面向基于场景规约对Web服务消息流进行分析与验证的方法:首先,对WS-BPEL消息流进行分析并将其自动抽象为基于Petri网的模型;同时,为了缩小状态空间、提高验证效率,在不影响消息交互顺序的前提下,对WS-BPEL源码和基于Petri网的模型分别进行化简,即面向基于场景规约将与验证无关的活动和元素删除;最后,通过遍历基于Petri网的模型以验证WS-BPEL消息流与基于场景的规约之间的一致性(消息交互顺序的存在/强制一致性).文中通过一个贯穿整个分析与验证过程的实例加以说明.该方法已经实现成为一个原型工具.; 杨璐柳溪王林章陈鑫李宣东; 关键词：WEB服务

全选清除导出

共1页<1>

国家高技术研究发展计划(2009AA01Z48)