Abstract
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.
Chapter PDF
Similar content being viewed by others
References
Bucchiarone, A., Melgratti, H., Severoni, F.: Testing service composition. In: Proceedings of the 8th Argentine Symposium on Software Engineering (ASSE 2007) (2007)
Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering 27(2), 99–123 (2001)
Palomo-Duarte, M., García-Domínguez, A., Medina-Bulo, I.: Takuan: A dynamic invariant generation system for WS-BPEL compositions. In: ECOWS 2008: Proceedings of the 2008 Sixth European Conference on Web Services, Washington, DC, USA, pp. 63–72. IEEE Computer Society, Los Alamitos (2008)
Palomo-Duarte, M., García-Domínguez, A., Medina-Bulo, I.: Improving Takuan to analyze a meta-search engine WS-BPEL composition. In: SOSE 2008: Proceedings of the 2008 IEEE International Symposium on Service-Oriented System Engineering, Washington, DC, USA, pp. 109–114. IEEE Computer Society, Los Alamitos (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Palomo-Duarte, M., García-Domínguez, A., Medina-Bulo, I. (2009). Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information. In: Gaedke, M., Grossniklaus, M., Díaz, O. (eds) Web Engineering. ICWE 2009. Lecture Notes in Computer Science, vol 5648. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02818-2_40
Download citation
DOI: https://doi.org/10.1007/978-3-642-02818-2_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02817-5
Online ISBN: 978-3-642-02818-2
eBook Packages: Computer ScienceComputer Science (R0)