Detecting Feature Interactions in Web Services with Timed Automata

被引：1
|
作者：
Luo, Xiangyu [1 ]
Xuan, Aicheng [1 ]
Dong, Rongsheng [1 ]
机构：
[1] Guilin Univ Elect Technol, Sch Comp & Control, Guilin, Peoples R China
来源：
THIRD INTERNATIONAL CONFERENCE ON GENETIC AND EVOLUTIONARY COMPUTING | 2009年
关键词：
feature interaction; web services; timed automata; formal methods;
D O I：
10.1109/WGEC.2009.144
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
With the rapid development of Web services, feature interactions have become one of the critical problems in Web services composition. This paper proposes a model checking method for detecting feature interactions in Web services composition. By the proposed method, the Web services descriptions written in WS-BPEL are translated into timed automata, and then we apply a well known model checking tool UPPAAL that supports this formalism to modeling Web services composition and analyzing feature interactions. We take a particular case study, an automatic stock trading system, as an example to illustrate the effectiveness of the proposed method.
引用
收藏
页码：276 / 279
页数：4
相关论文
共 50 条
  • [1] Detecting the Web services feature interactions
    Zhang, Jianyin
    Yang, Fangchun
    Su, Sen
    [J]. WEB INFORMATION SYSTEMS - WISE 2006, PROCEEDINGS, 2006, 4255 : 169 - 174
  • [2] Verification of Web Services with Timed Automata
    Diaz, Gregorio
    Pardo, Juan-Jose
    Cambronero, Maria-Emilia
    Valero, Valentin
    Cuartero, Fernando
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 157 (02) : 19 - 34
  • [3] Method for detecting functional feature interactions of web services
    Weiss, Michael
    Oreshkin, Alexander
    Esfandiari, Babak
    [J]. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2006, 21 (04): : 273 - 284
  • [4] Detecting feature interactions in Web services with model checking techniques
    ZHANG Jian-yin
    [J]. The Journal of China Universities of Posts and Telecommunications, 2007, (03) : 108 - 112
  • [5] Deadline Verification for Web Services Using Timed Automata
    El Touati, Yamen
    [J]. ENGINEERING TECHNOLOGY & APPLIED SCIENCE RESEARCH, 2022, 12 (01) : 8013 - 8016
  • [6] Validation and verification of Web services choreographies by using timed automata
    Emilia Cambronero, M.
    Diaz, Gregorio
    Valero, Valentin
    Martinez, Enrique
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (01): : 25 - 49
  • [7] On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services
    Siavashi, Faezeh
    Truscan, Dragos
    Vain, Juri
    [J]. ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, 2016, : 15 - 26
  • [8] Feature interactions in Web services
    Weiss, M
    [J]. FEATURE INTERACTIONS IN TELECOMMUNICATIONS AND SOFTWARE SYSTEMS VII, 2003, : 149 - 156
  • [9] On feature interactions among web services
    Weiss, M
    Esfandiari, B
    [J]. IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2004, : 88 - 95
  • [10] Detecting feature interactions in telecommunication services with a SAT solver
    Tsuchiya, T
    Nakamura, M
    Kikuno, T
    [J]. 2002 PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2002, : 131 - 134
12345