15、安全感知的GUI建模：ActionGUI的应用与实现

安全感知的GUI建模：ActionGUI的应用与实现

1. ActionGUI简介

ActionGUI是一种用于对大量以数据为中心的应用程序的图形用户界面（GUI）进行形式化建模的语言。它提供了一种方式来对各种组件（如窗口、文本框、按钮、列表和表格）、事件（如点击、输入）和操作进行建模。操作可以针对数据（如更新数据库中元素的属性）或其他组件（如打开窗口），同时还能对组件与支持的事件、事件与触发的操作之间的关联进行建模。

ActionGUI还支持对以下特性进行形式化建模：
- 组件可以显示在容器中，容器本身也是组件（例如，窗口可以包含其他组件）。
- 组件可以拥有变量，用于存储信息供后续使用。
- 事件可能只有在满足特定条件时才会被支持，这些条件的真值可能取决于组件变量或数据库中存储的信息。
- 操作可能只有在满足特定条件时才会被触发，条件的真值同样可能取决于组件变量或数据库中存储的信息。
- 操作的参数值可以从组件变量或数据库中存储的信息获取。

2. ActionGUI元模型的不变量

ActionGUI元模型的不变量规定了以下内容：
- 组件类型相关 ：
| 组件类型 | 特性 |
| — | — |
| 窗口 | 可以包含除窗口外的任何类型的组件，自身不被其他组件包含 |
| 文本框 | 可以输入，默认拥有一个字符串类型的变量 text ，存储用户最后输入的字符串，该变量的值会永久显示在文本框中 |
| 按钮 | 可以被点击 |
| 列表 | 包含一个文本框，默认拥有一