基于颜色petri网的有偿交互qa系统投诉模型

有偿交互问答(qa)系统受到越来越多的关注,但是补偿的不公平性等问题可能会引起用户的投诉。通过分析有偿交互qa系统的投诉流程,首先利用颜色petri网对投诉流程进行形式化建模；然后使用cpntools对所建立的形式化模型进行验证；最后对所建模型的状态空间报告进行分析,证明了系统各响应流程设计的正确性等特性。所提出的方法对有偿交互qa系统的综合形式化分析具有重要意义。