问答题 简述人机界面表现模型的概念。

问答题 状态转换网络模型中，使用了哪些模型元素？

问答题 简述LOTOS模型中定义了哪些基本算符，并简述这些算符的含义。