Computer Science ›› 2014, Vol. 41 ›› Issue (7): 110-113.doi: 10.11896/j.issn.1002-137X.2014.07.022

Previous Articles     Next Articles

Colored-Petri-Net-based Complaint Model for User-interactive Question Answering System

LI Yan-cheng,ZENG Qing-tian,LU Fa-ming and XUE Jie   

  • Online:2018-11-14 Published:2018-11-14

Abstract: Due to users’ complaints arising from such problems as unfair compensation,user-interactive question answering systems are catching more and more attention.By analyzing the complaint process of a user-interactive question answering system,the formal complaint model was presented using Colored Petri Net.Then the established formal modelwas verified by employing CPN tools.Finally,the state space report of the established model was analyzed,so the correctness and other features of the system design were demonstrated.This proposed method has special significance to the comprehensive formal analysis of the user-interactive question answering system.

Key words: User-interactive question answering system,Colored Petri net,Complaint model,CPN tools

[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!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!