Deductive verification of requirements for event-driven architecture

• Опубліковано в: PROBLEMS IN PROGRAMMING
• Дата: 2025
• Випуск: 2
• Сторінки: 54-61
• ISSN: 1727-4907
• Автори та афіліації: A.A. Letichevsky — Glushkov Institute of Cybernetics NAS of Ukraine; O.O. Letichevsky — Glushkov Institute of Cybernetics NAS of Ukraine; V.S. Peschanenko — Kherson State University — ORCID: 0000-0003-1013-9877; A.A. Guba — Glushkov Institute of Cybernetics NAS of Ukraine
• Автори: Letichevsky, A.A., Letichevsky, O.O., Peschanenko, V.S., Guba, A.A.
• Формат: Стаття
• Мова: Англійська
• Опубліковано: PROBLEMS IN PROGRAMMING 2025
• Теми: UDC 519.7
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/778
• Назва журналу: Problems in programming

The current paper presents the technology of processing of requirements for systems with event-driven architecture. The technology consists of the stages of formalization, formal verification and conversion to design specifications. The formalization is the formal description of events as formal spe...