-
题名Web交互模型的形式化验证研究
被引量：1
- 1
-
-
作者
李敏
罗惠琼
唐春玲
王强
-
机构
重庆广播电视大学电子信息工程学院
电子科技大学计算机科学与工程学院
-
出处
《计算机科学》
CSCD
北大核心
2014年第2期219-221,共3页
-
基金
重庆市教委(kj131607)资助
-
文摘
Web交互模型的形式化验证是对Web事件属性进行校验的十分可信的方法。通过一系列的系统模型建立、系统行为分析以及对于模型中关心属性的相关验证,能够让交互模型在设计阶段就能使形式化模型暴露出其所存在的缺陷,而不至于让缺陷保留到编码阶段或者更后面才能被真正地暴露出来,这样使系统模型的生存能力更加强大,同时避免了因后期缺陷暴露而出现的大代价修复。通过对Web系统的交互应用服务的过程模型化的体系进行研究,通过模型本身具有的属性进行相关正确性的校验,主要通过使用数学推理实现系统逻辑上的服务交互进程,从而进行过程的推演,并对系统服务的正确性进行过程的形式化验证,从而使系统服务模块的属性正确性可以通过逻辑上的演进来发现服务问题的存在,而不再是系统通过编码实现后才发现。对Web交互模型的形式化验证是基于IMWSC模型语义形成的IMWSC模型的验证机制。
-
关键词
web交互模型
形式化验证
数理推演
模型语义
-
Keywords
web interaction model, Formal Verification, Mathematical deduction, Model semantics
-
分类号
TP317.4
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种基于概念的交互式Web搜索模型
被引量：2
- 2
-
-
作者
徐勋明
薛永生
王劲波
吕晓华
-
机构
厦门大学计算机科学系
-
出处
《计算机应用与软件》
CSCD
北大核心
2004年第12期9-10,27,共3页
-
基金
福建省自然科学基金项目资助(A0 31 0 0 0 8)
-
文摘
当前基于关键字查询的大多数搜索引擎都没有提供个性化的用户服务 ,搜索结果主要根据关键字与文档的相似度来排序 ,这很难满足用户对日益膨胀的信息资源的需求。面对用户越来越难以迅速精确地检索到所需信息的现状 ,本文提出一种应用于LAN中的基于概念的三层搜索引擎模型 :通过用户交互的方式 ,使得搜索具有个性化、智能化的特点。
-
关键词
搜索引擎
网络资源
信息资源
计算机网络
JDBC
交互式web搜索模型
-
Keywords
Search engine Keywords Concept Interactivity
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
