Business process configuration wizard and consistency checker for BPMN 2.0

Lecture Notes in Business Information Processing

Volumn 81 LNBIP, Issue , 2011, Pages 231-245

  Rogge Solti, Andreas ^a   Kunze, Matthias ^a   Awad, Ahmed ^a   Weske, Mathias ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

business process configuration; business process redesign; consistency checking; tool support

Indexed keywords

INFORMATION SYSTEMS; MANAGEMENT INFORMATION SYSTEMS; SYSTEMS ANALYSIS;

BUSINESS PROCESS; BUSINESS PROCESS MODEL; BUSINESS PROCESS REDESIGN; CHANGING ENVIRONMENT; CONSISTENCY CHECKING; DATA DEPENDENCIES; EFFICIENT PROCESS; MODELING TOOL; OPEN-SOURCE; PROCESS MODEL; PROCESS-ORIENTED; TECHNICAL DETAILS; TECHNICAL INFRASTRUCTURE; TOOL SUPPORT;

MODEL CHECKING;

EID: 79960337555     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-21759-3_17     Document Type: Conference Paper

References (22)

1. van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M.: Business process management: A survey. In: van der Aalst,W.M.P., ter Hofstede, A.H.M.,Weske, M. (eds.) BPM2003. LNCS, vol. 2678, pp. 1-12. Springer, Heidelberg (2003)
2. van der Aalst, W.M.P.: Workflow verification: Finding control-flow errors using petri-netbased techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161-183. Springer, Heidelberg (2000)
3. Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., Ford, M., Goland, Y., Guízar, A., Kartha, N., et al.: Web Services Business Process Execution Language Version 2.0. OASIS (2007)
4. Boger, M., Sturm, T., Fragemann, P.: Refactoring browser for UML. In: Liu, Y., Awasthi, P., Unland, R. (eds.) NODe 2002. LNCS, vol. 2591, pp. 366-377. Springer, Heidelberg (2003)
5. Hee, K.M.v., Sidorova, N., Somers, L.J., Voorhoeve, M.: Consistency in model integration. Data Knowl. Eng. 56(1), 4-22 (2006)
6. Heinze, T.S., Amme, W., Moser, S.: Effiziente Abschätzung von Datenflussfehlern in strukturierten Geschäftsprozessen. In: CEUR Workshop Proc., vol. 705 (2011)
7. Keller, G., Nüttgens, M., Scheer, A.: Semantische Prozeßmodellierung auf der Grundlage "Ereignisgesteuerter Prozeßketten (EPK)". Inst. für Wirtschaftsinformatik (1992)
8. Kühne, S., Kern, H., Gruhn, V., Laue, R.: Business Process Modelling with Continuous Validation. In: Workshops of BPM. LNBIP, vol. 17, Part 3. Springer, Heidelberg (2008)
9. Decker, G., Overdick, H., Weske, M.: Oryx - sharing conceptual models on the web. In: Li, Q., Spaccapietra, S., Yu, E., Olivé, A. (eds.) ER 2008. LNCS, vol. 5231, pp. 536-537. Springer, Heidelberg (2008)
10. Mellor, S., Balcer, M.: Executable UML: A foundation for model-driven architectures. Addison-Wesley, Reading (2002)
11. zur Muehlen, M., Recker, J.C.: How much language is enough? Theoretical and practical use of the business process modeling notation. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 465-479. Springer, Heidelberg (2008)
12. Mutschler, B., Reichert, M., Bumiller, J.: Unleashing the Effectiveness of Process-Oriented Information Systems: Problem Analysis, Critical Success Factors, and Implications. IEEE Trans. Syst., Man, Cybern. 38(3), 280-291 (2008)
13. OMG: Business Process Model and Notation (BPMN) 2.0 Specification (January 2011)
14. Ouvans, C., Dumas, M., ter Hofstede, A.H.M., van der Aalst, W.M.P.: From BPMN process models to BPEL web services. In: ICWS 2006, pp. 285-292. IEEE, Los Alamitos (2006)
15. Reijers, H., Liman Mansar, S.: Best practices in business process redesign: an overview and qualitative evaluation of successful redesign heuristics. Omega 33(4), 283-306 (2005)
16. Sadiq, S., Orlowska, M., Sadiq, W., Foulger, C.: Data flow and validation in workflow modeling. In: ADC, pp. 207-214 (2004)
17. Sun, S.X., Zhao, J.L., Nunamaker, J.F., Sheng, O.R.L.: Formulating the data-flow perspective for business process management. Info. Sys. Research 17(4), 374-391 (2006)
18. Vanhatalo, J., Völzer, H., Leymann, F., Moser, S.: Automatic workflow graph refactoring and completion. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 100-115. Springer, Heidelberg (2008)
19. Weber, B., Reichert, M.: Refactoring process models in large process repositories. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 124-139. Springer, Heidelberg (2008)
20. Weidlich, M., Polyvyanyy, A., Mendling, J., Weske, M.: Efficient computation of causal behavioural profiles using structural decomposition. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol. 6128, pp. 63-83. Springer, Heidelberg (2010)
21. Ziemann, J., Mendling, J.: EPC-based modelling of BPEL processes: a pragmatic transformation approach. In: MITIP 2005. Citeseer (2005)
22. Zou, Y., Lau, T., Kontogiannis, K., Tong, T., McKegney, R.: Model-driven business process recovery. In: WCRE 2004, pp. 224-233. IEEE, Los Alamitos (2004)