У статті розглядаються методи синхронізації поведінок агентів при верифікації систем у термінах мультиагентних середовищ. Описані сценарний і подійний підходи при декомпозиції 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.