Исследование свойств документов MSC с помощью преобразования их в сети Петри

Домашня сторінка
→
Фізико-технічні та математичні науки
→
Відділення інформатики
→
Кибернетика и системный анализ
→
Кибернетика и системный анализ, 2009, том 45
→
Кибернетика и системный анализ, 2009, № 6
→
Переглянути статтю

Исследование свойств документов MSC с помощью преобразования их в сети Петри

Крывый, С.Л. ; Чугаенко, А.В. ; Матвеева, Л.Е.

Інші назви: Дослідження властивостей документів MSC за допомогою їх перетворення у мережі Петрі
Exploring the properties of MSC documents by converting them to Petri nets

Тема: Новые средства кибернетики, информатики, вычислительной техники и системного анализа

УДК: 51.681.3

URI: http://dspace.nbuv.gov.ua/handle/123456789/44496

Посилання: Исследование свойств документов MSC с помощью преобразования их в сети Петри / С.Л. Крывый, А.В. Чугаенко, Л.Е. Матвеева // Кибернетика и системный анализ. — 2009. — № 6. — С. 165-171. — Бібліогр.: 13 назв. — рос.

Підтримка: Работа выполнена при финансовой поддержке МОН Украины в рамках совместного Украинско-Болгарского проекта №145/23,02,2009 «Разработка распределенных лабораторий на основе прогрессивных методов доступа для поддержки проектирования сенсорных систем» и Болгарского национального научного фонда в рамках совместного Болгарско-Украинского проекта Д002-331/19,12,2008 с тем же названием.

Дата: 2009

Завантажень: 519

Исследование свойств документов MSC с помощью преобразования их в сети Петри

Анотація:

Розглянуто остаточний варіант алгоритму трансляції документів з мови MSC-2000 у мережі Петрі, що подійно еквівалентні до них. Вхідний документ може використовувати довільні елементи мови MSC-2000, але значення елементів у мовах не використовується, також послідовна композиція діаграм інтерпретується як строга. Наведений алгоритм реалізовано як повнофункціональний прототип, що може використовуватися для верифікації програмних систем.

The article presents the final version of the algorithm for translating MSC-2000 documents to Petri net modulo event equivalence. The input document may include any elements of the MSC-2000 language, assuming that condition element value is not used and sequential composition of MSC diagrams is regarded as strict. The algorithm is implemented as a full-functional prototype and can be used to verify software systems.

Показати повний запис статті