Visualization of business process modeling anti patterns

Electronic Communications of the EASST

Volumn 25, Issue , 2009, Pages

  Laue, Ralf ^a   Awad, Ahmed ^b  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b UNIVERSITY OF POTSDAM   (Germany)

Author keywords

BPMN Q; Business process diagram; Business process model; Visualization

Indexed keywords

EID: 85027089787     PISSN: None     EISSN: 18632122     Source Type: Journal    
DOI: 10.14279/tuj.eceasst.25.344.331     Document Type: Article

References (28)

1. A. Awad, G. Decker, M. Weske. Efficient Compliance Checking Using BPMN-Q and Temporal Logic. In BPM '08: Proceedings of the 6th International Conference on Business Process Management. Pp. 326-341. 2008
2. A. Awad. BPMN-Q: A Language to Query Business Processes. In Reichert et al. (eds.), Proceedings of the 2nd International Workshop on Enterprise Modelling and Information Systems Architectures (EMISA'07). LNI P-119, pp. 115-128. GI, 2007
3. A. P. Barros, G. Decker, A. Großkopf. Complex Events in Business Processes. In Abramowicz (ed.), Proceedings of the 10th International Conference on Business Information Systems. LNCS 4439, pp. 29-40. Springer, 2007
4. M. Brambilla. LTL formalization of BPML semantics and visual notation for linear temporal logic. Technical report, Politecnico di Milano, 2005
5. N. Cuntz, E. Kindler. On the semantics of EPCs: Efficient calculation and simulation. In EPK 2004: Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, Proceedings. Pp. 7-26. 2004
6. R. Eshuis. Semantics and Verification of UML Activity Diagrams for Workflow Modelling. PhD thesis, University of Twente, Enschede, 2002
7. A. Forster, G. Engels, T. Schattkowsky, R. V. D. Straeten. Verification of Business Process Quality Constraints Based on Visual Process Patterns. In Symposium on Theoretical Aspects of Software Engineering. Pp. 197-208. 2007
8. S. Feja, D. Fötsch. Model Checking with Graphical Validation Rules. Engineering of Computer-Based Systems, IEEE International Conference on the 0:117-125, 2008
9. C. D. Francescomarino, P. Tonella. Crosscutting Concern Documentation by Visual Query of Business Processes. In Proceedings of the InternationalWorkshop on Business Process Design. 2008
10. E. Gamma, R. Helm, R. Johnson, J. Vlissides. Design patterns: elements of reusable object-oriented software. Addison-Wesley Professional, 1995
11. V. Gruhn, R. Laue. Good and Bad Excuses for Unstructured Business Process Models. In Proceedings of 12th European Conference on Pattern Languages of Programs (EuroPLoP 2007). 2007
12. V. Gruhn, R. Laue. A Heuristic Method for Business Process Model Evaluation. In 5th International Workshop on Enterprise and Organizational Modeling and Simulation (EOMAS 2009). 2009
13. S. Kühne, H. Kern, V. Gruhn, R. Laue. Business Process Modelling with Continuous Validation. In Pautasso and Koehler (eds.), MDE4BPM 2008 1st International Workshop on Model-Driven Engineering for Business Process Management. 2008
14. J. Koehler, J. Vanhatalo. Process anti-patterns: How to avoid the common traps of business process modeling, Part 1-Modelling control flow. IBM WebSphere Developer Technical Journal 10.4., April 2007
15. R. Liu, A. Kumar. An Analysis and Taxonomy of Unstructured Workflows. In Aalst et al. (eds.), Business Process Management. Volume 3649, pp. 268-284. 2005
16. Y. Liu, S. Müller, K. Xu. A static compliance-checking framework for business process models. IBM Systems Journal 46(2):335-361, 2007
17. J. Mendling. Detection and Prediction of Errors in EPC Business Process Models. PhD thesis, Vienna University of Economics and Business Administration, 2007
18. S. Onoda, Y. Ikkai, T. Kobayashi, N. Komoda. Definition of Deadlock Patterns for Business Processes Workflow Models. In Proceedings of the 32nd Annual Hawaii International Conference on System Sciences. P. 5065. IEEE Computer Society, 1999
19. D. Quartel, R. Dijkman, M. van Sinderen. An approach to relate business and application services using ISDL. In EDOC '05: Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference. Pp. 157-168. 2005
20. J. Rommelspacher. Modelling Complex Events with Event-Driven Process Chains. In Hesse and Oberweis (eds.), SIGSAND-EUROPE. LNI 129, pp. 79-82. GI, 2008
21. T. Rozman, G. Polancic, R. V. Horvat. Analysis of Most Common Process Modeling Mistakes in BPMN Process Models. In 2008 BPM and Workflow Handbook. 2008
22. F. J. Rump. Geschäftsprozeßmanagement auf der Basis ereignisgesteuerter Prozeßketten. B. G. Teubner Verlag Stuttgart Leipzig, 1999
23. C. Simon, J. Mendling. Verification of Forbidden Behavior in EPCs. In Mayr and Breu (eds.), Modellierung. LNI 82, pp. 233-242. GI, 2006
24. W. M. van der Aalst. Verification of Workflow Nets. In Azéma and Balbo (eds.), Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings. Pp. 407-426. 1997
25. W. M. van der Aalst. Formalization and verification of event-driven process chains. Information & Software Technology 41(10):639-650, 1999
26. W. M. van der Aalst, M. Pesic. Specifying, discovering, and monitoring service flows: Making web services process-aware. Technical report BPM-06-09, BPM Center Report, BPMcenter.org, 2006
27. R. Wörzberger, T. Kurpick, T. Heer. Checking Correctness and Compliance of Integrated Process Models. In Proceedings of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2008). 2008
28. M. T. Wynn. Semantics, Verification, and Implementation of Workflows with Cancellation Regions and OR-joins. PhD thesis, Queensland University of Technology Brisbane, Australia, 2006