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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arvola, M.: Interaction Design Patterns for Computers in Sociable Use. Int. J. of Computer Applications in Technology 25(2-3), 128–139 (2006)
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)
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)
Bowers, J., Benford, S. (eds.): Studies in Computer-Supported Cooperative Work: Theory, Practice, and Design. Prentice Hall, New York (1991)
Ehrig, H., Hoffmann, K., Padberg, J.: Transformation of Petri Nets. ENTS 148, 151–172 (2006)
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)
Hao, Y., Huang, H., Zeng, P., Shao, W.: Collaborative Work Heterogeneous Data Sharing and Application based on Petri Net. J. of Adv. Mater. Res. 421, 732–738 (2012)
Johannsen, G.: Human-Machine Interfaces for Cooperative Work. Int. J. of Advances in Human Factors/Ergnonomics 20, 359–364 (1995)
Koch, M., Gross, T.: Computer-Supported Cooperative Work: Concepts and Trends. In: Proc. 11th IMS Conf., pp. 165–172. Koellen, Bonn (2006)
Kummer, O.: Referenznetze. Dissertation, University of Hamburg, Germany (2002)
Molina, A., Redondo, M., Ortega, M.: A Methodological Approach for User Interface Development of Collaborative Applications: A Case Study. J. Science of Computer Programming 74(9), 754–776 (2009)
Mühlenbrock, M.: Action-based Collaboration Analysis for Group Learning. Dissertation, University of Duisburg-Essen, Germany (2000)
Paternò, F., Mancini, C.: Developing Task Models from Informal Scenarios. In: Proceedings of CHI 1999, pp. 228–229. ACM, New York (1999)
UIMS Tool Workshop: A Metamodel for the Runtime Architecture of an Interactive System. SIGCHI Bulletin 24(1), 32–37 (1992)
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)
Weyers, B.: Reconfiguration of User Interface Models for Monitoring and Control of Human-Computer Systems. Dissertation, University of Duisburg-Essen, Germany (2012)
Weyers, B., Luther, W., Baloian, N.: Interface Creation and Redesign Techniques in Collaborative Learning Scenarios. Int. J. of Fut. Gen. Comp. Sys. 27(1), 127–138 (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Weyers, B., Luther, W., Baloian, N., Pino, J.A. (2012). Formal Modeling of Multi-user Interfaces in Cooperative Work. In: Herskovic, V., Hoppe, H.U., Jansen, M., Ziegler, J. (eds) Collaboration and Technology. CRIWG 2012. Lecture Notes in Computer Science, vol 7493. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33284-5_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-33284-5_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33283-8
Online ISBN: 978-3-642-33284-5
eBook Packages: Computer ScienceComputer Science (R0)