Modeling and Formal Analysis of Probabilistic Complex Event Processing (CEP) Applications.
Hichem DebbiPublished in: ECMFA (2017)
Keyphrases
- complex event processing
- formal analysis
- stream processing
- event streams
- event processing
- real time
- supply chain management
- semantic technologies
- formal methods
- temporal reasoning
- data processing
- ban logic
- agent model
- qualitative and quantitative
- knowledge acquisition
- software development
- description logics
- data analysis
- decision making
- databases