Application of Coloured Petri Nets for Verification of Scenario Control Structures in UCM Notation
This article presents a method for the analysis and verification of Use Case Maps (UCM) models with scenario control structures — protected components and failure handling constructs. UCM models are analyzed and verified with the help of coloured Petri nets (CPN) and the SPIN model checker. Algorithms...
Sparad:
| Huvudupphov: | , , |
|---|---|
| Materialtyp: | Artigo |
| Språk: | Inglês |
| Utgiven: |
Yaroslavl State University
2016-12-01
|
| Serie: | Моделирование и анализ информационных систем |
| Ämnen: | |
| Länkar: | https://www.mais-journal.ru/jour/article/view/407 |
| Taggar: |
Inga taggar, Lägg till första taggen!
|