Package de.tuberlin.cs.cis.ocl.eval

Provides classes for evaluation of OCL constraints.

See:
Description

Class Summary

Evaluator

Interprets and evaluates OCL constraints on the instance level of a model.

Package de.tuberlin.cs.cis.ocl.eval Description

Provides classes for evaluation of OCL constraints. OCL constraints are validated against models on the instance level. Specified instances and properties of model types are accessed to evaluate expressed constraints. Evaluation results can be used to validate the correctness of a model.

Related Documentation

The package is heavily based on the framework's parser and context checker, the type system implementation and the instance-level implementation:

• de.tuberlin.cs.cis.ocl.check
• de.tuberlin.cs.cis.ocl.parser
• de.tuberlin.cs.cis.ocl.type
• de.tuberlin.cs.cis.ocl.eval.instance

For overviews, tutorials, examples, guides, and tool documentation, please see:

• Naomi Project at Sourceforge
• Fadi Chabarek's diploma thesis, especially chapter 6