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

Скорочена інформація про документ
dc.contributor.authorКрывый, С.Л.
dc.contributor.authorЧугаенко, А.В.
dc.contributor.authorМатвеева, Л.Е.
dc.date.accessioned2013-06-02T09:46:43Z
dc.date.available2013-06-02T09:46:43Z
dc.date.issued2009
dc.description.abstractРозглянуто остаточний варіант алгоритму трансляції документів з мови MSC-2000 у мережі Петрі, що подійно еквівалентні до них. Вхідний документ може використовувати довільні елементи мови MSC-2000, але значення елементів у мовах не використовується, також послідовна композиція діаграм інтерпретується як строга. Наведений алгоритм реалізовано як повнофункціональний прототип, що може використовуватися для верифікації програмних систем.uk_UA
dc.description.abstractThe 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.uk_UA
dc.description.sponsorshipРабота выполнена при финансовой поддержке МОН Украины в рамках совместного Украинско-Болгарского проекта №145/23,02,2009 «Разработка распределенных лабораторий на основе прогрессивных методов доступа для поддержки проектирования сенсорных систем» и Болгарского национального научного фонда в рамках совместного Болгарско-Украинского проекта Д002-331/19,12,2008 с тем же названием.uk_UA
dc.identifier.citationИсследование свойств документов MSC с помощью преобразования их в сети Петри / С.Л. Крывый, А.В. Чугаенко, Л.Е. Матвеева // Кибернетика и системный анализ. — 2009. — № 6. — С. 165-171. — Бібліогр.: 13 назв. — рос.uk_UA
dc.identifier.issn0023-1274
dc.identifier.udc51.681.3
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/44496
dc.language.isoruuk_UA
dc.publisherІнститут кібернетики ім. В.М. Глушкова НАН Україниuk_UA
dc.relation.ispartofКибернетика и системный анализ
dc.statuspublished earlieruk_UA
dc.subjectНовые средства кибернетики, информатики, вычислительной техники и системного анализаuk_UA
dc.titleИсследование свойств документов MSC с помощью преобразования их в сети Петриuk_UA
dc.title.alternativeДослідження властивостей документів MSC за допомогою їх перетворення у мережі Петріuk_UA
dc.title.alternativeExploring the properties of MSC documents by converting them to Petri netsuk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
20-Kryvyi.pdf
Розмір:
277.9 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Кибернетика и системный анализ, 2009, № 6