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

摘要：

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

关键词： 有偿交互问答系统 颜色Petri网 投诉流程 建模仿真

作者: 李彦成 曾庆田 鲁法明 薛洁

作者单位: 山东科技大学信息科学与工程学院 青岛 266590

会议类型: 国内会议

会议名称: 第十四届全国Petri 网理论与应用学术年会

会议地点: 西安

会议语种:中文

页码: 1-4

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