Formal Modeling of Multi-user Interfaces in Cooperative Work

  • Benjamin Weyers
  • Wolfram Luther
  • Nelson Baloian
  • Jose A. Pino
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7493)


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.


Multi-user interfaces mobile cooperative work formal UI models 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Arvola, M.: Interaction Design Patterns for Computers in Sociable Use. Int. J. of Computer Applications in Technology 25(2-3), 128–139 (2006)CrossRefGoogle Scholar
  2. 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. 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
  4. 4.
    Bowers, J., Benford, S. (eds.): Studies in Computer-Supported Cooperative Work: Theory, Practice, and Design. Prentice Hall, New York (1991)zbMATHGoogle Scholar
  5. 5.
    Ehrig, H., Hoffmann, K., Padberg, J.: Transformation of Petri Nets. ENTS 148, 151–172 (2006)Google Scholar
  6. 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
  7. 7.
    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)CrossRefGoogle Scholar
  8. 8.
    Johannsen, G.: Human-Machine Interfaces for Cooperative Work. Int. J. of Advances in Human Factors/Ergnonomics 20, 359–364 (1995)CrossRefGoogle Scholar
  9. 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. 10.
    Kummer, O.: Referenznetze. Dissertation, University of Hamburg, Germany (2002)Google Scholar
  11. 11.
    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)MathSciNetzbMATHCrossRefGoogle Scholar
  12. 12.
    Mühlenbrock, M.: Action-based Collaboration Analysis for Group Learning. Dissertation, University of Duisburg-Essen, Germany (2000)Google Scholar
  13. 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. 14.
    UIMS Tool Workshop: A Metamodel for the Runtime Architecture of an Interactive System. SIGCHI Bulletin 24(1), 32–37 (1992)Google Scholar
  15. 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. 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
  17. 17.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Benjamin Weyers
    • 1
  • Wolfram Luther
    • 1
  • Nelson Baloian
    • 2
  • Jose A. Pino
    • 2
  1. 1.Department of Computer Science and Cognitive ScienceUniversity of Duisburg-EssenDuisburgGermany
  2. 2.Department of Computer ScienceUniversidad de ChileSantiagoChile

Personalised recommendations