Towards the Completion of the Formal Semantics of OCL 2.0.

Published in: ACSC (2004)

Keyphrases

formal semantics
modeling language
metamodel
logical language
er model
formal language

logical reasoning
first order logic
constraint language
theorem prover
test cases

open source
speech acts
ontology languages
uml class diagrams
description logics

software engineering
operational semantics
epistemic logic
expert systems
artificial intelligence