{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:04:39Z","timestamp":1725530679813},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642011115"},{"type":"electronic","value":"9783642011122"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01112-2_16","type":"book-chapter","created":{"date-parts":[[2009,4,16]],"date-time":"2009-04-16T07:00:58Z","timestamp":1239865258000},"page":"153-164","source":"Crossref","is-referenced-by-count":2,"title":["An Algorithm for Propagating-Impact Analysis of Process Evolutions"],"prefix":"10.1007","author":[{"given":"Jeewani Anupama","family":"Ginige","sequence":"first","affiliation":[]},{"given":"Athula","family":"Ginige","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/ICIS.2007.72"},{"key":"16_CR2","first-page":"17","volume-title":"Kleene Algebra with Tests","author":"D. Kozen","year":"1999","unstructured":"Kozen, D.: Kleene Algebra with Tests, p. 17. ACM, New York (1999)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/ICIS.2007.72"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48068-4_1","volume-title":"Application and Theory of Petri Nets 2002","author":"W.M.P. Aalst van der","year":"2002","unstructured":"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.\u00a02360, pp. 1\u201322. Springer, Heidelberg (2002)"},{"key":"16_CR5","unstructured":"Bosilj-Vuksic, V., Jaklic, J., Popovic, A.: Business Process Change and Simulation Modelling. Systems Integration, 29 (2005)"},{"key":"16_CR6","unstructured":"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)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/581360.581362"},{"key":"16_CR8","unstructured":"Marjanovic, O.: Dynamic Verification of Temporal Constraints in Production Workflows. In: 11th Australian Database Conference (2000)"},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/0-387-23529-9_20","volume-title":"The Next Wave in Computing, Optimization, and Decision Technologies","author":"E. Sivaraman","year":"2005","unstructured":"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.\u00a029, pp. 303\u2013318. Springer, Heidelberg (2005)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of Workflow Nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"16_CR11","unstructured":"Aiello, R.: Workflow Performance Evaluation, University of Salerno, Italy, p. 158 (2004)"},{"key":"16_CR12","unstructured":"Stefanov, V., List, B.: A Performance Measurement Perspective for Event-Driven Process Chains. In: Sixteenth International Workshop on Database and Expert Systems Applications (2005)"},{"key":"16_CR13","unstructured":"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)"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.7146\/dpb.v35i579.7322"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1002\/smr.258","volume":"14","author":"J. Zhao","year":"2002","unstructured":"Zhao, J., Yang, H., Xiang, L., Xu, B.: Change impact analysis to support architectural evolution. Journal of Software Maintenance and Evolution Research and Practice\u00a014, 317\u2013333 (2002)","journal-title":"Journal of Software Maintenance and Evolution Research and Practice"},{"key":"16_CR16","unstructured":"Yau, S.S., Collofello, J.S., MacGregor, T.: Ripple effect analysis of software maintenance. In: IEEE Computer Society\u2019s Second International Computer Software and Applications Conference, COMPSAC 1978 (1978)"},{"key":"16_CR17","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/s00766-005-0005-6","volume":"10","author":"B. Ramesh","year":"2005","unstructured":"Ramesh, B., Jain, R., Nissen, M., Xu, P.: Managing context in business process management systems. Requirements Engineering\u00a010, 223\u2013237 (2005)","journal-title":"Requirements Engineering"},{"key":"16_CR18","first-page":"393","volume-title":"Software Process Improvement And Practice","author":"P. Soffer","year":"2005","unstructured":"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.\u00a010, pp. 393\u2013402. John Wiley & Sons, Ltd, Chichester (2005)"},{"key":"16_CR19","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE\u00a077, 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"16_CR20","volume-title":"Monographs on Theoretical Computer Science","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets, An Introduction. In: Brauer, G.R.W., Salomaa, A. (eds.) Monographs on Theoretical Computer Science. Springer, Heidelberg (1985)"},{"key":"16_CR21","unstructured":"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)"},{"key":"16_CR22","unstructured":"Basten, A.A.: In Terms of Nets: System Design with Petri Nets and Process Algebra, p. 247. Eindhoven University of Technology (1998)"},{"key":"16_CR23","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1093\/comjnl\/37.4.259","volume":"37","author":"W. Fokkink","year":"1994","unstructured":"Fokkink, W., Zantema, H.: Basic Process Algebra with Iteration: Completeness of its Equational Axioms. The Computer Journal\u00a037, 259\u2013267 (1994)","journal-title":"The Computer Journal"},{"key":"16_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/BFb0039617","volume-title":"STACS 87","author":"R.J. Glabbeek van","year":"1987","unstructured":"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.\u00a0247, pp. 336\u2013347. Springer, Heidelberg (1987)"},{"key":"16_CR25","first-page":"427","volume-title":"Kleene algebra with tests, Transactions on Programming Languages andSystems","author":"D. Kozen","year":"1997","unstructured":"Kozen, D.: Kleene algebra with tests, Transactions on Programming Languages andSystems, pp. 427\u2013443. ACM, New York (1997)"},{"key":"16_CR26","unstructured":"van der Aalst, W.M.P.: Pi calculus versus Petri nets: Let us eat \u201chumble pie\u201d rather than further inflate the \u201cPi hype\u201d (2003)"},{"key":"16_CR27","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/j.datak.2004.08.005","volume":"54","author":"K.D. Schewe","year":"2005","unstructured":"Schewe, K.D., Thalheim, B.: Conceptual modelling of web information systems. Data and Knowledge Engineering\u00a054, 147\u2013188 (2005)","journal-title":"Data and Knowledge Engineering"},{"key":"16_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/978-3-540-46652-9_38","volume-title":"Internet Applications","author":"S.Y. Min","year":"1999","unstructured":"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.\u00a01749, pp. 367\u2013372. Springer, Heidelberg (1999)"},{"key":"16_CR29","volume-title":"Data Structures","author":"M. Shave","year":"1975","unstructured":"Shave, M.: Data Structures. McGraw-Hill Book Company Limited, Maidenhead (1975)"},{"key":"16_CR30","first-page":"710","volume-title":"The Art of Computer Programming","author":"D.E. Knuth","year":"1973","unstructured":"Knuth, D.E.: Sorting and Searching Algorithms. In: Varga, R.S., Harrison, M.A. (eds.) The Art of Computer Programming, vol.\u00a03, p. 710. Addison-Wesley Publishing Company, Massachusetts (1973)"}],"container-title":["Lecture Notes in Business Information Processing","Information Systems: Modeling, Development, and Integration"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01112-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T18:31:53Z","timestamp":1558377113000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01112-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642011115","9783642011122"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01112-2_16","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2009]]}}}