Skip to main content
SpringerLink
Log in
Book cover

Human Machine Interaction pp 221–248Cite as

A Language and a Methodology for Prototyping User Interfaces for Control Systems

  • Chapter

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5440))

Abstract

The BATIC3S project (Building Adaptive Three-dimensional Interfaces for Controlling Complex Control Systems) proposes a methodology to prototype adaptive graphical user interfaces (GUI) for control systems. We present a domain specific language for the control systems domain, including useful and understandable abstractions for domain experts. This is coupled with a methodology for validation, verification and automatic GUI prototype generation. The methodology is centered on metamodel-based techniques and model transformations, and its foundations rely on formal models. Our approach is based on the assumption that a GUI can be induced from the characteristics of the system to control.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Risoldi, M., Masetti, L., Buchs, D., Barroca, B., Amaral, V.: A model-based methodology for control systems gui design prototyping. In: Proceedings of the PCAPAC 2008 conference (2008), http://www.pcapacworkshop.org

  2. Dierlamm, A., Dirkes, G.H., Fahrer, M., Frey, M., Hartmann, F., Masetti, L., Militaru, O., Shah, S.Y., Stringer, R., Tsirou, A.: The CMS tracker control system. Journal of Physics: Conference Series 119(2), 022019 (9p) (2008)

    Google Scholar 

  3. Burkardt, J.: Object file format specification (visited, 2008), http://people.scs.fsu.edu/~burkardt/txt/obj_format.txt

  4. Kobsa, A., Wahlster, W. (eds.): User models in dialog systems. Springer, New York (1989)

    MATH  Google Scholar 

  5. Cretton, F., Calvé, A.L.: Working paper: Generic ontology based user modeling - GenOUM. Technical report, HES-SO Valais (2007)

    Google Scholar 

  6. Cretton, F., Calvé, A.L.: Generic ontology based user model: GenOUM. Technical report, Université de Genève (June 2008), http://smv.unige.ch/tiki-list_file_gallery.php?galleryId=46

  7. Paternò, F., Mancini, C., Meniconi, S.: ConcurTaskTrees: A diagrammatic notation for specifying task models. In: INTERACT 1997: Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction, London, UK, UK, pp. 362–369. Chapman & Hall, Ltd., Boca Raton (1997)

    Google Scholar 

  8. Yip, S., Robson, D.: Graphical user interfaces validation: a problem analysis and a strategy to solution. In: Proceedings of the Twenty-Fourth Annual Hawaii International Conference on System Sciences, IEEE Computer Society, Los Alamitos (1991)

    Google Scholar 

  9. Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse Modeling Framework. The Eclipse series. Addison-Wesley, Reading (2004)

    Google Scholar 

  10. Pedro, L., Risoldi, M., Buchs, D., Barroca, B., Amaral, V.: Developing domain specific modeling languages by metamodel semantic enrichment and composition: a case study. In: IEEE Software Special Issue on Domain-Specific Languages & Modeling (Submitted, 2008)

    Google Scholar 

  11. Biberstein, O.: CO-OPN/2: An Object-Oriented Formalism for the Specification of Concurrent Systems. PhD thesis, University of Geneva (1997)

    Google Scholar 

  12. ATLAS Group: Atlas transformation language (2008), http://www.eclipse.org/m2m/atl/

  13. Hostettler, S.: Java decisions diagrams library. Technical report, Université de Genève (June 2008), http://smv.unige.ch/tiki-list_file_gallery.php?galleryId=46

  14. JoGL expert group: JSR 231: JavaTMbinding for the OpenGL® API (visited, 2008), http://jcp.org/en/jsr/detail?id=231

  15. FengGUI developer group: FengGUI: Java GUIs with OpenGL (visited, 2008), http://www.fenggui.org

  16. 3DConnexion: Spacenavigator product web page (visited, 2008), http://www.3dconnexion.com/3dmouse/spacenavigator.php

  17. Leveson, N.G., Heimdahl, M.P.E., Hildreth, H., Reese, J.D.: Requirements specification for process-control systems. IEEE Transactions on Software Engineering 20(9), 684–707 (1994)

    Article  Google Scholar 

  18. Kohler, H.J., Nickel, U., Niere, J., Zundorf, A.: Integrating UML diagrams for production control systems. ICSE 00, 241 (2000)

    Google Scholar 

  19. Berstel, J., Reghizzi, S.C., Roussel, G., Pietro, P.S.: A scalable formal method for design and automatic checking of user interfaces. In: ICSE 2001: Proceedings of the 23rd International Conference on Software Engineering, Washington, DC, USA, pp. 453–462. IEEE Computer Society, Los Alamitos (2001)

    Chapter  Google Scholar 

  20. Holzmann, G.J.: The SPIN Model Checker. Addison-Wesley, Reading (2003)

    Google Scholar 

  21. Bastide, R., Navarre, D., Palanque, P.A.: A tool-supported design framework for safety critical interactive systems. Interacting with Computers 15(3), 309–328 (2003)

    Article  Google Scholar 

  22. Calvary, G., Coutaz, J., Thevenin, D., Limbourg, Q., Bouillon, L., Vanderdonckt, J.: A unifying reference framework for multi-target user interfaces. Interacting with Computers 15(3), 289–308 (2003)

    Article  Google Scholar 

  23. 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, pp. 173–192. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  24. UsiXML consortium: UsiXML - Home of the USer Interface eXtensible Markup Language (Visited, 2008), http://www.usixml.org

  25. Penner, R.R., Steinmetz, E.S.: Implementation of automated interaction design with collaborative models. Interacting with Computers 15(3), 367–385 (2003)

    Article  Google Scholar 

  26. Vanderdonckt, J., Chieu, C.K., Bouillon, L., Trevisan, D.: Model-based design, generation, and evaluation of virtual user interfaces. In: Web3D, pp. 51–60 (2004)

    Google Scholar 

  27. Limbourg, Q., Vanderdonckt, J.: Comparing task models for user interface design. In: The handbook of task analysis for human-computer interaction (2004)

    Google Scholar 

  28. Chittaro, L., Ranon, R.: Dynamic generation of personalized VRML content: a general approach and its application to 3D e-commerce. In: Web3D 2002: Proceedings of the seventh international conference on 3D Web technology, pp. 145–154. ACM, New York (2002)

    Google Scholar 

  29. Estalayo, E., Salgado, L., Moran, F., Cabrera, J.: Adapting multimedia information association in VRML scenes for e-learning applications. In: Proceedings of 1st International Workshop LET-Web3D, pp. 16–22 (2004)

    Google Scholar 

  30. Dachselt, R., Hinz, M., Pietschmann, S.: Using the AMACONT architecture for flexible adaptation of 3D web applications. In: Web3D 2006: Proceedings of the eleventh international conference on 3D web technology, pp. 75–84. ACM, New York (2006)

    Google Scholar 

  31. Hinz, M., Fiala, Z.: Amacont: A system architecture for adaptive multimedia web applications. In: Tolksdorf, R., Eckstein, R. (eds.) Berliner XML Tage, XML-Clearinghouse, pp. 65–74 (2004)

    Google Scholar 

  32. Dachselt, R., Hinz, M., Meissner, K.: Contigra: an XML-based architecture for component-oriented 3D applications. In: Web3D 2002: Proceedings of the seventh international conference on 3D Web technology, pp. 155–163. ACM, New York (2002)

    Google Scholar 

  33. Chittaro, L., Ranon, R.: Adaptive hypermedia techniques for 3D educational virtual environments. IEEE Intelligent Systems 22(4), 31–37 (2007)

    Article  Google Scholar 

  34. Chittaro, L., Ranon, R.: An adaptive 3D virtual environment for learning the X3D language. In: Bradshaw, J.M., Lieberman, H., Staab, S. (eds.) Intelligent User Interfaces, pp. 419–420. ACM, New York (2008)

    Google Scholar 

  35. Bra, P.D., Aerts, A., Berden, B., de Lange, B., Rousseau, B., Santic, T., Smits, D., Stash, N.: AHA! The adaptive hypermedia architecture. In: HYPERTEXT 2003: Proceedings of the fourteenth ACM conference on Hypertext and hypermedia, pp. 81–84. ACM, New York (2003)

    Chapter  Google Scholar 

  36. Métral, C., Falquet, G., Vonlanthen, M.: An ontology-based model for urban planning communication. In: Teller, J., Lee, J.R., Roussey, C. (eds.) Ontologies for Urban Development. Studies in Computational Intelligence, vol. 61, pp. 61–72. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  37. Bilasco, I., Villanova-Oliver, M., Gensel, J., Martin, H.: Sémantique et modélisation des scènes 3D. RSTI-ISI, Metadonnées et nouveaux SI 12(2), 121–135 (2007)

    Google Scholar 

  38. Bilasco, I.M., Villanova-Oliver, M., Gensel, J., Martin, H.: Semantic-based rules for 3D scene adaptation. In: Gervasi, O., Brutzman, D.P. (eds.) Web3D, pp. 97–100. ACM, New York (2007)

    Chapter  Google Scholar 

  39. Bilasco, I.M., Gensel, J., Villanova-Oliver, M., Martin, H.: An MPEG-7 framework enhancing the reuse of 3D models. In: Gracanin, D. (ed.) Web3Dq, pp. 65–74. ACM, New York (2006)

    Google Scholar 

  40. Barroca, B., Amaral, V., Risoldi, M., Caprini, M., Moreira, A., Araújo, J.: Towards the application of model based design methodology for reliable control systems on HEP experiments. In: Proceedings of the 11th IEEE Nuclear Science Symposium. IEEE, Los Alamitos (2008), http://www.nss-mic.org/2008/NSSMain.asp

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universidade Nova de Lisboa, Portugal

    Vasco Amaral & Bruno Barroca

  2. Université de Genève, Switzerland

    Matteo Risoldi, Kaveh Bazargan, Didier Buchs & Gilles Falquet

  3. HES-SO Valais, Switzerland

    Fabian Cretton & Anne Le Calvé

  4. Ecole d’ingénieurs de Genève, Switzerland

    Stéphane Malandain & Pierrick Zoss

Authors
  1. Matteo Risoldi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Vasco Amaral
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Bruno Barroca
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Kaveh Bazargan
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Didier Buchs
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Fabian Cretton
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Gilles Falquet
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Anne Le Calvé
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Stéphane Malandain
    View author publications

    You can also search for this author in PubMed Google Scholar

  10. Pierrick Zoss
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Informatics, University of Fribourg, Bd. de Pérolles 90, CH-1700, Fribourg, Switzerland

    Denis Lalanne  & Jürg Kohlas  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Risoldi, M. et al. (2009). A Language and a Methodology for Prototyping User Interfaces for Control Systems. In: Lalanne, D., Kohlas, J. (eds) Human Machine Interaction. Lecture Notes in Computer Science, vol 5440. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00437-7_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-00437-7_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-00436-0

  • Online ISBN: 978-3-642-00437-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation