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

• Published in: Кибернетика и системный анализ
• Date: 2015
• Main Authors: Визовитин, Н.В., Непомнящий, В.А., Стененко, А.А.
• Format: Article
• Language: Russian
• Published: Інститут кібернетики ім. В.М. Глушкова НАН України 2015
• Subjects: Кибернетика
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/124777
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри / Н.В. Визовитин, В.А. Непомнящий, А.А. Стененко // Кибернетика и системный анализ. — 2015. — Т. 51, № 2. — С. 62-74. — Бібліогр.: 17 назв. — рос.

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