Automated error correction of business process models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6896 LNCS, Issue , 2011, Pages 148-165

  Gambini, Mauro ^a   La Rosa, Marcello ^b,c   Migliorini, Sara ^a   Ter Hofstede, Arthur H M ^b,c,d  

^a UNIVERSITY OF VERONA   (Italy)

^b QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

^c CSIRO   (Australia)

^d EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS MODEL; IN-PROCESS; INDUSTRIAL PROCESSS; INPUT MODELS; NOVEL TECHNIQUES; ORIGINAL MODEL; PROCESS MODEL;

ENTERPRISE RESOURCE MANAGEMENT; ERRORS; SIMULATED ANNEALING;

COMPUTER SIMULATION;

EID: 80052784653     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-23059-2_14     Document Type: Conference Paper

References (17)

1. van der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H.M., Sidorova, N., Verbeek, H.M.W., Voorhoeve, M., Wynn, M.T.: Soundness of Workflow Nets: Classification, Decidability, and Analysis. Formal Aspects of Computing (2011)
2. Arcuri, A.: On the automation of fixing software bugs. In: ICSE (2008)
3. Awad, A., Decker, G., Lohmann, N.: Diagnosing and repairing data anomalies in process models. In: BPM Workshops (2009)
4. Bunke, H., Allermann, G.: Inexact graph matching for structural pattern recognition. Pattern Recognition Letters 1(4), 245-253 (1983)
5. Dijkman, R., Dumas, M., van Dongen, B., Kaarik, R., Mendling, J.: Similarity of business process models: Metrics and evaluation. Information Systems 36(2) (2011)
6. Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., Völzer, H., Wolf, K.: Instantaneous soundness checking of industrial business process models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 278-293. Springer, Heidelberg (2009)
7. Holland, J.: Adaptation in Natural and Artificial Systems. University of Michigan, Ann Arbor (1975)
8. Karp, R.M., Miller, R.E.: Parallel program schemata. Journal of Computer and System Sciences 3(2) (1969)
9. Kirkpatrick, S., Gelatt, C., Vecchi, M.: Optimization by simulated annealing. Science 220, 671-680 (1983)
10. Lohmann, N.: Correcting deadlocking service choreographies using a simulation-based graph edit distance. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 132-147. Springer, Heidelberg (2008)
11. Lohmann, N., Verbeek, E., Dijkman, R.M.: Petri net transformations for business processes - a survey. TOPNOC 2, 46-63 (2009)
12. Reijers, H.A., Mans, R.S., van der Toorn, R.A.: Improved Model Management with Aggregated Business Process Models. Data Knowl. Eng. 68(2), 221-243 (2009)
13. Smith, K.I., Everson, R.M., Fieldsend, J.E., Murphy, C., Misra, R.: Dominance-based multiobjective simulated annealing. IEEE Trans. on Evolutionary Computation 12(3) (2008)
14. Suman, B.: Study of simulated annealing based algorithms for multiobjective optimization of a constrained problem. Computers & Chemical Engineering 28(9) (2004)
15. Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Berlin (2007)
16. Wynn, M.T., Verbeek, H.M.W., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Business process verification: Finally a reality! BPM Journal 15(1), 74-92 (2009)
17. Zha, H., Wang, J., Wen, L., Wang, C., Sun, J.: A workflow net similarity measure based on transition adjacency relations. Computers in Industry 61(5) (2010)