Sciweavers

2 search results - page 1 / 1
» Dialog Modelling with Interactors and UML Statecharts - A Hy...
Sort
View
DSVIS
2003
Springer
13 years 9 months ago
Dialog Modelling with Interactors and UML Statecharts - A Hybrid Approach
The DiaMODL dialog modelling is a hybrid language, based on the Pisa interactor abstraction and UML Statecharts. By combining a dataflow-oriented language with one focussing on beh...
Hallvard Trætteberg
ROBOCUP
2007
Springer
159views Robotics» more  ROBOCUP 2007»
13 years 10 months ago
Model Checking Hybrid Multiagent Systems for the RoboCup
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...