Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo. Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information. In Martin Gaedke, Michael Grossniklaus, Oscar Díaz, editors, Web Engineering, 9th International Conference, ICWE 2009, San Sebastián, Spain, June 24-26, 2009, Proceedings. Volume 5648 of Lecture Notes in Computer Science, pages 469-472, Springer, 2009. [doi]