Towards the Composition of Specifications in Event-B.
Renato SilvaPublished in: Electron. Notes Theor. Comput. Sci. (2011)
Keyphrases
- event detection
- high level
- news articles
- web service composition
- condition action rules
- event recognition
- complex events
- composite services
- event driven
- written in natural language
- music composition
- events occur
- delay insensitive
- operational semantics
- databases
- business processes
- multi agent
- artificial intelligence
- neural network