A Calculus for Generation, Verification and Refinement of BPEL Specifications.
Faisal AbouzaidJohn MullinsPublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- formal methods
- model checker
- model checking
- transition systems
- web services
- formal specification
- concurrent systems
- automated verification
- colored petri nets
- service oriented
- formal verification
- petri net
- bounded model checking
- service composition
- business processes
- business process
- asynchronous circuits
- reactive systems
- description language
- delay insensitive
- web services composition
- protocol specification
- knowledge based systems
- high level
- formal language
- specification language
- face verification
- modeling language
- query language