Abstract
Many new multi-modal interaction techniques have been proposed for interaction in a virtual world. Often these techniques are of a hybrid nature combining continuous interaction, such as gestures and moving video, with discrete interaction, such as pushing buttons to select items. Unfortunately the description of the behavioural aspects of these interaction techniques found in the literature is informal and incomplete. This can make it hard to compare and evaluate their usability. This paper investigates the use of HyNet to give concise and precise specifications of hybrid interaction techniques. HyNet is an extension of high-level Petri Nets developed for specification and verification of hybrid systems, i.e. mathematical models including both continuous and discrete elements.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3–34, 1995.
E. Clarke and E. Emerson. Synthesis of synchronization skeletons for branching time temporal logics. In Logic of Programs: Workshop, (Yorktown Heights, NY), volume 131 of Lecture Notes in Computer Science, pages 52–71. Springer Verlag, 1981.
ColtVR. Virtual Production Planner. BBC/Colt International, 1997.
Z. Har’El and R. Kurshan. Software for analytical development of communications protocols. AT&T Bell Lab. Tech. J., 69(1 (Jan.-Feb.)), 1990.
T. A. Henzinger. The theory of hybrid automata. In Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 96), pages 278–292, 1996.
INQUISITIVE homepage, 1999.httphttp://www.cs.york.ac.ukhshamus/inquisitive/
H. Jifeng. From csp to hybrid systems. In A Classical Mind: Essays on Honour of C. A. R. Hoare, pages 171–189. Prentise Hall, 1994.
S. Jones and J. Sapsford. The role of informal representations in early design. In P. Markopoulos and P. Johnson, editors, Design, Specification and Verification of Interactive Systems, pages 117–133. Springer, 1998.
J. K and G. Rozenberg, editors. High-level Petri Nets - Theory and Applications. Springer-Verlag, 1991.
R. P. Kurshan. Computer-Aided Verification of Coordinating Processes. Princeton University Press, Princeton, NJ, 1994.
K. G. Larsen, B. Steffen, and C. Weise. Continuous modeling of real-time and hybrid systems: from concepts to tools. International Journal on Software Tools and Technology Transfer, (1):64–85, 1997.
P. Liggesmeyer, M. Rothfelder, M. Rettelbach, and T. Ackermann. Qualitätssicherung Software-basierter technischer Systeme - Problembereiche und Lösungsansätze. Informatic-Spektrum, (21):249–258, 1998.
M. Mine. Virtual environment interaction techniques. Technical Report TR95–018, University of North Carolina, 1995.
M. Mine. Exploiting Proprioception in Virtual Environments Interaction. PhD thesis, University of North Carolina, 1997.
M. Mine. Chimp: Chapel hill immersive modeling program.http://www.cs.unc.edu/mine1998.
M. Mine, F. P. Brooks Jr, and C. H. Sequin. Moving objects in space: Exploiting proprioception in virtual-environment interaction. In Proceedings of SIGGRAPH 97, pages 19–26, 1997.
J. Nielsen. Usability Engineering. AP Professional, 1993.
C. A. Petri. Kommunikation mit automaten. Schriften des iim nr. 2, Institut für Instrumentelle Mathematic, 1962. English translation: Technical Report RADCTR-65–377, Griffis Air Base, New York, Vol. 1, Suppl. 1, 1966.
J. Queille and J. Sifakis. Specification and verification of of concurrent systems in ceasar. In Proceedings of Fifth ISP, 1982.
N. B. Sarter and D. D. Woods. How in the world did we ever get into that mode? mode error and awareness in supervisory control. Human Factors, 37(1):5–19, 1995.
S. Schöf, M. Sonnenschein, and R. Wieting. Efficient simulation of thor nets. In G. D. Michelis and M. Diaz, editors, Applications and Theory of Petri Nets, 16th International Conference, volume 935 of LNCS, pages 412–431. Springer, 1995.
B. Shneiderman. Designing the User Interface. Addison-Wesley, 1987.
S. Smith and D. Duke. Virtual environments as hybrid systems. In Proceedings of the Eurographics UK 17th Annual Conference, EG- UK’99, pages 113–128. Eurographics UK Chapter, 1999. Cambridge, UK.
S. Smith, D. Duke, and M. Massink. The hybrid world of virtual environments. In Accepted for publication at Eurographics ‘89, 1999. Milan, Italy.
I. Sommerville. Software Engineering. Addison-Wesley, fifth edition, 1996.
TACIT homepage, 1999.http: //kazan.cnuce. cnr. it/TACIT/.
R. Wieting. Hybrid high-level nets. In D. B. J.M. Charnes, D.J. Morrice and J. Swain, editors, Winter Simulation Conference, pages 848–855, 1996. Coronado, California.
R. Wieting and M. Sonnenschein. Extending high-level petri nets for modeling hybrid systems. In A. Sydow, editor, Proceedings of the IMACS Symposium on Sytems Analysis and Simulation, 1995. Berlin, Germany.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag/Wien
About this paper
Cite this paper
Massink, M., Duke, D., Smith, S. (1999). Towards Hybrid Interface Specification for Virtual Environments. In: Duke, D., Puerta, A. (eds) Design, Specification and Verification of Interactive Systems ’99. Eurographics. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6815-8_4
Download citation
DOI: https://doi.org/10.1007/978-3-7091-6815-8_4
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-83405-3
Online ISBN: 978-3-7091-6815-8
eBook Packages: Springer Book Archive