An ocarina extension for AADL formal semantics generation.

Hana Mkaouar Bechir Zalila Jérôme Hugues Mohamed Jmaiel

Published in: SAC (2018)

Keyphrases

formal semantics
logical language
first order logic
modelling language
generation method
er model
operational semantics
logical reasoning
formal language
modeling language
high level
databases
test cases
owl dl ontology