Web交互模型的形式化验证研究

	Web交互模型的形式化验证研究
	李敏 1; 罗惠琼 2; 唐春玲 1; 王强 2
	2014-02-15
发表期刊	计算机科学
ISSN	1002-137X
卷号	41 期号:02 页码:219-221
摘要	Web交互模型的形式化验证是对Web事件属性进行校验的十分可信的方法。通过一系列的系统模型建立、系统行为分析以及对于模型中关心属性的相关验证,能够让交互模型在设计阶段就能使形式化模型暴露出其所存在的缺陷,而不至于让缺陷保留到编码阶段或者更后面才能被真正地暴露出来,这样使系统模型的生存能力更加强大,同时避免了因后期缺陷暴露而出现的大代价修复。通过对Web系统的交互应用服务的过程模型化的体系进行研究,通过模型本身具有的属性进行相关正确性的校验,主要通过使用数学推理实现系统逻辑上的服务交互进程,从而进行过程的推演,并对系统服务的正确性进行过程的形式化验证,从而使系统服务模块的属性正确性可以通过逻辑上的演进来发现服务问题的存在,而不再是系统通过编码实现后才发现。对Web交互模型的形式化验证是基于IMWSC模型语义形成的IMWSC模型的验证机制。
关键词	Web交互模型形式化验证数理推演模型语义
URL	查看原文
收录类别	北大核心 ; CSCD
语种	中文
资助项目	重庆市教委(kj131607)资助
原始文献类型	学术期刊
文献类型	期刊论文
条目标识符	http://ir.library.ouchn.edu.cn/handle/39V7QQFX/70011
专题	国家开放大学重庆分部
作者单位	1.重庆广播电视大学电子信息工程学院; 2.电子科技大学计算机科学与工程学院
第一作者单位	国家开放大学重庆分部
第一作者的第一单位	国家开放大学重庆分部
推荐引用方式 GB/T 7714	李敏,罗惠琼,唐春玲,等. Web交互模型的形式化验证研究[J]. 计算机科学,2014,41(02):219-221.
APA	李敏,罗惠琼,唐春玲,&王强.(2014).Web交互模型的形式化验证研究.计算机科学,41(02),219-221.
MLA	李敏,et al."Web交互模型的形式化验证研究".计算机科学 41.02(2014):219-221.