eprintid: 29741 rev_number: 11 eprint_status: archive userid: 19147 dir: disk0/00/02/97/41 datestamp: 2019-03-25 13:12:11 lastmod: 2021-04-02 15:59:23 status_changed: 2019-03-25 13:12:11 type: article metadata_visibility: show creators_name: Barboni, Eric creators_name: Martinie De Almeida, Celia creators_name: Navarre, David creators_name: Palanque, Philippe creators_name: Winckler, Marco Antonio creators_idrefppn: 16381239X creators_idrefppn: 059320087 creators_idrefppn: 050268228 creators_idrefppn: 081569319 title: Bridging the Gap between a Behavioural Formal Description Technique and User Interface description language: Enhancing ICO with a Graphical User Interface markup language ispublished: pub subjects: subjects_INFO abstract: In the last years, User Interface Description Languages (UIDLs) appeared as a suitable solution for developing interactive systems. In order to implement reliable and efficient applications, we propose to employ a formal description technique called ICO (Interactive Cooperative Object) that has been developed to cope with complex behaviours of interactive systems including event-based and multimodal interactions. So far, ICO is able to describe most of the parts of an interactive system, from functional core concerns to fine grain interaction techniques, but, even if it addresses parts of the rendering, it still not has means to describe the effective rendering of such interactive system. This paper presents a solution to overcome this gap using markup languages. A first technique is based on the Java technology called JavaFX and a second technique is based on the emergent UsiXML language for describing user interface components for multi-target platforms. The proposed approach offers a bridge between markup language based descriptions of the user interface components and a robust technique for describing behaviour using ICO modelling. Furthermore, this paper highlights how it is possible to take advantage from both behavioural and markup language description techniques to propose a new model-based approach for prototyping interactive systems. The proposed approach is fully illustrated by a case study using an interactive application embedded into interactive aircraft cockpits. date: 2014 date_type: published publisher: Elsevier faculty: info divisions: IRIT keywords: Model-Based Approaches - User Interface Description Language - Formal Description Techniques - Behavioural Modelling - Graphical User Interface Markup Language language: fr has_fulltext: TRUE view_date_year: 2014 full_text_status: public publication: Science of Computer Programming volume: 86 pagerange: 3-29 refereed: TRUE issn: 0167-6423 harvester_local_overwrite: eprintid harvester_local_overwrite: userid harvester_local_overwrite: date harvester_local_overwrite: official_url harvester_local_overwrite: issn harvester_local_overwrite: dir harvester_local_overwrite: keywords harvester_local_overwrite: pagerange harvester_local_overwrite: publisher harvester_local_overwrite: volume harvester_local_overwrite: creators_name harvester_local_overwrite: faculty harvester_local_overwrite: site harvester_local_overwrite: abstract harvester_local_overwrite: title harvester_local_overwrite: publication harvester_local_overwrite: type harvester_local_overwrite: number harvester_local_overwrite: note harvester_local_overwrite: ispublished harvester_local_overwrite: id_number harvester_local_overwrite: event_title harvester_local_overwrite: pres_type harvester_local_overwrite: event_location harvester_local_overwrite: series harvester_local_overwrite: isbn harvester_local_overwrite: book_title harvester_local_overwrite: editors_name harvester_local_overwrite: department harvester_local_overwrite: thesis_type harvester_local_overwrite: pages harvester_local_overwrite: place_of_pub harvester_local_overwrite: divisions harvester_local_overwrite: subjects harvester_local_overwrite: date_type harvester_local_overwrite: language harvester_local_overwrite: refereed harvester_local_overwrite: creators_idrefppn site: ut1 citation: Barboni, Eric, Martinie De Almeida, Celia , Navarre, David , Palanque, Philippe and Winckler, Marco Antonio (2014) Bridging the Gap between a Behavioural Formal Description Technique and User Interface description language: Enhancing ICO with a Graphical User Interface markup language. Science of Computer Programming, 86. pp. 3-29. document_url: https://publications.ut-capitole.fr/id/eprint/29741/1/assistant_10996541_2645636482_0.pdf