Наукова періодика України | Радіоелектронні і комп’ютерні системи | ||
Kotulski L. On generation of composite labelled transition systems for alvis passive agents / L. Kotulski, M. Szpyrka, A. Sędziwy, K. Grobler-Dębska // Радіоелектронні і комп’ютерні системи. - 2012. - № 7. - С. 205–211. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2012_7_37 The paper presents the method of generating Labelled Transition Systems for passive agents in Alvis models. Alvis is the language designed for the modelling and formal verification of embedded systems. The key concept of Alvis is an agent which is any distinguished part of a considered system with defined identity persisting in the time. Alvis combines a graphical modelling of interconnections among agents with a high level programming language used for describing a behaviour of agents. The basic property of the Alvis Toolkit is the ability of a direct generation of a formal system description from an Alvis source code. The LTS graphs represent control flow related to Alvis code execution and they are the base for the formal model verification. Цитованість авторів публікації: Бібліографічний опис для цитування: Kotulski L. On generation of composite labelled transition systems for alvis passive agents / L. Kotulski, M. Szpyrka, A. Sędziwy, K. Grobler-Dębska // Радіоелектронні і комп’ютерні системи. - 2012. - № 7. - С. 205–211. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2012_7_37. Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |