Anomalies in rule-adapted workflows - A taxonomy and solutions for vBPMN

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR

Volumn , Issue , 2012, Pages 117-126

  Döhring, Markus ^a   Heublein, Steffen ^b  

^a SAP RESEARCH   (Germany)

^b FRIEDRICH SCHILLER UNIVERSITY JENA   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS LOGIC; BUSINESS PROCESS; CONTROL-FLOW; DATA CONTEXTS; DATAFLOW; FLEXIBLE WORKFLOWS; META MODEL; MODELING FLEXIBILITY; RULE BASE; RULE BASED; RUNTIMES; STRUCTURAL ERRORS; WORK-FLOWS;

COMPUTER SOFTWARE REUSABILITY; FLOW GRAPHS; MODEL CHECKING; PIPELINES; REENGINEERING; TAXONOMIES;

COMPUTER SOFTWARE MAINTENANCE;

EID: 84860507449     PISSN: 15345351     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSMR.2012.22     Document Type: Conference Paper

References (32)

1. B. Weber, S. Sadiq, and M. Reichert, "Beyond rigidity - dynamic process lifecycle support," CSRD, vol. 23, no. 2, pp. 47-65, 2009.
2. C. Parra, X. Blanc, A. Cleve, and L. Duchien, "Unifying Design and Runtime Adaptations Using Aspect Models," Science of Computer Programming, vol. 76, no. 12, pp. 1247-1260, Jan. 2011.
3. A. Charfi, H. Müller, and M. Mezini, "Aspect-Oriented Business Process Modeling with AO4BPMN," in ECMFA. Paris: Springer, 2010, pp. 48-61.
4. A. Hallerbach, T. Bauer, and M. Reichert, "Capturing variability in business process models: the Provop approach," J SOFTW MAINT EVOL-R, vol. 22, no. 6-7, pp. 519-546, 2009.
5. M. Döhring, B. Zimmermann, and L. Karg, "Flexible Workflows at Design- and Runtime using BPMN2 Adaptation Patterns," in BIS'11. Poznan: Springer, 2011, pp. 25-36.
6. M. Döhring and B. Zimmermann, "vBPMN: Event-Aware Workflow Variants by Weaving BPMN2 and Business Rules," in EMMSAD. London: Springer, 2011, pp. 332-341.
7. "Business Process Model and Notation (BPMN) 2.0," Object Management Group, Tech. Rep. January, 2011.
8. J. Mendling, H. Verbeek, B. Van Dongen, W. van der Aalst, and G. Neumann, "Detection and prediction of errors in EPCs of the SAP reference model," DKE, vol. 64, no. 1, pp. 312-329, Jan. 2008.
9. "IEEE Standard Classification for Software Anomalies," IEEE Computer Society, Tech. Rep., 2010.
10. R. Laue and A. Awad, "Visualization of Business Process Modeling Anti Patterns," ECEASST, vol. 25, 2010.
11. S. Kühne, H. Kern, V. Gruhn, and R. Laue, "Business process modelling with continuous validation," J SOFTW MAINT EVOLR, vol. 22, no. 6-7, pp. 547-546, 2010.
12. N. Trčka, N. Sidorova, and W. M. P. van der Aalst, "Data-Flow Anti-Patterns : Discovering Dataflow Errors in Workflows," in CAiSE'09. Amsterdam: Springer, 2009, pp. 425-439.
13. D. Fahland, C. Favre, B. Jobstmann, J. Koehler, N. Lohmann, H. Völzer, and K. Wolf, "Instantaneous soundness checking of industrial business process models," in BPM'09. Ulm: Springer, 2009, pp. 278-293.
14. N. Lohmann, "How to implement a theory of correctness in the area of business processes and services," in BPM'10. Hoboken, NJ: Springer, 2010, pp. 61-77.
15. N. Aoumeur, K. Barkaoui, and G. Saake, "Incremental specification validation and runtime adaptivity of distributed component information systems," in CSMR, 2007, pp. 123-136.
16. W. M. P. van der Aalst, M. Dumas, F. Gottschalk, A. H. M. ter Hofstede, M. L. Rosa, and J. Mendling, "Preserving correctness during business process model configuration," Formal Asp. Comput., vol. 22, no. 3-4, pp. 459-482, 2010.
17. R. Müller, U. Greiner, and E. Rahm, "AgentWork: a workflow system supporting rule-based workflow adaptation," DKE, vol. 51, no. 2, pp. 223-256, 2004.
18. G. Wagner, C. V. Damasio, and G. Antoniou, "Towards a general web rule language," IJWET, vol. 2, no. 2/3, pp. 181-206, 2005.
19. L. Olkhovich, "Semi-Automatic Business Process Performance Optimization Based On Redundant Control Flow Detection," AICT-ICIW'06, pp. 146-146, 2006.
20. W. Sadiq and M. E. Orlowska, "Applying graph reduction techniques for identifying structural conflicts in process models," in CAiSE'99. London and UK: Springer, 1999.
21. R. Liu and A. Kumar, "An analysis and taxonomy of unstructured workflows," in BPM'05. Springer, 2005, pp. 268-284.
22. S. Onoda, Y. Ikkai, T. Kobayashi, and N. Komoda, "Definition of deadlock patterns for business processes workflow models," in HICSS'99. IEEE Computer Society, 1999, p. 11.
23. S. Rinderle, M. Reichert, and P. Dadam, "Correctness Criteria for Dynamic Changes in Workflow Systems: A Survey," DKE, vol. 50, no. 1, pp. 9-34, 2004.
24. M. Suwa, A. C. Scott, and E. H. Shortliffe, "An approach to verifying completeness and consistency in a rule-based expert system," Stanford University, Tech. Rep., 1982.
25. T. A. Nguyen, W. A. Perkins, T. J. Laffey, and D. Pecora, "Knowledge verification base," AI Magazine, vol. 8, no. 2, pp. 69-75, 1987.
26. Du Zhang and Doan Nguyen, "Prepare: a tool for knowledge base verification," TKDE, vol. 6, no. 6, pp. 983-989, 1994.
27. A. D. Preece and R. Shinghal, "Foundation and application of knowledge base verification," International Journal of Intelligent Systems, vol. 9, no. 8, pp. 683-701, 1994.
28. A. K. Zaidi and A. H. Levis, "Validation & verification of decision making rules," Automatica, vol. 33, no. 2, pp. 155-169, 1997.
29. X. Desheng, X. Kejian, Z. Dezheng, and Z. Huangsheng, "Model checking the inconsistency and circularity in rule-based expert systems," CIS, vol. 2, no. 1, pp. 12-17, 2009.
30. S. X. Sun, J. L. Zhao, J. F. Nunamaker, and O. R. L. Sheng, "Formulating the data-flow perspective for business process management," ISR, vol. 17, no. 4, pp. 374-391, 2006.
31. S. Sadiq, M. Orlowska, W. Sadiq, and C. Foulger, "Data flow and validation in workflow modelling," in ADC'04, vol. 27. Dunedin, New Zealand: ACS Inc., 2004, pp. 207-214.
32. "The REWERSE Rule Markup Language (R2ML) 0.5," REWERSE, Tech. Rep., 2006.