Formal Verification of Web Services Composition Using Linear Logic and the pi-calculus.
Petros PapapanagiotouJacques D. FleuriotPublished in: ECOWS (2011)
Keyphrases
- formal verification
- linear logic
- web services composition
- process algebra
- sequent calculus
- model checking
- cut elimination
- proof search
- web service composition
- web services
- composition of web services
- service composition
- model checker
- highly reliable
- fixed point
- proof theoretic
- natural deduction
- logical framework
- automated verification
- bounded model checking
- symbolic model checking
- logic programming
- quality of service
- desirable properties
- service selection
- inference rules
- formal specification
- concurrent systems
- petri net
- temporal logic
- service discovery
- programming language
- bayesian networks
- artificial intelligence