Eksport udført — 

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

Descripció completa

Guardat en:
Dades bibliogràfiques
Autors principals: N. V. Vizovitin, V. A. Nepomniaschy, A. A. Stenenko
Format: Artigo
Idioma:Inglês
Publicat: Yaroslavl State University 2016-12-01
Col·lecció:Modelirovanie i Analiz Informacionnyh Sistem
Matèries:
verification
translation
ucm
coloured petri nets
spin
protected component
error handling
Accés en línia:https://www.mais-journal.ru/jour/article/view/407
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars