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

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autoři: N. V. Vizovitin, V. A. Nepomniaschy, A. A. Stenenko
Médium: Artigo
Jazyk:Inglês
Vydáno: Yaroslavl State University 2016-12-01
Edice:Modelirovanie i Analiz Informacionnyh Sistem
Témata:
verification
translation
ucm
coloured petri nets
spin
protected component
error handling
On-line přístup:https://www.mais-journal.ru/jour/article/view/407
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!

Podobné jednotky