Верификация UCM моделей с конструкциями управления сценариями с помощью раскрашенных сетей Петри

Verification of UCM Models with Scenario Control Structures Using Coloured Petri Nets

Article's language
English
Abstract
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. An algorithm for translating UCM scenario control structures into CPN is described. The presented algorithm and the verification process are illustrated by the case study of a network protocol.
DOI
10.31144/si.2307-6410.2016.n7.p11-22
UDK
Pages
11-22
File
Number