Abstract
Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that well integrates both control flow and data, and a set of tools to assist all phases of a BP life cycle. This paper is an initial attempt to address both aspects of BP modeling. We view our investigation as a precursor to the development of a framework and tools that enable automated construction of processes, along the lines of techniques developed around OWL-S and Semantic Web Services.
Over the last decade, an artifact-centric approach of coupling control and data emerged in the practice of BP design. It focuses on the “moving” data as they are manipulated throughout a process. In this paper, we formulate a formal model for artifact-centric business processes and develop complexity results concerning static analysis of three problems of immediate practical concerns, which focus on the ability to complete an execution, existence of an execution “deadend”, and redundancy. We show that the problems are undecidable in general, but under various restrictions they are decidable but complete in pspace, co-np, and np; and in some cases decidable in linear time.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Aalst, W.M.P., Weske, M., Grünbauer, D.: Case handling: a new paradigm for business process support. Data and Knowledge Engineering 53, 129–162 (2005)
Ailamaki, A., Ioannidis, Y., Livny, M.: Scientific workflow management by database management. In: Proc. Int. Conf. on Statistical and Scientific Database Management (1998)
Bhattacharya, K., Gerede, C., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models (full paper) (in preparation, 2007)
Bhattacharya, K., Guttman, R., Lymann, K., Heath III, F.F., Kumaran, S., Nandi, P., Wu, F., Athma, P., Freiberg, C., Johannsen, L., Staudt, A.: A model-driven approach to industrializing discovery processes in pharmaceutical research. IBM Sys. J. 44(1), 145–162 (2005)
OWL Services Coalition. OWL-S: Semantic markup for web services (November 2003)
Georgakopoulos, D., Hornick, M., Sheth, A.: An overview of workflow management: From process modeling to workflow automation infrastructure. Distributed and Parallel Databases 3(2), 119–154 (1995)
Gerede, C.E., Bhattacharya, K., Su, J.: Static analysis of business artifact-centric operational models. In: IEEE Int. Conf. on Service-Oriented Computing and Applications (2007)
Hammer, M.: Deep change: How operational innovation can transform your company. Havard Business Review, pp. 84–93 (April 2004)
Hull, R., Llirbat, F., Simon, E., Su, J., Dong, G., Kumar, B., Zhou, G.: Declarative workflows that support easy modification and dynamic browsing. In: Proc. Int. Joint Conf. on Work Activities Coordination and Collaboration (1999)
Jackson, M., Twaddle, G.: Business Process Implementation Building Workflow Systems. Addison-Wesley, ACM Press Books, Boston (1997)
Kumaran, S., Nandi, P., Heath, T., Bhaskaran, K., Das, R.: ADoc-oriented programming. In: Symposium on Applications and the Internet (SAINT), pp. 334–343 (2003)
Leymann, F., Roller, D.: Business process management with flowmark. In: Proc. of COMPCON (1994)
Liu, R., Bhattacharya, K., Wu, F.Y.: Modeling business contexture and behavior using business artifacts. In: CAiSE. LNCS, vol. 4495, Springer, Heidelberg (2007)
McIlraith, S.A., Son, T.C., Zeng, H.: Semantic web services. In: IEEE Intelligent Systems (March/April 2001)
Medeiros, C., Vossen, G., Weske, M.: Wasa: a workflow-based architecture to support scientific database applications. In: Revell, N., Tjoa, A.M. (eds.) DEXA 1995. LNCS, vol. 978, Springer, Heidelberg (1995)
Morrison, J.P.: Flow-Based Programming. Van Nostrand ReinHold, New York (1994)
Nandi, P., Kumaran, S.: Adaptive business objects – a new component model for business integration. In: Proc. Int. Conf. on Enterprise Information Systems, pp. 179–188 (2005)
Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Sys. J. 42(3), 428–445 (2003)
Reiter, R.: A logic for default reasoning. Artificial Intelligence 13, 81–132 (1980)
Sadiq, W., Orlowska, M.E.: Analyzing process models using graph reduction techniques. Inf. Syst. 25(2), 117–134 (2000)
Sun, S.X., Nunamaker, J.F., Zhao, J.L., Sheng, O.R.L.: Formulating the data-flow perspective for business process management. Info. Systems Research 17(4), 374–391 (2006)
van der Aalst, W.M.P.: The application of Petri nets to workflow management. J. of Circuits, Systems and Computers 8(1) (1998)
Wang, J., Kumar, A.: A framework for document-driven workflow systems. In: Business Process Management, pp. 285–301 (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bhattacharya, K., Gerede, C., Hull, R., Liu, R., Su, J. (2007). Towards Formal Analysis of Artifact-Centric Business Process Models. In: Alonso, G., Dadam, P., Rosemann, M. (eds) Business Process Management. BPM 2007. Lecture Notes in Computer Science, vol 4714. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75183-0_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-75183-0_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75182-3
Online ISBN: 978-3-540-75183-0
eBook Packages: Computer ScienceComputer Science (R0)