TReAT: A Tool for Analyzing Relations Between Tasks in a Process

  • Pengbo XiuEmail author
  • Jian YangEmail author
  • Weiliang ZhaoEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11434)


It is challenging to analyze the control flow relations of tasks in a complex business process. To solve this problem, quite a few process abstraction and reduction techniques have been proposed. However, existing approaches are lacking of the support for network structures in control flows. In this demonstration, we present a graphical Web application, TReAT (Tasks Relation Analyzing Tool). With TReAT, users can model their business processes and analyze relations between tasks in a process. Most common control flow structures including the network structure are supported by TReAT.


BPM Petri net Web application jsPlumb 


  1. 1.
    Xiu, P., Zhao, W., Yang, J.: Correctness verification for service-based business processes. In: IEEE International Conference on Web Services, pp. 752–759 (2017)Google Scholar
  2. 2.
    Esparza, J., Hoffmann, P.: Reduction rules for colored workflow nets. In: Stevens, P., Wąsowski, A. (eds.) FASE 2016. LNCS, vol. 9633, pp. 342–358. Springer, Heidelberg (2016). Scholar
  3. 3.
    Fdhila, W., Indiono, C., Rinderle-Ma, S., Reichert, M.: Dealing with change in process choreographies: design and implementation of propagation algorithms. Inf. Syst. 49, 1–24 (2015)CrossRefGoogle Scholar
  4. 4.
    jsPlumb Github Page. Accessed 29 Aug 2018

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Department of ComputingMacquarie UniversitySydneyAustralia

Personalised recommendations