A π-calculus-based Complaint Model for a User-interactive Question Answering System

摘要：

　　User-interactive question answering systems are catching more and more attention,however users complaints arise within it from such problems as unfair compensation.This paper focuses on a π-calculus-based formal model for the complaint process of a user-interactive question answering system.The formal model is verified by employing MWB tools so as to demonstrate the deadlock-free and other properties.The research results are of special significance to the comprehensive formal analysis of the user-interactive question answering systems.

关键词： User-interactive Question Answering System π-calculus Complaint Model MWB tools

作者: Yancheng Li Hua Duan Qingtian Zeng Faming Lu

作者单位: College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao, 266590, China

会议类型: 国际会议

会议名称: 2012 2nd International Conference on Computer and Information Applications(ICCIA2012)(2012第二届计算机和信息应用国际会议)

会议地点: 太原

会议语种:英文

页码: 97-100

在线出版日期: 2012-12-08（万方平台首次上网日期，不代表论文的发表时间）