Abstract
Researchers become increasingly interested in developing tools for evaluating the correctness of business process models. We present a methodology for content-based validation of changes to business processes, relying on an automatic extraction of business logic from real-life business process repositories. Each process step in a repository is automatically transformed to a descriptor - containing objects, actions, and related qualifiers. From the collection of descriptors we induce taxonomies of action sequence, object lifecycle, and object and action hierarchies that form the logical foundation of the presented validation process. The method utilizes these taxonomies to identify process deficiencies that may occur due to process model modification, and suggests alternatives in order to correct and validate the models.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Awad, A., Smirnov, S., Weske, M.: Towards Resolving Compliance Violations in Business Process Models. GRCIS. CEUR-WS. org (2009)
El Kharbili, M., Stein, S., Markovic, I., Pulverm, E.: Towards a framework for semantic business process compliance management. In: Proc. of the Workshop on Governance, Risk and Compliance for Information Systems, pp. 1–15. Citeseer (2008)
Farahbod, R., Glässer, U., Vajihollahi, M.: Specification and validation of the business process execution language for web services. In: Zimmermann, W., Thalheim, B. (eds.) ASM 2004. LNCS, vol. 3052, pp. 78–94. Springer, Heidelberg (2004)
Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: 10th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2006, pp. 221–232. IEEE, Los Alamitos (2006)
Kuster, J., Ryndina, K., Gall, H.: Generation of business process models for object life cycle compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 165–181. Springer, Heidelberg (2007)
Leopold, H., Smirnov, S., Mendling, J.: Refactoring of process model activity labels. In: Hopfe, C.J., Rezgui, Y., Métais, E., Preece, A., Li, H. (eds.) NLDB 2010. LNCS, vol. 6177, pp. 268–276. Springer, Heidelberg (2010)
Lincoln, M., Golani, M., Gal, A.: Machine-assisted design of business process models using descriptor space analysis. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 128–144. Springer, Heidelberg (2010)
Lincoln, M., Karni, R., Wasser, A.: A Framework for Ontological Standardization of Business Process Content. In: Int. Conf. on Enterprise Information Systems, pp. 257–263 (2007)
Ly, L.T., Rinderle-Ma, S., Goser, K., Dadam, P.: On enabling integrated process compliance with semantic constraints in process management systems. Information Systems Frontiers, 1–25 (2009)
Mendling, J., van der Aalst, W.M.P.: Formalization and verification of ePCs with OR-joins based on state and context. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 439–453. Springer, Heidelberg (2007)
Puhlmann, F., Weske, M.: Investigations on soundness regarding lazy activities. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 145–160. Springer, Heidelberg (2006)
Reichert, M., Dadam, P.: ADEPT flex-supporting dynamic changes of workflows without losing control. J. of Intelligent Information Systems 10(2), 93–129 (1998)
Reichert, M., Dadam, P., Bauer, T.: Dealing with forward and backward jumps in workflow management systems. Software and Systems Modeling 2(1), 37–58 (2003)
Rinderle, S., Reichert, M., Dadam, P.: Correctness criteria for dynamic changes in workflow systems–a survey. Data & Knowledge Engineering 50(1), 9–34 (2004)
Russell, N., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Workflow data patterns: Identification, representation and tool support. In: Delcambre, L.M.L., Kop, C., Mayr, H.C., Mylopoulos, J., Pastor, Ó. (eds.) ER 2005. LNCS, vol. 3716, pp. 353–368. Springer, Heidelberg (2005)
Sadiq, S., Orlowska, M., Sadiq, W., Foulger, C.: Data flow and validation in workflow modelling. In: Proc. 15th Australasian database conference, vol. 27, pp. 207–214. Australian Computer Society, Inc. (2004)
Smirnov, S., Weidlich, M., Mendling, J., Weske, M.: Action patterns in business process models. Service-Oriented Computing, 115–129 (2009)
Soffer, P., Kaner, M., Wand, Y.: Assigning ontology-based semantics to process models: The case of petri nets. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 16–31. Springer, Heidelberg (2008)
Thom, L.H., Reichert, M., Chiao, C.M., Iochpe, C., Hess, G.N.: Inventing Less, Reusing More, and Adding Intelligence to Business Process Modeling. In: Bhowmick, S.S., Küng, J., Wagner, R. (eds.) DEXA 2008. LNCS, vol. 5181, pp. 837–850. Springer, Heidelberg (2008)
van der Aalst, W.M.P.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997)
van der Aalst, W.M.P.: Workflow verification: Finding control-flow errors using petri-net-based techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 19–128. Springer, Heidelberg (2000)
van der Aalst, W.M.P., Ter Hofstede, A.: YAWL: yet another workflow language. Information Systems 30(4), 245–275 (2005)
Weber, I., Hoffmann, J., Mendling, J.: Semantic business process validation. In: Proc. of Int. Workshop on Semantic Business Process Management (2008)
Weber, I., Hoffmann, J., Mendling, J.: Beyond soundness: on the verification of semantic business process models. Distributed and Parallel Databases 27(3), 271–343 (2010)
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lincoln, M., Gal, A. (2011). Content-Based Validation of Business Process Modifications. In: Jeusfeld, M., Delcambre, L., Ling, TW. (eds) Conceptual Modeling – ER 2011. ER 2011. Lecture Notes in Computer Science, vol 6998. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24606-7_40
Download citation
DOI: https://doi.org/10.1007/978-3-642-24606-7_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24605-0
Online ISBN: 978-3-642-24606-7
eBook Packages: Computer ScienceComputer Science (R0)