Ebook: Алгоритмы трансляции UCM-спецификаций в раскрашенные сети Петри

Новосибирск: Институт систем информатики им. А.П. Ершова, 2012. — 56 с.Описаны алгоритмы трансляции UCM-спецификаций (Use Case Maps) в раскрашенные сети Петри (CPN). UCM-спецификации позволяют описывать функциональные требования к системе в графической нотации, изображающей сценарии как совокупность причинно-следственных связей между событиями в системе, которые опционально привязаны к ее архитектуре. Рассматриваются все основные стандартные конструкции UCM за исключением сложных конструкций декомпозиции. Трансляция UCM-спецификаций в CPN модель проиллюстрирована примером.