{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T03:16:34Z","timestamp":1762917394443},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,12,23]],"date-time":"2011-12-23T00:00:00Z","timestamp":1324598400000},"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":[[2013,7]]},"DOI":"10.1007\/s10270-011-0226-8","type":"journal-article","created":{"date-parts":[[2011,12,22]],"date-time":"2011-12-22T10:07:26Z","timestamp":1324548446000},"page":"517-535","source":"Crossref","is-referenced-by-count":16,"title":["Detection and resolution of conflicting change operations in version management of process models"],"prefix":"10.1007","volume":"12","author":[{"given":"Christian","family":"Gerth","sequence":"first","affiliation":[]},{"given":"Jochen M.","family":"K\u00fcster","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Luckey","sequence":"additional","affiliation":[]},{"given":"Gregor","family":"Engels","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,12,23]]},"reference":[{"key":"226_CR1","doi-asserted-by":"crossref","unstructured":"Alanen, M., Porres, I.: Difference and Union of Models. In: Proceedings of UML\u201903. LNCS, vol. 2863, pp. 2\u201317. Springer, Berlin (2003)","DOI":"10.1007\/978-3-540-45221-8_2"},{"key":"226_CR2","first-page":"293","volume-title":"Proceedings of MODELS\u201907 Workshops. LNCS, vol. 5002","author":"K. Altmanninger","year":"2007","unstructured":"Altmanninger K.: Models in conflict\u2014towards a semantically enhanced version control system for models. In: Giese, H. (ed) Proceedings of MODELS\u201907 Workshops. LNCS, vol. 5002, pp. 293\u2013304. Springer, Berlin (2007)"},{"key":"226_CR3","first-page":"141","volume-title":"Proceedings of BPM\u201906 Workshops. LNCS, vol. 4103","author":"J. Bae","year":"2006","unstructured":"Bae J., Caverlee J., Liu L., Yan H.: Process mining by measuring process block similarity. In: Eder, J., Dustdar, S. (eds) Proceedings of BPM\u201906 Workshops. LNCS, vol. 4103, pp. 141\u2013152. Springer, Berlin (2006)"},{"key":"226_CR4","doi-asserted-by":"crossref","unstructured":"Blanc, X., Mounier, I., Mougenot, A., Mens, T.: Detecting model inconsistency through operation-based model construction. In: Proceedings of the 30th international conference on Software engineering, ICSE \u201908, pp. 511\u2013520. ACM, New York, NY, USA (2008)","DOI":"10.1145\/1368088.1368158"},{"key":"226_CR5","doi-asserted-by":"crossref","unstructured":"Brosch, P., Langer, P., Seidl, M., Wimmer, M.: Towards End-User Adaptable Model Versioning: The By-Example Operation Recorder. In: Proceedings of CVSM\u201909 @ ICSE, pp. 55\u201360. IEEE (2009)","DOI":"10.1109\/CVSM.2009.5071723"},{"key":"226_CR6","unstructured":"Brosch, P., Kappel, G., Seidl, M., Wieland, K., Wimmer, M., Kargl, H., Langer, P.: Adaptable Model Versioning in Action. In: Modellierung 2010, pp. 221\u2013236. LNI 161, GI (2010)"},{"key":"226_CR7","first-page":"311","volume-title":"Proceedings of MODELS\u201908. LNCS, vol. 5301","author":"A. Cicchetti","year":"2008","unstructured":"Cicchetti A., Di Ruscio D., Pierantonio A.: Managing model conflicts in distributed development. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds) Proceedings of MODELS\u201908. LNCS, vol. 5301, pp. 311\u2013325. Springer, Berlin (2008)"},{"key":"226_CR8","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1145\/280277.280280","volume":"30","author":"R. Conradi","year":"1998","unstructured":"Conradi R., Westfechtel B.: Version models for software configuration management. ACM Comput. Surv. 30, 232\u2013282 (1998)","journal-title":"ACM Comput. Surv."},{"key":"226_CR9","first-page":"261","volume-title":"Proceedings of BPM\u201908. LNCS, vol 5240","author":"R.M. Dijkman","year":"2008","unstructured":"Dijkman R.M.: Diagnosing differences between business process models. In: Dumas, M., Reichert, M., Shan, M.-C. (eds) Proceedings of BPM\u201908. LNCS, vol 5240, pp. 261\u2013277. Springer, Berlin (2008)"},{"key":"226_CR10","unstructured":"Eclipse Foundation. Atlas Model Weaver (AMW). http:\/\/www.eclipse.org\/gmt\/amw\/ (2009)"},{"key":"226_CR11","unstructured":"Eclipse Foundation. EMF Compare. http:\/\/www.eclipse.org\/modeling\/emft\/?project=compare (2009)"},{"key":"226_CR12","doi-asserted-by":"crossref","unstructured":"Eder, J., Gruber, W., Pichler, H.: Transforming Workflow Graphs. In: Proceedings of INTEROP-ESA\u201905, vol. 2, pp. 203\u2013214. Springer London, Genf, Switzerland (2005)","DOI":"10.1007\/1-84628-152-0_19"},{"key":"226_CR13","doi-asserted-by":"crossref","unstructured":"Keith Edwards, W.: Flexible conflict detection and management in collaborative applications. In: Proceedings of the 10th annual ACM symposium on User interface software and technology, UIST \u201997, pp. 139\u2013148. ACM, New York, NY, USA (1997)","DOI":"10.1145\/263407.263533"},{"key":"226_CR14","unstructured":"Ehrig, M., Koschmider, A., Oberweis, A.: Measuring similarity between semantic business process models. In: Proceedings of APCCM\u201907. CRPIT, vol. 67, pp. 71\u201380. Australian Computer Society (2007)"},{"key":"226_CR15","doi-asserted-by":"crossref","unstructured":"Gerth, C., K\u00fcster, J.M., Engels, G.: Language-independent change management of process models. In: Proceedings of MODELS\u201909. LNCS, vol. 5795, pp. 152\u2013166. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-04425-0_12"},{"key":"226_CR16","doi-asserted-by":"crossref","unstructured":"Gerth, C., Luckey, M., K\u00fcster, J.M., Engels, G.: Detection of semantically equivalent fragments for business process model change management. In: Proceedings of SCC\u201910, pp. 57\u201364. IEEE Computer Society (2010)","DOI":"10.1109\/SCC.2010.38"},{"key":"226_CR17","doi-asserted-by":"crossref","unstructured":"Gerth, C., K\u00fcster, J., Luckey, M., Engels, G.: Precise Detection of Conflicting Change Operations using Process Model Terms. In: Proceedings of MODELS\u201910. LNCS, vol. 6395, pp. 93\u2013107. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16129-2_8"},{"key":"226_CR18","doi-asserted-by":"crossref","unstructured":"Kappel, G., Kapsammer, E., Kargl, H., Kramler, G., Reiter, T., Retschitzegger, W., Schwinger, W., Wimmer, M.: Lifting metamodels to ontologies: a step to the semantic integration of modeling languages. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) Proceedings of MODELS\u201906. LNCS, vol. 4199, pp. 528\u2013542. Springer, Berlin (2006)","DOI":"10.1007\/11880240_37"},{"key":"226_CR19","unstructured":"Kelter, U., Wehren, J., Niere, J.: A generic difference algorithm for UML models. In: Liggesmeyer, P., Pohl, K., Goedicke, M. (eds.) Proceedings of Software Engineering 2005, vol. 64, pp. 105\u2013116. GI (2005)"},{"key":"226_CR20","unstructured":"Kiepuszewski, B.: Expressiveness and suitability of languages for control flow modelling in workflows. PhD thesis, Queensland University of Technology, Brisbane (2002)"},{"key":"226_CR21","doi-asserted-by":"crossref","unstructured":"Koegel, M., Herrmannsdoerfer, M., von Wesendonk, O., Helming, J.: Operation-based conflict detection. In: Proceedings of the 1st International Workshop on Model Comparison in Practice, IWMCP \u201910, pp. 21\u201330. ACM, New York, NY, USA (2010)","DOI":"10.1145\/1826147.1826154"},{"key":"226_CR22","first-page":"215","volume-title":"Proceedings of MODELS\u201906. LNCS, vol. 4199","author":"D.S. Kolovos","year":"2006","unstructured":"Kolovos D.S., Paige R., Polack F.: Merging models with the epsilon merging language (EML). In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds) Proceedings of MODELS\u201906. LNCS, vol. 4199, pp. 215\u2013229. Springer, Berlin (2006)"},{"key":"226_CR23","first-page":"158","volume-title":"Proceedings of ECMDA-FA\u201909. LNCS, vol. 5562","author":"J.M. K\u00fcster","year":"2009","unstructured":"K\u00fcster J.M., Gerth C., Engels G.: Dependent and conflicting change operations of process models. In: Paige, R.F., Hartman, A. (eds) Proceedings of ECMDA-FA\u201909. LNCS, vol. 5562, pp. 158\u2013173. Springer-Verlag, Berlin (2009)"},{"key":"226_CR24","volume-title":"Proceedings of ECMFA\u201910. LNCS, vol. 6138","author":"J.M. K\u00fcster","year":"2010","unstructured":"K\u00fcster J.M., Gerth C., Engels G.: Dynamic computation of change operations in version management of business process models. In: K\u00fchne, T., Selic, B. (eds) Proceedings of ECMFA\u201910. LNCS, vol. 6138, Springer, Berlin (2010)"},{"key":"226_CR25","first-page":"244","volume-title":"Proceedings of BPM\u201908. LNCS, vol. 5240","author":"J.M. K\u00fcster","year":"2008","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: Dumas, M., Reichert, M. (eds) Proceedings of BPM\u201908. LNCS, vol. 5240, pp. 244\u2013260. Springer-Verlag, Berlin (2008)"},{"key":"226_CR26","unstructured":"Letkeman, K.: Comparing and merging UML models in IBM Rational Software Architect: Part 3. A deeper understanding of model merging. In: IBM Developerworks (2005)"},{"key":"226_CR27","first-page":"248","volume-title":"Proceedings of ER\u201908. LNCS, vol. 5231","author":"C. Li","year":"2008","unstructured":"Li C., Reichert M., Wombacher A.: On measuring process model similarity based on high-level change operations. In: Li, Q., Spaccapietra, S., Yu, E.S.K., Oliv\u00e9, A. (eds) Proceedings of ER\u201908. LNCS, vol. 5231, pp. 248\u2013264. Springer, Berlin (2008)"},{"key":"226_CR28","doi-asserted-by":"crossref","unstructured":"Lippe, E., van Oosterom, N.: Operation-based Merging. In: Proceedings of the 5th ACM SIGSOFT Symposium on Software Development Environments, SDE 5, pp. 78\u201387. ACM (1992)","DOI":"10.1145\/142882.143753"},{"key":"226_CR29","first-page":"439","volume-title":"Proceedings of CAiSE\u201907. LNCS, vol. 4495","author":"J. Mendling","year":"2007","unstructured":"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) Proceedings of CAiSE\u201907. LNCS, vol. 4495, pp. 439\u2013453. Springer, Berlin (2007)"},{"issue":"5","key":"226_CR30","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1109\/TSE.2002.1000449","volume":"28","author":"T. Mens","year":"2002","unstructured":"Mens T.: A state-of-the-art survey on software merging. IEEE Trans. Softw. Eng. 28(5), 449\u2013462 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"226_CR31","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"226_CR32","doi-asserted-by":"crossref","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S.M., Zave, P.: Matching and merging of statecharts specifications. In: Proceedings of ICSE\u201907, pp. 54\u201364. IEEE Computer Society (2007)","DOI":"10.1109\/ICSE.2007.50"},{"key":"226_CR33","unstructured":"Object Management Group (OMG): Business Process Model and Notation (BPMN) Version 2.0. http:\/\/www.omg.org\/spec\/BPMN\/2.0\/ (2011)"},{"key":"226_CR34","doi-asserted-by":"crossref","unstructured":"Pottinger, R., Bernstein, P.A.: Merging models based on given correspondences. In: Proceedings of the 29th International Conference on Very Large Data Bases (VLDB\u201903), vol. 29, pp. 826\u2013873 (2003)","DOI":"10.1016\/B978-012722442-8\/50081-1"},{"key":"226_CR35","first-page":"101","volume-title":"Proceedings of CoopIS\u201904. LNCS, vol. 3290","author":"S. Rinderle","year":"2004","unstructured":"Rinderle S., Reichert M., Dadam P.: Disjoint and overlapping process changes: challenges, solutions, applications. In: Meersman, R., Tari, Z. (eds) Proceedings of CoopIS\u201904. LNCS, vol. 3290, pp. 101\u2013120. Springer, Berlin (2004)"},{"issue":"2","key":"226_CR36","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0306-4379(00)00012-0","volume":"25","author":"W. Sadiq","year":"2000","unstructured":"Sadiq W., Orlowska M.E.: Analyzing process models using graph reduction techniques. Inf. Syst. 25(2), 117\u2013134 (2000)","journal-title":"Inf. Syst."},{"key":"226_CR37","doi-asserted-by":"crossref","unstructured":"Taentzer, G., Ermel, C., Langer, P., Wimmer, M.: Conflict detection for model versioning based on graph modifications. In: Proceedings of the 5th International Conference on Graph Transformations, ICGT\u201910, pp. 171\u2013186. Springer-Verlag, Berlin, Heidelberg (2010)","DOI":"10.1007\/978-3-642-15928-2_12"},{"key":"226_CR38","unstructured":"van Glabbeek, R.J.: The linear time-branching time spectrum I\u2014the semantics of concrete, sequential processes. In: Handbook of Process Algebra, Chapter 1, pp. 3\u201399. Elsevier, Amsterdam (1988)"},{"key":"226_CR39","first-page":"129","volume-title":"Proceedings of BPM\u201909. LNCS, vol. 4102","author":"W.M.P. Aalst van der","year":"2006","unstructured":"van der Aalst W.M.P., de Medeiros A.K.A., Weijters A.J.M.M.: Process equivalence: comparing two process models based on observed behavior. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds) Proceedings of BPM\u201909. LNCS, vol. 4102, pp. 129\u2013144. Springer, Berlin (2006)"},{"key":"226_CR40","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Hirnschall, A., Verbeek, H.M.W.: An alternative way to analyze workflow graphs. In: Proceedings of CAiSE\u201902. LNCS, volume 2348, pp. 535\u2013552. Springer, Berlin (2002)","DOI":"10.1007\/3-540-47961-9_37"},{"key":"226_CR41","doi-asserted-by":"crossref","unstructured":"van Dongen, B.F., Dijkman, R.M., Mendling, J.: Measuring similarity between business process models. In: CAiSE. LNCS, vol. 5074, pp. 450\u2013464. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-69534-9_34"},{"key":"226_CR42","first-page":"372","volume-title":"Proceedings of CAiSE\u201905. LNCS, vol. 3520","author":"B.F. Dongen van","year":"2005","unstructured":"van Dongen B.F., van der Aalst W.M.P., Verbeek H.M.W.: Verification of EPCs: using reduction rules and Petri nets. In: Pastor, O., e Cunha, J.F. (eds) Proceedings of CAiSE\u201905. LNCS, vol. 3520, pp. 372\u2013386. Springer, Berlin (2005)"},{"key":"226_CR43","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 ICSOC\u201907. LNCS, vol. 4749, pp. 43\u201355. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-74974-5_4"},{"key":"226_CR44","first-page":"574","volume-title":"CAiSE\u201907. LNCS, vol. 4495","author":"B. Weber","year":"2007","unstructured":"Weber B., Rinderle S., Reichert M.: Change patterns and change support features in process-aware information systems. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds) CAiSE\u201907. LNCS, vol. 4495, pp. 574\u2013588. Springer, Berlin (2007)"},{"key":"226_CR45","doi-asserted-by":"crossref","unstructured":"Weidlich, M., Weske, M., Mendling, J.: Change propagation in process models using behavioural profiles. In: Proceedings of SCC\u201909, pp. 33\u201340. IEEE Computer Society (2009)","DOI":"10.1109\/SCC.2009.58"},{"key":"226_CR46","doi-asserted-by":"crossref","unstructured":"Westfechtel, B.: A formal approach to three-way merging of emf models. In: Proceedings of the 1st International Workshop on Model Comparison in Practice, IWMCP \u201910, pp. 31\u201341. ACM, New York, NY, USA (2010)","DOI":"10.1145\/1826147.1826155"},{"key":"226_CR47","doi-asserted-by":"crossref","unstructured":"Wombacher, A., Li, C.: Alternative approaches for workflow similarity. In: Proceedings of SCC\u201910, pp. 337\u2013345. IEEE Computer Society (2010)","DOI":"10.1109\/SCC.2010.95"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0226-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-011-0226-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0226-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,21]],"date-time":"2019-06-21T06:23:00Z","timestamp":1561098180000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-011-0226-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12,23]]},"references-count":47,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,7]]}},"alternative-id":["226"],"URL":"https:\/\/doi.org\/10.1007\/s10270-011-0226-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,12,23]]}}}