-
题名基于Petri网的WSCI形式化模型分析
- 1
-
-
作者
黄雨
胡文蕙
高昕
王捍贫
-
机构
教育部高可信软件技术重点实验室
北京大学软件工程国家工程研究中心
北京大学信息科学技术学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2009年第10期60-63,158,共5页
-
基金
国家自然科学基金资助项目(60803014
60803061)
+2 种基金
国家863计划资助项目(2006AA01Z160)
国家973计划资助项目(2009CB320701)
教育部博士点基金资助项目(200800011017)
-
文摘
WSCI是一种Web服务组合标记语言,对于一些关键的业务流程,任何设计错误都会造成重大损失,因此有必要为WSCI语言建立形式化模型并给予分析,从而保证正确的业务流程部署。本文主要给出了WSCI的分析方法,基于文献[1]给出了形式化模型,提出了该形式化模型下的一种网融合方法。该方法将表示进程的网模型与其表示例外处理和子流程的网模型进行合并,形成统一的网模型。本文最后还给出了在该网模型下的可达图分析方法,从而达到分析带有例外处理的WSCI形式化模型的目的。
-
关键词
wsci
PETRI
NETS
WEB服务组合
-
Keywords
wsci
Petri nets
Web service composition
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名Web服务合成的相容性与替换性分析
被引量:8
- 2
-
-
作者
史玉良
王海洋
张亮
施伯乐
-
机构
山东大学计算机科学与技术学院
复旦大学计算机与信息技术系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2007年第11期1955-1961,共7页
-
基金
国家自然科学基金项目(60673130)
国家"九七三"重点基础研究发展规划基金项目(2005CB321905)
+1 种基金
国家"八六三"高技术研究发展计划基金项目(2002AA4Z3430
2002AA231041)~~
-
文摘
形式化的分析有助于Web服务的合成.已有的合成分析方法,验证的重点是Web服务合成时形成的全局交互流程是否与预先定义的模型相匹配,忽略了合成时各个Web服务之间的行为是否相容.通过自动机对基于WSCI规范描述的Web服务进行形式化描述.在此基础上,提出了一个Client/Server模型,定义了Web服务合成的相容性概念,并提供相应的算法进行验证,保证了Web服务合成的正确性.在相容性分析的基础上,考虑到Web服务动态性的特点,定义了Web服务的替换性概念,并给出了保证替换服务正确性的定理.
-
关键词
WEB服务
wsci
自动机
相容性
替换性
-
Keywords
Web service
wsci
automata
compatibility
substitutability
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名Web服务组合标准规范的研究
被引量:6
- 3
-
-
作者
孙洁丽
龚立群
-
机构
中国科学院国家科学图书馆
-
出处
《现代图书情报技术》
CSSCI
北大核心
2007年第5期27-31,共5页
-
基金
国家科技基础条件平台建设项目"我国数字图书馆标准与规范建设"(项目编号:005DKA43503)的研究成果之一
-
文摘
简要介绍Web服务组合,分析几种Web服务组合标准规范,包括BPML、WSCI、WS-CDL和WS-BPEL,着重分析WS-BPEL服务组合规范。最后指出Web服务组合技术在数字图书馆中具有应用价值。
-
关键词
WEB服务
服务组合
WS—CDL
BPML
wsci
WS—BPEL
-
Keywords
Web Services Service composition WS-CDL BPML wsci WS-BPEL
-
分类号
TP393.09
[自动化与计算机技术—计算机应用技术]
-
-
题名数字图书馆服务动态定制中的组合工具
被引量:5
- 4
-
-
作者
张晓青
张晓林
-
机构
烟台师范学院图书馆
中国科学院文献情报中心
-
出处
《现代图书情报技术》
CSSCI
北大核心
2004年第9期8-12,28,共6页
-
文摘
在简要介绍基于 Web服务组合的服务动态定制机制后 ,着重分析介绍了包括 BPML、BPSS、WS-CI、BPEL 4 WS等在内的 Web服务组合工具。
-
关键词
数字图书馆Web服务组合
动态定制BPML
BPSS
wsci
BPEL4WS
-
Keywords
Digital library Web service composition Dynamic customization BPML BPSS wsci BPEL4WS
-
分类号
G250.76
[文化科学—图书馆学]
-