Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information.

Manuel Palomo-Duarte, Antonio Garca-Domnguez, Inmaculada Medina-Bulo

Browse the full ICWE paper archive.