Symbolic modeling of basic protocols systems with arbitrary number of agents
A method of symbolic modeling of formal models is considered in the paper. Object of analysis is a domain of multi-component concurrent systems specified in basic protocols language. A problem of dynamic creation and stopping of agents during state-space exploration is considered. Corresponding al...
Gespeichert in:
| Veröffentlicht in: | Искусственный интеллект |
|---|---|
| Datum: | 2013 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | English |
| Veröffentlicht: |
Інститут проблем штучного інтелекту МОН України та НАН України
2013
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/85228 |
| 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: | Symbolic modeling of basic protocols systems with arbitrary number of agents / S.V. Potiyenko // Искусственный интеллект. — 2013. — № 4. — С. 81–88. — Бібліогр.: 8 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-85228 |
|---|---|
| record_format |
dspace |
| spelling |
Potiyenko, S.V. 2015-07-22T18:23:01Z 2015-07-22T18:23:01Z 2013 Symbolic modeling of basic protocols systems with arbitrary number of agents / S.V. Potiyenko // Искусственный интеллект. — 2013. — № 4. — С. 81–88. — Бібліогр.: 8 назв. — англ. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/85228 004.414.23 A method of symbolic modeling of formal models is considered in the paper. Object of analysis is a domain of multi-component concurrent systems specified in basic protocols language. A problem of dynamic creation and stopping of agents during state-space exploration is considered. Corresponding algorithm has been suggested as an extension of existing forward and backward predicate transformers. It provides ability to introduce arbitrary number of concurrent processes in verification and test generation. В статті розглянуто метод символьного моделювання формальних моделей. Об’єктом аналізу є домен багатокомпонентних паралельних систем, записаних у мові базових протоколів. Розглянуто проблему динамічного створення та зупинки агентів під час обходу простору станів. Запропоновано відповідний алгоритм як розширення існуючих прямого та зворотного предикатних трансформерів. Він дає можливість вводити довільну кількість паралельних процесів при верифікації та генерації тестів. В статье рассматривается метод символьного моделирования формальных моделей. Объектом анализа является домен многокомпонентных параллельных систем, описанных в языке базовых протоколов. Рассмотрена проблема динамического создания и останова агентов во время обхода пространства состояний. Предложен соответствующий алгоритм как расширение существующих прямого и обратного предикатных трансформеров. Он дает возможность вводить произвольное количество параллельных процессов при верификации и генерации тестов. en Інститут проблем штучного інтелекту МОН України та НАН України Искусственный интеллект Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем Symbolic modeling of basic protocols systems with arbitrary number of agents Символьне моделювання систем базових протоколів з довільною кількістю агентів Символьное моделирование систем базовых протоколов с произвольным количеством агентов Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Symbolic modeling of basic protocols systems with arbitrary number of agents |
| spellingShingle |
Symbolic modeling of basic protocols systems with arbitrary number of agents Potiyenko, S.V. Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем |
| title_short |
Symbolic modeling of basic protocols systems with arbitrary number of agents |
| title_full |
Symbolic modeling of basic protocols systems with arbitrary number of agents |
| title_fullStr |
Symbolic modeling of basic protocols systems with arbitrary number of agents |
| title_full_unstemmed |
Symbolic modeling of basic protocols systems with arbitrary number of agents |
| title_sort |
symbolic modeling of basic protocols systems with arbitrary number of agents |
| author |
Potiyenko, S.V. |
| author_facet |
Potiyenko, S.V. |
| topic |
Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем |
| topic_facet |
Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем |
| publishDate |
2013 |
| language |
English |
| container_title |
Искусственный интеллект |
| publisher |
Інститут проблем штучного інтелекту МОН України та НАН України |
| format |
Article |
| title_alt |
Символьне моделювання систем базових протоколів з довільною кількістю агентів Символьное моделирование систем базовых протоколов с произвольным количеством агентов |
| description |
A method of symbolic modeling of formal models is considered in the paper. Object of analysis is a domain
of multi-component concurrent systems specified in basic protocols language. A problem of dynamic
creation and stopping of agents during state-space exploration is considered. Corresponding algorithm has
been suggested as an extension of existing forward and backward predicate transformers. It provides ability
to introduce arbitrary number of concurrent processes in verification and test generation.
В статті розглянуто метод символьного моделювання формальних моделей. Об’єктом аналізу є домен
багатокомпонентних паралельних систем, записаних у мові базових протоколів. Розглянуто проблему
динамічного створення та зупинки агентів під час обходу простору станів. Запропоновано
відповідний алгоритм як розширення існуючих прямого та зворотного предикатних трансформерів.
Він дає можливість вводити довільну кількість паралельних процесів при верифікації та генерації тестів.
В статье рассматривается метод символьного моделирования формальных моделей. Объектом анализа
является домен многокомпонентных параллельных систем, описанных в языке базовых протоколов.
Рассмотрена проблема динамического создания и останова агентов во время обхода пространства
состояний. Предложен соответствующий алгоритм как расширение существующих прямого и
обратного предикатных трансформеров. Он дает возможность вводить произвольное количество
параллельных процессов при верификации и генерации тестов.
|
| issn |
1561-5359 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/85228 |
| citation_txt |
Symbolic modeling of basic protocols systems with arbitrary number of agents / S.V. Potiyenko // Искусственный интеллект. — 2013. — № 4. — С. 81–88. — Бібліогр.: 8 назв. — англ. |
| work_keys_str_mv |
AT potiyenkosv symbolicmodelingofbasicprotocolssystemswitharbitrarynumberofagents AT potiyenkosv simvolʹnemodelûvannâsistembazovihprotokolívzdovílʹnoûkílʹkístûagentív AT potiyenkosv simvolʹnoemodelirovaniesistembazovyhprotokolovsproizvolʹnymkoličestvomagentov |
| first_indexed |
2025-12-07T13:08:46Z |
| last_indexed |
2025-12-07T13:08:46Z |
| _version_ |
1850855051853037568 |