 Algebraische Spezifikationsmethoden |
| Eine algebraische Methode verwendet Funktionen (Operationen), elementare oder abstrakte Datentypen und Axiome zur Beschreibung von Systemen. Der Zustand des Systems wird nicht explizit modelliert. |
 |
| Basistechnologien der MDA |
| Die MDA vereint eine Vielzahl von standardisierten Technologien der OMG. Nur mit Hilfe dieser Technologien lässt sich der prinzipielle Ansatz der MDA umsetzen. |
|
| Einführung in die MDA |
| Die MDA (Model Driven Architecture) ist eine Strategie der Object Management Group (OMG) zur modellgetriebenen Soft- und Hardwareentwicklung, welche durch eine klare Trennung von Abstraktionsschichten bei der Modellierung von Systemen die Wiederverwendbarkeit/Langlebigkeit der Modelle sichert. |
|
| Entwurf von EAI-Architekturen |
|
| Informelle und formale Spezifikation |
|
| Interaktionssicht |
| In der Interaktionssicht wird beispielhaftes Verhalten eines System beschrieben. Dabei wird mittels Interaktionsszenarien die zeitliche Abfolge von Nachrichten zwischen Komponenten festgelegt. |
|
| Konzepte der MDA |
| Die wesentlichen Konzepte für die MDA-basierte Entwicklung von Softwaresystemen wurden von der OMG in einem so genannten MDA Guide skizziert und verabschiedet. |
|
| Model Driven Architecture - Themenüberblick |
| Die Model Driven Architecture (MDA) ist ein Standardisierungskonzept der OMG und wird als nächster Schritt zur Automation der Softwareerstellung gesehen. Diese Seite gibt einen Überblick über einige Aspekte im Rahmen der Softwareentwicklung mit MDA. |
|
| Modellbasierte formale Spezifikation |
| Im Zentrum der modellbasierten Ansätze steht der Zustand des Systems. Systeme werden vor allem über mathematische Mittel wie Mengen, Folgen und Relationen definiert. Invarianten auf dem Zustand werden über Prädikate beschrieben. |
|
| Offene Punkte in der MDA-Anwendung |
| Auf dieser Seite werden offene Punkte von MDA wie unter anderem "Stabilität des Datenmodells", "Entfremdung des Entwicklers vom Code", "Unzulänglichkeit in den Tool" aufgelistet und kurz beschrieben. |
|
 Produktlinien-Architektur |
| Das Design einer Produktlinienarchitektur bestimmt die Struktur der Produkte einer Produktlinie |
|
 PuLSE DSSA |
| Ziel von PuLSE DSSA ist es, eine Produktfamilienarchitektur zu schaffen und zu erfassen, welche die Struktur der Produktfamilienmitglieder optimal unterstützt. |
|
| Referenzarchitekturen |
| Eine Referenzarchitektur ist eine abstrakte Softwarearchitektur, sie definiert Strukturen und Typen von Software-Elementen sowie deren erlaubte Interaktionen und ihre Verantwortlichkeiten speziell für einen Anwendungsbereich. Die Strukturen sind jeweils für alle Systeme innerhalb einer Domäne anwendbar. |
|
| Safety Engineering (Sicherheitsengineering) und Safety Management |
|
| Struktursicht |
|
| UMLsec |
| UMLsec unterstützt den Entwurf sicherheitskritischer Systeme. UML-Modelle, wie sie typischerweise während der Software-Entwicklung entstehen, werden mit Hilfe der UMLsec-Sprachmittel erweitert. |
|
| Verhaltenssicht |
| In der Verhaltenssicht wird das Verhalten eines Systems oder einer Komponente in Form der Reaktionen auf Eingaben aus der Umgebung und der daraus resultierenden Ausgaben in die Umgebung. |
|
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
