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

  • Matteo Risoldi
  • Vasco Amaral
  • Bruno Barroca
  • Kaveh Bazargan
  • Didier Buchs
  • Fabian Cretton
  • Gilles Falquet
  • Anne Le Calvé
  • Stéphane Malandain
  • Pierrick Zoss
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5440)


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.


User Model Finite State Machine Control Channel Task Model Power Group 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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),
  2. 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. 3.
    Burkardt, J.: Object file format specification (visited, 2008),
  4. 4.
    Kobsa, A., Wahlster, W. (eds.): User models in dialog systems. Springer, New York (1989)zbMATHGoogle Scholar
  5. 5.
    Cretton, F., Calvé, A.L.: Working paper: Generic ontology based user modeling - GenOUM. Technical report, HES-SO Valais (2007)Google Scholar
  6. 6.
    Cretton, F., Calvé, A.L.: Generic ontology based user model: GenOUM. Technical report, Université de Genève (June 2008),
  7. 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. 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. 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. 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. 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. 12.
    ATLAS Group: Atlas transformation language (2008),
  13. 13.
    Hostettler, S.: Java decisions diagrams library. Technical report, Université de Genève (June 2008),
  14. 14.
    JoGL expert group: JSR 231: JavaTMbinding for the OpenGL® API (visited, 2008),
  15. 15.
    FengGUI developer group: FengGUI: Java GUIs with OpenGL (visited, 2008),
  16. 16.
    3DConnexion: Spacenavigator product web page (visited, 2008),
  17. 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)CrossRefGoogle Scholar
  18. 18.
    Kohler, H.J., Nickel, U., Niere, J., Zundorf, A.: Integrating UML diagrams for production control systems. ICSE 00, 241 (2000)Google Scholar
  19. 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)CrossRefGoogle Scholar
  20. 20.
    Holzmann, G.J.: The SPIN Model Checker. Addison-Wesley, Reading (2003)Google Scholar
  21. 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)CrossRefGoogle Scholar
  22. 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)CrossRefGoogle Scholar
  23. 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)CrossRefGoogle Scholar
  24. 24.
    UsiXML consortium: UsiXML - Home of the USer Interface eXtensible Markup Language (Visited, 2008),
  25. 25.
    Penner, R.R., Steinmetz, E.S.: Implementation of automated interaction design with collaborative models. Interacting with Computers 15(3), 367–385 (2003)CrossRefGoogle Scholar
  26. 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. 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. 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. 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. 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. 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. 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. 33.
    Chittaro, L., Ranon, R.: Adaptive hypermedia techniques for 3D educational virtual environments. IEEE Intelligent Systems 22(4), 31–37 (2007)CrossRefGoogle Scholar
  34. 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. 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)CrossRefGoogle Scholar
  36. 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)CrossRefGoogle Scholar
  37. 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. 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)CrossRefGoogle Scholar
  39. 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. 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), Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Matteo Risoldi
    • 2
  • Vasco Amaral
    • 1
  • Bruno Barroca
    • 1
  • Kaveh Bazargan
    • 2
  • Didier Buchs
    • 2
  • Fabian Cretton
    • 3
  • Gilles Falquet
    • 2
  • Anne Le Calvé
    • 3
  • Stéphane Malandain
    • 4
  • Pierrick Zoss
    • 4
  1. 1.Universidade Nova de LisboaPortugal
  2. 2.Université de GenèveSwitzerland
  3. 3.HES-SO ValaisSwitzerland
  4. 4.Ecole d’ingénieurs de GenèveSwitzerland

Personalised recommendations