Werkzeuge

Zusammenfassung

Der Erfolg und die Akzeptanz formaler Beschreibungstechniken hängt in entscheidendem Maße von der Verfügbarkeit von Werkzeugen ab, die ihre Anwendung unterstützen. Werkzeuge implementieren die Methoden und Techniken, die auf den formalen Beschreibungstechniken aufbauen. Der Umfang der formalen Protokollbeschreibungen als auch die Komplexität der verschiedenen Techniken der Protokollentwicklung sind ohne unterstützende Werkzeuge nicht beherrschbar. Erst durch Werkzeuge ist eine bequeme und effiziente Anwendung formaler Beschreibungstechniken möglich. Sie erhöhen die Effizienz der Protokollentwicklung, indem sie Prozesse, die nur schwer manuell ausführbar sind, ganz oder teilweise automatisieren, was die Entwicklungszeiten spürbar verkürzt. Werkzeuge ermöglichen zugleich auch Nutzern den Zugang zu formalen Beschreibungstechniken, die mit den theoretischen Zusammenhängen weniger vertraut sind. Sie fördern damit eine breite Anwendung der formalen Beschreibungstechniken. Weiterhin tragen Werkzeuge wesentlich zu einer Erhöhung der Qualität der Protokollentwicklung bei, da sie aufgrund der eigenen sorgfältigen Entwicklung helfen, Fehler im Protokollentwicklungsprozess zu vermeiden. Ihr Einsatz kann außerdem subjektive Abhängigkeiten von Entwicklern im Protokollentwicklungsprozess reduzieren, da stets die formale Beschreibung den Bezugspunkt bildet und Entwicklungsschritte wiederholbar werden. Die Bereitstellung von Werkzeugen ist somit ein wesentliches Element der Entwicklung und Nutzung formaler Beschreibungstechniken.