Skip to main content
SpringerLink
Log in
Book cover

International United Information Systems Conference

UNISCON 2009: Information Systems: Modeling, Development, and Integration pp 153–164Cite as

An Algorithm for Propagating-Impact Analysis of Process Evolutions

  • Conference paper

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 20))

Abstract

Business processes evolve due to different reasons. Evolution of business processes essentially means changing its process elements namely: actions, participants, and process objects; which are associated to each other in various ways. In the event of one process element change, the above-mentioned associations create propagating-impact. Therefore in process evolution management, it is imperative to have a business process modelling tool that can completely and cohesively capture associations among process elements. In our previous research [1] we have developed such a process modelling tool using Kleene Algebra with Tests - KAT [2]. In this paper, we present an algorithm that facilitates locating the propagating-impact, of a process element change, across the entire process. The proposed mechanism initially, maps the KAT expression of a process, into a binary-tree structure. Then using this binary-tree, the created propagating-impact is extracted under four categories as Direct, Indirect, Secondary and Non-cautionary (DISN) impacts [1].

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ginige, J.A., Ginige, A., Sirinivasan, U.: KAT based CAD Model of Process Elements for Effective Management of Process Evolution. In: Workshop on Technologies for Collaborative Business Processes (TCoB-2007) in ICEIS 2007, Funchal, Madeira - Portugal (2007)

    Google Scholar 

  2. Kozen, D.: Kleene Algebra with Tests, p. 17. ACM, New York (1999)

    MATH  Google Scholar 

  3. Ginige, J.A., Ginige, A., Sirinivasan, U.: CAD model of Process Elements: Towards Effective Management of Process Evolution in Web-based Workflows. In: Sixth International Conference on Computer and Information Science, Mebourne Australia (2007)

    Google Scholar 

  4. van der Aalst, W.M.P.: Making Work Flow: On the Application of Petri nets to Business Process Management. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol. 2360, pp. 1–22. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  5. Bosilj-Vuksic, V., Jaklic, J., Popovic, A.: Business Process Change and Simulation Modelling. Systems Integration, 29 (2005)

    Google Scholar 

  6. van Hee, K., Oanea, O., Post, R., Somers, L., et al.: Yasper: a tool for workflow modeling and analysis. In: Sixth International Conference on Application of Concurrency to System Design (2006)

    Google Scholar 

  7. Eshuis, R., Wieringa, R.: Verification support for workflow design with UML activity graphs. In: 24th International Conference on Software Engineering - ICSE 2002, Orlando, Florida, USA (2002)

    Google Scholar 

  8. Marjanovic, O.: Dynamic Verification of Temporal Constraints in Production Workflows. In: 11th Australian Database Conference (2000)

    Google Scholar 

  9. Sivaraman, E., Kamath, M.: Verification of Business Process Designs Using Maps. In: Golden, B.L., Raghavan, S., Wasil, E.A. (eds.) The Next Wave in Computing, Optimization, and Decision Technologies, vol. 29, pp. 303–318. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

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

  11. Aiello, R.: Workflow Performance Evaluation, University of Salerno, Italy, p. 158 (2004)

    Google Scholar 

  12. Stefanov, V., List, B.: A Performance Measurement Perspective for Event-Driven Process Chains. In: Sixteenth International Workshop on Database and Expert Systems Applications (2005)

    Google Scholar 

  13. Bodhuin, T., Esposito, R., Pacelli, C., Tortorella, M.: Impact Analysis for Supporting the Co-Evolution of Business Processes and Supporting Software Systems. In: Workshop on Business Process Modeling, Development, and Support (BPMDS), Riga, Latvia (2004)

    Google Scholar 

  14. Jansen-Vullers, M.H., Netjes, M.: Business Process Simulation-A Tool Survey. In: Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark (October 2006)

    Google Scholar 

  15. Zhao, J., Yang, H., Xiang, L., Xu, B.: Change impact analysis to support architectural evolution. Journal of Software Maintenance and Evolution Research and Practice 14, 317–333 (2002)

    Article  MATH  Google Scholar 

  16. Yau, S.S., Collofello, J.S., MacGregor, T.: Ripple effect analysis of software maintenance. In: IEEE Computer Society’s Second International Computer Software and Applications Conference, COMPSAC 1978 (1978)

    Google Scholar 

  17. Ramesh, B., Jain, R., Nissen, M., Xu, P.: Managing context in business process management systems. Requirements Engineering 10, 223–237 (2005)

    Article  Google Scholar 

  18. Soffer, P.: Scope Analysis: Identifying the Impact of Changes in Business Process Models. In: Regev, G., Soffer, P., Bider, I. (eds.) Software Process Improvement And Practice, vol. 10, pp. 393–402. John Wiley & Sons, Ltd, Chichester (2005)

    Google Scholar 

  19. Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77, 541–580 (1989)

    Article  Google Scholar 

  20. Reisig, W.: Petri Nets, An Introduction. In: Brauer, G.R.W., Salomaa, A. (eds.) Monographs on Theoretical Computer Science. Springer, Heidelberg (1985)

    Google Scholar 

  21. van der Aalst, W.M.P., van Hee, K.M., Houben, G.J.: Modelling and analysing workflow using a Petri-net based approach. In: 2nd Workshop on Computer-Supported Cooperative Work, Petri nets and related formalisms (1994)

    Google Scholar 

  22. Basten, A.A.: In Terms of Nets: System Design with Petri Nets and Process Algebra, p. 247. Eindhoven University of Technology (1998)

    Google Scholar 

  23. Fokkink, W., Zantema, H.: Basic Process Algebra with Iteration: Completeness of its Equational Axioms. The Computer Journal 37, 259–267 (1994)

    Article  Google Scholar 

  24. van Glabbeek, R.J.: Bounded nondeterminism and the approximation induction principle in process algebra. In: Brandenburg, F.J., Wirsing, M., Vidal-Naquet, G. (eds.) STACS 1987. LNCS, vol. 247, pp. 336–347. Springer, Heidelberg (1987)

    Chapter  Google Scholar 

  25. Kozen, D.: Kleene algebra with tests, Transactions on Programming Languages andSystems, pp. 427–443. ACM, New York (1997)

    Google Scholar 

  26. van der Aalst, W.M.P.: Pi calculus versus Petri nets: Let us eat “humble pie” rather than further inflate the “Pi hype” (2003)

    Google Scholar 

  27. Schewe, K.D., Thalheim, B.: Conceptual modelling of web information systems. Data and Knowledge Engineering 54, 147–188 (2005)

    Article  Google Scholar 

  28. Min, S.Y., Bae, D.H., Cho, S.C., Nam, Y.K.: Management of Workflow over the Web Supporting Distributed Process Evolution. In: Hui, L.C.-K., Lee, D.-L. (eds.) ICSC 1999. LNCS, vol. 1749, pp. 367–372. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  29. Shave, M.: Data Structures. McGraw-Hill Book Company Limited, Maidenhead (1975)

    MATH  Google Scholar 

  30. Knuth, D.E.: Sorting and Searching Algorithms. In: Varga, R.S., Harrison, M.A. (eds.) The Art of Computer Programming, vol. 3, p. 710. Addison-Wesley Publishing Company, Massachusetts (1973)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing and Mathematics, University of Western Sydney, Locked Bag 1797, Penrith South DC, NSW 1797, Australia

    Jeewani Anupama Ginige & Athula Ginige

Authors
  1. Jeewani Anupama Ginige
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Athula Ginige
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Western Sydney, NSW 2150, Parramatta, Australia

    Jianhua Yang  & Athula Ginige  & 

  2. University of Klagenfurt, 9020, Klagenfurt, Austria

    Heinrich C. Mayr

  3. Berlin University of Technology, 10587, Berlin, Germany

    Ralf-D. Kutsche

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ginige, J.A., Ginige, A. (2009). An Algorithm for Propagating-Impact Analysis of Process Evolutions. In: Yang, J., Ginige, A., Mayr, H.C., Kutsche, RD. (eds) Information Systems: Modeling, Development, and Integration. UNISCON 2009. Lecture Notes in Business Information Processing, vol 20. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01112-2_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-01112-2_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-01111-5

  • Online ISBN: 978-3-642-01112-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation