Исследование свойств документов MSC с помощью преобразования их в сети Петри
Vernadsky National Library of Ukraine
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Исследование свойств документов MSC с помощью преобразования их в сети Петри
|
|
Creator |
Крывый, С.Л.
Чугаенко, А.В. Матвеева, Л.Е. |
|
Subject |
Новые средства кибернетики, информатики, вычислительной техники и системного анализа
|
|
Description |
Розглянуто остаточний варіант алгоритму трансляції документів з мови 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. |
|
Date |
2013-06-02T09:46:43Z
2013-06-02T09:46:43Z 2009 |
|
Type |
Article
|
|
Identifier |
Исследование свойств документов MSC с помощью преобразования их в сети Петри / С.Л. Крывый, А.В. Чугаенко, Л.Е. Матвеева // Кибернетика и системный анализ. — 2009. — № 6. — С. 165-171. — Бібліогр.: 13 назв. — рос.
0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/44496 51.681.3 |
|
Language |
ru
|
|
Relation |
Кибернетика и системный анализ
|
|
Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|