Grundlagen der verwendeten Beschreibungsmittel

Zusammenfassung

In diesem Kapitel werden die Grundlagen der Beschreibungsmittel dargelegt, die zur Formalisierung und Vernetzung von Verlässlichkeitsbegriffen der technischen Zuverlässigkeit in den folgenden Kapiteln Anwendung finden: Die Aussagenlogik, wie auch die Prädikatenlogik erster Stufe, anschließend die grundlegenden Konzepte der Wahrscheinlichkeitstheorie. Zur visuellen Darstellung statischer Begriffsrelationen, insbesondere Generalisierungen und Aggregationen, werden in Abschn. 2.2 die essentiellen Konzepte der UML-Klassendiagramme vorgestellt. Zur formalen grafischen Modellierung des Verhaltens von Systemen und damit die Relationierung entsprechender zustands- und ereignisbezogener Begriffe, werden schließlich in Abschn. 2.3 kausale wie stochastische Petrinetze eingeführt.

Grundsätzlich werden alle in diesem Kapitel betrachteten Beschreibungsmittel und Konzepte jeweils nur in dem Umfang vorgestellt, wie es für die weiteren Inhalte dieser Arbeit notwendig ist. Im Rahmen der Semiotik in Abschn. 2.4 werden darüber hinaus in Abschn. 2.4.2 die Relationen zwischen Bezeichnungen und Begriffen formal gefasst. Auf dieser Basis können die Gründe von Kommunikationsunschärfen wie bspw. kognitive Lücken oder Ambiguitäten formal spezifiziert und in Kap. 3 zur Relationierung von systemtheoretischen und semiotischen Konzepten nutzbar gemacht werden.