计算机科学 ›› 2014, Vol. 41 ›› Issue (7): 110-113.doi: 10.11896/j.issn.1002-137X.2014.07.022
李彦成,曾庆田,鲁法明,薛洁
LI Yan-cheng,ZENG Qing-tian,LU Fa-ming and XUE Jie
摘要： 有偿交互问答(QA)系统受到越来越多的关注,但是补偿的不公平性等问题可能会引起用户的投诉。通过分析有偿交互QA系统的投诉流程,首先利用颜色Petri网对投诉流程进行形式化建模；然后使用CPN Tools对所建立的形式化模型进行验证；最后对所建模型的状态空间报告进行分析,证明了系统各响应流程设计的正确性等特性。所提出的方法对有偿交互QA系统的综合形式化分析具有重要意义。
| [1] 刘里,曾庆田．自动问答系统研究综述[J]．山东科技大学学报,2007,26(4):73-76 [2] Hao Tian-yong,Hu Da-wei,Liu Wen-yin,et al.Semantic Pat-terns for User-Interactive Question Answering,Concurrency and Computation[J]．Practice and Experience,2008,20(7):783-799 [3] Hu Da-wei,Chen Wei,Zeng Qing-tian,et al.Using a User-inte-ractive QA System for Personalized e-Learning[J]．The International Journal of Distance Education Technologies,2008,6(3):1-22 [4] Zeng Qing-tian,Zhao Zhong-ying,Liang Yong-quan．Course Ontology-based User’s Knowledge Requirement Acquisition from Behaviors within E-Learning Systems[J]．Computers & Education,2009,53(3):809-818 [5] Chen Wei,Zeng Qing-tian,Liu Wen-yin,et al.A user reputation model for a user-interactive question answering system[J]．Concurrency Computation Practice and Experience,2007,19(15):2091-2103 [6] Li Yan-cheng,Duan Hua,Zeng Qing-tian,et al．A π-calculus-based Complaint Model for a User-interactive Question Answering System[C]∥Proceedings of the 20122nd International Conference on Computer and Information Application(ICCIA 2012)．2012:97-100 [7] 吴哲辉.Petri网导论[M].北京:机械工业出版社,2006 [8] Jensen K．Colored Petri Nets:A High Level Language for System Design and Analysis [M]．Heideberg,Berlin:Springer,2006 [9] Jensen K．An introduction to the theoretical of colored Petri nets[J].Computer Science,1994,3:230-272 [10] Lu Xi．Scop design with CPN Tools [D]． Eindhoven University of Technology,2005 [11] 管华,应时,贾向阳,等.一种基于CPN的BPEL异常处理逻辑的开发方法[J].计算机科学,2013,0(1):150-156 [12] Jensen K L,Kristensen M,Wells L．Colored Petri Nets and CPN Tools for Modeling and Validation of Concurrent Systems[J].International Journal on Software Tools for Technology Transfer,2007,9(3/4):213-254 |
| No related articles found! |
|
||
首页