%0 Journal Article
%T Sociable interface-based model checking for Web applications<br>基于交际接口的Web应用模型检验
%A LI Jue-long
%A LI Liang
%A XING Jian-chun
%A YANG Qi-liang
%A <br>李决龙
%A 李亮
%A 邢建春
%A 杨启亮
%J 计算机应用研究
%D 2011
%I 
%X 为了验证Web应用的质量，首次采用了基于交际接口及其工具TICC的建筑智能化系统Web应用验证方法，通过一个简单的能源管理Web应用系统实例说明了整个建模、构件模块组合验证和系统性质验证过程。结果表明验证能够顺利实现，因而该方法是一种合适的Web应用验证方法。
%K Web applications
%K sociable interface
%K TICC
%K model checking<br>Web应用
%K 交际接口
%K TICC
%K 模型检验
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=436886841B40248908A544EFB3CD79D7&yid=9377ED8094509821&vid=D3E34374A0D77D7F&iid=CA4FD0336C81A37A&sid=334E2BB8B9A55ABB&eid=AA27B676BFCAA4BE&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=9