OCL (Object Constraint Language)
Formale Sprache zur Beschreibung von Einschränkungen
Motivation:
- umgangssprachliche Beschreibung von Einschränkungen oft ungenau
- traditionelle formale Sprachen oft zu kompliziert
Entwurf von OCL als Kompromiss
- Entwicklung bei IBM als Geschäftsmodellsprache