Зведений каталог бібліотек Києва

 

ГубаааГуба, А. А.
    Методи синхронізації агентів при верифікації систем в термінах мультиагентних середовищ [Текст] / А.А. Губа // Вісник Київського національного університету імені Тараса Шевченка. — Київ, 2014. — 2014. — С. 115-118.


- Анотація:

У статті розглядаються методи синхронізації поведінок агентів при верифікації систем у термінах мультиагентних середовищ. Описані сценарний і подійний підходи при декомпозиції MSC-сценаріїв і діаграм послідовності подій UML opt-областей на базові протоколи. Запропоновано більш оптимальний алгоритм для генерації SDL.

In the paper we consider the methods for synchronization behavior of the agents in verification of systems in terms of multi-agents environment. This paper also describes scenario and event approaches for decomposition MSC-scenarios and diagrams of the events sequences UML opt-regions on the basic protocols. More optimal algorithm to generate the SDL is proposed.

- Є складовою частиною документа:

- Теми документа

  • Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка   Перейти на сайт