Formale Grundbegriffe und Methoden

TL;DRAbstract

Ein Prozess, der sich als zeitlich diskrete Folge kausal verknüpfter Ereignisse beschreiben lässt, heißt kausaldiskret. Der Träger eines kausaldiskreten Prozesses heißt kausaldiskretes System. Es wird die USB-Methode (USB — Uniforme Systembeschreibung) für die Beschreibung kausaldiskreter Prozesse und Systeme eingeführt. Die Methode ist für die Komponierung hierarchisch strukturierter Hard- und Softwaresysteme in Form von Operatorenhierarchien entwickelt worden. Ein Operator ordnet Eingabeoperanden bzw. den Werten einer Eingabevariablen x Ausgabeoperanden bzw. Werte der Ausgabevariablen y zu. Wenn die Zuordnung durch einen Menschen oder ein Gerät vorgenommen wird, heißt der Operator real; wenn sie durch eine Vorschrift festgelegt wird, heißt er sprachlich. Ein sprachlicher Operator bedarf eines realen Operators, eines Interpretierers, der die Vorschrift ausführt. Wenn alle Zuordnungen, die ein Operator trifft, eindeutig sind, d.h. wenn einem x-Wert (bzw. Wertetupel) genau ein y-Wert (b

Chat with Paper

AI Agents for this Paper