An incremental approach to the analysis and transformation of workflows using region trees

IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews

Volumn 38, Issue 3, 2008, Pages 347-359

  Hauser, Rainer Friedrich ^a   Friess, Michael ^b   Küster, Jochen Malte ^a   Vanhatalo, Jussi ^a  

^a IBM RESEARCH ZURICH   (Switzerland)

^b IBM   (Germany)

Author keywords

Business process modeling; Control flow; Workflow modeling; Workflow transformation; Workflow verification

Indexed keywords

COMPUTER SIMULATION; TREES (MATHEMATICS); VERIFICATION;

BUSINESS PROCESS MODELING; REGION TREES; WORKFLOW MODELING; WORKFLOW TRANSFORMATION; WORKFLOW VERIFICATION;

ADMINISTRATIVE DATA PROCESSING;

EID: 43449085511     PISSN: 10946977     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCC.2008.919178     Document Type: Conference Paper

References (24)

1. OMG (Object Management Group), "OMG Model Driven Architecture" (MDA) [Online]. Available: http://www.omg.org/mda/
2. S. Kent, "Model Driven Engineering," in Proc. 3rd Int. Coq. Integr. Formal Methods (IFM'02), Turku, Finland, Lecture Notes in Computer Science, vol. 2335, pp. 286-298.
3. J. Koehler, R. Hauserm, J. Küster, K. Ryndina, J. Vanhatalo, and M. Wahler, "The role of visual modeling and model transformation in business-driven development," presented at the 5th Int. Workshop Graph Transformatiomn Visual Model. Tech. (GT-VMT'06), Vienna, Austria, 2006.
4. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
5. J. Desel and J. Esparza, Free Choice Petri Nets. Cambridge, UK: Cambridge Univ. Press, 1995.
6. W. M. P. van der Aalst, "Verification of workflow nets," in Proc. 18th Int. Conf. Appl. Theory Petri Nets (ICATPN'97), Toulouse, France, Lecture Notes in Computer Science, vol. 1248, pp. 407-426.
7. OMG (Object Management Group), "Unified Modeling Language: Super-structure" (UML2 Activity Diagrams), version 2.0. [Online]. Available: http://www.omg.org/docs/formal/05-07-04.pdf
8. W. Sadiq and M. E. Orlowska, "Analyzing process models using graph reduction techniques." Inf. Syst., vol. 25, no. 2, pp. 117-134, 2000.
9. H. Lin, Z. Zhao, H. Li, and Z. Chen, "A novel graph reduction algorithm to identify structural conflicts," in Proc. 35th Hawaii Int. Conf. Syst. Sci. (HICSS-35), 2002, pp. 289-299.
10. W. M. P. van der Aalst, A. Hirnschall, and H. M. W. Verbeek, "An alternative way to analyze workflow graphs," in Proc. 14th Int. Conf. Adv. Inf. Syst. Eng. (CAiSE'02), Toronto, ON, Canada, Lecture Notes in Computer Science, vol. 2348, pp. 535-552.
11. IBM (International Business Machines), "WebSphere business modeler" (Modeler), Advanced Version 6.0. [Online]. Available: http:www-306.ibm.com/software/integration/wbimodeler/
12. Microsoft et al., Business process execution language for web services" (BPEL4WS), version 1.1, 5 May 2003. [Online]. Available: ftp://www6.software.ibm.com/software/developer/library/ws-bpel.pdf
13. W. Zhao.R. Hauser, K. Bhattacharya, B. R. Bryant, and F. Cao, "Compiling business processes: Untangling unstructured loops in irreducible flow graphs," Intl. J. Web Grid Serv., vol. 2, no. 1, pp. 68-91, 2006.
14. R. Johnson, D. Pearson, and K. Pingali, "The program structure tree: Computing control regions in linear time," in Proc. ACM Sigplan Conf. Program. Language Des. Implementation (PLDI'94), Orlando, FL, pp. 171-185.
15. R. Hauser, M. Friess, J. M. Küster, and J. Vanhatalo, "Combining analysis of unstructured workflows with transformation to structured workflows," in Proc. 10th Int. Enterprise Distrib. Okject Comput. Conf. (EDOC'06), Hong Kong, China, pp. 129-140.
16. R. Liu and A. Kumar, "An analysis and taxonomy of unstructured work-flows," in Proc. 3rd Int. Conf. Bus. Process Manag. (BPM'05 Nancy, France, Lecture Notes in Computer Science, vol. 3649, pp. 268-284.
17. E. Puhlmann and M. Weske, "Investigations on soundness regarding lazy activities," in Proc. 4th Int. Conf. Bus. Process Manage. (BPM'06) Vienna, Austria, Lecture Notes in Computer Science, vol. 4102, pp. 145-160.
18. W. M. P. van der Aalst, A. H. M. ter Hofstede, B. Kiepuszewski, and A. P. Barros, "Workflow Patterns," Distrib. Parallel Databases, vol. 14, no. 1, pp. 5-51, 2003.
19. B. Kiepuszewski, A. H. M. ter Hofstede, and C. J. Bussler, "On structured workflow modelling," in Proc. 12th Conf. Adv. Inf. Syst. Eng. (CAiSE'00), Stockholm, Sweden, Lecture Notes in Computer Science, vol. 1789, pp. 431-445.
20. A. Aho, R. Sethi, and J. Ullman, Computers - Principles, Techniques, and Tools. Reading, MA: Addison-Wesley, 1986.
21. M. S. Hecht and J. U. Ullman, "Flow Graph Reducibility," SIAM J. Comput., vol. 1, no. 2, pp. 188-202, 1972.
22. Z. Ammarguellat, "A control-flow normalization algorithm and its complexity," IEEE Trans. Softw. Eng., vol. 18, no. 3, pp. 237-251, 1992.
23. R. Hauser and J. Koehler, "Compiling process graphs into executable code," in Proc. 3rd Int. Conf. Generative Program. Compon. Eng. (GPCE'04), Vancouver, Canada, Lecture Notes in Computer Science, vol. 3286, pp. 317-336.
24. R. Hauser, "Transforming unstructured cycles to structured cycles in sequential flow graphs," IBM Res., Rep. RZ 3624, 2005.