Using formal methods to develop WS-BPEL applications.

Alessandro Lapadula Rosario Pugliese Francesco Tiezzi

Published in: Sci. Comput. Program. (2012)

Keyphrases

formal methods
ws bpel
formal analysis
business process
model checking
formal specification
safety critical
temporal properties
development lifecycle
databases
natural language
knowledge based systems
provably correct
process algebra