STEREOSCOPIC VISUALISATION 139

• Develop the concept of geometrical operators, use them in practice and test their utility on a system (for example ask an object the list of its neighbors, or only those which are above).

• Build an interface between this visual model and the logical model. Study the existing solutions for the communications, the SOAP protocol seems to be suitable.

140 CHAPTER 6. BATIC³S VISUAL MODEL

Bibliography

[1] Chris Adamson. Jumping into jogl, 2003. URL: http://today.java.net/pub/a/today/2003/09/11/jogl2d.html.

[2] A.T.M. Aerts, F. Glege, and M. Liendl. A database perspective on CMS detector data. InProceedings of CHEP04 conference, 2004.

[3] Latifa Arris. Placement spatial dans les interfaces 3d. un modle de gestionnaires de placement. Master thesis, SES, Universite de Gen`eve, October 2006.

[4] M. El Atifi and G. Falquet. Sp´ecification des interfaces 3d pour la visualisation des bases de connaissances.

InProceedings of INFORSID conference (to appear), 2005.

[5] St´ephane Barbey, Didier Buchs, and C´ecile P´eraire. A theory of specification-based testing for object-oriented software. InEDCC, pages 303–320, 1996.

[6] P. J Barclay, T. Griffiths, J. McKirdy, J. Kennedy, R. Cooper, N. W. Paton, and P. Gray. Teallach – a flexible user-interface development environment for object database applications. Journal of Visual Languages &

Computing, Elsevier, 14(1):47–77, February 2003.

[7] Bruno Barroca and Vasco Amaral. Rapid prototyping of user interfaces for control systems: A survey.

Technical report, SMV Group, University of Geneva, 2006.

[8] O. Biberstein, Didier Buchs, and Nicolas Guelfi. Object-oriented nets with algebraic specifications: The co-opn/2 formalism. InConcurrent Object-Oriented Programming and Petri Nets, pages 73–130, 2001.

[9] Olivier Biberstein, Didier Buchs, and Nicolas Guelfi. Object-oriented nets with algebraic specifications: The CO-OPN/2 formalism. In G. Agha, F. De Cindio, and G. Rozenberg, editors, Advances in Petri Nets on Object-Orientation, LNCS, pages 70–127. Springer-Verlag, 2001.

[10] Didier Buchs and Nicolas Guelfi. A formal specification framework for object-oriented distributed systems.

IEEE Trans. Software Eng., 26(7):635–652, 2000.

[11] Didier Buchs and Nicolas Guelfi. A formal specification framework for object-oriented distributed systems.

IEEE Transactions on Software Engineering, 26(7):635–652, july 2000.

[12] John Burkardt. OBJ files, 2006. URL: http://www.csit.fsu.edu/ burkardt/data/obj/obj.html.

[13] D. Carr. Interaction object graphs: an executable graphical notation for specifying user interfaces. In Philippe Palanque and Fabio Patern`o, editors, Formal methods in Human-Computer Interaction, pages 141–155. Springer-Verlag, 1997.

[14] ETM. Etm professional control - pvss ii. URL: http://www.pvss.com.

[15] B. Franek and C. Gaspar. Smi++ - state management interface. URL: http://cern.ch/smi.

[16] Object Management Group. Query/view/transformation specification, December 2005. url:

http://www.omg.org/cgi-bin/apps/doc?ptc/05-11-01.pdf.

[17] Object Management Group. Uml 2.0 superstructure specification. Technical report, OMG, August 2005.

http://www.omg.org/cgi-bin/doc?formal/05-07-04.

[18] Object Management Group. Unified Modeling Language version 2.0, August 2005. URL:

http://www.omg.org/technology/documents/formal/uml.htm.

[19] David Harel and Hillel Kugler. The rhapsody semantics of statecharts (or, on the executable core of the uml). Lecture notes in computer science, 2004.

[20] Matthew Hennessy and Robin Milner. Algebraic laws for nondeterminism and concurrency. J. ACM, 32(1):137–161, 1985.

[21] M. Lind. Modeling goals and functions of complex industrial plant. InProceedings of AAAI-93 Workshop on Reasoning about Functions, 1993.

141

142 BIBLIOGRAPHY

[22] Levi L´ucio. Syntax and semantics of satel (semi automatic testing language). Technical report, Soft-ware Modeling and Verification Group, University of Geneva, 2006. url: http://smv.unige.ch/tiki-index.php?page=temporaryTechReports.

[23] Levi Lucio, Luis Pedro, and Didier Buchs. A test language for co-opn specifications. InRSP ’05: Pro-ceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP’05), pages 195–201, Washington, DC, USA, 2005. IEEE Computer Society.

[24] Levi Lucio, Luis Pedro, and Didier Buchs. A test selection language for co-opn specifications. In IEEE International Workshop on Rapid System Prototyping, pages 195–201, 2005.

[25] David Megginson. SAX project, 2004. URL: http://www.saxproject.org.

[26] F. Moussa, C. Kolski, and M. Riahi. A model based approach to semi-automated user interface generation for process control interactive applications.Interacting with Computers, 12(3):245–279, January 2000.

[27] J.M O’Hara. Advanced human-system interface design review guideline, general evaluation model, technical development, and guideline description., 1994.

[28] Philippe Palanque. Publications. URL: http://liihs.irit.fr/palanque/publications.html.

[29] Philippe Palanque and R´emi Bastide. Petri net based design of user-driven interfaces using the interactive cooperative objects formalism. InProceedings of EUROGRAPHICS workshop on ”design, specification and verification of Interactive systems”, 1994.

[30] Octavian Patrascoiu. YATL:Yet Another Transformation Language. InProceedings of the 1st European MDA Workshop, MDA-IA, pages 83–90. University of Twente, the Nederlands, January 2004.

[31] Luis Pedro. UML2 to CO-OPN transformation state machines and class diagrams transformation. Technical report, University of Geneva, September 2006. URL: http://smv.unige.ch/tiki-download file.php?fileId=683.

[32] Luis Pedro, Levi Lucio, and Didier Buchs. Principles for system prototype and verification using metamodel based transformations. InIEEE International Workshop on Rapid System Prototyping, pages 10–17, 2006.

[33] Luis Pedro, Levi Lucio, and Didier Buchs. Prototyping Domain Specific Languages with COOPN. InRapid Integration of Software Engineering techniques, volume LNCS 3943. Springer-Verlag, 2006.

[34] Angel Puerta and Jacob Eisenstein. Towards a general computational framework for model-based inter-face development systems. InIUI ’99: Proceedings of the 4th international conference on Intelligent user interfaces, pages 171–178, New York, NY, USA, 1999. ACM Press.

[35] J. Rasmussen. The role of hierarchical knowledge representation in decision-making and system management.

IEEE Transactions on Systems, Man and Cybernetics, 12(3):234–243, 1985.

[36] Christian Sandor and Gudrun Klinker. A rapid prototyping software infrastructure for user interfaces in ubiquitous augmented reality.Personal Ubiquitous Comput., 9(3):169–185, 2005.

[37] D. Steinwand, B. Davis, and N. Weeks. Geowall: Investigations into low-cost stereo display systems. In USGS Open File Report, 2002.

[38] KGB team. KGB team bibliography. URL: http://kgb.ijs.si/KGB/accomplishments.php.

[39] Triskell team. MTL Documentation. URL: http://modelware.inria.fr/rubrique4.html.

[40] J. Vanderdonckt. Knowledge-Based Systems for Automated User Interface Generation: the TRIDENT Expierence. In Proceedings of the CHI 95 workshop on Knowledge Based Support for the User Interface Design Process, 1995.

[41] Jean Vanderdonckt, Chow Kwok Chieu, Laurent Bouillon, and Daniela Trevisan. Model-based design, gen-eration, and evaluation of virtual user interfaces. In Web3D ’04: Proceedings of the ninth international conference on 3D Web technology, pages 51–60, New York, NY, USA, 2004. ACM Press.

[42] Gianni Viano, Andrea Parodi, James Alty, Chris Khalil, Inaki Angulo, Daniele Biglino, Michel Crampes, Christophe Vaudry, Veronique Daurensan, and Philippe Lachaud. Adaptive user interface for process control based on multi-agent approach. In AVI ’00: Proceedings of the working conference on Advanced visual interfaces, pages 201–204, New York, NY, USA, 2000. ACM Press.

[43] Mason Woo, Davis, and Mary Beth Sheridan.OpenGL Programming Guide: The Official Guide to Learning OpenGL, Version 1.2. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1999.

[44] A. Zaatri and M. Oussalah. Integration and design of multi-modal interfaces for supervisory control systems.

Information Fusion, Elsevier, 4:135–150, 2003.