Runtime Monitoring of Data-centric Temporal Properties for Web Services.
Guoquan WuJun WeiChunyang YeXiaozhe ShaoHua ZhongTao HuangPublished in: ICWS (2011)
Keyphrases
- data centric
- temporal properties
- web services
- business processes
- model checking
- data management
- possibility theory
- information management
- application development
- data driven
- web applications
- distributed systems
- formal methods
- data representation
- data storage
- xml schema
- routing protocol
- incomplete information
- query processing
- formal specification
- general purpose
- bayesian networks
- database management systems
- case study