Publisher's Synopsis
In der Softwareentwicklung werden vermehrt Werkzeuge eingesetzt, die den Entwicklungsprozess beschleunigen und die Qualitat der Software erhohen sollen. Viele dieser Werkzeuge definieren dafur eine eigene Beschreibungssprache, welche die Spezifikation von Anforderungen an die entwickelte Software erleichtert. Ein aktueller Ansatz die Syntax dieser Beschreibungssprachen zu definieren ist die Metamodellierung. Der Werkzeugprototyp AutoFOCUS/Quest ist ein Beispiel fur ein metamodellbasiert entwickeltes Werkzeug. Anhand der Erfahrungen mit diesem Beispiel werden Konzepte erarbeitet, die den Entwurf eines derartigen Werkzeugs ermoglichen. Neben in der Praxis validierten Richtlinien fur den Aufbau von Metamodellen, werden verschiedene Konzepte zur werkzeugunterstutzten Sicherung der Konsistenz von Modellen angegeben. Aktuelle Werkzeuge zur Softwareentwicklung unterstutzen in der Regel nur einen Teil des vollstandigen Entwicklungsprozesses. Fur den produktiven Einsatz wird eine Integration dieser Werkzeuge notwendig, um einen methodisch durchgangigen Softwareentwicklungsprozess zu ermoglichen. Zudem kann nur so die Konsistenz der erstellten Modelle sichergestellt werden. Diese Arbeit enthalt einen Ansatz zur Spezifikation der Kopplung von modellbasierten Werkzeugen. Hierzu wird die formal fundierte Bidirectional Objekt-oriented Transformation Language eingefuhrt, die eine prazise Definition von Modelltransformationen erlaubt. Anhand der Automotive-Werkzeugkette wird dieser Ansatz am Beispiel von drei Werkzeugen aus dem Bereich des Requirements-Engineering, der UML-Modellierung und des Designs von Steuergeratesoftware erlautert.
