基于交际接口的Web应用模型检验

Sociable interface-based model checking for Web applications

为了验证Web应用的质量,首次采用了基于交际接口及其工具TICC的建筑智能化系统Web应用验证方法,通过一个简单的能源管理Web应用系统实例说明了整个建模、构件模块组合验证和系统性质验证过程。结果表明验证能够顺利实现,因而该方法是一种合适的Web应用验证方法。

In order to verify Web applications＇ quality, the paper firstly adopted the methodology based on sociable interface and its tool TICC to check Web applications in the intelligent building systems, used a simple case of energy sources manage- ment Web application system to illustrate the whole process of modeling, component composing verification and characteristic model checking. The result shows that verification is done successfully, so it is an appropriate verification method for Web ap- plications.