Verification of relational data-centric dynamic systems with external services.
Babak Bagheri HaririDiego CalvaneseGiuseppe De GiacomoAlin DeutschMarco MontaliPublished in: PODS (2013)
Keyphrases
- data centric
- dynamic systems
- complex systems
- data management
- data driven
- business processes
- discrete event
- qualitative reasoning
- application development
- information management
- distributed systems
- dynamical systems
- consistency based diagnosis
- model checking
- relational data
- xml schema
- relational databases
- information integration
- data representation
- data model
- routing protocol
- data management systems
- wireless sensor networks
- data storage
- data processing
- particle filter
- data mining
- semi structured
- data streams
- qualitative models
- cooperative
- learning algorithm