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.
Automatische <strong>Qualitätssicherung</strong><br />
• Beispiele für „Fragen“ an das Modell<br />
• Hängen alle Abläufe eines Prozesses logisch zusammen?<br />
• Nein, falls das generierte CPN mehr als eine<br />
Zusammenhangskomponente hat<br />
• Können alle modellierten Funktionen <strong>und</strong> Prozesse ausgeführt werden?<br />
• Funktionen <strong>und</strong> Prozesse, die aufgr<strong>und</strong> <strong>der</strong> Kombination <strong>von</strong><br />
verschiedenen Bedingungen niemals ausgeführt werden können,<br />
führen im CPN zu „tote Transitionen“<br />
• Werden alle Funktionen in <strong>der</strong> richtigen Reihenfolge abgearbeitet?<br />
• Schrittweise Simulation des CPN<br />
• Einsetzen <strong>von</strong> Monitor-Stellen im CPN zur Beobachtung <strong>der</strong><br />
Abarbeitungsreihenfolge <strong>von</strong> Transitionen <strong>und</strong> Token<br />
• Erste Experimente mit CPNTools<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 />
17
Change language