A Study of Formal Model of Interactive Behaviour in the Whole System for Implicit Action and Context

2019 7th International Forum on Industrial Design

工业技术（总论）

Li, Bo^1 ; Xue, Yanmin^1

Department of Art and Design, Xi'An University of Technology, Xi'an, Shaanxi

710054, China^1

关键词: Bus stations;    Formal model;    Formal techniques;    General method;    Interactive process;    Interactive system;    Paper analysis;    Public display;   

Others  :  https://iopscience.iop.org/article/10.1088/1757-899X/573/1/012019/pdf
DOI  :  10.1088/1757-899X/573/1/012019

学科分类：工业工程学

来源: IOP

【 摘 要 】

Formal techniques have been used to analyze a variety of properties of interactive behaviour in a number of systems. To have a better understanding of the implicit of the interactive behaviour, it is necessary to find a general method to describe the task. In this study, we proposed a formal model to illustrate the implicit task. We validated the effect of this model by an experiment in the simulated coach bus station by receiving transition information by the holder held device. This paper analyses the whole system, the rooms, the public displays, the mobile devices and the timeliness of information in the system. The model made the interactive process clearer and provided a basic framework to study the related issues of orientation in the interactive system in the future.