Kurzdefinition

Fachregel, die in allen Zuständen eines Objekts wahr ist, unabhängig davon, welchen Operationen es unterzogen wird.

Ausführliche Definition

In der Informatik ist eine Invariante eine Bedingung, die ein Programm an bestimmten Punkten seiner Ausführung wahr hält. In den Artikeln dieses Blogs bezeichnet der Begriff eine in einem Satz formulierte Fachregel über ein Objekt der Domäne — eine Rechnung, eine Gutschrift, einen Auftrag —, die in der Ontologie festgehalten ist, unabhängig von dem Code, der für ihre Einhaltung sorgt.

Gebrauch im Feld

Schreiben einer fachlichen Ontologie, Ableitung automatisierter Tests aus Regeln, Kohärenzprüfung des von einem Agenten erzeugten Codes.

Synonyme und Varianten

Immer wahre Regel, fachliche Rahmenbedingung.

Nicht zu verwechseln mit

• Bedingte Geschäftsregel — Regel, die nur in bestimmten Fällen oder Zuständen gilt; die Invariante gilt in allen.
• Test — ausführbare Prüfung eines Verhaltens; eine Invariante kann einen hervorbringen, existiert aber auch ohne ihn.

Beispiele

Eine freigegebene Rechnung darf nicht mehr geändert werden. Eine Rechnung hat mindestens eine Position. Eine Gutschrift verweist auf die Rechnung, die sie korrigiert. Ein stornierter Auftrag darf nicht versandt werden.

Mehrdeutigkeiten / Debatten

Die Grenze zwischen Invariante und bedingter Regel hängt vom Zuschnitt der Zustände ab: „Eine freigegebene Rechnung darf nicht mehr geändert werden“ ist bezogen auf die Rechnung bedingt, bezogen auf den Zustand „freigegeben“ aber invariant.