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

摘要：

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

关键词：有偿交互问答系统、颜色Petri网、投诉模型、CPN Tools

所属期刊栏目：41

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金61170079,61202152;公益性行业农业科研专项201303107;教育部高等学校博士学科点专项科研基金20103718110007;山东科技大学杰出青年基金2010KYJQ101

在线出版日期：2014-09-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：110-113