Modellierung und Qualitätssicherung von UML-Modellen der ...
Modellierung und Qualitätssicherung von UML-Modellen der ...
Modellierung und Qualitätssicherung von UML-Modellen der ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Zusammenfassung <strong>und</strong> Ausblick<br />
• Unser Ziel: Unterstützung <strong>der</strong> <strong>Modellierung</strong> <strong>und</strong> Code-Generierung für<br />
Geschäftslogik <strong>von</strong> Informationssystemen<br />
• <strong>UML</strong>-Diagramme: Aktivitäts-, Klassen-, Zustandsdiagramme<br />
• Integration <strong>der</strong> Sichten in ein (einfaches) Metamodell<br />
• Abstraktion <strong>und</strong> Reduzierung auf logische Informationen<br />
• Formale Semantik durch Abbildung auf CPN<br />
• Automatische Generierung <strong>von</strong> CPN aus <strong>UML</strong><br />
• Gr<strong>und</strong>lage für automatische <strong>Qualitätssicherung</strong><br />
• Ausblick<br />
• Klassifizierung <strong>und</strong> automatisches Finden möglicher <strong>Modellierung</strong>sfehler<br />
• Generatoren für "industriellen" Programmcode für Geschäftslogik<br />
• Gesucht: Industrieprojekte als „Praxistest"<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 />
19