Enriching OCL Using Observational Mu-Calculus.

Julian C. Bradfield Juliana Küster Filipe Perdita Stevens

Published in: FASE (2002)

Keyphrases

constraint language
uml diagrams
metamodel
modeling language
automated deduction
bayesian networks
multi agent systems
algebraic structure
provably correct
causal inference
data sets
genetic algorithm
website
case study
xml documents