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

作     者：李彦成 曾庆田 鲁法明 薛洁 LI Yan-cheng;ZENG Qing-tian;LU Fa-ming;XUE Jie

作者机构：山东科技大学信息科学与工程学院青岛266590 

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

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2014年第41卷第7期

页      码：110-113页

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

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.11896/j.issn.1002-137X.2014.07.022

馆 藏 号：203289411...