{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:19:14Z","timestamp":1742962754778,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642296444"},{"type":"electronic","value":"9783642296451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29645-1_24","type":"book-chapter","created":{"date-parts":[[2012,4,12]],"date-time":"2012-04-12T11:56:43Z","timestamp":1334231803000},"page":"246-256","source":"Crossref","is-referenced-by-count":8,"title":["Towards Semantics-Aware Merge Support in Optimistic Model Versioning"],"prefix":"10.1007","author":[{"given":"Petra","family":"Brosch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"Egly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Gabmeyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerti","family":"Kappel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martina","family":"Seidl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Tompits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Magdalena","family":"Widl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Wimmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"Brosch, P., Kappel, G., Langer, P., Seidl, M., Wieland, K., Wimmer, M.: The Past, Present, and Future of Model Versioning. In: Emerging Technologies for the Evolution and Maintenance of Software Models. IGI Global (2011)"},{"key":"24_CR2","unstructured":"Brosch, P., Kappel, G., Seidl, M., Wieland, K., Wimmer, M., Kargl, H., Langer, P.: Adaptable Model Versioning in Action. In: Modellierung. LNI, pp. 221\u2013236. GI (2010)"},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-642-21210-9_18","volume-title":"Models in Software Engineering","author":"P. Brosch","year":"2011","unstructured":"Brosch, P., Kargl, H., Langer, P., Seidl, M., Wieland, K., Wimmer, M., Kappel, G.: Conflicts as First-Class Entities: A UML Profile for Model Versioning. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol.\u00a06627, pp. 184\u2013193. Springer, Heidelberg (2011)"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Brosch, P., Langer, P., Seidl, M., Wieland, K., Wimmer, M.: Colex: A Web-based Collaborative Conflict Lexicon. In: IWMCP @ TOOLS 2010, pp. 42\u201349 (2010)","DOI":"10.1145\/1826147.1826156"},{"key":"24_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-00255-7_4","volume-title":"Integrated Formal Methods","author":"J. Cabot","year":"2009","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: Verifying UML\/OCL Operation Contracts. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol.\u00a05423, pp. 40\u201355. Springer, Heidelberg (2009)"},{"key":"24_CR6","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)"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Egyed, A.: UML\/Analyzer: A Tool for the Instant Consistency Checking of UML Models. In: 29th Int. Conf. on Software Engineering, pp. 793\u2013796. IEEE (2007)","DOI":"10.1109\/ICSE.2007.91"},{"key":"24_CR8","unstructured":"Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley Professional (2003)"},{"key":"24_CR9","first-page":"143","volume":"254","author":"V. Lima","year":"2009","unstructured":"Lima, V., Talhi, C., Mouheb, D., Debbabi, M., Wang, L., Pourzandi, M.: Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages. ENTCS\u00a0254, 143\u2013160 (2009)","journal-title":"ENTCS"},{"key":"24_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-21210-9_19","volume-title":"Models in Software Engineering","author":"S. Maoz","year":"2011","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: A Manifesto for Semantic Model Differencing. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol.\u00a06627, pp. 194\u2013203. Springer, Heidelberg (2011)"},{"key":"24_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/11880240_15","volume-title":"Model Driven Engineering Languages and Systems","author":"T. Mens","year":"2006","unstructured":"Mens, T., Van Der Straeten, R., D\u2019Hondt, M.: Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MODELS 2006. LNCS, vol.\u00a04199, pp. 200\u2013214. Springer, Heidelberg (2006)"},{"issue":"3","key":"24_CR12","first-page":"325","volume":"35","author":"P. Pelliccione","year":"2008","unstructured":"Pelliccione, P., Inverardi, P., Muccini, H.: CHARMY: A Framework for Designing and Verifying Architectural Specifications. TSE\u00a035(3), 325\u2013346 (2008)","journal-title":"TSE"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Reiter, T., Altmanninger, K., Bergmayr, A., Schwinger, W., Kotsis, G.: Models in Conflict \u2013 Detection of Semantic Conflicts in Model-based Development. In: MDEIS @ ICEIS 2007, pp. 29\u201340 (2007)","DOI":"10.5220\/0002422600290040"},{"issue":"3","key":"24_CR14","first-page":"357","volume":"55","author":"T. Sch\u00e4fer","year":"2001","unstructured":"Sch\u00e4fer, T., Knapp, A., Merz, S.: Model Checking UML State Machines and Collaborations. ENTCS\u00a055(3), 357\u2013369 (2001)","journal-title":"ENTCS"}],"container-title":["Lecture Notes in Computer Science","Models in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29645-1_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:34:20Z","timestamp":1742931260000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29645-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642296444","9783642296451"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29645-1_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}