Two Formal Semantics of a Subset of the AADL.

Zhibin Yang Kai Hu Jean-Paul Bodeveix Lei Pi Dianfu Ma Jean-Pierre Talpin

Published in: ICECCS (2011)

Keyphrases

formal semantics
logical language
logical reasoning
modeling language
er model
first order logic
operational semantics
formal language
modelling language
speech acts
ontology languages
owl dl ontology
relational databases