Deductive verification of requirements for event-driven architecture
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...
Збережено в:
| Дата: | 2013 |
|---|---|
| Автори: | , , , |
| Мова: | English |
| Опубліковано: |
Інститут програмних систем НАН України
2013
|
| Назва видання: | Проблеми програмування |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/86666 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Deductive verification of requirements for event-driven architecture / А. Letichevsky, О. Letychevskyi, V. Peschanenko, A. Guba // Проблеми програмування. — 2013. — № 2. — С. 54-61. — Бібліогр.: 19 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-86666 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-866662016-04-14T15:23:31Z Deductive verification of requirements for event-driven architecture Letichevsky, A. Letychevskyi, О. Peschanenko, V. Guba, A. Формальні методи розробки програмного забезпечення 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 specifications called basic protocols. The consistency and completeness of basic protocols, safety properties and user-defined properties are verified. The deductive tools for dynamic and static checking are used for detection of properties violation. The method of enlargement allows reducing the complexity of proving and solving. Formal presentation of requirements allows converting them to SDL\UML specifications and generating the test suite. The technology is realized in IMS system and applied in more than 50 projects of telecommunication, networking, microprocessing and automotive systems. 2013 Deductive verification of requirements for event-driven architecture / А. Letichevsky, О. Letychevskyi, V. Peschanenko, A. Guba // Проблеми програмування. — 2013. — № 2. — С. 54-61. — Бібліогр.: 19 назв. — англ. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/86666 519.7 en Проблеми програмування Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
English |
| topic |
Формальні методи розробки програмного забезпечення Формальні методи розробки програмного забезпечення |
| spellingShingle |
Формальні методи розробки програмного забезпечення Формальні методи розробки програмного забезпечення Letichevsky, A. Letychevskyi, О. Peschanenko, V. Guba, A. Deductive verification of requirements for event-driven architecture Проблеми програмування |
| description |
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 specifications called basic protocols. The consistency and completeness of basic protocols, safety properties and user-defined properties are verified. The deductive tools for dynamic and static checking are used for detection of properties violation. The method of enlargement allows reducing the complexity of proving and solving. Formal presentation of requirements allows converting them to SDL\UML specifications and generating the test suite. The technology is realized in IMS system and applied in more than 50 projects of telecommunication, networking, microprocessing and automotive systems. |
| author |
Letichevsky, A. Letychevskyi, О. Peschanenko, V. Guba, A. |
| author_facet |
Letichevsky, A. Letychevskyi, О. Peschanenko, V. Guba, A. |
| author_sort |
Letichevsky, A. |
| title |
Deductive verification of requirements for event-driven architecture |
| title_short |
Deductive verification of requirements for event-driven architecture |
| title_full |
Deductive verification of requirements for event-driven architecture |
| title_fullStr |
Deductive verification of requirements for event-driven architecture |
| title_full_unstemmed |
Deductive verification of requirements for event-driven architecture |
| title_sort |
deductive verification of requirements for event-driven architecture |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2013 |
| topic_facet |
Формальні методи розробки програмного забезпечення |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/86666 |
| citation_txt |
Deductive verification of requirements for event-driven architecture / А. Letichevsky, О. Letychevskyi, V. Peschanenko, A. Guba // Проблеми програмування. — 2013. — № 2. — С. 54-61. — Бібліогр.: 19 назв. — англ. |
| series |
Проблеми програмування |
| work_keys_str_mv |
AT letichevskya deductiveverificationofrequirementsforeventdrivenarchitecture AT letychevskyio deductiveverificationofrequirementsforeventdrivenarchitecture AT peschanenkov deductiveverificationofrequirementsforeventdrivenarchitecture AT gubaa deductiveverificationofrequirementsforeventdrivenarchitecture |
| first_indexed |
2023-10-18T19:33:52Z |
| last_indexed |
2023-10-18T19:33:52Z |
| _version_ |
1796147304402518016 |