Playing with time in publish-subscribe using a domain-specific model checker.
Luciano BaresiGiorgio GerosaCarlo GhezziLuca MottolaPublished in: SAVCBS (2007)
Keyphrases
- publish subscribe
- model checker
- domain specific
- model checking
- formal verification
- formal methods
- description language
- temporal logic
- back end
- loosely coupled
- event driven
- domain independent
- formal specification
- publish subscribe systems
- general purpose
- set theory
- test suite
- overlay network
- information dissemination
- peer to peer
- planning domains
- ai planning
- specification language
- artificial intelligence
- mobile applications
- knowledge based systems
- rough sets
- real time
- context aware
- databases