TZITitelseite \ Projekte \ Werkzeuge zur ... Universität Bremen

Werkzeuge zur Spezifikation und Entwicklung mit algebraischen Methoden

Im Rahmen des ISP-Projektes 2.1 wird die UniForM-Workbench, insbesondere das Transformationsanwendungssystem TAS, weiterentwickelt und mit verschiedenen, algebraisch orientierten Entwicklungsmethodologien instantiiert. Zum einen erfolgt diese Instantiierung mit dem Bird-Meertens-Kalkül zur systematischen Entwicklung von funktionalen Programmen (fertiggestellt), zum anderen mit der im Rahmen des CoFI-Projektes (s.u.) entwickelten algebraischen Spezifikationssprache und generischen Entwicklungsmethodologie CASL (in Bearbeitung). Die Instantiierung von TAS für den Bird-Meertens-Kalkül wurde als angemeldete Tool Demo auf der Konferenz Formal Methods Europe (FME'97) präsentiert; die Instantiierung für CASL wird im Rahmen eines CoFI-Projekttreffens im Januar 1998 vorgestellt.

Geplant sind weitere Instantiierungen von TAS mit den im UniForM-Projekt entwickelten Kodierungen der Prozeßkalkülsprache CSP und der Spezifikationssprache Z. Ferner wird das Transformationsanwendungssystem um eine Codeerzeugungskomponente erweitert. Hier werden gewisse rekursive Gleichungen als ausführbare Spezifikationen identifiziert, und es wird ein Verfahren implementiert, mit dem diese rekursiven Gleichungen als Programm in ML oder C ausgegeben werden können.

Mitarbeiter: Dr. Christoph Lüth
Dr. Holger Schlingloff
Projektleitung: Prof. Dr. Bernd Krieg-Brückner
Prof. Dr. Jan Peleska
Laufzeit: 12/96-12/99
Förderung: ISP

22. Februar 1998 (TZI-Webmaster)