Formal Verification of Runtime Compensation of Web Service Compositions: A Refinement and Proof Based Proposal with Event-B.
Guillaume BabinYamine Aït AmeurMarc PantelPublished in: SCC (2015)
Keyphrases
- formal verification
- web service compositions
- model checking
- service composition
- model checker
- web service composition
- event detection
- automated verification
- web services
- quality of service
- bounded model checking
- functional verification
- theorem proving
- symbolic model checking
- program slicing
- refinement process
- temporal logic
- real time
- artificial intelligence