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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2013
Hauptverfasser:	Letichevsky, A., Letychevskyi, О., Peschanenko, V., Guba, A.
Sprache:	English
Veröffentlicht:	Інститут програмних систем НАН України 2013
Schriftenreihe:	Проблеми програмування
Schlagworte:	Формальні методи розробки програмного забезпечення
Online Zugang:	http://dspace.nbuv.gov.ua/handle/123456789/86666
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Deductive verification of requirements for event-driven architecture / А. Letichevsky, О. Letychevskyi, V. Peschanenko, A. Guba // Проблеми програмування. — 2013. — № 2. — С. 54-61. — Бібліогр.: 19 назв. — англ.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	irk-123456789-86666
record_format	dspace
fulltext
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	2025-07-06T14:10:53Z
last_indexed	2025-07-06T14:10:53Z
_version_	1836907028323237888

Deductive verification of requirements for event-driven architecture

Institution

Ähnliche Einträge