Colored-Petri-Net-based Complaint Model for User-interactive Question Answering System
LI Yan-chen · 2014
Due to users' complaints arising from such problems as unfair compensation,user-interactive question answering systems are catching more and more attention.By analyzing the complaint process of a user-interactive question answering system,the formal complaint model was presented using Colored Petri Net.Then the established formal model was verified by employing CPN tools.Finally,the state space report of the established model was analyzed,so the correctness and other features of the system design were demonstrated.This proposed method has special significance to the comprehensive formal analysis of the user-interactive question answering system.