%0 Book Section %1 WeyersLutherEtAl12CRIWG %A Weyers, Benjamin %A Luther, Wolfram %A Baloian, Nelson %A Pino, Jose %B Collaboration and Technology: 18th International Conference, CRIWG 2012, Raesfeld, Germany %C Heidelberg %D 2012 %E Herskovic, Valeria %E Hoppe, H. %E Jansen, Marc %E Ziegler, Jürgen %I Springer %K 01624 springer paper user interface interaction design format team application software zzz.hci %P 129--136 %R 10.1007/978-3-642-33284-5_11 %T Formal Modeling of Multi-user Interfaces in Cooperative Work %V 7493 %X Support systems for cooperative work lack consistent modeling tools for user interface creation and execution that are flexible enough to combine both data processing and the logical aspects of a user interface and, at the same time, dialog and cooperation modeling aspects. This paper introduces a new concept to model user interfaces for cooperative work: the so-called multi-user interfaces aimed at distributed scenarios involving mobile devices implementing cooperative work. These multi-user interfaces are modeled in a hierarchical structure of dialog models and interaction logic based on a formal modeling language called FILL. For execution and verification, FILL models are automatically transformed to reference nets, a type of Petri nets, making the entire user interface and cooperation model accessible to simulation and verification tools. This new approach seeks to integrate more closely modeling and implementation based on a formalized interface design and user-machine dialogue. Formal graph rewriting concepts allow both the user interface and the collaboration model to be easily adapted in various ways by the modeler or user. %@ 978-3-642-33283-8

@incollection{WeyersLutherEtAl12CRIWG, abstract = {Support systems for cooperative work lack consistent modeling tools for user interface creation and execution that are flexible enough to combine both data processing and the logical aspects of a user interface and, at the same time, dialog and cooperation modeling aspects. This paper introduces a new concept to model user interfaces for cooperative work: the so-called multi-user interfaces aimed at distributed scenarios involving mobile devices implementing cooperative work. These multi-user interfaces are modeled in a hierarchical structure of dialog models and interaction logic based on a formal modeling language called FILL. For execution and verification, FILL models are automatically transformed to reference nets, a type of Petri nets, making the entire user interface and cooperation model accessible to simulation and verification tools. This new approach seeks to integrate more closely modeling and implementation based on a formalized interface design and user-machine dialogue. Formal graph rewriting concepts allow both the user interface and the collaboration model to be easily adapted in various ways by the modeler or user.}, added-at = {2017-05-27T11:24:26.000+0200}, address = {Heidelberg}, author = {Weyers, Benjamin and Luther, Wolfram and Baloian, Nelson and Pino, Jose}, biburl = {https://www.bibsonomy.org/bibtex/2e7ebf1e513abe226285a9c6f40a91635/flint63}, booktitle = {Collaboration and Technology: 18th International Conference, CRIWG 2012, Raesfeld, Germany}, crossref = {CRIWG2012}, doi = {10.1007/978-3-642-33284-5_11}, editor = {Herskovic, Valeria and Hoppe, H. and Jansen, Marc and Ziegler, J\"{u}rgen}, file = {SpringerLink:2012/WeyersLutherEtAl12CRIWG.pdf:PDF}, groups = {public}, interhash = {8384971047366679b6f737228bd372a6}, intrahash = {e7ebf1e513abe226285a9c6f40a91635}, isbn = {978-3-642-33283-8}, issn = {0302-9743}, keywords = {01624 springer paper user interface interaction design format team application software zzz.hci}, pages = {129--136}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-07-13T18:15:55.000+0200}, title = {Formal Modeling of Multi-user Interfaces in Cooperative Work}, username = {flint63}, volume = 7493, year = 2012 }