Visual suggestions for improvements in business process diagrams

Journal of Visual Languages and Computing

Volumn 22, Issue 5, 2011, Pages 385-399

  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: 80051577756     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jvlc.2011.04.003     Document Type: Article

References (39)

1. Gamma E., Helm R., Johnson R., Vlissides J. Design Patterns: Elements of Reusable Object-Oriented Software 1995, Addison-Wesley Professional.
2. R. Eshuis, Semantics and verification of UML activity diagrams for workflow modelling, Ph.D. Thesis, University of Twente, Enschede, 2002.
3. Cuntz N., Kindler E. On the semantics of EPCs: efficient calculation and simulation. EPK 2004: Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, Proceedings 2004, 7-26.
4. M.T. Wynn, Semantics, verification, and implementation of workflows with cancellation regions and OR-joins, Ph.D. Thesis, Queensland University of Technology Brisbane, Australia, 2006.
5. Awad A. BPMN-Q: a language to query business processes. Proceedings of the 2nd International Workshop on Enterprise Modelling and Information Systems Architectures (EMISA'07), LNI, GI 2007, vol. P-119:115-128.
6. Laue R., Awad A. Visualization of business process modeling anti patterns. Proceedings of the First International Workshop on Visual Formalisms for Patterns, Electronic Communications of the EASST 2009.
7. Awad A., Decker G., Weske M. Efficient compliance checking using BPMN-Q and temporal logic. BPM '08: Proceedings of the 6th International Conference on Business Process Management 2008, 326-341.
8. Awad A., Polyvyanyy A., Weske M. Semantic querying of business process models. 12th International Conference on Enterprise Distributed Object Computing EDOC 2008 2008.
9. van der Aalst W.M.P. Verification of workflow nets. Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27 ,1997, Proceedings 1997, 407-426. P. Azéma, G. Balbo (Eds.).
10. Onoda S., Ikkai Y., Kobayashi T., Komoda N. Definition of deadlock patterns for business processes workflow models. Proceedings of the 32nd Annual Hawaii International Conference on System Sciences 1999, IEEE Computer Society.
11. Liu R., Kumar A. An analysis and taxonomy of unstructured workflows. Business Process Management 2005, vol. 3649:268-284.
12. 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 (edition 10.4.).
13. J. Vanhatalo, H. Völzer, F. Leymann, Faster and more focused control-flow analysis for business process models through sese decomposition, Service-Oriented Computing-ICSOC 2007 (2007) 43-55.
14. J. Mendling, Detection and prediction of errors in EPC business process models, Ph.D. Thesis, Vienna University of Economics and Business Administration, 2007.
15. V. Gruhn, R. Laue, Reducing the cognitive complexity of business process models, in: International Conference on Cognitive Informatics 2009, Hong Kong, 2009.
16. J. Mendling, H.A. Reijers, W.M.P. van der Aalst, Seven process modeling guidelines (7PMG), Tech. Rep. QUT ePrints, Report 12340, Queensland University of Technology 〈〉, 2008. http://eprints.qut.edu.au/archive/00012340/.
17. Sarshar K., Loos P. Comparing the control-flow of EPC and petri net from the end-user perspective. Business Process Management 2005, 434-439.
18. Becker J., Rosemann M., Uthmann C.v. Guidelines of business process modeling. Business Process Management, Models, Techniques, and Empirical Studies 2000, 30-49. Springer-Verlag, London, UK.
19. G. Smith, Improving process model quality to drive BPM project success 〈〉, 2008. http://www.bpm.com/improving-process-model-quality-to-drive-bpm-project-success.html.
20. 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.
21. van der Aalst W.M.P. Formalization and verification of event-driven process chains. Information & Software Technology 1999, 41(10):639-650.
22. Decker G., Mendling J. Instantiation semantics for process models. Business Process Management, Lecture Notes in Computer Science 2008, vol. 5240:164-179. Springer.
23. Kühne S., Kern H., Gruhn V., Laue R. Business process modelling with continuous validation. MDE4BPM 2008 1st International Workshop on Model-Driven Engineering for Business Process Management 2008, C. Pautasso, J. Koehler (Eds.).
24. F.J. Rump, Geschäftsprozeßmanagement auf der Basis ereignisgesteuerter Prozeßketten, B. G. Teubner Verlag Stuttgart Leipzig, 1999.
25. Simon C., Mendling J. Verification of forbidden behavior in EPCs. Modellierung, LNI, GI 2006, vol. 82:233-242.
26. Feja S., Fötsch D. Model checking with graphical validation rules. 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems 2008, 117-125.
27. M. Brambilla, LTL formalization of BPML semantics and visual notation for linear temporal logic, Tech. Rep., Politecnico di Milano, 2005.
28. Forster A., Engels G., Schattkowsky T., Straeten R.V.D. Verification of business process quality constraints based on visual process patterns. Symposium on Theoretical Aspects of Software Engineering 2007, 197-208.
29. Wörzberger R., Kurpick T., Heer T. Checking correctness and compliance of integrated process models. Proceedings of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2008) 2008.
30. Liu Y., Müller S., Xu K. A static compliance-checking framework for business process models. IBM Systems Journal 2007, 46(2):335-361.
31. Quartel D., Dijkman R., vanSinderen M. An approach to relate business and application services using ISDL. EDOC '05: Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference 2005, 157-168.
32. W.M.P. van der Aalst, M. Pesic, Specifying, discovering, and monitoring service flows: making web services process-aware, Tech. Rep. BPM-06-09, BPM Center Report 〈〉, 2006. http://www.bpmi.org.
33. Barros A.P., Decker G., Großkopf A. Complex events in business processes. Proceedings of the 10th International Conference on Business Information Systems, LNCS 2007, vol. 4439:29-40. Springer.
34. Rommelspacher J. Modelling complex events with Event-Driven Process Chains. SIGSAND-EUROPE, LNI, GI 2008, vol. 129:79-82.
35. Francescomarino C.D., Tonella P. Crosscutting concern documentation by visual query of business processes. Proceedings of the International Workshop on Business Process Design 2008.
36. Dwyer M.B., Avrunin G.S., Corbett J.C. Patterns in property specifications for finite-state verification. Proc. of the 21st International Conference on Software Engineering 1999, 411-420. IEEE Computer Society Press.
37. Janssen W., Mateescu R., Mauw S., Fennema P., van der Stappen P. Model checking for managers. 5th and 6th International SPIN Workshops 1999, 92-107.
38. Gruhn V., Laue R. Good and bad excuses for unstructured business process models. Proceedings of 12th European Conference on Pattern Languages of Programs (EuroPLoP 2007) 2007.
39. Rozman T., Polancic G., Horvat R.V. Analysis of most common process modeling mistakes in BPMN process models. 2008 BPM and Workflow Handbook 2008.