Ziele:
Zusammenwirken mehrerer Werkzeuge

im Vorlesungsteil:

• Erläuterung der Techniken
• Zusammensetzen zur Moduldefinition

Übungsaufgaben:
Vervollständigen Sie die Spezifikationen in einer .fw Datei als wiederverwendbaren Spezifikationsmodul.

Verständnisfragen:

• Welche Bedingung muessen die Quell- und Zielregeln für Bezeichner erfüllen?
• Warum ist die Dateiangabe in der .pdl-Spezifikation nötig?
• Erläutern Sie die Verwendung der Eigenschaft TransId in unserem Entwurfsschema für Setzen und Lesen von Eigenschaften in Berechnungen im Baum. Warum brauchen wir hier KEINE Reihenfolgeabhängigkeiten?