Multi-Logik-Systeme als Basis für heterogene Spezifikation und Entwicklung

Formale Methoden sind für die Entwicklung korrekter Software insbesondere in sicherheitskritischen bereutsam. Bei软件开发项目韦尔登经常在开发过程中提供更多的语言和工具。Wirksamkeit vielfältiger Konzepte und Methoden innerhalb einer System twicklung zu gewährleisten，müssen sie semantisch verträglich sein.基于最新的国际通用代数规范语言CASL（Common Algebraic Specification Language），我们首先设计了一个Logiken图，CASL的语言和语法是一个很好的例子，它可以快速地描述各种不同的语言（CSP，OBJ，Larch，Z），它们也是最好的语言。在第二次会议上，我们将讨论如何实现一个基于异质性的频谱分配。因此，必须进行全面的分析和生产管理，使之成为韦尔登. Der Logik-Graph is so die semantische Basis für die heterogene Combination von Methoden und Werkzeugen.

Formale Methoden sind für die Entwicklung korrekter Software insbesondere in sicherheitskritischen Bereichen bedeutsam. Bei Softwareentwicklungsprojekten werden oft für verschiedene Zwecke mehrere Sprachen und Werkzeuge gleichzeitig in die Entwicklung eingebracht. Um die Wirksamkeit vielfältiger Konzepte und Methoden innerhalb einer Systementwicklung zu gewährleisten, müssen sie semantisch verträglich sein. Basierend auf der neuen international standardisierten Spezifikationssprache CASL (Common Algebraic Specification Language) wurde im ersten Teil des Projekts ein Graph von Logiken entwickelt, der Teilsprachen und Erweiterungen von CASL sowie exemplarisch andere Spezifikationssprachen umfasst, mit denen bereits erfolgreich Anwendungen entwickelt wurden (CSP, OBJ, Larch, Z), siehe auch den beigefügten Zwischenbericht. Im zweiten Teil soll es nun um die Implementierung einer darauf basierenden heterogenen Spezifikationssprache gehen. Dazu sollen existierende Analyse- und Beweiswerkzeuge integriert und ein umfassenden Beweismanagement entwickelt werden. Der Logik-Graph ist so die semantische Basis für die heterogene Kombination von Methoden und Werkzeugen.