Formal Modeling of Multi-user Interfaces in Cooperative Work
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.
KeywordsMulti-user interfaces mobile cooperative work formal UI models
Unable to display preview. Download preview PDF.
- 2.Beauchemin, S., Barron, J.: Petri Net–based Cooperation in Multi-Agent Systems. In: Proc. of 2007 Conf. on Computer and Robot Vision, pp. 123–130. IEEE, New York (2007)Google Scholar
- 3.Borges, D., Neto, H., Neuman de Souza, J.: Work in Progress: Petri Nets as Applied to the Modeling of E-Learning Cooperative Systems. In: Proc. of 40th ASEE/IEEE Frontiers in Education Conf., pp. F1D-1–F1D-3. IEEE, Washington, DC (2010)Google Scholar
- 5.Ehrig, H., Hoffmann, K., Padberg, J.: Transformation of Petri Nets. ENTS 148, 151–172 (2006)Google Scholar
- 6.Furuta, R., Stotts, P.: Interpreted Collaboration Protocols and Their User in Groupware Prototyping. In: Proc. of 1994 ACM Conf. on CSCW, pp. 121–131. ACM, New York (1994)Google Scholar
- 9.Koch, M., Gross, T.: Computer-Supported Cooperative Work: Concepts and Trends. In: Proc. 11th IMS Conf., pp. 165–172. Koellen, Bonn (2006)Google Scholar
- 10.Kummer, O.: Referenznetze. Dissertation, University of Hamburg, Germany (2002)Google Scholar
- 12.Mühlenbrock, M.: Action-based Collaboration Analysis for Group Learning. Dissertation, University of Duisburg-Essen, Germany (2000)Google Scholar
- 13.Paternò, F., Mancini, C.: Developing Task Models from Informal Scenarios. In: Proceedings of CHI 1999, pp. 228–229. ACM, New York (1999)Google Scholar
- 14.UIMS Tool Workshop: A Metamodel for the Runtime Architecture of an Interactive System. SIGCHI Bulletin 24(1), 32–37 (1992)Google Scholar
- 15.Weyers, B., Burkolter, D., Luther, W., Kluge, A.: Formal Modeling and Reconfiguration of User Interfaces for Reduction of Errors in Failure Handling of Complex Systems. Int. J. of HCI (in press, 2012)Google Scholar
- 16.Weyers, B.: Reconfiguration of User Interface Models for Monitoring and Control of Human-Computer Systems. Dissertation, University of Duisburg-Essen, Germany (2012)Google Scholar