Verification of Relational Data-Centric Dynamic Systems with External Services
Babak Bagheri HaririDiego CalvaneseGiuseppe De GiacomoAlin DeutschMarco MontaliPublished in: CoRR (2012)
Keyphrases
- data centric
- dynamic systems
- complex systems
- qualitative reasoning
- information management
- business processes
- data management
- dynamical systems
- consistency based diagnosis
- discrete event
- application development
- data driven
- relational databases
- relational data
- routing protocol
- model based diagnosis
- wireless sensor networks
- model checking
- distributed systems
- data representation
- data model
- data management systems
- data integration
- data storage
- databases
- xml schema
- knowledge base
- database
- building blocks
- particle filter
- machine learning
- data mining