Titlebook: Web Services and Formal Methods; 8th International Wo Marco Carbone,Jean-Marc Petit Conference proceedings 2012 Springer-Verlag Berlin Heid

nostrum

exigent

Design of a BPEL Verification Tool,tion is twofold. First, the transformation patterns are specified in a language close to the target’s realtime verification language FIACRE. Since they are expressed at the level of the concrete syntax, with respect to the tool designer, they are formal and better readable than if they were expresse