Modellierung und Qualitätssicherung von UML-Modellen der ...
Modellierung und Qualitätssicherung von UML-Modellen der ...
Modellierung und Qualitätssicherung von UML-Modellen der ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
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