Towards Net-based Formal Methods for Complex Event Processing.
Michael OffelHan van der AaMatthias WeidlichPublished in: LWDA (2018)
Keyphrases
- formal methods
- complex event processing
- stream processing
- knowledge based systems
- formal specification
- model checking
- real time
- supply chain management
- temporal reasoning
- event streams
- event processing
- artificial intelligence
- semantic technologies
- software engineering
- databases
- database
- knowledge representation
- development lifecycle