Sociable interface-based model checking for Web applications
基于交际接口的Web应用模型检验

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