论文研究-基于交际接口的Web应用模型检验.pdf

【文件属性】：

文件名称：论文研究-基于交际接口的Web应用模型检验.pdf

文件大小：259KB

文件格式：PDF

更新时间：2022-08-11 14:10:08

Web应用,交际接口,TICC,模型检验

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