| 答疑系统问题的Z语言规约 |
| |
| 引用本文： | 崔继,周竹荣.答疑系统问题的Z语言规约[J].计算机工程与设计,2007,28(11):2751-2754. |
| |
| 作者姓名： | 崔继 周竹荣 |
| |
| 作者单位： | 1. 松山职业技术学院,广东,韶关,512126
2. 西南大学,重庆,400715 |
| |
| 摘 要： | 分析了目前答疑系统存在的不足之一,即缺少标准框架,从而很难实现答疑系统之间资源的共享.因此提出了使用形式化方法来构建统一的答疑系统,利用形式化语言Z对答疑系统的主要模块进行需求规格说明.同时用Z语言描述了答疑系统的主要操作模式,包括关键词的提取、问题的检索和知识库的更新等操作.
|
| 关 键 词： | 答疑系统 软件工程 形式化方法 模式 Z语言 系统问题 语言规约 language question 操作模式 知识库 检索 提取 关键词 语言描述 需求规格说明 模块 形式化语言 利用 统一 形式化方法 使用 资源 标准框架 存在 |
| 文章编号： | 1000-7024（2007）11-2751-04 |
| 修稿时间： | 2006-06-30 |
On query answering question with Z language |
| |
| CUI Ji,ZHOU Zhu-rong.On query answering question with Z language[J].Computer Engineering and Design,2007,28(11):2751-2754. |
| |
| Authors: | CUI Ji ZHOU Zhu-rong |
| |
| Affiliation: | 1. Songshan Polytechnic College, Shaoguan 512126, China; 2. Southwest University, Chongqing400715, China |
| |
| Abstract: | The present situation of query answering question is analysed, and one of defect of them is pointed out. It is difficult to share resource each other to query answering question from want of criterion frame. Later, unifying query answering question is advanced to build with formal method, and it formulates the requirements of software with Z language on main module of query answering question system. At the same time, the main manipulation is sepecified by Z language, includes to pick keywords, to inquire about keywords, and to update the knowledge repository. |
| |
| Keywords: | query answering software engineering formal method schema Z language |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
