Исследование свойств документов MSC с помощью преобразования их в сети Петри
Розглянуто остаточний варіант алгоритму трансляції документів з мови MSC-2000 у мережі Петрі, що подійно еквівалентні до них. Вхідний документ може використовувати довільні елементи мови MSC-2000, але значення елементів у мовах не використовується, також послідовна композиція діаграм інтерпретується...
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2009 |
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2009
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/44496 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Исследование свойств документов MSC с помощью преобразования их в сети Петри / С.Л. Крывый, А.В. Чугаенко, Л.Е. Матвеева // Кибернетика и системный анализ. — 2009. — № 6. — С. 165-171. — Бібліогр.: 13 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862722957542948864 |
|---|---|
| author | Крывый, С.Л. Чугаенко, А.В. Матвеева, Л.Е. |
| author_facet | Крывый, С.Л. Чугаенко, А.В. Матвеева, Л.Е. |
| citation_txt | Исследование свойств документов MSC с помощью преобразования их в сети Петри / С.Л. Крывый, А.В. Чугаенко, Л.Е. Матвеева // Кибернетика и системный анализ. — 2009. — № 6. — С. 165-171. — Бібліогр.: 13 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| 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.
|
| first_indexed | 2025-12-07T18:39:13Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-44496 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-12-07T18:39:13Z |
| publishDate | 2009 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Крывый, С.Л. Чугаенко, А.В. Матвеева, Л.Е. 2013-06-02T09:46:43Z 2013-06-02T09:46:43Z 2009 Исследование свойств документов MSC с помощью преобразования их в сети Петри / С.Л. Крывый, А.В. Чугаенко, Л.Е. Матвеева // Кибернетика и системный анализ. — 2009. — № 6. — С. 165-171. — Бібліогр.: 13 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/44496 51.681.3 Розглянуто остаточний варіант алгоритму трансляції документів з мови 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. Работа выполнена при финансовой поддержке МОН Украины в рамках совместного Украинско-Болгарского проекта №145/23,02,2009 «Разработка распределенных лабораторий на основе прогрессивных методов доступа для поддержки проектирования сенсорных систем» и Болгарского национального научного фонда в рамках совместного Болгарско-Украинского проекта Д002-331/19,12,2008 с тем же названием. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Новые средства кибернетики, информатики, вычислительной техники и системного анализа Исследование свойств документов MSC с помощью преобразования их в сети Петри Дослідження властивостей документів MSC за допомогою їх перетворення у мережі Петрі Exploring the properties of MSC documents by converting them to Petri nets Article published earlier |
| spellingShingle | Исследование свойств документов MSC с помощью преобразования их в сети Петри Крывый, С.Л. Чугаенко, А.В. Матвеева, Л.Е. Новые средства кибернетики, информатики, вычислительной техники и системного анализа |
| title | Исследование свойств документов MSC с помощью преобразования их в сети Петри |
| title_alt | Дослідження властивостей документів MSC за допомогою їх перетворення у мережі Петрі Exploring the properties of MSC documents by converting them to Petri nets |
| title_full | Исследование свойств документов MSC с помощью преобразования их в сети Петри |
| title_fullStr | Исследование свойств документов MSC с помощью преобразования их в сети Петри |
| title_full_unstemmed | Исследование свойств документов MSC с помощью преобразования их в сети Петри |
| title_short | Исследование свойств документов MSC с помощью преобразования их в сети Петри |
| title_sort | исследование свойств документов msc с помощью преобразования их в сети петри |
| topic | Новые средства кибернетики, информатики, вычислительной техники и системного анализа |
| topic_facet | Новые средства кибернетики, информатики, вычислительной техники и системного анализа |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/44496 |
| work_keys_str_mv | AT kryvyisl issledovaniesvoistvdokumentovmscspomoŝʹûpreobrazovaniâihvsetipetri AT čugaenkoav issledovaniesvoistvdokumentovmscspomoŝʹûpreobrazovaniâihvsetipetri AT matveevale issledovaniesvoistvdokumentovmscspomoŝʹûpreobrazovaniâihvsetipetri AT kryvyisl doslídžennâvlastivosteidokumentívmsczadopomogoûíhperetvorennâumerežípetrí AT čugaenkoav doslídžennâvlastivosteidokumentívmsczadopomogoûíhperetvorennâumerežípetrí AT matveevale doslídžennâvlastivosteidokumentívmsczadopomogoûíhperetvorennâumerežípetrí AT kryvyisl exploringthepropertiesofmscdocumentsbyconvertingthemtopetrinets AT čugaenkoav exploringthepropertiesofmscdocumentsbyconvertingthemtopetrinets AT matveevale exploringthepropertiesofmscdocumentsbyconvertingthemtopetrinets |