Konferenzbeitrag
Modellierung und Qualitätssicherung von UML-Modellen der Geschäftslogik von Informationssystemen
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Zusatzinformation
Datum
2009
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
Der zunehmenden Komplexität von Software-Modellen, die als Parameter für Codegenerierung verwendet werden, steht der menschliche Modellierer gegenüber, dessen mögliche Modellierungsfehler sich direkt auf das generierte Systemverhalten auswirken. Der Modellierer muss je nach konkreter Aufgabe die gewünschte Sicht auf das Modell wählen können und darüber hinaus durch automatische Qualitätssicherung während der Modellierung unterstützt werden. Dieser Artikel erläutert wie die Modellierung von UML-Modellen der Geschäftslogik für Informationssysteme im Rahmen der Modellarchitektur AMABULO unterstützt wird. Dabei integriert AMABULO verschiedene Modellierungskonzepte in ein semantisches Metamodell, das durch die Abbildung auf gefärbte Petri-Netze semantisch fundiert wird. Die automatische Übersetzung der logischen Information aus UML-Modellen für Geschäftslogik in gefärbte Petri-Netze bildet die Grundlage für die Funktionen einer automatischen Qualitätssicherung.