Einbindung formaler Constraints in UML Spezifikationen

Bei der Anwendung von Entwurfsmustern werden diese regelmäßig
strukturell angepaßt und implizit um weitere Forderungen
(Constraints) ergänzt. Häufig werden diese Forderungen in der
Praxis gar nicht oder nur unzureichend informell notiert.
Die Grundidee der vorliegenden Arbeit besteht darin, häufig
benutzte Erweiterungen von Entwurfsmustern zu erfassen und in
OCL zu formalisieren. Dazu wird zunächst eine Erweiterung der
OCL-Syntax definiert, die eine flexible Anbindung von
OCL-Constraints an die Entwurfsmuster erlaubt. Anschließend
werden exemplarisch die in einem realen Projekt aufgetretenen
Forderungen mit den verwendeten Entwurfsmustern verknüpft.