![](bga.png)
The analysis showed that concurrently executed
processes may indeed interfere in practice. Further-
more, the validation with process experts revealed
that the unknown problems as indicated by the anal-
ysis tool are common practice in reality as well. The
amount and severity of the overlap identified con-
firms the premised frequency of occurrence of the
problems as well as the according relevance for or-
ganizations.
Compared to other methods, this is a rather
lightweight method. That is, it does not require the
availability of a formal representation of the busi-
ness process. Instead, it is applicable using semi-
structured process documentation, providing results
that are legible by users without in-depth knowledge
of implementation specifics.
The methodology showed its ability to efficiently
provide a representative and valuable insight in the
interference between concurrent processes and the
potential disruptions emerging.
REFERENCES
Aalst, van der, W.M.P., 1998. The application of petri nets
to workflow management. The Journal of Circuits,
Systems and Computers, (8:1), pp. 21–66.
Aalst, van der, W., van Dongen, B., Herbst, J., Măruşter,
L., Schimm, G., Weijters, A., 2003. Workflow Min-
ing: A Survey of Issues and Approaches. Data and
Know. Eng. (47:2), 237-267.
Beest, van, N.R.T.P., Szirbik, N.B., Wortmann, J.C., 2009.
A Vision for agile Model-driven Enterprise Informa-
tion Systems. In Proc. of the 11th Int. Conf. on EIS,
vol. "Inf. Syst. Analysis and Specification”, pp. 188-94.
Benbasat, I., Goldstein, D. K., Mead, M., 1987. The Case
Research Strategy in Studies of Information Systems,
MIS Quarterly, (11:3), pp. 369-386.
Bi, H. H., and Zhao, J. L., 2003. Mending the Lag Be-
tween Commercial Needs and Research Prototypes: A
Logic-Based Workflow Verification Approach. In
Proc. of the 8th INFORMS Computing Society Conf.,
pp. 191-212.
Dumas, M., Aalst, W.M.P. van der, Hofstede, A.H. ter,
2005. Process-aware information systems: bridging
people and software through process technology, John
Wiley & Sons, Inc., New York, USA.
Eder, J., & Liebhart, W., 1995. The workflow activity
model WAMO. In Proc. of the 3rd Int. Conf. on Co-
operative Information Systems.
Hevner, A.R., March, S.T., Park, J., Ram, Sudha., 2004.
Design Science in Information Systems Research. MIS
Quarterly (28:1), pp 75-105.
Jones, D. and Gregor, S. The Anatomy of a Design
Theory, 2007, Journal of the Association for Informa-
tion Systems, (8:5), pp. 312-335.
Măruşter, L., Beest, van, N.R.T.P., 2009. Redesigning
business processes: a methodology based on simula-
tion and process mining techniques. Journal Know.
and Inf. Syst., (21:3), pp 267-398.
Sun, S.X., Zhao, J.L., Nunamaker, J.F., Sheng, O.R.L.,
2006: Formulating the Data-Flow Perspective for
Business Process Management. Inf. Sys. Research, 17,
pp. 374- 391.
Sundari, M.H. ,Sen, A.K., and Bagchi., A., 2007. Detect-
ing Data Flow Errors in Workflows: A Systematic
Graph Traversal Approach. In 17th Workshop on Inf.
Technology & Syst. (WITS-2007), Montreal.
Trčka, N., Aalst, van der, W.M.P., and Sidorova, N., 2009.
Data-Flow Anti-Patterns: Discovering Data-Flow Er-
rors in Workflows. In Proc. of CAiSE’09, LNCS 5565,
Springer.
Xiao, Y., Urban, S.D., 2006. A Process History Capture
System for Analysis of Data Dependencies in Concur-
rent Process Execution. In Data Engineering Issues in
E-Commerce and Services, LNCS 4055, pp. 152-166,
Springer.
Xiao, Y., Urban, S.D., 2008. Using Data Dependencies to
Support the Recovery of Concurrent Processes in a
Service Composition Environment. In Proc. of the
Coop. Inf. Syst., Monterrey, Mexico.
ICEIS 2010 - 12th International Conference on Enterprise Information Systems
270