Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control.
Zhe ChenOu WeiZhiqiu HuangHongwei XiPublished in: TASE (2015)
Keyphrases
- formal semantics
- er model
- control system
- first order logic
- logical language
- formal language
- operational semantics
- logical reasoning
- lower layers
- access control
- theorem prover
- ontology languages
- owl dl ontology
- modelling language
- model checking
- speech acts
- modeling language
- monitoring system
- open source
- relational databases
- database systems