An automated analysis of errors for BPM processes modeled using an in-house infosys tool

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2011, Pages 97-105

  Bastias, Alberto ^a   Bihary, Sidharth ^b   Roy, Suman ^b  

^a PONTIFICIA UNIVERSIDAD CATÓLICA DE CHILE   (Chile)

^b INFOSYS TECHNOLOGIES LTD   (India)

Author keywords

BPM notation; Errors; Experiments; Formal methods; InFlux tool; LoLA; Petri nets; Processes; Soundness; Verification; Woflan; Workflow nets

Indexed keywords

BPM NOTATION; LOLA; PROCESSES; SOUNDNESS; WOFLAN; WORKFLOW NETS;

EXPERIMENTS; FORMAL METHODS; MODEL CHECKING; PETRI NETS; SOFTWARE ENGINEERING; VERIFICATION;

ERRORS;

EID: 84856595841     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2011.49     Document Type: Conference Paper

References (17)

1. N. R. Adam, V. Atluri, and W.-K. Huang, "Modeling and analysis of workflows using Petri nets," J. Intell. Inf. Syst., vol. 10, no. 2, pp. 131-158, 1998.
2. R. M. Dijkman, M. Dumas, and C. Ouyang, "Semantics and analysis of business process models in BPMN," Inf. Softw. Technol., vol. 50, no. 12, pp. 1281-1294, 2008.
3. 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 Business Process Management, 7th International Conference, BPM 2009, Ulm, Germany, September 8-10, 2009, Proceedings, ser. Lecture Notes in Computer Science, vol. 5701. Springer-Verlag, 2009.
4. O. M. Group, "Business process modeling notation (BPMN) version 1.0," OMG Final Adopted Specification, 2006, object Management Group.
5. R. Hauser, M. Friess, J. M. Küster, and J. Vanhatalo, "Combining analysis of unstructured workflows with transformation to structured workflows," in 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06), 2006.
6. B. Kiepuszewski, A. H. M. T. Hofstede, and W. van der Aalst, "Fundamentals of control flow in workflows," Acta Informatica, vol. 39, pp. 143-209, 2002. (Pubitemid 36467936)
7. J. Mendling, G. Neumann, and W. V. D. Aalst, "Understanding the occurrence of errors in process models based on metrics," in Proceedings of the OTM Conference on Cooperative information Systems (CoopIS 2007), ser. LNCS, vol. 4803. Springer-Verlag, 2007, pp. 113-130.
8. J. Mendling, H. M. W. Verbeek, B. F. van Dongen, W. M. P. van der Aalst, and G. Neumann, "Detection and prediction of errors in EPCs of the SAP reference model," Data Knowl. Eng., vol. 64, no. 1, pp. 312-329, 2008. (Pubitemid 350087292)
9. W. Reisig, Petri Nets: An Introduction. Berlin: Springer, 1985.
10. G. Rozenberg and P. S. Thiagarajan, "Petri nets: basic notions, structure, behavior," in Current trends in concurrency. Overviews and tutorials. New York, NY, USA: Springer-Verlag New York, Inc., 1986, pp. 585-668.
11. W. M. P. van der Aalst, A. Hirnschall, and H. M. W. Verbeek, "An alternative way to analyze workflow graphs," in CAISE, ser. LNCS, vol. 2348. Springer-Verlag, 2002, pp. 535-552.
12. W. M. P. van der Aalst, "Verification of workflow nets," in ICATPN'97: Proceedings of the 18th International Conference on Application and Theory of Petri Nets. London, UK: Springer-Verlag, 1997, pp. 407-426.
13. -, "The application of petri nets to workflow management," Journal of Circuits, Systems, and Computers, vol. 8, no. 1, pp. 21-66, 1998. (Pubitemid 128540249)
14. B. F. van Dongen, M. H. Jansen-Vullers, H. M. W. Verbeek, and W. M. P. van der Aalst, "Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants," Comput. Ind., vol. 58, pp. 578-601, 2007. (Pubitemid 46802841)
15. H. M. W. Verbeek, T. Basten, and van der Aalst W. M. P., "Diagnosing workflow processes using Woflan," The Computer Journal, vol. 44, 2001.
16. I. Weber, J. Hoffman, and J. Mendling, "Beyond soundness: on the verification of semantic business process models," Distributed Parallel Databases, vol. 27, pp. 271-343, 2010.
17. K. Wolf, "Generating petri net state spaces," in Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency, ser. ICATPN'07. Berlin, Heidelberg: Springer-Verlag, 2007, pp. 29-42.