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...

Cijeli opis

Spremljeno u:
Bibliografski detalji
Glavni autori: N. V. Vizovitin, V. A. Nepomniaschy, A. A. Stenenko
Format: Artigo
Jezik:Inglês
Izdano: Yaroslavl State University 2016-12-01
Serija:Modelirovanie i Analiz Informacionnyh Sistem
Teme:
verification
translation
ucm
coloured petri nets
spin
protected component
error handling
Online pristup:https://www.mais-journal.ru/jour/article/view/407
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!

Similar Items