A Petri-Net Model for the Publish-Subscribe Paradigm and Its Application for the Verification of the BonjourGrid Middleware.
Leila AbidiChristophe CérinSami EvangelistaPublished in: IEEE SCC (2011)
Keyphrases
- publish subscribe
- petri net model
- petri net
- service composition
- web services
- loosely coupled
- production process
- event driven
- publish subscribe systems
- back end
- information dissemination
- peer to peer
- overlay network
- manufacturing systems
- database
- service oriented
- service oriented architecture
- production system
- spatial data
- business processes
- relational databases
- data mining
- real time