-
题名基于程序依赖图的静态BPEL程序切片技术
被引量:2
- 1
-
-
作者
王洪达
邢建春
宋巍
杨启亮
-
机构
解放军理工大学工程兵工程学院
南京理工大学计算机科学与技术学院
-
出处
《计算机应用》
CSCD
北大核心
2012年第8期2338-2341,共4页
-
基金
国家自然科学基金资助项目(61003019
61073031)
高等学校博士学科点专项科研基金资助项目(20113219120021)
-
文摘
传统程序切片技术在计算BPEL程序切片时会产生切片不完备问题,为此,提出一种基于程序依赖图的BPEL静态程序切片技术。该技术根据BPEL语言的特点,通过建立BPEL程序依赖图,计算BPEL程序切片。案例分析表明,该技术能够获得更加全面的程序切片,从而可以帮助软件工程人员更好地测试、调试和维护BPEL程序。
-
关键词
WEB服务组合
BPEL程序依赖图
静态程序切片
异步调用依赖
-
Keywords
Web service composition
BPEL program dependence graph
static program slicing
asyn-invocationdependence
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名WS-BPEL服务可替换性分析
被引量:10
- 2
-
-
作者
宋巍
唐金辉
张功萱
马晓星
-
机构
南京理工大学计算机学院
南京大学软件新技术国家重点实验室
杭州师范大学电子商务与信息安全重点实验室
-
出处
《中国科学:信息科学》
CSCD
2012年第3期264-279,共16页
-
基金
国家重点基础研究发展规划(批准号:2009CB320702)
国家自然科学基金(批准号:60973044
+2 种基金
61003019)
江苏省重点研究专项(批准号:BK2011022)
高等学校博士学科点专项科研基金(批准号:20113219120021)资助项目
-
文摘
在开放、动态、多变的Internet环境下,服务替换是保证面向服务的软件系统持续可信的重要手段.现有方法大多在控制流模型层面上进行BPEL服务的可替换性分析,而较少考虑BPEL服务中的数据因素,并且当BPEL服务中存在对分布服务的异步调用时,现有方法过于保守.为此,本文提出一种基于程序依赖图的BPEL服务可替换性分析方法,该方法综合考虑了BPEL服务中的控制依赖、数据依赖、异步调用依赖以及交互依赖关系,从而可有效应对BPEL服务的可替换性问题.我们使用一个旅行代理BPEL服务替换案例阐明了本文方法的有效性和可行性.
-
关键词
BPEL服务
可替换性
BPEL程序依赖图
异步调用依赖
交互依赖
转换规则
-
Keywords
BPEL service
substitutability
BPEL program dependence graph
asyn-invocation dependence
interaction dependence
transformation rules
-
分类号
TP393.09
[自动化与计算机技术—计算机应用技术]
-