Sciweavers

2 search results - page 1 / 1
» Dialog Modelling with Interactors and UML Statecharts - A Hy...
Sort
View
DSVIS
2003
Springer
14 years 17 days 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»
14 years 1 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...