http://dl.gi.de/handle/20.500.12116/6116 2026-07-26T14:43:54Z 2026-07-26T14:43:54Z Ziegler, Jürgen http://dl.gi.de/handle/20.500.12116/6249 2018-03-20T10:59:45Z 2015-01-01T00:00:00Z

Editorial Ziegler, Jürgen Ziegler, Jürgen

2015-01-01T00:00:00Z Fayollas, Camille Martinie, Célia Navarre, David Palanque, Philippe http://dl.gi.de/handle/20.500.12116/6248 2018-03-20T10:59:45Z 2015-01-01T00:00:00Z

A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit Fayollas, Camille; Martinie, Célia; Navarre, David; Palanque, Philippe Ziegler, Jürgen Task models are a very powerful artefact describing users’ goals and users’ activities and contain numerous information extremely useful for designing usable interactive applications. Indeed, task models is one of the very few means for ensuring effectiveness of the application i. e. that the application allows users to reach their goals and perform their tasks. This paper presents a tool-supported framework for exploiting task models throughout the development process and even when the interactive application is deployed and used. To this end, we introduce a framework for connecting task models to an existing, executable, interactive application. The main contribution of the paper lies in the definition of a systematic correspondence between the user interface elements of the interactive application and the low level tasks in the task model. Depending on the fact that the code of the application is available or not, the fact that the application has been prepared at programming time for such integration or not, we propose different alternatives to perform such correspondence (in a toolsupported way). This task-application integration allows the exploitation of task models at run time bringing in the benefits listed above to any interactive application. The approach, the tools and the integration are presented on a case study of a Flight Control Unit (FCU) used in aircraft cockpits. This paper extends the article entitled ‘A Generic Tool-Supported Framework for Coupling Task Models and Interactive Applications’ which have been presented at the 7 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2015). In this expanded version, the detailed description of the correspondence between annotations in the program of the interactive application and interactive tasks in the task models has been added. The complete version of the case study has also been integrated so that the application of each step of the proposed validation process is presented.

2015-01-01T00:00:00Z Kis, Filip Bogdan, Cristian http://dl.gi.de/handle/20.500.12116/6246 2018-03-20T10:59:45Z 2015-01-01T00:00:00Z

Generating Interactive Prototypes from Query Annotated Discourse Models Kis, Filip; Bogdan, Cristian Ziegler, Jürgen Model Based User Interface Development offers the possibility to design User Interfaces without being concerned about the underlying implementation. This is achieved by devising models at a high level of abstraction, thus creating the potential for involving users or domain experts to achieve a user-centered design process. Obtaining a running interactive application from such models usually requires several model transformations. One of the current problems is that while a user interface is generated after these transformations, other parts of the interactive system such as the application logic need to pre-exist or they must be written manually before the interface can be tested in a realistic scenario. This leaves the domain experts dependent on programmers and increases the time between iterations. In this paper we work with Query Annotations, which were previously used only for modeling at low levels and for generating fully functional interfaces, and we aim to generalize them for the high-level modeling approach called Discourse Modeling. The direct expected benefit of this generalization is the possibility to generate complete, readily testable interactive prototypes, rather than just their user interfaces. In addition, Query Annotations can serve as the mapping between the various levels of abstraction and bring to the domain experts a better understanding of the transformation process, as well as the possibility to modify the interfaces and models directly.

2015-01-01T00:00:00Z Oliveira, Raquel Dupuy-Chessa, Sophie Calvary, Gaëlle http://dl.gi.de/handle/20.500.12116/6247 2018-03-20T10:59:45Z 2015-01-01T00:00:00Z

Verification of Plastic Interactive Systems Oliveira, Raquel; Dupuy-Chessa, Sophie; Calvary, Gaëlle Ziegler, Jürgen Interactive systems have largely evolved over the past years. Nowadays, different users can interact with systems on different devices and in different environments. The user interfaces (UIs) are expected to cope with such variety. Plastic UIs have the capacity to adapt to changes in their context of use while preserving usability. Such capability enhances UIs, however, it adds complexity on them. We propose an approach to verifying interactive systems considering this adaptation capability of the UIs. The approach applies two formal techniques: model checking, to the verification of properties over the system model, and equivalence checking, to compare different versions of a UI, thereby identifying different levels of UI equivalence. We apply the approach to a case study in the nuclear power plant domain in which several UI are analyzed, properties are verified, and the level of equivalence between them is demonstrated.

2015-01-01T00:00:00Z