Umgebungsdiagramm (Informatik)
# Umgebungsdiagramm (Informatik)

Umgebungsdiagramme (engl. environment diagrams) dienen der grafischen Veranschaulichung der Umgebungsmodelle von funktionalen Programmiersprachen wie LISP oder Scheme. Sie finden insbesondere didaktische Verwendung, um die Unterschiede zwischen statischem und dynamischem Binden zu verdeutlichen. Umgebungsdiagramme basieren auf dem Buchkapitel The Environment Model of Evaluation.

## Umgebungsmodell

Die Struktur eines Programms lässt sich in einzelne Umgebungen ($env_{0}...env_{k}$) zerlegen.

* $env_0$ stellt dabei die initiale Umgebung dar. Sie stellt die Grundfunktionalität (arithmetische Funktionen und andere Operatoren, z. B. +, -, =) einer Sprache dar. $env_0$ ist immer vorhanden und wird implizit vorausgesetzt („User Global Environment“). Alle anderen Umgebungen stützen sich direkt oder indirekt auf $env_0$ ab.
* $env_1$ ist das Haupt- oder Rahmenprogramm („User Initial Environment“). $env_1$ enthält Funktions- und Variablendeklarationen. Erst durch den Aufruf einer Funktion oder durch let bzw. let*, wird eine „höhere“ Umgebung $env_2$ erstellt.
* $env_2...$ $env_k$ sind gleichwertig zu env1. Eine Umgebung $env_2$ kann selbst wiederum eigene Funktionen (Methoden) oder Variablen (Attribute) deklarieren. Auch hier führt ein Funktionsaufruf zu einer Inkrementierung der Umgebungsstufe.
* Umgebungen lassen sich verschachteln (bei Scheme durch lambda, let und define).

## Elemente von Umgebungsdiagrammen

Folgende Elemente tauchen im Umgebungsdiagramm auf:

### Rechtecke

Rechtecke stellen eine Umgebung dar, welche Bindungspaare enthält.

### Gestrichelte Rechtecke

Gestrichelte Rechtecke stellen einen Funktionsrumpf dar. Im oberen Teil eines solchen Rechtecks werden die Parameter einer Funktion in Klammern geschrieben. Im unteren Teil folgt dann der eigentliche Funktionsterm. Funktionsterme können selbst wiederum andere Funktionen aufrufen oder let- und let*-Ausdrücke enthalten, wodurch eine neue Umgebung erstellt wird.

### Kreispaare

Kreispaare stehen für Funktionsobjekte. Einer der Kreise der Kreispaare verweist auf den Funktionsrumpf des Funktionsobjekts. Der zweite Kreis zeigt auf die Definitionsumgebung, also auf die Umgebung, in der die Funktion definiert wurde (in aller Regel also eine Umgebungsebene niedriger).

### Pfeile oder Kanten

Gerichtete Kanten referenzieren vom Funktionsobjekt auf die Definitionsumgebung und auf den Funktionsrumpf.

### Beispiel für ein Umgebungsdiagramm

Das obige Code-Beispiel sähe in einem Umgebungsdiagramm folgendermaßen aus:

### Weiterführung des Beispiels

Aufbauend auf dem letzten Beispiel folgt hier eine Erweiterung und Vervollständigung in Scheme-Code:

Umgebungsdiagramm:

## Rezept zum Erstellen eines Umgebungsdiagramms

(Umgebungsdiagramme für Dummies)

* Man braucht für die Umgebung $env_{0}$ kein Rechteck anzufertigen, man notiert also als erstes „env0“.
* Man notiere die äußersten Funktionen und Bindungen in die erste Umgebung env_0.

    Neue Umgebungen werden durch folgende Konstrukte erzeugt:
*   * let und let*
*   * define

    Dabei ist zu beachten, dass bei jeder Prozedurauswertung eine neue Umgebung erstellt wird.
* Funktionen werden durch 2 Kreise als Funktionsobjekt, mit Hilfe von 3 Pfeilen, an die alte Umgebung angebunden. Der erste Pfeil zeigt von dem Parameter der Funktion (welcher durch eine Lücke repräsentiert wird) auf den Rand des linken Kreises. Der zweite Pfeil zeigt von der Mitte des linken Kreises auf den Rand der Funktionsumgebung (welche nicht mit env_N durchnummeriert wird). Der dritte Pfeil führt aus der Mitte des rechten Kreises zum Rand der Umgebung, in der die Funktion definiert wurde.
