fOOSE- Eine integrierte formale Softwareentwicklungsmethode
نویسنده
چکیده
Die Methode “fOOSE” (formal Object-Oriented Software Engineering) exemplifiziert eine auf der “Unified Modeling Language” (UML) basierende, integrierte formale Softwareentwicklungsmethode: Jacobsons “Object-Oriented Software Engineering”-Methode (OOSE) wird um diagrammgestützte, formale Spezifikationen, Beweisverpflichtungen und Verfeinerungen erweitert. Die diagrammatischen UMLModelle werden um Anmerkungen, etwa Invarianten, in einer formalen, algebraischen Sprache optional ergänzt. Aus der Semantik der Diagramme und der Anmerkungen kann halbautomatisch eine ablauffähige Spezifikation in der objektorientierten, algebraischen Spezifikationssprache Maude abgeleitet werden: Ein automatisch erstelltes Spezifikationsgerüst muß vom Benutzer unter Ausnutzung der formalen Annotationen vervollständigt werden. Diese Spezifikationen erlauben insbesondere die Verifikation von Verfeinerungsbeziehungen zwischen Modellen. Schließlich bildet die semi-automatisch erstellte Spezifikation aus einem gegebenen, annotierten Softwaremodell auch die Grundlage für eine korrekte Implementierung dieses Modells in der objektorientierten, nebenläufigen Programmiersprache Java.
منابع مشابه
Architektur integrierter Dienstleistungssysteme: Konzeption, Metamodell und technikraumspezifische Konkretisierung
Mit der Architektur integrierter Dienstleistungssysteme wird ein Beitrag im Forschungsfeld des Service Engineerings, welches Teilgebiet der Dienstleistungsforschung ist, geleistet. Diese Architektur definiert einen Ordnungsrahmen, welcher die strukturierte und formale Modellierung von Dienstleistungen ermöglicht. Primär soll der Entwicklungsprozess von Dienstleistungen unterstützt werden. Hierb...
متن کاملIntegrierte Dokumenten- und Ablaufmodellierung von E-Business-Prozessen
Aufgrund der starken Zunahme internetbasierter E-BusinessAktivitäten werden Sprachen für die Modellierung von E-Business-Prozessen immer wichtiger. Ziel der Modellierung ist die formale Darstellung der organisationsübergreifenden Prozesse und aller prozeßrelevanten Objekte. Zur integrierten Modellierung von E-Business-Prozessen und den prozeßrelevanten Dokumenten wird daher eine neue Variante h...
متن کاملÜber die formale Beschreibung räumlicher Netze
Thema dieses Vortrags ist ein grundlegender Formalismus, der die räumliche Struktur und sofern vorhanden das Zeitverhalten diskreter Systeme beschreibt, d.h. von Systemen mit individuellen Komponenten. Genauer gesagt, ist der Formalismus eine formale Sprache, die in ihrem Kern das Skelett beschreibt, auf das sich alle diskreten Systeme durch Abstraktion reduzieren lassen. Umgekehrt kann das Ske...
متن کامل