Konzeptuelle Modellierung der Zustandskonsistenz verteilter betrieblicher Informationssysteme.