Das grundlegende Zulässigkeitsrahmenwerk

Dieses Papier stellt ein minimales strukturelles Rahmenwerk vor, um zu bestimmen, ob ein Zustand zu einem System gehört und ob die Systementwicklung fortschreiten kann. Das Rahmenwerk isoliert zwei notwendige und hinreichende Bedingungen: Zulässigkeit und Erreichbarkeit. Zulässigkeit gibt an, ob ein erzeugter Zustand die geltenden Beschränkungen erfüllt, während Erreichbarkeit definiert, ob der Zustand auf mindestens einem zulässigen Pfad von einer Anfangsbedingung liegt. Zusammen definieren sie die Systemmitgliedschaft und Fortsetzung ohne Bezugnahme auf domänenspezifische Gesetze. Dies etabliert ein domänenneutrales Kriterium für gültige Zustände, das auf formale, physikalische, rechnerische und dynamische Systeme anwendbar ist.