Computer Science ›› 2016, Vol. 43 ›› Issue (11): 242-245.doi: 10.11896/j.issn.1002-137X.2016.11.047

Previous Articles     Next Articles

Consistency Analysis Method of Models Based on Net Process

ZHAO Pei-hai, WANG Mi-mi and FANG Xian-wen   

  • Online:2018-12-01 Published:2018-12-01

Abstract: In the similarity analysis process of business process models,sometimes there may be loop structure in the business process model,which leads the situation that internal behavior relation is consistent but external process of net is not.The existing methods mostly don’t consider the loop structure,and ignore the influence of loop structure on consistency analysis.On the basis of sequence relations of behavior profiles,by analyzing the relations between the internal behaviors of each process and depicting the relations between Petri net process section,a concept of Petri net process view was proposed in the paper.Then through the research on the external relations of Petri net process section,a mea-sure method of behavior consistency based on process view was proposed in this paper,which puts a ratio of the consis-tent process view and the total processes as the degree of two models.The theoritical analysis and specific example show that the method is very effective.

Key words: Petri net,Loop structure,Behavior profiles,Consistency degree,Process view

[1] Marlon D,García-Bauelos L,Dijkman R.Similarity Search of Business Process Models [J].IEEE Data Eng.Bull.,2009,32(3):23-28
[2] Schnberger A,Wirtz G.Taxonomy on consistency requirements in the business process integration context[C]∥Proceedings of the Twentieth International Conference on Software Enginee-ring & Knowledge Engineering.San Francisco:SEKE,2008:593-598
[3] Benatallah,Boualem,Casati F,et al.Representing,analysing and managing web service protocols [J].Data & Knowledge Engineering,2006,58(3):327-357
[4] Decker G,Weske M.Behavioral consistency for B2B process integration:Advanced Information Systems Engineering——Lecture Notes in Computer Science[M].Heidelberg:Springer-Verlag Berlin,2007:81-95
[5] van Dongen B,Dijkman R,Mendling J.Measuring Similarity between Business Process Models:Advanced Information Systems Engineering-Lecture Notes in Computer Science[M].Berlin:Springer-Verlag,2008:450-464
[6] Becker J,Delfmann P,Knackstedt R.Reference Modeling [M].Berlin:Springer,2007:27-58
[7] Weidlich M,Mending J,Weske M.Efficient consistency mea-surement based on behavioral profiles of process models [J].IEEE Transactions on Software Engineering,2011,37(3):410-429
[8] Weidlich M,Mending J.Perceived consistency between process models [J].Information Systems,2012,37(2):80-98
[9] Weidlich M,Polyvyanyy A,Mendling J,et al.Causal behavioural profiles-efficient computation,applications,and evaluation [J].Fundamenta Informaticae,2011,113(3/4):399-435
[10] Weidlich M,Polyvyanyy A,Mendling J,et al.Efficient computation of causal behavioural profiles using structural decomposition[M]∥Applications and Theory of Petri Nets-Lecture Notes in Computer Science.Berlin:Springer,2010:63-83
[11] Polyvyanyy A,Weidlich M,Conforti R,et al.The 4C spectrum of fundamental behavioral relations for concurrent systems:Application and Theory of Petri Nets and Concurrency-Lecture Notes in Computer Science[C]∥International Conference on Application and Theory of Petri Nets and Concurrency.Switzerland:Springer International Publishing,2014:210-232
[12] van der Aa H,Leopold H,Reijers H A.Detecting Inconsistencies between Process Models and Textual Descriptions:Business Process Management Business Process Management- Lecture Notes in Computer Science[C]∥International Conference on Business Process Management.Switzerland:Springer International Publishing,2015:90-105
[13] Goltz U,Reisig W.Processes of place/transition-nets:Automata,Languages and Programming-Lecture Notes in Computer Science[D].Berlin:Springer-Verlag,1983:264-277
[14] Jiang Chang-jun,Yan Chun-gang.Research on Process Characteristics of Synchronous Composition Nets [J].Acta Electronica Sinica,1997,25(2):57-60(In Chinese)(in Chinese) 蒋昌俊,闫春钢.同步合成网的进程特性研究[J].电子学报,1997,5(2):57-60
[15] Lin Chuang,Wei Ya-ya.Stochastic Process Algebras and Sto-chastic Petri Nets [J].Journal of Software,2002,13(2):203-213(in Chinese) 林闯,魏丫丫.随机进程代数与随机 Petri 网[J].软件学报,2002,3(2):203-213
[16] Wu Zhe-hui,Zhang Ji-jun.Process Grammar and Process Lan-guage of Petri Nets [J].Computer Science,2002,9(12):31-33(in Chinese) 吴哲辉,张继军.Petri网的进程文法和进程语言[J].计算机科学,2002,9(12):31-33
[17] Martiník I.Modelling of Distributed Programming Systems with Using of Property-Preserving Petri Net Process Algebras and P/T Petri Net Processes[C]∥2013 Second International Conference on Informatics and Applications(ICIA).Lodz:IEEE,2013:258-263
[18] van Glabbeek R J,Goltz U,Schicke J W.Abstract Processes ofPlace/Transition Systems [J].Information Processing Letters,2011,111(13):626-633
[19] Murata,Tadao.Petri nets:Properties,analysis and applications[J].Proceedings of the IEEE,1989,77(4):541-580

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!