Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем
Описан метод выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах. Метод реализует проверку свойств на основании анализа описания переходов модели, при этом не строит пространство ее состояний. The paper describes a new method for di...
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 2014 |
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут програмних систем НАН України
2014
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/113225 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем / А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Проблеми програмування. — 2014. — № 2-3. — С. 146-150. — Бібліогр.: 10 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862590196774600704 |
|---|---|
| author | Колчин, А.В. Летичевский, А.А. Потиенко, С.В. |
| author_facet | Колчин, А.В. Летичевский, А.А. Потиенко, С.В. |
| citation_txt | Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем / А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Проблеми програмування. — 2014. — № 2-3. — С. 146-150. — Бібліогр.: 10 назв. — рос. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| description | Описан метод выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах. Метод реализует проверку свойств на основании анализа описания переходов модели, при этом не строит пространство ее состояний.
The paper describes a new method for discovering of incompleteness, inconsistency and race conditions in formal models. The method implements the properties checking basing on model transitions description, and does not traverse model state space.
|
| first_indexed | 2025-11-27T04:16:45Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-113225 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-11-27T04:16:45Z |
| publishDate | 2014 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Колчин, А.В. Летичевский, А.А. Потиенко, С.В. 2017-02-04T18:07:03Z 2017-02-04T18:07:03Z 2014 Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем / А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Проблеми програмування. — 2014. — № 2-3. — С. 146-150. — Бібліогр.: 10 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/113225 004.415.5 Описан метод выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах. Метод реализует проверку свойств на основании анализа описания переходов модели, при этом не строит пространство ее состояний. The paper describes a new method for discovering of incompleteness, inconsistency and race conditions in formal models. The method implements the properties checking basing on model transitions description, and does not traverse model state space. ru Інститут програмних систем НАН України Проблеми програмування Формальні методи програмування Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем Static method of consistency and completeness checking in formal model of distributed software systems Article published earlier |
| spellingShingle | Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем Колчин, А.В. Летичевский, А.А. Потиенко, С.В. Формальні методи програмування |
| title | Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем |
| title_alt | Static method of consistency and completeness checking in formal model of distributed software systems |
| title_full | Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем |
| title_fullStr | Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем |
| title_full_unstemmed | Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем |
| title_short | Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем |
| title_sort | метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем |
| topic | Формальні методи програмування |
| topic_facet | Формальні методи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/113225 |
| work_keys_str_mv | AT kolčinav metodstatičeskoiproverkipolnotyineprotivorečivostivformalʹnyhmodelâhraspredelennyhprogrammnyhsistem AT letičevskiiaa metodstatičeskoiproverkipolnotyineprotivorečivostivformalʹnyhmodelâhraspredelennyhprogrammnyhsistem AT potienkosv metodstatičeskoiproverkipolnotyineprotivorečivostivformalʹnyhmodelâhraspredelennyhprogrammnyhsistem AT kolčinav staticmethodofconsistencyandcompletenesscheckinginformalmodelofdistributedsoftwaresystems AT letičevskiiaa staticmethodofconsistencyandcompletenesscheckinginformalmodelofdistributedsoftwaresystems AT potienkosv staticmethodofconsistencyandcompletenesscheckinginformalmodelofdistributedsoftwaresystems |