Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри / Визовитин Н. В., Непомнящий В. А., Стененко А. А. (2015)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000412823
  Кибернетика и системный анализ      А - 2019  /     Випуск (2015, Т. 51, № 2)

Визовитин Н. В., Непомнящий В. А., Стененко А. А.
Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри

Представлена новая система анализа и верификации Use Case Maps (UCM) спецификаций с использованием раскрашенных сетей Петри и системы верификации SPIN. Стандартизованная нотация UCM - удобное графическое средство формального описания функциональных требований. Описаны алгоритмы трансляции UCM-спецификаций в раскрашенные сети Петри, а также трансляции последних во входной язык Promela системы SPIN. Приведен вывод оценки сложности получаемых раскрашенных сетей Петри. Работа представленных алгоритмов и инструментов демонстрируется на примере верификации коммуникационного протокола с локализацией и исправлением ошибок в исходной UCM-спецификации.

Бібліографічний опис:
Визовитин Н. В., Непомнящий В. А., Стененко А. А. Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри. Кибернетика и системный анализ. 2015. Т. 51, № 2. С. 62-74. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000412823

English  Cybernetics and Systems Analysis   /     Issue (2015, 51 (2))

translit Transliteration

Vizovitin N. V., Nepomnjashchij V. A., Stenenko A. A.
Verifikatsija UCM-spetsifikatsij raspredelennykh sistem s ispolzovaniem raskrashennykh setej Petri

Cite:
Vizovitin, N. V., Nepomnjashchij, V. A., Stenenko, A. A. (2015). Verifikatsija UCM-spetsifikatsij raspredelennykh sistem s ispolzovaniem raskrashennykh setej Petri. Cybernetics and Systems Analysis, 51 (2), 62-74 http://jnas.nbuv.gov.ua/article/UJRN-0000412823 [In Russian].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна