Language and Communication Problems in Formalization: A Natural Language Approach

Das Kapitel vertieft sich in die Feinheiten der Formalisierung von Softwareanforderungen aus Beschreibungen natürlicher Sprache, ein Prozess voller Unklarheiten. Er diskutiert den klassischen Softwareentwicklungsprozess und konzentriert sich dabei auf die Herausforderungen der Übersetzung informeller Anforderungen in formale Modelle. Der Autor befürwortet den Einsatz von Werkzeugen zur Verarbeitung natürlicher Sprache (Natural Language Processing, NLP), um diese Unklarheiten zu identifizieren und abzumildern, was am Beispiel der Anwendung des QuARS-Tools auf die Fallstudie Dampfkessel verdeutlicht wird. Das Kapitel kategorisiert und liefert Beispiele für verschiedene Quellen der Mehrdeutigkeit, wie lexikalische, syntaktische und zeitliche Mehrdeutigkeiten, und zeigt, wie diese mithilfe formaler Logik und zeitlicher Logik gelöst werden können. Die Forschung zeigt einen neuartigen Ansatz zur Überbrückung der Kluft zwischen informellen Anforderungen und ihrer formalen Repräsentation und bietet eine systematische Methode, um Klarheit und Präzision bei der Softwareentwicklung zu gewährleisten.