Towards a Formal Task-Based Specification Framework for Collaborative Environments

  • Maik WurdelEmail author
  • Daniel Sinnig
  • Peter Forbrig
Conference paper


A precise model of the behavioral dynamics involved in collaborative environments is a necessary precondition for the development of smart, proactive user interfaces (UIs). In this chapter, we present a formal task-based specification framework for collaborative environments. The framework consists of two components: A formal specification languages (called CTML) and a tool for editing and animating CTML specifications. The former has a formally defined syntax and semantics and is designed to model actors, roles, and their collaborative tasks. The latter is an Eclipse IDE for the interactive creation and simulation of CTML specifications.


Task Execution Task Model Task Expression Collaborative Environment Smart Environment 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



Maik Wurdel is supported by a grant of the German National Research Foundation (DFG), Graduate School 1424, MuSAMA


  1. 1.
    Schmidt, A., M. Beigl, and H.W. Gellersen, There is more to Context than Location. 1998, University of Karlsruhe: Karlsruhe.Google Scholar
  2. 2.
    Schmidt, A., Implicit Human Computer Interaction Through Context. Personal and Ubiquitous Computing, 2000. 4(2/3): p. 191–199.Google Scholar
  3. 3.
    John, B.E. and D.E. Kieras, The GOMS Family of User Interface Analysis Techniques: Comparison and Contrast. ACM Transactions on Computer-Human Interaction, 1996. 3(4): p. 320–351.CrossRefGoogle Scholar
  4. 4.
    Annett, J. and K.D. Duncan, Task Analysis and Training Design. Journal of Occupational Psychology, 1967. 41: p. 211–221.Google Scholar
  5. 5.
    Paterno, F., Model-Based Design and Evaluation of Interactive Applications. 1999, London, UK: Springer-Verlag.Google Scholar
  6. 6.
    Bomsdorf, B., The WebTaskModel Approach to Web Process Modelling. TaMoDia, 2007. 4849: p. 240–253.Google Scholar
  7. 7.
    Mori, G., F. Paternò, and C. Santoro, CTTE: Support for Developing and Analyzing Task Models for Interactive System Design. IEEE Transactions on Software Engineering, 2002. 28(8): p. 797–813.CrossRefGoogle Scholar
  8. 8.
    Klug, T. and J. Kangasharju, Executable Task Models, in TaMoDia. 2005: Gdansk, Poland.Google Scholar
  9. 9.
    Sinnig, D., M. Wurdel, P. Forbrig, P. Chalin, and F. Khendek, Practical Extensions for Task Models, in TaMoDia. 2007, Springer, Berlin. p. 42–55.Google Scholar

Copyright information

© Springer-Verlag London Limited 2009

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of RostockRostockGermany

Personalised recommendations