%0 Journal Article
%T 基于颜色petri网的有偿交互qa系统投诉模型
%A 李彦成？
%A 曾庆田？
%A 鲁法明？
%A 薛洁？
%J 计算机科学
%D 2014
%R 10.11896/j.issn.1002-137X.2014.07.022
%X 有偿交互问答(qa)系统受到越来越多的关注,但是补偿的不公平性等问题可能会引起用户的投诉。通过分析有偿交互qa系统的投诉流程,首先利用颜色petri网对投诉流程进行形式化建模；然后使用cpntools对所建立的形式化模型进行验证；最后对所建模型的状态空间报告进行分析,证明了系统各响应流程设计的正确性等特性。所提出的方法对有偿交互qa系统的综合形式化分析具有重要意义。
%K 有偿交互问答系统
%K 颜色petri网
%K 投诉模型
%K cpntools中图法分类号tp311文献标识码a
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20140722&flag=1