Automatic generation of user interfaces using the set description language

We present a paradigm to generate automatically graphical user interfaces from a formal description of the data model following the well-known model-view-control paradigm. This paradigm provide complete separation between data model and interface description, setting the programmer free from the low-level aspects of programming interfaces, letting him take care of higher level aspects. The interface along with the data model is described by means of a formal language, the Set Description Language. We also describe the infrastructure based on this paradigm we implemented to generate graphical user interfaces for generic applications. Moreover, it can adapt the user interface of a program to the needs derived from the type of data managed by the user from time to time

Formal Models and Refinement for Graphical User Interface Design

Formal approaches to software development require that we correctly describe (or specify) systems in order to prove properties about our proposed solution prior to building it. We must then follow a rigorous process to transform our specification into an implementation to ensure that the properties we have proved are retained. When we design and build the user interfaces of our systems we are similarly keen to ensure that they have certain properties before we build them. For example, do they satisfy the requirements of the user? Are they designed with known good design principles and usability considerations in mind? User-centred design approaches, which incorporate many different techniques which we may consider as informal, seek to consider these issues so that the UIs we build are designed around the needs and capabilities of real users. Both formal methods and user-centred design are important and beneficial in the development of underlying system functionality and user interfaces respectively. Given this we would like to be able to use both approaches in one integrated software development process. Their differences, however, make this a challenging objective. In this thesis we present a solution this problem by describing models and techniques which provide a bridge between the existing work of user-centred design practitioners and formal methods practitioners enabling us to incorporate (representations of) informal design artefacts into a formal software development process. We then use these models as the basis for a refinement theory for user interfaces which allows interface designers to retain their informal design methods whilst providing an underlying theory grounded in the trace refinement theory of the Microcharts language

An application of machine learning to the organization of institutional software repositories

Software reuse has become a major goal in the development of space systems, as a recent NASA-wide workshop on the subject made clear. The Data Systems Technology Division of Goddard Space Flight Center has been working on tools and techniques for promoting reuse, in particular in the development of satellite ground support software. One of these tools is the Experiment in Libraries via Incremental Schemata and Cobweb (ElvisC). ElvisC applies machine learning to the problem of organizing a reusable software component library for efficient and reliable retrieval. In this paper we describe the background factors that have motivated this work, present the design of the system, and evaluate the results of its application

Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification

International audienceThe purpose of ARINC 661 specification [1] is to define interfaces to a Cockpit Display System (CDS) used in any types of aircraft installations. ARINC 661 provides precise information for communication protocol between application (called User Applications) and user interface components (called widgets) as well as precise information about the widgets themselves. However, in ARINC 661, no information is given about the behaviour of these widgets and about the behaviour of an application made up of a set of such widgets. This paper presents the results of the application of a formal description technique to the various elements of ARINC 661 specification within an industrial project. This formal description technique called Interactive Cooperative Objects defines in a precise and non-ambiguous way all the elements of ARINC 661 specification. The application of the formal description techniques is shown on an interactive application called MPIA (Multi Purpose Interactive Application). Within this application, we present how ICO are used for describing interactive widgets, User Applications and User Interface servers (in charge of interaction techniques). The emphasis is put on the model-based management of the feel of the applications allowing rapid prototyping of the external presentation and the interaction techniques. Lastly, we present the CASE (Computer Aided Software Engineering) tool supporting the formal description technique and its new extensions in order to deal with large scale applications as the ones targeted at by ARINC 661 specification

Cross-Platform Presentation of Interactive Volumetric Imagery

Volume data is useful across many disciplines, not just medicine. Thus, it is very important that researchers have a simple and lightweight method of sharing and reproducing such volumetric data. In this paper, we explore some of the challenges associated with volume rendering, both from a classical sense and from the context of Web3D technologies. We describe and evaluate the pro- posed X3D Volume Rendering Component and its associated styles for their suitability in the visualization of several types of image data. Additionally, we examine the ability for a minimal X3D node set to capture provenance and semantic information from outside ontologies in metadata and integrate it with the scene graph

Automatic Dialog Mask Generation for Device-Independent Web Applications

When building web applications for use on different devices, developers need to deal with a wide range of input/output capabilities that affect how users interact with the application: A dialog that can be completed in one step on a desktop client may have to be broken up into a number of steps on a small-screen mobile device. Since it is time-consuming to define all the possible dialog masks and dialog flow variants for different channels manually, it would be desirable to automate the adaptation of dialog masks and flows. To address this need, we introduce the DiaDef language for the abstract, device-independent definition of the widgets in a dialog, and the DiaGen framework that automatically breaks this abstract dialog definition down into sufficiently small dialog masks for the users’ mobile devices and incorporates them into suitable micro dialog flows that are generated at run-time in order to be handled by our Dialog Control Framework

Experiences with GRAIL::Learning Design support in .LRN

The IMS-LD specification allow the transcription of almost any pedagogical model in a "Unit of Learning" (UoL), which is a package where contents and methodology are combined together in order to be deployed in a compliant software. Making use of GRAIL as the supporting tool inside the .LRN Learning Management System, this paper presents two real experiences of use where IMS-LD has been used to deploy pedagogical models with different levels of complexity

Current Research on IMS Learning Design and Lifelong Competence Development Infrastructures

These proceedings consist of the papers presented at the Third TENCompetence Open Workshop which were accepted after peer reviewing. The workshop theme was Current Research on IMS Learning Design and Lifelong Competence Development Infrastructures. The workshop took place at the Universitat Pompeu Fabra, Barcelona, Spain, on the 21st and 22nd of June 2007

Towards a practitioner-centered approach to the design of e-learning competence editors

Girardin, F., Ayman, M., & Josep, B. (2007). Towards a practitioner-centered approach to the design of e-learning competence editors. In T. Navarrete, J. Blat & R. Koper (Eds.), Proceedings of the 3rd TENComptence Open workshop 'Current Research on IMS Learning Design and Lifelong Competence Development Infrastucture' (pp. 99-104). June, 20-21, 2007, Barcelona, Spain: TENCompetence.This article reports on the background research on requirements and current approaches to editors for learning curriculum designers. First we take a critique look at the state of the art in the domain of learning activity editors. We then look back in the information visualization and interaction literature to discuss the design challenged of such tools. From these current theories and applied works we define a set a rules that are crucial for the design of CDP editors based developed on top of complex e-learning models. Finally, we exemplify the set of design rules with a prototype integrating tightly coupled map-based and Gantt chart views.The work on this publication has been sponsored by the TENCompetence Integrated Project that is funded by the European Commission's 6th Framework Programme, priority IST/Technology Enhanced Learning. Contract 027087 [http://www.tencompetence.org