Dependence Graphs for Verifications of Web Service Compositions with PEWS

被引：0
|
作者：
Ba, Cheikh [1 ]
Ferrari, Mirian Halfeld [1 ]
机构：
[1] Univ Francois Rabelais Tours, F-41000 Blois, France
来源：
APPLIED COMPUTING 2008, VOLS 1-3 | 2008年
关键词：
Web service composition; trace theory; dependence graphs;
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
PEWS is an interface description language for both individual and composed web services. We propose an approach for verifying PEWS compositions which exploits dependence graphs (equivalent to trace systems). The introduction of a synchronization based on dependence graphs allows more efficient algorithms for testing composition properties.
引用
收藏
页码：2387 / 2391
页数：5
相关论文
共 50 条
  • [1] PEWS: A new language for building web service
    Ba, C
    Carrero, MA
    Ferrari, MH
    Musicante, MA
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2005, 11 (07) : 1215 - 1233
  • [2] Validation of web service compositions
    Baresi, L.
    Bianculli, D.
    Ghezzi, C.
    Guinea, S.
    Spoletini, P.
    IET SOFTWARE, 2007, 1 (06) : 219 - 232
  • [3] On completeness of web service compositions
    Shen, Zhongnan
    Su, Jianwen
    2007 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2007, : 800 - +
  • [4] Quality of Service management for Web service compositions
    Guimaraes Garcia, Diego Zuquim
    Felgar de Toledo, Maria Beatriz
    CSE 2008:11TH IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING, PROCEEDINGS, 2008, : 189 - 196
  • [5] Autonomic execution of web service compositions
    Pautasso, C
    Heinis, T
    Alonso, G
    2005 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, VOLS 1 AND 2, PROCEEDINGS, 2005, : 435 - 442
  • [6] QoS aggregation in Web service compositions
    Jaeger, MC
    Rojec-Goldmann, G
    Mühl, G
    2005 IEEE INTERNATIONAL CONFERENCE ON E-TECHNOLOGY, E-COMMERCE AND E-SERVICE, PROCEEDINGS, 2005, : 181 - 185
  • [7] Modeling web service compositions with CSP
    Sun, Wenhui
    Liu, Feng
    Zhang, Jinyu
    Dai, Gang
    DCABES 2007 Proceedings, Vols I and II, 2007, : 886 - 889
  • [8] On the Management Requirements of Web Service Compositions
    Charfi, Anis
    Berbner, Rainer
    Mezini, Mira
    Steinmetz, Ralf
    EMERGING WEB SERVICES TECHNOLOGY, VOL II, 2008, 2 : 97 - +
  • [9] Binding and execution of web service compositions
    Vidyasankar, K
    Ananthanarayana, VS
    WEB INFORMATION SYSTEMS ENGINEERING - WISE 2005, 2005, 3806 : 258 - 272
  • [10] Improving reuse of web service compositions
    Granell, C
    Gould, M
    Gronmo, R
    Skogan, D
    E-COMMERCE AND WEB TECHNOLOGIES, PROCEEDINGS, 2005, 3590 : 358 - 367
12345