Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language

被引:3
作者
Barboni, Eric [1 ]
Martinie, Celia [1 ]
Navarre, David [1 ]
Palanque, Philippe [1 ]
Winckler, Marco [1 ]
机构
[1] Univ Toulouse, Inst Res Informat Toulouse, ICS Team, F-31042 Toulouse 9, France
关键词
Model-based approaches; User interface description language; Formal description techniques; Behavioural modelling; Graphical user interface markup language; SPECIFICATION;
D O I
10.1016/j.scico.2013.04.001
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
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. (C) 2013 Elsevier B.V. All rights reserved.
引用
收藏
页码:3 / 29
页数:27
相关论文
共 60 条
[1]  
Anson E., 1982, Computer Graphics, V16, P107, DOI 10.1145/965145.801269
[2]  
Appert C., 2006, Proceedings of the 19th Annual ACM Symposium on User Interface Software and Technology, P319
[3]  
*ARINC, 2002, 661 ARINC
[4]  
*ARINC, 2005, 6612 ARINC AIRL EL E
[5]  
BARBONI E, 2006, LNCS
[6]  
Barboni E, 2010, ACM SIGCHI C ENG INT, P143
[7]  
Barboni E., 2007, P SIES 2007 IEEE 2 I
[8]  
Bastide R, 2000, CONCURRENCY-PRACT EX, V12, P1379, DOI 10.1002/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO
[9]  
2-B
[10]  
Bastide R, 1998, SPRING COMP SCI, P171