Доведення властивості коректної роботи банківської системи виплати грошових переказів
Застосовано метод доведення властивостей паралельних програм, що виконуються багатоекземплярно в режимі почергового покрокового переключення і взаємодіють через спільну пам’ять, для доведення властивості коректності банківської системи виплати грошових переказів. В роботі поставлено задачу, побудова...
Збережено в:
| Дата: | 2016 |
|---|---|
| Автори: | , , , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2016
|
| Назва видання: | Проблеми програмування |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/126397 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Доведення властивості коректної роботи банківської системи виплати грошових переказів / Ю.А. Остаповська, Т.В. Панченко, Н.В. Поліщук, М.О. Картавов // Проблеми програмування. — 2016. — № 2-3. — С. 119-132. — Бібліогр.: 10 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-126397 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1263972017-11-24T03:02:44Z Доведення властивості коректної роботи банківської системи виплати грошових переказів Остаповська, Ю.А. Панченко, Т.В. Поліщук, Н.В. Картавов, М.О. Паралельне програмування. Розподілені системи і мережі Застосовано метод доведення властивостей паралельних програм, що виконуються багатоекземплярно в режимі почергового покрокового переключення і взаємодіють через спільну пам’ять, для доведення властивості коректності банківської системи виплати грошових переказів. В роботі поставлено задачу, побудовано транзиційну систему для моделі зі спрощеним станом, сформульовано інваріант програми та проведено доведення істинності інваріанту над програмною системою у довільний момент часу. Зроблено висновки щодо зручності та адекватності застосування методу для доведення коректності паралельних систем. Применен метод доказательства свойств параллельных программ, которые выполняются многоэкземплярно в режиме поочередного пошагового переключения и взаимодействуют через общую память, для доказательства свойства корректности банковской системы выплаты денежных переводов. В работе поставлена задача, построена транзиционная система для модели с упрощенным состоянием, сформулирован инвариант программы и проведено доказательство истинности инварианта над программной системой в любой момент времени. Сделаны выводы о удобстве и адекватности применения метода для доказательства корректности параллельных систем. The method for properties proof for parallel programs running multiple-instance interleaving with shared memory was applied in order to prove the correctness property of the banking system for remittances payments. The task was stated, transitional system was built for the model with simplified state, and the program invariant was formulated and proved to keep true over the software system at any given time in this work. Conclusions about the convenience and adequacy of method application to prove the correctness of parallel systems were made. 2016 Article Доведення властивості коректної роботи банківської системи виплати грошових переказів / Ю.А. Остаповська, Т.В. Панченко, Н.В. Поліщук, М.О. Картавов // Проблеми програмування. — 2016. — № 2-3. — С. 119-132. — Бібліогр.: 10 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/126397 004.415.52, 681.3 uk Проблеми програмування Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Паралельне програмування. Розподілені системи і мережі Паралельне програмування. Розподілені системи і мережі |
| spellingShingle |
Паралельне програмування. Розподілені системи і мережі Паралельне програмування. Розподілені системи і мережі Остаповська, Ю.А. Панченко, Т.В. Поліщук, Н.В. Картавов, М.О. Доведення властивості коректної роботи банківської системи виплати грошових переказів Проблеми програмування |
| description |
Застосовано метод доведення властивостей паралельних програм, що виконуються багатоекземплярно в режимі почергового покрокового переключення і взаємодіють через спільну пам’ять, для доведення властивості коректності банківської системи виплати грошових переказів. В роботі поставлено задачу, побудовано транзиційну систему для моделі зі спрощеним станом, сформульовано інваріант програми та проведено доведення істинності інваріанту над програмною системою у довільний момент часу. Зроблено висновки щодо зручності та адекватності застосування методу для доведення коректності паралельних систем. |
| format |
Article |
| author |
Остаповська, Ю.А. Панченко, Т.В. Поліщук, Н.В. Картавов, М.О. |
| author_facet |
Остаповська, Ю.А. Панченко, Т.В. Поліщук, Н.В. Картавов, М.О. |
| author_sort |
Остаповська, Ю.А. |
| title |
Доведення властивості коректної роботи банківської системи виплати грошових переказів |
| title_short |
Доведення властивості коректної роботи банківської системи виплати грошових переказів |
| title_full |
Доведення властивості коректної роботи банківської системи виплати грошових переказів |
| title_fullStr |
Доведення властивості коректної роботи банківської системи виплати грошових переказів |
| title_full_unstemmed |
Доведення властивості коректної роботи банківської системи виплати грошових переказів |
| title_sort |
доведення властивості коректної роботи банківської системи виплати грошових переказів |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2016 |
| topic_facet |
Паралельне програмування. Розподілені системи і мережі |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/126397 |
| citation_txt |
Доведення властивості коректної роботи банківської системи виплати грошових переказів / Ю.А. Остаповська, Т.В. Панченко, Н.В. Поліщук, М.О. Картавов // Проблеми програмування. — 2016. — № 2-3. — С. 119-132. — Бібліогр.: 10 назв. — укр. |
| series |
Проблеми програмування |
| work_keys_str_mv |
AT ostapovsʹkaûa dovedennâvlastivostíkorektnoírobotibankívsʹkoísistemiviplatigrošovihperekazív AT pančenkotv dovedennâvlastivostíkorektnoírobotibankívsʹkoísistemiviplatigrošovihperekazív AT políŝuknv dovedennâvlastivostíkorektnoírobotibankívsʹkoísistemiviplatigrošovihperekazív AT kartavovmo dovedennâvlastivostíkorektnoírobotibankívsʹkoísistemiviplatigrošovihperekazív |
| first_indexed |
2023-10-18T20:50:43Z |
| last_indexed |
2023-10-18T20:50:43Z |
| _version_ |
1796151257396674560 |