Towards a formal semantics for the AADL behavior annex.

Zhibin Yang Kai Hu Dianfu Ma Lei Pi

Published in: DATE (2009)

Keyphrases

formal semantics
eca rules
logical language
operational semantics
modeling language
logical reasoning
first order logic
formal language
modelling language
owl dl ontology
er model
software development
theorem prover
ontology languages
database