Tableaux for Verification of Data-Centric Processes.
Andreas BauerPeter BaumgartnerMartin DillerMichael NorrishPublished in: TABLEAUX (2013)
Keyphrases
- data centric
- challenges facing
- data driven
- business processes
- data management
- application development
- distributed systems
- information management
- model checking
- xml schema
- routing protocol
- modal logic
- data representation
- wireless sensor networks
- search engine
- object oriented databases
- management system
- data storage
- pattern recognition