Modellierung der Revisionskontrolle auf der feinkörnigen Ebene

Nachdem das letzte Kapitel der Konsistenzkontrolle gewidmet war, wenden wir uns nun der Modellierung der Revisionskontrolle auf der feinkörnigen Ebene zu. Dabei beschränken wir uns darauf, das Verschmelzen von Revisionen zu untersuchen, da die übrigen Operationen der Revisionskontrolle entweder trivial sind (z.B. Kopieren des Inhalts einer Revision im Zuge des Ableitens) oder nicht unmittelbar mit der Revisionskontrolle zu tun haben (z.B. Bearbeiten einer Revision mit Hilfe eines strukturbezogenen Editors). Als Ausgangspunkt dienen insbesondere die Überlegungen, die in Abschnitt 2.2 angestellt wurden.