Application of Coloured Petri Nets for Verification of Scenario Control Structures in UCM Notation

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

Full description

Bibliographic Details
Main Authors: N. V. Vizovitin, V. A. Nepomniaschy, A. A. Stenenko
Format: Article
Language:English
Published: Yaroslavl State University 2016-12-01
Series:Моделирование и анализ информационных систем
Subjects:
верификация
трансляция
нотация use case maps
раскрашенные сети петри
верификатор spin
защищенный компонент
обработка ошибок
Online Access:https://www.mais-journal.ru/jour/article/view/407

Internet

https://www.mais-journal.ru/jour/article/view/407

Similar Items