Modellierung und Qualitätssicherung von UML-Modellen der ...
Modellierung und Qualitätssicherung von UML-Modellen der ... Modellierung und Qualitätssicherung von UML-Modellen der ...
Automatische Qualitätssicherung • Unser Ziel • Modellierer auf Stellen im Modell hinweisen, an denen möglicherweise etwas falsch modelliert wurde • Fokus dabei: Semantische Fehler • Automatische Qualitätssicherung heute • Modellierungswerkzeuge bieten Hilfe zur Vermeidung von Fehlern • Automatische Erkennung von Fehlern immer noch ein aktueller Forschungsgegenstand • Voraussetzung für automatische Qualitätssicherung • Eindeutige definierte Semantik der Notationselemente und deren Beziehungen Modellierung und Qualitätssicherung von UML-Modellen der Geschäftslogik von Informationssystemen 14
Automatische Qualitätssicherung • „Formalisierung“ des AMABULO-Metamodells mit CPN • Gefärbte Petri-Netze (Coloured Petri Nets, CPN) nach Jensen • Abbildung der Elemente und deren Beziehungen auf Elemente eines CPN • Eindeutige Definition der Semantik • Erlaubt nicht nur statische Analyse, sondern auch Simulationen Modellierung und Qualitätssicherung von UML-Modellen der Geschäftslogik von Informationssystemen 15
- Seite 1 und 2: Modellierung und Qualitätssicherun
- Seite 3 und 4: Modellierung • Einsatz von visuel
- Seite 5 und 6: Modellarchitektur für Geschäftslo
- Seite 7 und 8: UML-Modelle für Geschäftslogik
- Seite 9 und 10: UML-Modelle für Geschäftslogik
- Seite 11 und 12: author : Tobias Brueckmann date : 2
- Seite 13: AMABULO - Metamodell • Integratio
- Seite 17 und 18: Automatische Qualitätssicherung
- Seite 19 und 20: Zusammenfassung und Ausblick • Un
Automatische <strong>Qualitätssicherung</strong><br />
• „Formalisierung“ des AMABULO-Metamodells mit CPN<br />
• Gefärbte Petri-Netze (Coloured Petri Nets, CPN) nach Jensen<br />
• Abbildung <strong>der</strong> Elemente <strong>und</strong> <strong>der</strong>en Beziehungen auf Elemente eines CPN<br />
• Eindeutige Definition <strong>der</strong> Semantik<br />
• Erlaubt nicht nur statische Analyse, son<strong>der</strong>n auch Simulationen<br />
<strong>Modellierung</strong> <strong>und</strong> <strong>Qualitätssicherung</strong> <strong>von</strong> <strong>UML</strong>-<strong>Modellen</strong> <strong>der</strong> Geschäftslogik <strong>von</strong> Informationssystemen<br />
15