Abstract
This article suggests higher-order processes as a formal framework to model interactive systems and supplies a corresponding prototypical specifi cation tool (HOPS). Processes and their components reflect the recursive nature of interaction. Each component is an independent process itself. Though higher-level processes specify the interaction between their components they do not fully control them. HOPS offers a unified description of behavioral and structural aspects. Structured sets of sub-processes (e.g. hierarchies) serve to represent specific domains of interest within a process. Operations are the smallest units for analyzing and designing behavior. However, they can be unfolded to processes and vice versa. This supports an understanding of interactive systems as open and nonmonotonic systems. Their composition/ decomposition may exhibit unpredictable behavior. It is shown that the approach follows the interaction paradigm more closely than existing modeling approaches in HCI. Possible usage scenarios are given.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Wegner, P.: Why interaction is more powerful than algorithms. Comm. ACMÂ 40(5) (1997)
Dittmar, A., Forbrig, P.: A unified description formalism for complex HCI-systems. In: Proc. of SEFM 2005. IEEE Computer Society, Los Alamitos (2005)
Barnard, P., May, J., Duke, D., Duce, D.: Systems, Interactions and Macrotheory. ACM Transactions on Human-Computer Interaction 7, 222–262 (2000)
Dix, A.: Upside-Down ∀s and Algorithms - Computational Formalisms and Theory. In: Carroll, J. (ed.) HCI Models, Theories, and Frameworks - Toward a Multidisciplinary Science, Morgan Kaufmann, San Francisco (2003)
Dittmar, A., Forbrig, P.: The Influence of Improved Task Models on Dialogues. In: Proc. of CADUI 2004. Kluwer Academic Publishers, Dordrecht (2004)
Dittmar, A., Forbrig, P.: Higher-Order Task Models. In: Jorge, J.A., Jardim Nunes, N., Falcão e Cunha, J. (eds.) DSV-IS 2003. LNCS, vol. 2844. Springer, Heidelberg (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. Springer, Heidelberg (2007)
Johnson, P.: Human computer interaction: psychology, task analysis, and software engineering. McGraw-Hill Book Company, New York (1992)
Paterno, F., Mancini, C., Meniconi, S.: ConcurTaskTrees: A notation for specifying task models. In: Proc. of INTERACT 1997 (1997)
Veer, G.C., van der Lenting, B.F., Bergevoet, B.A.J.: GTA: Groupware Task Analysis - Modeling Complexity. Acta Psychologica 91, 297–322 (1996)
Alexander, H.: Executable Specifications as an Aid to Dialogue Design. In: Proc. of INTERACT 1987. Elsevier, Amsterdam (1987)
Sufrin, B., He, J.: Specification, analysis and refinement of interactive processes. In: Harrison, M.D., Thimbleby, H. (eds.) Formal Methods in Human-Computer Interaction. Cambridge University Press, Cambridge (1990)
Abowd, G.D.: Formal Aspects of Human-Computer Interaction. PhD thesis, Oxford University Computing Laboratory (1991)
Paterno, F.: Model-Based Design and Evaluation of Interactive Applications. Springer, Heidelberg (2000)
Luyten, K., Clerckx, T., Coninx, K., Vanderdonckt, J.: Derivation of a Dialog Model from a Tasl Model by Activity Chain Extraction. In: Jorge, J.A., Jardim Nunes, N., Falcão e Cunha, J. (eds.) DSV-IS 2003. LNCS, vol. 2844. Springer, Heidelberg (2003)
Calvary, G., Coutaz, J., Thevenin, D.: A Unifying Reference Framework for the Development of Plastic User Interfaces. In: Nigay, L., Little, M.R. (eds.) EHCI 2001. LNCS, vol. 2254. Springer, Heidelberg (2001)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)
Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
Engeström, Y.: Learning by Expanding: An Activity-Theoretical Approach to Development Research. PhD thesis, Orienta-Konsultit Oy, Helsinki (1987)
Dourish, P.: Where the Action Is. MIT Press, Cambridge (2001)
Kaptelinin, V., Nardi, B.A.: Acting with technology: activity theory and interaction design. MIT Press, Cambridge (2006)
Vygotsky, L.: Thought and Language. The MIT Press, Cambridge (1934/1986)
Coutaz, J.: PAC: An Object Oriented Model For Implementing User Interfaces. SIGCHI Bull. 19(2) (1987)
Chatty, S.: Programs = data + algorithms + architecture: Consequences for interactive software. In: Proc. of the 2007 joint conference on Engineering Interactive Software. Springer, Heidelberg (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dittmar, A., Hübner, T., Forbrig, P. (2008). HOPS: A Prototypical Specification Tool for Interactive Systems. In: Graham, T.C.N., Palanque, P. (eds) Interactive Systems. Design, Specification, and Verification. DSV-IS 2008. Lecture Notes in Computer Science, vol 5136. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70569-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-70569-7_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70568-0
Online ISBN: 978-3-540-70569-7
eBook Packages: Computer ScienceComputer Science (R0)