Skip to main content
SpringerLink
Log in

Content-Based Validation of Business Process Modifications

  • Conference paper
Book cover Conceptual Modeling – ER 2011 (ER 2011)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 6998))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Awad, A., Smirnov, S., Weske, M.: Towards Resolving Compliance Violations in Business Process Models. GRCIS. CEUR-WS. org (2009)

    Google Scholar 

  2. 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)

    Google Scholar 

  3. 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)

    Chapter  Google Scholar 

  4. 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)

    Chapter  Google Scholar 

  5. 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)

    Chapter  Google Scholar 

  6. 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)

    Chapter  Google Scholar 

  7. 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)

    Chapter  Google Scholar 

  8. 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)

    Google Scholar 

  9. 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)

    Google Scholar 

  10. 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)

    Chapter  Google Scholar 

  11. 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)

    Chapter  Google Scholar 

  12. Reichert, M., Dadam, P.: ADEPT flex-supporting dynamic changes of workflows without losing control. J. of Intelligent Information Systems 10(2), 93–129 (1998)

    Article  Google Scholar 

  13. 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)

    Article  Google Scholar 

  14. Rinderle, S., Reichert, M., Dadam, P.: Correctness criteria for dynamic changes in workflow systems–a survey. Data & Knowledge Engineering 50(1), 9–34 (2004)

    Article  Google Scholar 

  15. 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)

    Chapter  Google Scholar 

  16. 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)

    Google Scholar 

  17. Smirnov, S., Weidlich, M., Mendling, J., Weske, M.: Action patterns in business process models. Service-Oriented Computing, 115–129 (2009)

    Google Scholar 

  18. 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)

    Chapter  Google Scholar 

  19. 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)

    Chapter  Google Scholar 

  20. 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)

    Chapter  Google Scholar 

  21. 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)

    Chapter  Google Scholar 

  22. van der Aalst, W.M.P., Ter Hofstede, A.: YAWL: yet another workflow language. Information Systems 30(4), 245–275 (2005)

    Article  Google Scholar 

  23. Weber, I., Hoffmann, J., Mendling, J.: Semantic business process validation. In: Proc. of Int. Workshop on Semantic Business Process Management (2008)

    Google Scholar 

  24. 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)

    Article  Google Scholar 

Download references

Authors
  1. Maya Lincoln
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Avigdor Gal
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Tilburg University, Warandelaan 2, 5037, Tilburg, AB, The Netherlands

    Manfred Jeusfeld

  2. Department of Computer Science, Portland State University, Portland, OR, USA

    Lois Delcambre

  3. School of Computing, National University of Singapore, Singapore

    Tok-Wang Ling

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation