7.2.Universelle Entwicklungsumgebung (UniHB)

Architektur der UniForM Workbench

Drei Ebenen der Entwicklung

Verfeinerte Systemarchitektur (UniHB)

7.2.1.User Interaction Manager als gemeinsame Benutzungsoberfläche

(UniHB, Elpro)

Grafische Darstellung von Termen, Regeln

Benutzerführung

Visualisierung und Animation von Objekten

Ergebnisse

Grafische Darstellung von Termen, Regeln (UniHB)

Vereinheitlichung der Benutzerführung in daVinci V2 (UniHB)

Aufwände

7.2.2.Repository Manager für die Objektverwaltung

(UniHB, Elpro)

Entwicklungsgraph und Grafische Darstellung

Ergebnisse

Aufwände

7.2.3.Subsystem Interaction Manager und Integration Manager

(UniHB)

Einheitlicher Rahmen für Interaktion und Integration (UniHB)

Ergebnisse

Basis-Schnittstelle für die Werkzeug-Kommunikation (UniHB)

Integration Manager (UniHB)

Aufwände

7.2.4.Development Manager zur Verwaltung von Entwicklungen

(UniHB)

Entwicklungsskripte, Wiederverwendung von formalen Entwicklungen

Kontrolle der Korrektheit bei Interaktionen

Kontrolle in Bezug auf ein Vorgehensmodell

Ergebnisse

Aufwände

7.2.5.Transformations-Entwicklungssystem

(UniHB / UniOL)

Ergebnisse

Taktische Transformation und taktisches Beweisen als Deduktionsprozesse

Schnittstelle zum User Interaction Manager (UniHB)

Erster Prototyp eines generischen Transformationsentwicklungssystems (UniHB)

Arithmetik-Bibliothek (UniHB)

Aufwände

7.2.6.Transformations-Anwendungssystem

(UniHB / UniOL)

Ergebnisse

Generisches Transformationsentwicklungssystem als Transformationsanwendungssystem (UniHB)

Effiziente Matching-Algorithmen (UniHB)

Aufwände