{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:27:00Z","timestamp":1743136020612,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642161285"},{"type":"electronic","value":"9783642161292"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16129-2_8","type":"book-chapter","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T06:22:43Z","timestamp":1285136563000},"page":"93-107","source":"Crossref","is-referenced-by-count":16,"title":["Precise Detection of Conflicting Change Operations Using Process Model Terms"],"prefix":"10.1007","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","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-45221-8_2","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"M. Alanen","year":"2003","unstructured":"Alanen, M., Porres, I.: Difference and Union of Models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 2\u201317. Springer, Heidelberg (2003)"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-540-69073-3_31","volume-title":"Models in Software Engineering","author":"K. Altmanninger","year":"2008","unstructured":"Altmanninger, K.: Models in Conflict - Towards a Semantically Enhanced Version Control System for Models. In: Giese, H. (ed.) MODELS 2008. LNCS, vol.\u00a05002, pp. 293\u2013304. Springer, Heidelberg (2008)"},{"key":"8_CR3","first-page":"55","volume-title":"ICSE Workshop on CVSM","author":"P. Brosch","year":"2009","unstructured":"Brosch, P., Langer, P., Seidl, M., Wimmer, M.: Towards End-User Adaptable Model Versioning: The By-Example Operation Recorder. In: ICSE Workshop on CVSM, pp. 55\u201360. IEEE, Los Alamitos (2009)"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-540-87875-9_23","volume-title":"Model Driven Engineering Languages and Systems","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.) MODELS 2008. LNCS, vol.\u00a05301, pp. 311\u2013325. Springer, Heidelberg (2008)"},{"unstructured":"Eclipse Foundation. EMF Compare, \n                      \n                        http:\/\/www.eclipse.org\/modeling\/emft\/?project=compare","key":"8_CR5"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-04425-0_12","volume-title":"Model Driven Engineering Languages and Systems","author":"C. Gerth","year":"2009","unstructured":"Gerth, C., K\u00fcster, J.M., Engels, G.: Language-Independent Change Management of Process Models. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 152\u2013166. Springer, Heidelberg (2009)"},{"key":"8_CR7","first-page":"57","volume-title":"SCC 2010","author":"C. Gerth","year":"2010","unstructured":"Gerth, C., Luckey, M., K\u00fcster, J.M., Engels, G.: Detection of Semantically Equivalent Fragments for Business Process Model Change Management. In: SCC 2010, pp. 57\u201364. IEEE Computer Society, Los Alamitos (2010)"},{"unstructured":"International Business Machines Corp (IBM). IBM WebSphere Business Modeler, \n                      \n                        http:\/\/www.ibm.com\/software\/integration\/wbimodeler\/","key":"8_CR8"},{"unstructured":"Kelter, U., Wehren, J., Niere, J.: A Generic Difference Algorithm for UML Models. In: Liggesmeyer, P., Pohl, K., Goedicke, M. (eds.) Software Engineering 2005, GI. LNI, vol.\u00a064, pp. 105\u2013116 (2005)","key":"8_CR9"},{"unstructured":"Kiepuszewski, B.: Expressiveness and Suitability of Languages for Control Flow Modelling in Workflows. PhD thesis, Queensland University of Technology, Brisbane (2002)","key":"8_CR10"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/11880240_16","volume-title":"Model Driven Engineering Languages and Systems","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.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 215\u2013229. Springer, Heidelberg (2006)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-642-02674-4_12","volume-title":"Model Driven Architecture - Foundations and Applications","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., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol.\u00a05562, pp. 158\u2013173. Springer, Heidelberg (2009)"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/978-3-642-13595-8_17","volume-title":"ECMFA 2010","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., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol.\u00a06138, pp. 201\u2013216. Springer, Heidelberg (2010)"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-540-85758-7_19","volume-title":"Business Process Management","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., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 244\u2013260. Springer, Heidelberg (2008)"},{"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":"8_CR15"},{"key":"8_CR16","first-page":"707","volume":"10","author":"V.I. Levenshtein","year":"1966","unstructured":"Levenshtein, V.I.: Binary Codes Capable of Correcting Deletions, Insertions and Reversals. Soviet Physics Doklady\u00a010, 707 (1966)","journal-title":"Soviet Physics Doklady"},{"issue":"5","key":"8_CR17","doi-asserted-by":"publisher","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. Software Eng.\u00a028(5), 449\u2013462 (2002)","journal-title":"IEEE Trans. Software Eng."},{"issue":"3","key":"8_CR18","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s10270-006-0044-6","volume":"6","author":"T. Mens","year":"2007","unstructured":"Mens, T., Taentzer, G., Runge, O.: Analysing refactoring dependencies using graph transformation. Software and System Modeling\u00a06(3), 269\u2013285 (2007)","journal-title":"Software and System Modeling"},{"issue":"4","key":"8_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(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"8_CR20","first-page":"54","volume-title":"ICSE 2007","author":"S. Nejati","year":"2007","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S.M., Zave, P.: Matching and Merging of Statecharts Specifications. In: ICSE 2007, pp. 54\u201364. IEEE Computer Society, Los Alamitos (2007)"},{"unstructured":"Object Management Group (OMG). Business Process Modeling Notation (BPMN), \n                      \n                        http:\/\/www.omg.org\/spec\/BPMN\/1.2","key":"8_CR21"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-540-30468-5_9","volume-title":"On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE","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.) OTM 2004. LNCS, vol.\u00a03290, pp. 101\u2013120. Springer, Heidelberg (2004)"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-540-25959-6_35","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G. Taentzer","year":"2004","unstructured":"Taentzer, G.: AGG: A Graph Transformation Environment for Modeling and Validation of Software. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 446\u2013453. Springer, Heidelberg (2004)"},{"unstructured":"Glabbeek, R.J.v.: The Linear Time-Branching Time Spectrum I - The Semantics of Concrete, Sequential Processes. In: Handbook of Process Algebra, ch. 1, pp. 3\u201399. Elsevier, Amsterdam","key":"8_CR24"},{"key":"8_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/3-540-47961-9_37","volume-title":"Advanced Information Systems Engineering","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P., Hirnschall, A., Verbeek, H.M.W.: An Alternative Way to Analyze Workflow Graphs. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol.\u00a02348, pp. 535\u2013552. Springer, Heidelberg (2002)"},{"key":"8_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-74974-5_4","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"J. Vanhatalo","year":"2007","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Leymann, F.: Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 43\u201355. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16129-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T22:27:05Z","timestamp":1553120825000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16129-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642161285","9783642161292"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16129-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}