Algorithmische Verifizierung zweier Bausteine der Wirkungslogik

Zusammenfassung

Nachdem in D.5.–D.7. eine Wirkungslogik entwickelt wurde, die Wechselwirkungen zwischen Aufbauorganisation und Ablauforganisation beschreibt, soll diese in E an Hand zweier Problemfälle verifiziert bzw. die Rechenbarkeit unter Beweis gestellt warden (1). Zwei Bausteine aus dem Gesamtgestaltungsrahmen, das mögliche Abflachen der Managementpyramide als Beispiel für die allgemeine Organisationsproblematik und die potentielle Bedeutung des Superkommunikationsmanagers als Beispiel für die spezielle Organisationsproblematik, werden näher durchleuchtet (2). Es soll mit Hilfe dieser beiden Algorithmen kostenrechnerisch gezeigt werden, wie eine bestehende Strukturorganisation durch ihren determinierenden Charakter auf die Abläufe dort Schwachstellen erzeugt und nach ablauforganisatorischen Korrekturen auch aufbauorganisatorische Eingriffe erzwungen werden.