Nivel: a metamodelling language with a formal semantics.

Timo Asikainen Tomi Männistö

Published in: Softw. Syst. Model. (2009)

Keyphrases

formal semantics
logical language
formal language
operational semantics
modeling language
modelling language
speech acts
logical reasoning
er model
owl dl ontology
ontology languages
first order logic
natural language
object oriented
open source