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

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.

[1]  Fabian Cretton,et al.  Generic ontology based User Model : GenOUM , 2008 .

[2]  Stefano Spaccapietra,et al.  Somebody, sometime, somewhere, something [ubiquitous computing] , 2005, International Workshop on Ubiquitous Data Management.

[3]  Stefano Spaccapietra,et al.  Matching User's Semantics with Data Semantics in Location-Based Services , 2005, MCMP@MDM.

[4]  Jean Vanderdonckt,et al.  Comparing Task Models for User Interface Design , 2003 .

[5]  Stefano Crespi-Reghizzi,et al.  A scalable formal method for design and automatic checking of user interfaces , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[6]  Joëlle Coutaz,et al.  A Unifying Reference Framework for the Development of Plastic User Interfaces , 2001, EHCI.

[7]  Philippe A. Palanque,et al.  A tool-supported design framework for safety critical interactive systems , 2003, Interact. Comput..

[8]  Robin R. Penner,et al.  Implementation of automated interaction design with collaborative models , 2003, Interact. Comput..

[9]  Ulrich Nickel,et al.  Integrating UML diagrams for production control systems , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[10]  Les Carr,et al.  Proceedings of the fourteenth ACM conference on Hypertext and hypermedia , 2003 .

[11]  Didier Buchs,et al.  A methodology for control systems GUI prototyping - a case study , 2008 .

[12]  Otilia Militaru,et al.  The CMS tracker control system , 2008 .

[13]  Th. P. van der Weide,et al.  Generic engine for user model based adaptation , 2004 .

[14]  Jacques Teller,et al.  Ontologies for Urban Development , 2007, Studies in Computational Intelligence.

[15]  Neville A. Stanton,et al.  Book preview , 2003, INTR.

[16]  Frank Budinsky,et al.  Eclipse Modeling Framework , 2003 .

[17]  Kunle Olukotun,et al.  Java as a specification language for hardware-software systems , 1997, ICCAD 1997.

[18]  Luca Chittaro,et al.  Adaptive Hypermedia Techniques for 3D Educational Virtual Environments , 2007, IEEE Intelligent Systems.

[19]  Olivier Biberstein.  CO-OPN/2: An Object-Oriented Formalism for the Specification of Concurrent Systems , 1997 .

[20]  Zoltán Fiala,et al.  AMACONT: A System Architecture for Adaptive Multimedia Web Applications , 2004, Berliner XML Tage.

[21]  Raimund Dachselt,et al.  Using the AMACONT architecture for flexible adaptation of 3D web applications , 2006, Web3D '06.

[22]  Luca Chittaro,et al.  Dynamic generation of personalized VRML content: a general approach and its application to 3D e-commerce , 2002, Web3D '02.

[23]  Jean Vanderdonckt,et al.  Proc. of 1st Int. Workshop on User Interface Extensible Markup Language UsiXML’2010 , 2010 .

[24]  Natalia Stash,et al.  AHA! The adaptive hypermedia architecture , 2003, HYPERTEXT '03.

[25]  Gerard J. Holzmann,et al.  The SPIN Model Checker , 2003 .

[26]  Luca Chittaro,et al.  An adaptive 3D virtual environment for learning the X3D language , 2008, IUI '08.

[27]  Ioan Marius Bilasco,et al.  Semantic-based rules for 3D scene adaptation , 2007, Web3D '07.

[28]  Jérôme Gensel,et al.  Sémantique et modélisation de scènes 3D , 2007, Ingénierie des Systèmes d Inf..

[29]  Nancy G. Leveson,et al.  Requirements Specification for Process-Control Systems , 1994, IEEE Trans. Software Eng..

[30]  Laurence Nigay,et al.  Engineering for Human-Computer Interaction , 2001, Lecture Notes in Computer Science.

[31]  Matteo Risoldi,et al.  Towards the application of a model based design methodology for reliable control systems on HEP experiments , 2008, 2008 IEEE Nuclear Science Symposium Conference Record.

[32]  D. J. Robson,et al.  Graphical user interfaces validation: a problem analysis and a strategy to solution , 1991, Proceedings of the Twenty-Fourth Annual Hawaii International Conference on System Sciences.

[33]  Alfred Kobsa,et al.  User Models in Dialog Systems , 1989, Symbolic Computation.

[34]  Daniela Gorski Trevisan,et al.  Model-based design, generation, and evaluation of virtual user interfaces , 2004, Web3D '04.

[35]  Didier Buchs,et al.  Developing domain-specific modeling languages by metamodel semantic enrichment and composition: a case study , 2010, DSM '10.

[36]  Alfred Kobsa,et al.  Generic User Modeling Systems , 2001, User modeling and user-adapted interaction.

[37]  Nicolas Guelfi,et al.  CO-OPN/2: a concurrent object-oriented formalism , 1997 .

[38]  Fabio Paternò,et al.  ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models , 1997, INTERACT.

[39]  Jérôme Gensel,et al.  An MPEG-7 framework enhancing the reuse of 3D models , 2006, Web3D '06.

[40]  Raimund Dachselt,et al.  Contigra: an XML-based architecture for component-oriented 3D applications , 2002, Web3D '02.

[41]  Francisco Morán,et al.  Adapting Multimedia Information Association in VRML Scenes for E-Learning Applications , 2004 .

[42]  Gilles Falquet,et al.  An Ontology-based Model for Urban Planning Communication , 2007, Ontologies for Urban Development.

[43]  J. Kruse.  Book review: User Models in Dialog Systems Edited by A. Kobsa and W. Wahlster (Springer-Verlag, 1989) , 1991, SGAR.

[44]  Jean Vanderdonckt,et al.  A Unifying Reference Framework for multi-target user interfaces , 2003, Interact. Comput..