Formal Component-Based Semantics
Ken MadlenerSjaak SmetsersMarko C. J. D. van EekelenPublished in: SOS (2011)
Keyphrases
- formal language
- model theoretic
- operational semantics
- machine processable
- highly expressive
- formal semantics
- semantic information
- formal model
- formal specification
- logic programming
- database systems
- dynamic aspects
- specification languages
- real time
- graphical representation
- bayesian networks
- formal languages
- semantic mapping
- update semantics
- precisely defined