Formal semantics of static and temporal state-oriented OCL constraints.

Stephan Flake Wolfgang Müller

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

Keyphrases

formal semantics
modeling language
dynamic constraints
constraint language
artificial intelligence
bayesian networks
first order logic
temporal reasoning
logical reasoning
databases
machine learning
software engineering
open source
formal language