Abstract
Researchers have suggested viewing interactive system design as the refinement of an abstract user-task model into an object-oriented interaction model[1, 17]. Inherent in this view is a shift in the nature of the behavior being modeled. We explore the manifestations of such a shift by critically analyzing properties of the forms used to represent task and interaction models. The analysis enabled us to uncover four obstacles to dialogue refinement. We believe that if designers cannot systematically address these obstacles, then the task-model refinement process of development will not be practical on any large scale. We then suggest a refinement framework that systematically deals with these obstacles and demonstrate it on a small, but significant example.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
L. Bass and J. Coutaz. Developing Software for the User Interface. SEI Series in Software Engineering. Addison-Wesley, 1991.
T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Network ISDN Systems, 14(1), 1987.
A. J. Dix et al. Human-Computer Interaction. Prentice Hall, 1993.
B. A. Myers et al. The Amulet environment: New models for effective user interface software development. IEEE Transactions on Software Engineering, 23(6):347–365, June 1997.
F. Bodart et al. Key activities for a development methodology of interactive applications. In D. Benyon and P. Palanque, editors, Critical Issues in User Interface Systems Engineering. Springer-Verlag, Berlin, 1995.
J. D. Foley et al. Computer Graphics: Principles and Practice. Addison Wesley, Reading, Massachusetts, 1997.
J. Rumbaugh et al. Object-Oriented Modeling and Design. Prentice-Hall, 1991.
P. Johnson et al. Adept — advanced design environment for prototyping with task models. In Bridges Between Worlds: Human Factors in Computing Systems: INTERCHI’93, 1993.
P. Szekely et al. Declarative interface models for user interface construction tools: The mastermind approach. In L. Bass and C. Unger, editors, Engineering for Human-Computer Interaction. Chapman & Hall, 1996.
R. Neches et al. Knowledgeable development environments using shared design models. In Intelligent Interfaces Workshop, pages 63–70,1993.
S. Wilson et al. Beyond hacking: A model based approach to user interface design. In J. L. Alty, D. Diaper, and S. Guest, editors, People and Computers VIII, Proceedings of the HCI’93 Conference, 1993.
T. P. Browne et al. Using declarative descriptions to model user interfaces with MASTERMIND. In F. Paternò and P. Palanque, editors, Formal Methods in Human Computer Interaction. Springer-Verlag, 1997.
D. Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8, 1987.
P. Johnson. Human-Computer Interaction, Psychology, Task analysis, and Software Engineering. McGraw-Hill, London, 1991.
P. Markopoulos. On the expression of interaction properties within an interactor model. In Design Specification and Verification of Interactive Systems (DSV-IS’95), 1995.
F. Paternò. A theory of user-interaction objects. Journal of Visual Languages and Computing, 5:227–249, 1994.
F. Paternò and S. Meniconi. TLIM: a systematic method for the design of interactive systems. In F. Paternò and P. Palanque, editors, Formal Methods in Human Computer Interaction. Springer-Verlag, 1997.
E. Schlungbaum and T. Elwert. Dialogue graphs: A formal and visual specification technique for dialogue modelling. In Formal Aspects of the Human Computer Interface, BCS-FACS Workshop, 1996.
R. E. K. Stirewalt. Automatic Generation of Interactive Systems from Declarative Models. PhD thesis, Georgia Institute of Technology, 1997.
J. M. Vanderdonckt and F. Bodart. Encapsulating knowledge for intelligent automatic interaction objects selection. In Bridges Between Worlds: Human Factors in Computing Systems: INTERCHI’93, 1993.
P. Zave and M. Jackson. Conjunction as composition. ACM Transactions on Software Engineering and Methodology, 2(4):371–411,1993.
P. Zave and M. Jackson. Where do operations come from? a multiparadigm specification technique. IEEE Transactions on Software Engineering, 22(7):508–528, July 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Wien
About this paper
Cite this paper
Stirewalt, R.E.K., Abowd, G.D. (1998). Practical Dialogue Refinement. In: Markopoulos, P., Johnson, P. (eds) Design, Specification and Verification of Interactive Systems ’98. Eurographics. Springer, Vienna. https://doi.org/10.1007/978-3-7091-3693-5_13
Download citation
DOI: https://doi.org/10.1007/978-3-7091-3693-5_13
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-83212-7
Online ISBN: 978-3-7091-3693-5
eBook Packages: Springer Book Archive