MODELS 2022
Sun 23 - Fri 28 October 2022 Montréal, Canada
Fri 28 Oct 2022 14:42 - 15:00 at A-5502.1 - Model visualization II Chair(s): Antonio Vallecillo

The design and implementation of safety-critical human-machine interface (HMI) software typically follow the model-driven development process to guarantee secure reliability pragmatically. Systematic and comprehensive modeling for interactions involved in HMI software is essential when applying the model-driven approach. LIDL Interaction Description Language (LIDL) is an interaction description language well suited to HMI software interaction modeling. Several problems limit the practical adoption of LIDL. LIDL does not have a visual modeling language or debugging tools, resulting in error-prone and inefficient modeling. In addition, there is no toolchain to connect it to the subsequent steps in model-driven development, such as verification and implementation. This paper presents a toolchain developed for LIDL to alleviate the problems it faces in practice. The toolchain consists of three tools, a visual modeling tool, a compiler translating LIDL code to Lustre, and a LIDL debugger. We design the visual modeling tool and debugger to improve LIDL modeling efficiency and the compiler to support the debugger and integrate the LIDL modeling into the whole model-driven development process of the HMI software. Specifically, the modeling tool uses tables and diagrams to visualize LIDL code, pragmatically reducing the possibility of introducing modeling errors while maintaining the semantics of LIDL code. We add management features to LIDL models to form a library of model components that modelers can reuse easily. The modeling tool can also automatically convert LIDL models created by modelers into LIDL code. The debugger helps modelers debug LIDL code to locate problems in the model and correct them quickly.

Fri 28 Oct

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 15:00
Model visualization IITools & Demonstrations / Journal-first at A-5502.1
Chair(s): Antonio Vallecillo University of Málaga, Spain
13:30
18m
Talk
Are models better read on paper or on screen? A comparative studyJ1st
Journal-first
Link to publication
13:48
18m
Talk
Graphical Projectional Editing in GentlemanDemo
Tools & Demonstrations
Aurélien Ducoin DIRO, Université de Montréal, Eugene Syriani Université de Montréal
Link to publication Pre-print
14:06
18m
Talk
Evaluating the accessibility of a PoN-enabled misuse case notation by the red–green colorblind communityJ1st
Journal-first
Link to publication
14:24
18m
Talk
Gamification-based UML Learning Environment in Virtual RealityDemo
Tools & Demonstrations
Enes Yigitbas Paderborn University, Germany, Maximilian Schmidt Paderborn University, Antonio Bucchiarone Fondazione Bruno Kessler, Trento, Italy, Sebastian Gottschalk Paderborn University, Gregor Engels Paderborn University
14:42
18m
Talk
Towards the Practical Adoption of LIDL: A Toolchain for Modeling Human-Machine Interface Software InteractionsDemoVirtual
Tools & Demonstrations
Ning Ge School of Software, Beihang University, Yunduo Wang School of Software, Beihang University, Yuan Wang School of Software, Beihang University, Yong Wang School of Software, Beihang University