Abstract
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.
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
References
Schmidt, A., M. Beigl, and H.W. Gellersen, There is more to Context than Location. 1998, University of Karlsruhe: Karlsruhe.
Schmidt, A., Implicit Human Computer Interaction Through Context. Personal and Ubiquitous Computing, 2000. 4(2/3): p. 191–199.
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.
Annett, J. and K.D. Duncan, Task Analysis and Training Design. Journal of Occupational Psychology, 1967. 41: p. 211–221.
Paterno, F., Model-Based Design and Evaluation of Interactive Applications. 1999, London, UK: Springer-Verlag.
Bomsdorf, B., The WebTaskModel Approach to Web Process Modelling. TaMoDia, 2007. 4849: p. 240–253.
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.
Klug, T. and J. Kangasharju, Executable Task Models, in TaMoDia. 2005: Gdansk, Poland.
Sinnig, D., M. Wurdel, P. Forbrig, P. Chalin, and F. Khendek, Practical Extensions for Task Models, in TaMoDia. 2007, Springer, Berlin. p. 42–55.
Acknowledgments
Maik Wurdel is supported by a grant of the German National Research Foundation (DFG), Graduate School 1424, MuSAMA
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag London Limited
About this paper
Cite this paper
Wurdel, M., Sinnig, D., Forbrig, P. (2009). Towards a Formal Task-Based Specification Framework for Collaborative Environments. In: Lopez Jaquero, V., Montero Simarro, F., Molina Masso, J., Vanderdonckt, J. (eds) Computer-Aided Design of User Interfaces VI. Springer, London. https://doi.org/10.1007/978-1-84882-206-1_20
Download citation
DOI: https://doi.org/10.1007/978-1-84882-206-1_20
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-84882-205-4
Online ISBN: 978-1-84882-206-1
eBook Packages: Computer ScienceComputer Science (R0)