Abstract
Virtual environments lack a standardised interface between the user and application, this makes it possible for the interface to be highly customised for the demands of individual applications. However, this requires a development process where the interface can be carefully designed to meet the requirements of an application. In practice, an ad-hoc development process is used which is heavily reliant on a developer’s craft skills. A number of formalisms have been developed to address the problem of establishing the behavioural requirements by supporting its design prior to implementation. We have developed the Marigold toolset which provides a transition from one such formalism, Flownets, to a prototype-implementation. In this paper we demonstrate the use of the Marigold toolset for prototyping a small environment.
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
Maverik programmer’s guide for version 5.1. Advanced Interface Group, Department of Computer Science, University of Manchester, 1999.
Steve Bryson. Approaches to the Successful Design and Implementation of VR Applications. London Academic Press, 1995.
Rik Carey and Gavin Bell. The Annotated VRML 2.0 Reference Manual. Developers Press, 1997.
Remi Bastide David Navarre, Philippe Palanque and Ousmane Sy. Structuring interactive systems specifications for executability and prototypeability. In Philippe Palanque and Fabio Paterno, editors, Design, Specification and Verification of Interactive Systems’00, pages 97–119. Lecture notes in Computer Science 1946, 2001.
Pierre duPont. Building complex virtual worlds without programming. In Remco C. Veltkamp, editor, Eurographics’95 STAR report, pages 61–70. Eurographics, 1995.
J. W. Forrester. Industrial Dynamics. MIT Press, 1961.
Mark Green. The design of narrative virtual environments. In Design, Specification and Verification of Interactive Systems’95, pages 279–293, 1995.
David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.
Michael Harrison and Harold Thimbleby, editors. Formal Methods in Human-Computer Interaction. Cambidge University Press, 1990.
Robert J. K. Jacob. Specifying non-WIMP interfaces. In CHI’95 Workshop on the Formal Specification of User Interfaces Position Papers, 1995.
Robert J. K. Jacob. A visual language for non-WIMP user interfaces. In Proceedings IEEE Symposium on Visual Languages, pages 231–238. IEEE Computer Science Press, 1996.
Kulwinder Kaur, Neil Maiden, and Alistair Sutcliffe. Design practice and usability problems with virtual environments. In Proceedings of Virtual Reality World’96,1996.
G. Jounghyun Kim, Kyo Chul Kang, Hyejung Kim, and Jiyoung Lee. Software engineering of virtual worlds. In ACM Virtual Reality Systems and Technology Conference (VRST’98), pages 131–138, 1998.
Mieke Massink, David Duke, and Shamus Smith. Towards hybrid interface specification for virtual environments. In Design, Specification and Verification of Interactive Systems’99, pages 30–51. Springer, 1999.
S. A. Morrison and R. J. K. Jacob. A specification paradigm for design and implementation of non-WIMP human-computer interaction. In ACM CHI’98 Human Factors in Computing Systems Conference, pages 357–358. Addison-Wesley/ACM Press, 1998.
Brad A. Myers. User-interface tools: Introduction and survey. IEEE Software, 6(1):15–23, 1989.
Philippe A. Palanque, Remi Bastide, Louis Dourte, and Christophe Silbertin-Blane. Design of user-driven interfaces using petri nets and objects. In Proceedings of CAISE’93 (Conference on advance information system engineering), Lecture Notes in Computer Science, volume 685, 1993.
C. A. Petri. Kommunikation mit automaten. Schriften des iim nr. 2, Institut fur Instrumentelle Mathematic, 1962. English translation: Technical Report RADC-TR-65-377, Griffiths Air Base, New York, Vol. 1, Suppl. 1, 1966.
William R. Sherman. Integrating virtual environments into the data flow paradigm. In 4th Eurographics workshop on ViSC, 1993.
Shamus Smith and David Duke. Using CSP to specify interaction in virtual environments. Technical Report YCS 321, University of York-Department of Computer Science, 1999.
Shamus Smith and David Duke. Virtual environments as hybrid systems. In Eurographics UK 17th Annual Conference, pages 113–128. Eurographics, 1999.
Shamus Smith, David Duke, Tim Marsh, Michael Harrison, and Peter Wright. Modelling interaction in virtual environments. In UK-VRSIG’98, 1998.
Shamus Smith, David Duke, and Mieke Massink. The hybrid world of virtual environments. Computer Graphics Forum, 18(3):C297–C307, 1999.
Shamus P. Smith and David J. Duke. Binding virtual environments to toolkit capabilities. Computer Graphics Forum, 19(3):C81–C89, 2000.
Shamus P. Smith, David J. Duke, and James S. Willans. Designing world objects for usable virtual environments. In Workshop on design, specification and verification of interactive systems, 2000.
Ian Sommerville. Software Engineering. Addison-Wesley, fifth edition, 1996.
Anthony J. Steed. Defining Interaction within Immersive Virtual Environments. PhD thesis, Queen Mary and Westfield College, UK, 1996.
Kari Systa. A Specification Method for Interactive Systems. PhD thesis, Tampere University of Technology, 1995.
Boris van Schooten, Olaf Donk, and Job Zwiers. Modelling interaction in virtual environments using process algerbra. In 12th Workshop on Language technology: Interaction in virtual worlds, pages 195–212, 1999.
Ralf Wieting. Hybrid high-level nets. In J. M. Charnes, D. J. Morrice, and D. T. Brunner, editors, Proceedings of the 1996 Winter Simulation Conference, pages 848–855. ACM Press, 1996.
James S. Willans and Michael D. Harrison. A toolset supported approach for designing and testing virtual environment interaction techniques. Accepted for publication in the International Journal of Human-Computer Studies, 1999.
James S. Willans and Michael D. Harrison. A ‘plug and play’ approach to testing virtual environment interaction techniques. In 6th Eurographics Workshop on Virtual Environments, pages 33–42. SpringerVerlag, 2000.
James S. Willans and Michael D. Harrison. Verifying the behaviour of virtual environment world objects. In Workshop on design, specification and verification of interactive systems, pages 65–77. Lecture notes in computer science 1946, 2000.
Charles Albert Wuthrich. An analysis and a model of 3D interaction methods and devices for virtual reality. In Design, Specification and Verification of Interactive Systems’99, pages 18–29. Springer, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Willans, J.S., Harrison, M.D. (2001). Prototyping Pre-implementation Designs of Virtual Environment Behaviour. In: Little, M.R., Nigay, L. (eds) Engineering for Human-Computer Interaction. EHCI 2001. Lecture Notes in Computer Science, vol 2254. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45348-2_11
Download citation
DOI: https://doi.org/10.1007/3-540-45348-2_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43044-5
Online ISBN: 978-3-540-45348-2
eBook Packages: Springer Book Archive