{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:24:24Z","timestamp":1745987064767,"version":"3.40.4"},"reference-count":57,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,3,14]],"date-time":"2013-03-14T00:00:00Z","timestamp":1363219200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2014,7]]},"DOI":"10.1007\/s10270-013-0318-8","type":"journal-article","created":{"date-parts":[[2013,3,13]],"date-time":"2013-03-13T10:39:18Z","timestamp":1363171158000},"page":"913-940","source":"Crossref","is-referenced-by-count":10,"title":["A case study on consistency management of business and IT process models in banking"],"prefix":"10.1007","volume":"13","author":[{"given":"Mois\u00e9s Castelo","family":"Branco","sequence":"first","affiliation":[]},{"given":"Yingfei","family":"Xiong","sequence":"additional","affiliation":[]},{"given":"Krzysztof","family":"Czarnecki","sequence":"additional","affiliation":[]},{"given":"Jochen","family":"K\u00fcster","sequence":"additional","affiliation":[]},{"given":"Hagen","family":"V\u00f6lzer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,3,14]]},"reference":[{"key":"318_CR1","volume-title":"BPMN Modeling and Reference Guide Understanding and Using BPMN","author":"D Miers","year":"2008","unstructured":"Miers, D., White, S.A.: BPMN Modeling and Reference Guide Understanding and Using BPMN. Future Strategies Inc., Light-house (2008)"},{"key":"318_CR2","unstructured":"OASIS: Web Services Business Process Execution Language (WSBPEL) TC. http:\/\/www.oasis-open.org\/committees\/tc_home.php?wg_abbrev=wsbpel"},{"key":"318_CR3","unstructured":"Object Management Group: Business Process Model and Notation (BPMN) Version 2.0. http:\/\/www.omg.org\/spec\/BPMN\/2.0\/"},{"key":"318_CR4","doi-asserted-by":"crossref","unstructured":"Weidlich, M., Dijkman, R., Weske, M.: Deciding behaviour compatibility of complex correspondences between process models. In: Proceedings of the 8th International Conference on Business Process Management, ser. BPM\u201910, pp. 78\u201394. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-15618-2_8"},{"key":"318_CR5","doi-asserted-by":"crossref","unstructured":"Dijkman, R.: Diagnosing differences between business process models. In: Proceedings of the 6th International Conference on Business Process Management, ser. BPM \u201908, pp. 261\u2013277. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-85758-7_20"},{"key":"318_CR6","doi-asserted-by":"crossref","unstructured":"Li, C., Reichert, M., Wombacher, A.: On measuring process model similarity based on high-level change operations. In: Proceedings of the 27th International Conference on Conceptual Modeling. ser. ER \u201908, pp. 248\u2013264. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-87877-3_19"},{"key":"318_CR7","doi-asserted-by":"crossref","unstructured":"Dijkman, R.: A classification of differences between similar business processes. In: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference. IEEE Computer Society, Washington, DC (2007)","DOI":"10.1109\/EDOC.2007.24"},{"key":"318_CR8","doi-asserted-by":"crossref","unstructured":"Henkel, M., Zdravkovic, J., Johannesson, P.: Service-based processes: design for business and technology. In: Proceedings of the 2nd International Conference on Service Oriented Computing. ser. ICSOC \u201904, pp. 21\u201329. ACM, New York (2004)","DOI":"10.1145\/1035167.1035171"},{"key":"318_CR9","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/j.entcs.2008.04.025","volume":"211","author":"J Koehler","year":"2008","unstructured":"Koehler, J., Hauser, R., K\u00fcster, J., Ryndina, K., Vanhatalo, J., Wahler, M.: The role of visual modeling and model transformations in business-driven development. Electron. Notes Theor. Comput. Sci. 211, 5\u201315 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"318_CR10","first-page":"65","volume":"8","author":"L Zerguini","year":"2004","unstructured":"Zerguini, L.: A novel hierarchical method for decomposition and design of workflow models. J. Integr. Des. Process Sci. 8, 65\u201374 (2004)","journal-title":"J. Integr. Des. Process Sci."},{"issue":"3","key":"318_CR11","doi-asserted-by":"crossref","first-page":"21","DOI":"10.4018\/jdm.2005070102","volume":"16","author":"P Soffer","year":"2005","unstructured":"Soffer, P.: Refinement equivalence in model-based reuse: overcoming differences in abstraction level. J. Database Manag. 16(3), 21\u201339 (2005)","journal-title":"J. Database Manag."},{"key":"318_CR12","doi-asserted-by":"crossref","unstructured":"Weidlich, M., Barros, A.P., Mendling, J., Weske, M.: Vertical alignment of process models how can we get there? In: CAiSE 2009 Workshop Proceedings: BPMDS, pp. 71\u201384 (2009)","DOI":"10.1007\/978-3-642-01862-6_7"},{"key":"318_CR13","volume-title":"Process Innovation: Reengineering Work Through Information Technology","author":"TH Davenport","year":"1993","unstructured":"Davenport, T.H.: Process Innovation: Reengineering Work Through Information Technology. Harvard Business School Press, Boston (1993)"},{"key":"318_CR14","doi-asserted-by":"crossref","unstructured":"Rolland, C., Prakash, N.: Bridging the gap between organisational needs and ERP functionality. Requir. Eng. 5, 180\u2013193 (2000). doi: 10.1007\/PL00010350","DOI":"10.1007\/PL00010350"},{"key":"318_CR15","volume-title":"Service-Oriented Architecture Compass: Business Value, Planning, and Enterprise Roadmap","author":"N Bieberstein","year":"2005","unstructured":"Bieberstein, N., Bose, S., Fiammante, M., Jones, K., Shah, R.: Service-Oriented Architecture Compass: Business Value, Planning, and Enterprise Roadmap. Prentice Hall PTR, Upper Saddle River (2005)"},{"key":"318_CR16","doi-asserted-by":"crossref","unstructured":"Bobrik, R., Reichert, M., Bauer, T.: View-based process visualization. In: BPM, pp. 88\u201395 (2007)","DOI":"10.1007\/978-3-540-75183-0_7"},{"key":"318_CR17","unstructured":"International Organization for Standardization: Financial transaction card originated messages Interchange message specifications Part 1: Messages, data elements and code values. [Online]. Available: http:\/\/www.iso.org\/iso\/iso_catalogue\/catalogue_tc\/catalogue_detail.htm?csnumber=31628"},{"issue":"3","key":"318_CR18","first-page":"45","volume":"1","author":"A Delgado","year":"2010","unstructured":"Delgado, A., Ruiz, F., de Guzman, I.G.-R., Piattini, M.: A model-driven and service-oriented framework for the business process improvement. J. Syst. Integr. 1(3), 45\u201355 (2010)","journal-title":"J. Syst. Integr."},{"key":"318_CR19","doi-asserted-by":"crossref","unstructured":"Dijkman, R.M., Quartel, D.A.C., Pires, L.F., Sinderen, M.J.v.: A rigorous approach to relate enterprise and computational viewpoints. in: Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International, pp. 187\u2013200. IEEE Computer Society, Washington, DC (2004)","DOI":"10.1109\/EDOC.2004.1342515"},{"key":"318_CR20","doi-asserted-by":"crossref","unstructured":"Buchwald, S., Bauer, T., Reichert, M.: Bridging the gap between business process models and service composition specifications. In: Service Life Cycle Tools and Technologies: Methods, Trends and Advances. Idea Group Reference, pp. 124\u2013153 (2011)","DOI":"10.4018\/978-1-61350-159-7.ch007"},{"key":"318_CR21","doi-asserted-by":"crossref","unstructured":"Spanoudakis, G., Zisman, A.: Inconsistency management in software engineering: Survey and open research issues. In: Handbook of Software Engineering and Knowledge Engineering, pp. 329\u2013380. World Scientific, Singapore (2001)","DOI":"10.1142\/9789812389718_0015"},{"key":"318_CR22","doi-asserted-by":"crossref","unstructured":"Weidlich, M., Decker, G., Weske, M., Barros, A.: Towards vertical alignment of process models a collection of mismatches. Tech. Rep, Hasso Plattner Institute (2008)","DOI":"10.1007\/978-3-642-01862-6_7"},{"key":"318_CR23","unstructured":"Weidlich, M., Mendling, J., Weske, M.: Efficient consistency measurement based on behavioural profiles of process models. IEEE Trans. Softw. Eng., PrePrints 99 (2010)"},{"key":"318_CR24","doi-asserted-by":"crossref","unstructured":"Nuseibeh, B., Easterbrook, S., Russo, A.: Leveraging inconsistency in software development. Computer 33(4), 24\u201329 (2000)","DOI":"10.1109\/2.839317"},{"key":"318_CR25","unstructured":"Decker, G.: Bridging the gap between business processes and existing IT functionality. In: Proceedings of the 1st International Workshop on Design of Service-Oriented Applications (WDSOA), pp. 17\u201324. ICSOC, Amsterdam (2005)"},{"key":"318_CR26","doi-asserted-by":"crossref","unstructured":"Heged\u00fcs, A., Horv\u00e1th, A., R\u00e1th, I., Branco, M.C., Varr, D.: Quick fix generation for DSMLs. In: Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing VLHCC 2011. IEEE (2011)","DOI":"10.1109\/VLHCC.2011.6070373"},{"key":"318_CR27","doi-asserted-by":"crossref","unstructured":"Chen, H.-M.: Towards service engineering: Service orientation and Business-IT alignment. In: Proceedings of the Proceedings of the 41st Annual Hawaii International Conference on System Sciences, ser. HICSS \u201908, p. 114. IEEE Computer Society, Washington, DC (2008)","DOI":"10.1109\/HICSS.2008.462"},{"key":"318_CR28","doi-asserted-by":"crossref","unstructured":"Werth, D., Leyking, K., Dreifus, F., Ziemann, J., Martin, A.: Managing SOA through business services: a business-oriented approach to service-oriented architectures. In: Proceedings of the 4th international conference on Service-oriented computing, ser. ICSOC\u201906, pp. 3\u201313. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-75492-3_1"},{"key":"318_CR29","doi-asserted-by":"crossref","unstructured":"Tran, H., Zdun, U., Dustdar, S.: View-based integration of process-driven SOA models at various abstraction levels. In: Proceedings of First International Workshop on Model-Based Software and Data Integration MBSDI 2008. pp. 55\u201366, Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-78999-4_7"},{"key":"318_CR30","doi-asserted-by":"crossref","unstructured":"K\u00fcster, J.: Consistency Management of Object-Oriented Behavioral Models. Universit t Paderborn, Ph.D. dissertation (2004)","DOI":"10.1016\/j.entcs.2004.02.056"},{"issue":"1","key":"318_CR31","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1049\/sej.1996.0001","volume":"11","author":"A Finkelstein","year":"1996","unstructured":"Finkelstein, A., Sommerville, I.: The Viewpoints FAQ. Softw. Eng. J. 11(1), 2\u20134 (1996)","journal-title":"Softw. Eng. J."},{"issue":"6","key":"318_CR32","doi-asserted-by":"crossref","first-page":"836","DOI":"10.1109\/32.824413","volume":"25","author":"W Emmerich","year":"1999","unstructured":"Emmerich, W., Finkelstein, A., Montangero, C., Antonelli, S., Armitage, S., Stevens, R.: Managing standards compliance. IEEE Trans. Softw. Eng. 25(6), 836\u2013851 (1999)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"318_CR33","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K.: Specifying overlaps of heterogeneous models for global consistency checking. In: Proceedings of the First International Workshop on Model-Driven Interoperability, ser. MDI \u201910, pp. 42\u201351. ACM, New York, NY (2010)","DOI":"10.1145\/1866272.1866279"},{"key":"318_CR34","doi-asserted-by":"crossref","unstructured":"Marcus, A., Maletic, J.I.: Recovering documentation-to-source-code traceability links using latent semantic indexing. In: Proceedings of the 25th International Conference on Software Engineering. ser. ICSE \u201903, pp. 125\u2013135. IEEE Computer Society, Washington, DC (2003)","DOI":"10.1109\/ICSE.2003.1201194"},{"key":"318_CR35","doi-asserted-by":"crossref","unstructured":"Xing, Z.: Model comparison with GenericDiff. In: Proceedings of the IEEE\/ACM international conference on Automated software engineering. ser. ASE \u201910, pp. 135\u2013138. ACM, New York (2010)","DOI":"10.1145\/1858996.1859020"},{"key":"318_CR36","volume-title":"Ontology Matching","author":"J Euzenat","year":"2007","unstructured":"Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Heidelberg (2007)"},{"key":"318_CR37","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1007\/s007780100057","volume":"10","author":"E Rahm","year":"2001","unstructured":"Rahm, E., Bernstein, P.A.: A survey of approaches to automatic schema matching. VLDB J. 10, 334\u2013350 (2001)","journal-title":"VLDB J."},{"key":"318_CR38","doi-asserted-by":"crossref","unstructured":"Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: 25th International Conference on Software Engineering, Proceedings, pp. 455\u2013464 (2003)","DOI":"10.1109\/ICSE.2003.1201223"},{"key":"318_CR39","unstructured":"Egyed, A., Letier, E., Finkelstein, A.: Generating and evaluating choices for fixing inconsistencies in uml design models. In: 23rd IEEE\/ACM International Conference on Automated Software Engineering, 2008. ASE 2008, pp. 99\u2013108 (2008)"},{"key":"318_CR40","doi-asserted-by":"crossref","unstructured":"Amelunxen, C., Legros, E., Sch\u00fcrr, A., St\u00fcrmer, I.: Checking and enforcement of modeling guidelines with graph transformations. In: Applications of Graph Transformations with Industrial Relevance, pp. 313\u2013328. LNCS, vol. 5088, Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-89020-1_22"},{"key":"318_CR41","unstructured":"Pinna Puissant, J., Mens, T., Van Der Straeten, R.: Resolving Model Inconsistencies with Automated Planning. In: Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development. CEUR Workshop Proceedings, pp. 8\u201314 (2010)"},{"key":"318_CR42","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Hubaux, A., She, S., Czarnecki, K.: Generating range fixes for software configuration. In: ICSE\u201912: 34th International Conference on, Software Engineering, pp. 58\u201368 (2012)","DOI":"10.1109\/ICSE.2012.6227206"},{"key":"318_CR43","doi-asserted-by":"crossref","unstructured":"K\u00fcster, J.M.: Towards inconsistency handling of object-oriented behavioral models. Electronic Notes in Theoretical Computer Science. 109, pp. 57\u201369, 2004. Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (2004)","DOI":"10.1016\/j.entcs.2004.02.056"},{"key":"318_CR44","doi-asserted-by":"crossref","unstructured":"Dijkman, R., Dumas, M., Garcia-Banuelos, L., Kaarik, R.: Aligning Business Process Models. In 2009 IEEE International Enterprise Distributed Object Computing Conference. IEEE, pp. 45\u201353 (2009)","DOI":"10.1109\/EDOC.2009.11"},{"key":"318_CR45","unstructured":"van Dongen, B., Dijkman, R., Mendling, J.: Measuring Similarity between Business Process Models. In: Proceedings of the 20th International Conference on Advanced Information Systems Engineering (CAiSE 2008), ser. Lecture Notes in Computer Science, Z. Bellahs ne and M. L onard, Eds., vol. 5074, pp. 450\u2013464. Springer, Montpellier (2008)"},{"key":"318_CR46","doi-asserted-by":"crossref","unstructured":"Weidlich, M., Dijkman, R., Mendling, J.: The ICoP framework: identification of correspondences between process models. In: Proceedings of the 22nd International Conference on Advanced Information Systems Engineering. ser. CAiSE\u201910, pp. 483\u2013498. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-13094-6_37"},{"key":"318_CR47","unstructured":"Branco, M.C., Troya, J., Czarnecki, K., K\u00fcster, J., V\u00f6lzer, H.: Matching Business Process Workflows Across Abstraction Levels. In: Proceedings of 15th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, ser. MODELS 2012. ACM\/IEEE (2012)"},{"key":"318_CR48","doi-asserted-by":"crossref","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Leymann, F.: Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition. In: ICSOC 2007, ser. LNCS, pp. 43\u201355. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-74974-5_4"},{"issue":"11","key":"318_CR49","doi-asserted-by":"crossref","first-page":"725","DOI":"10.1109\/TSE.2007.70731","volume":"33","author":"B Fluri","year":"2007","unstructured":"Fluri, B., Wursch, M., Pinzger, M., Gall, H.: Change distilling: tree differencing for fine-grained source code change extraction. IEEE Trans. Softw. Eng. 33(11), 725\u2013743 (2007)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"318_CR50","doi-asserted-by":"crossref","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Koehler, J.: The refined process structure tree. In: Proceedings of the 6th International Conference on Business Process Management, ser. BPM \u201908, pp. 100\u2013115. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-85758-7_10"},{"key":"318_CR51","doi-asserted-by":"crossref","unstructured":"Gerth, C., K\u00fcster, J.M., Luckey, M., Engels, G.: Precise detection of conflicting change operations using process model terms. In: Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II, ser. MODELS\u201910, pp. 93\u2013107. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16129-2_8"},{"key":"318_CR52","unstructured":"K\u00fcster, J., V\u00f6lzer, H., Favre, C., Branco, M.C., Czarnecki, K.: \u201cSupporting different process views through a shared process model\u201d. IBM Research Zurich, Tech. Rep., 2012. [Online]. Available: http:\/\/domino.research.ibm.com\/library\/cyberdig.nsf\/papers\/FA822A5E450EB08685257A1600462337\/File\/rz3823.pdf"},{"key":"318_CR53","doi-asserted-by":"crossref","unstructured":"K\u00fcster, J.M., Gerth, C., F\u00f6rster, A., Engels, G.: Detecting and resolving process model differences in the absence of a change log. In: Proceedings of the 6th International Conference on Business Process Management, ser. BPM \u201908, pp. 244\u2013260. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-85758-7_19"},{"key":"318_CR54","doi-asserted-by":"crossref","unstructured":"K\u00fcster, J.M., Ryndina, K.: Improving inconsistency resolution with side-effect evaluation and costs. In: MoDELS, pp. 136\u2013150 (2007)","DOI":"10.1007\/978-3-540-75209-7_10"},{"key":"318_CR55","doi-asserted-by":"crossref","unstructured":"Hutchinson, J., Rouncefield, M., Whittle, J.: Model-driven engineering practices in industry. In: Proceeding of the 33rd International Conference on Software Engineering, ser, pp. 633\u2013642. ICSE \u201911. ACM, New York (2011)","DOI":"10.1145\/1985793.1985882"},{"key":"318_CR56","doi-asserted-by":"crossref","unstructured":"Zapf M., Heinzl, A.: Evaluation of generic process design patterns: An experimental study. In: Business Process Management, Models, Techniques, and Empirical Studies, pp. 83\u201398. Springer, London (2000)","DOI":"10.1007\/3-540-45594-9_6"},{"key":"318_CR57","doi-asserted-by":"crossref","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Leymann, F.: Faster and more focused control-flow analysis for business process models through sese decomposition. In: Proceedings of the 5th International Conference on Service-Oriented Computing, ser. ICSOC \u201907, pp. 43\u201355. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-74974-5_4"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0318-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-013-0318-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0318-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T00:25:57Z","timestamp":1745972757000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-013-0318-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,14]]},"references-count":57,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,7]]}},"alternative-id":["318"],"URL":"https:\/\/doi.org\/10.1007\/s10270-013-0318-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2013,3,14]]}}}