Model-checking verification of publish-subscribe architectures in web service contexts.
Gregorio DíazMaría-Emilia CambroneroHermenegilda MaciàValentín Valero RuizPublished in: SAC (2015)
Keyphrases
- model checking
- publish subscribe
- loosely coupled
- web services
- temporal logic
- formal verification
- event driven
- publish subscribe systems
- automated verification
- verification method
- model checker
- back end
- formal specification
- temporal properties
- bounded model checking
- symbolic model checking
- concurrent systems
- information dissemination
- service oriented architecture
- overlay network
- asynchronous circuits
- peer to peer
- computation tree logic
- distributed systems
- epistemic logic
- formal methods
- service discovery
- timed automata
- transition systems
- semantic web services
- business processes
- web applications
- location aware
- linear temporal logic
- service oriented