Diagrammatically-Driven Formal Verification of Web-Services Composition.
Petros PapapanagiotouJacques D. FleuriotSean WilsonPublished in: Diagrams (2012)
Keyphrases
- formal verification
- web services composition
- model checking
- web service composition
- composition of web services
- web services
- process algebra
- service composition
- highly reliable
- model checker
- bounded model checking
- quality of service
- automated verification
- temporal logic
- program slicing
- service selection
- service discovery
- symbolic model checking
- petri net
- composite web services
- artificial intelligence
- response time
- heuristic search
- description language
- semantic web services
- service oriented