TY - GEN
T1 - Enhancing WS-BPEL dynamic invariant generation using xml schema and xpath information
AU - Palomo-Duarte, Manuel
AU - García-Domínguez, Antonio
AU - Medina-Bulo, Inmaculada
PY - 2009/10/27
Y1 - 2009/10/27
N2 - The dynamic and asynchronous nature of OASIS WS-BPEL 2.0 standard language for web service composition presents a challenge for traditional white-box testing techniques. Takuan is a tool that can help with this problem. It analyzes execution logs of a WS-BPEL process in a real-world WS-BPEL engine to dynamically generate composition invariants. Nevertheless, it suffered some performance issues when handling a large number of variables with complex multidimensional content. We present two techniques implemented to automatically alleviate these issues: dynamic analysis of XPath expressions to avoid inferring nonsensical invariants, and discarding invariants enforced by the XML Schema. We present practical results supporting our work and comment the impact and applicability of these techniques beyond WS-BPEL itself.
AB - The dynamic and asynchronous nature of OASIS WS-BPEL 2.0 standard language for web service composition presents a challenge for traditional white-box testing techniques. Takuan is a tool that can help with this problem. It analyzes execution logs of a WS-BPEL process in a real-world WS-BPEL engine to dynamically generate composition invariants. Nevertheless, it suffered some performance issues when handling a large number of variables with complex multidimensional content. We present two techniques implemented to automatically alleviate these issues: dynamic analysis of XPath expressions to avoid inferring nonsensical invariants, and discarding invariants enforced by the XML Schema. We present practical results supporting our work and comment the impact and applicability of these techniques beyond WS-BPEL itself.
KW - Dynamic invariant generation
KW - Service composition
KW - Web services
KW - White-box testing
KW - WS-BPEL
UR - http://www.scopus.com/inward/record.url?scp=70350228803&partnerID=8YFLogxK
UR - https://link.springer.com/chapter/10.1007%2F978-3-642-02818-2_40
U2 - 10.1007/978-3-642-02818-2_40
DO - 10.1007/978-3-642-02818-2_40
M3 - Conference publication
AN - SCOPUS:70350228803
SN - 3642028179
SN - 9783642028175
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 469
EP - 472
BT - Web Engineering - 9th International Conference, ICWE 2009, Proceedings
PB - Springer
T2 - 9th International Conference on Web Engineering, ICWE 2009
Y2 - 24 June 2009 through 26 June 2009
ER -