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 to check access.
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
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)
Kozen, D.: Kleene Algebra with Tests, p. 17. ACM, New York (1999)
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)
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)
Bosilj-Vuksic, V., Jaklic, J., Popovic, A.: Business Process Change and Simulation Modelling. Systems Integration, 29 (2005)
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)
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)
Marjanovic, O.: Dynamic Verification of Temporal Constraints in Production Workflows. In: 11th Australian Database Conference (2000)
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)
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)
Aiello, R.: Workflow Performance Evaluation, University of Salerno, Italy, p. 158 (2004)
Stefanov, V., List, B.: A Performance Measurement Perspective for Event-Driven Process Chains. In: Sixteenth International Workshop on Database and Expert Systems Applications (2005)
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)
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)
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)
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)
Ramesh, B., Jain, R., Nissen, M., Xu, P.: Managing context in business process management systems. Requirements Engineering 10, 223–237 (2005)
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)
Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77, 541–580 (1989)
Reisig, W.: Petri Nets, An Introduction. In: Brauer, G.R.W., Salomaa, A. (eds.) Monographs on Theoretical Computer Science. Springer, Heidelberg (1985)
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)
Basten, A.A.: In Terms of Nets: System Design with Petri Nets and Process Algebra, p. 247. Eindhoven University of Technology (1998)
Fokkink, W., Zantema, H.: Basic Process Algebra with Iteration: Completeness of its Equational Axioms. The Computer Journal 37, 259–267 (1994)
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)
Kozen, D.: Kleene algebra with tests, Transactions on Programming Languages andSystems, pp. 427–443. ACM, New York (1997)
van der Aalst, W.M.P.: Pi calculus versus Petri nets: Let us eat “humble pie” rather than further inflate the “Pi hype” (2003)
Schewe, K.D., Thalheim, B.: Conceptual modelling of web information systems. Data and Knowledge Engineering 54, 147–188 (2005)
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)
Shave, M.: Data Structures. McGraw-Hill Book Company Limited, Maidenhead (1975)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)