Computer Science ›› 2014, Vol. 41 ›› Issue (1): 242-245.

Previous Articles     Next Articles

Capturing Causal Behavioral Profile Based on Structural Decomposition Technique

CAI Min and WANG Shi-yi   

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

Abstract: The causal behavioral profile can be applied to measure the consistency between two given process models as well as to monitor process execution.To overcome the limitation of existing approach to obtain the causal behavioral profile,a novel approach was presented based on T-invariants decomposition technique.A workflow system is first decomposed into a set of complete subsystems,and then the global relations between transitions are deduced from their local relations in each complete subsystem.The approach can be used for arbitrary sound free choice workflow systems.

Key words: T-invariants,Workflow system,Causal behavioral profiles,Complete subsystems,Transition pairs

[1] Dumas M,García-Bauelos L,Dijkman R.Similarity search of business process models [J].IEEE Data Engineering Bulletin,2009,32(3):23-28
[2] Hidders J,Dumas M,van der Aalst W M P,et al.When Are Two Workflows the Same? [C]∥Atkinson M,Dehne F,eds.Proceedings of the 2005Australasian symposium on Theory of computing.Australian:Australian Computer Society,2005:3-11
[3] Gerke K,Cardoso J,Claus A.Measuring the compliance ofprocesses with reference models [C]∥Meersman R,Dillon T,Herrero P,eds.Proceedings of the Confederated International Conferences 2009on the Move to Meaningful Internet Systems.Portugal:Springer,2009:76-93
[4] de Medeiros A K A,van der Aalst W M P,Weijters A J M M.Quantifying process equivalence based on observed behavior [J].Data and Knowledge Engineering,2008,64(1):55-74
[5] Weidlich M,Mendling J,Weske M.Efficient consistency measurement based on behavioural profiles of process models [J].IEEE Transactions on Software Engineering,2011,37(3):410-429
[6] Weidlich M,Mendling J.Perceived consistency between process models [J].Information Systems,2012,37(2):80-98
[7] 郝文君,方贤文.基于Petri网的流程模型中最小变化域的分析方法[J].计算机科学,2012,39(Z11):76-78
[8] Weidlich M,Polyvyanyy A,Mendling J,et al.Causal behavioural profiles-efficient computation,applications,and evaluation [J].Fundamenta Informaticae,2011,113(3):399-435
[9] Weidlich M,Ziekow H,Mendling J,et al.Event-Based Monitoring of Process Execution Violations [C]∥Rinderle-Ma S,Toumani F,Wolf K,eds.Proceedings of the 9th international conference on Business process management.France:Springer,2011:182-198
[10] van der Aalst W M P.Workflow verification:Finding control-flow errors using Petri-net based techniques [C]∥ van der Aalst W M P,Desel J,Oberweis A,eds.Business Process Management,Models,Techniques,and Empirical Studies.London:Springer,2000:161-183
[11] van der Aalst W M P,Weijters T,Maruster L.Workflow Mining:Discovering Process Models from Event Logs [J].IEEE Transactions on Knowledge and Data Engineering,2004,16(9):1128-1142
[12] Pang S,Lin C,Zhou M,et al.A Workflow Decomposition Algorithm Based on Invariants [J].Chinese Journal of Electronics,2011,20(1):1-5
[13] Best E,Desel J.Partial order behaviour and structure of Petrinets [J].Formal Aspects of Computing,1990,2(1):123-138

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!