Abstract
Most current model-based design approaches tend to be specifi cation -driven. Using task models solely at the specification level, contradicts the very idea inherent to task-based design. This paper suggests to look for improvements of the situation at different levels of artifact use. First, HOPS is introduced as a general specification formalism for the interaction paradigm which also allows advanced task modeling. Second, we propose to apply formal modeling in different modes during the different stages of a design process. “Task sketching” is elaborated more deeply. And third, a combination with complementary techniques is recommended to embed the development of formal system specifications in a reflective conversation between all stake holders. An example is used throughout the paper to illustrate our ideas.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Dittmar, A., Forbrig, P.: Bridging the Gap between Scenarios and Formal Models. In: Proc. of HCII 2003 (2003)
Dittmar, A., Gellendin, A., Forbrig, P.: Requirements Elicitation and Elaboration in Task-Based Design Needs More Than Task Modelling: A Case Study. In: Coninx, K., Luyten, K., Schneider, K.A. (eds.) TAMODIA 2006. LNCS, vol. 4385, pp. 275–291. Springer, Heidelberg (2007)
Lim, K.Y., Long, J.: The MUSE Method for Usability Engineering. Cambridge University Press, Cambridge (1994)
Johnson, P., Wilson, S.: Bridging the Generation Gap: From Work Tasks to User Interface Designs. In: Proc. of CADUI 1996 (1996)
van der Veer, G.C., Lenting, B.F., Bergevoet, B.A.J.: GTA: Groupware Task Analysis - Modeling Complexity. Acta Psychologica 91, 297–322 (1996)
Cass, A.G., Fernandes, C.S.T.: Using Task Models for Cascading Selective Undo. In: Coninx, K., Luyten, K., Schneider, K.A. (eds.) TAMODIA 2006. LNCS, vol. 4385, pp. 186–201. Springer, Heidelberg (2007)
Carroll, J.M.: Scenarios and Task Analysis as Design Methods. In: Workshop on Exploring Design as a Research Activity, CHI 2007 (2007), http://www.chi2007.org/attend/workshops.php
Fowler, M.: UML Distilled: A Brief Guide to the Standard Object Modeling Language, 3rd edn. Addison-Wesley, Reading (2003)
Limbourg, Q., Vanderdonckt, J.: Comparing Task Models for User Interface Design. In: [16] (2004)
Dix, A., Ramduny-Ellis, D., Wilkinson, J.: Trigger Analysis: Understanding Broken Tasks. In: [16] (2004)
Paternò, F., Santoro, C., Tahmassebi, S.: Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air-Traffic Control. In: DSVIS 1998, Springer, Heidelberg (1998)
Randall, D., Hughes, J., Shapiro, D.: Steps towards a partnership: Ethnography and system design. In: Jirotka, M., Gougen, J. (eds.) Requirements Engineering: Social and Technical Issues, Academic Press, San Diego (1994)
Dittmar, A., Hübner, T., Forbrig, P.: HOPS: a prototypical specification tool for interactive systems. In: Graham, T.C.N., Palanque, P. (eds.) DSV-IS 2008. LNCS, vol. 5136, Springer, Heidelberg (2008)
Diaper, D.: Understanding Task Analysis for Human-Computer Interaction. In: [16] (2004)
Fallman, D.: Design-oriented Human-Computer Interaction. In: Proc. of CHI 2003 (2003)
Diaper, D., Stanton, N.A. (eds.): The handbook of task analysis for human-computer interaction. Lawrence Erlbaum Associates, Mahwah (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dittmar, A., Forbrig, P. (2009). An Exploration of Perspective Changes within MBD. In: Jacko, J.A. (eds) Human-Computer Interaction. New Trends. HCI 2009. Lecture Notes in Computer Science, vol 5610. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02574-7_90
Download citation
DOI: https://doi.org/10.1007/978-3-642-02574-7_90
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02573-0
Online ISBN: 978-3-642-02574-7
eBook Packages: Computer ScienceComputer Science (R0)