{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:38:46Z","timestamp":1725892726039},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642360886"},{"type":"electronic","value":"9783642360893"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36089-3_10","type":"book-chapter","created":{"date-parts":[[2013,1,9]],"date-time":"2013-01-09T20:13:00Z","timestamp":1357762380000},"page":"164-183","source":"Crossref","is-referenced-by-count":11,"title":["Guided Merging of Sequence Diagrams"],"prefix":"10.1007","author":[{"given":"Magdalena","family":"Widl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armin","family":"Biere","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petra","family":"Brosch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"Egly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marijn","family":"Heule","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"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Project Website on Sequence Diagram Merging(September 2012), http:\/\/www.modelevolution.org\/prototypes\/sdmerge"},{"key":"10_CR2","unstructured":"Altmanninger, K., Brosch, P., Kappel, G., Langer, P., Seidl, M., Wieland, K., Wimmer, M.: Why Model Versioning Research is Needed!? In: Proc. MoDSE-MCCM Workshop (2009)"},{"key":"10_CR3","unstructured":"Barrett, S., Chalin, P., Butler, G.: Model Merging Falls Short of Software Engineering Needs. In: Proc. of the 2nd MoDSE Workshop @ MoDELS 2008 (2008)"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-04425-0_13","volume-title":"Model Driven Engineering Languages and Systems","author":"L. Bendix","year":"2009","unstructured":"Bendix, L., Emanuelsson, P.: Requirements for Practical Model Merge \u2013 An Industrial Perspective. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 167\u2013180. Springer, Heidelberg (2009)"},{"issue":"2","key":"10_CR5","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s10270-005-0079-0","volume":"4","author":"J. B\u00e9zivin","year":"2005","unstructured":"B\u00e9zivin, J.: On the Unification Power of Models. SoSyM\u00a04(2), 171\u2013188 (2005)","journal-title":"SoSyM"},{"issue":"2-4","key":"10_CR6","first-page":"75","volume":"4","author":"A. Biere","year":"2008","unstructured":"Biere, A.: Picosat essentials. JSAT\u00a04(2-4), 75\u201397 (2008)","journal-title":"JSAT"},{"key":"10_CR7","unstructured":"Biere, A., Heule, M., van Maaren, H., Walsh, T.: Handbook of Sat. IOS Press (2009)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Brooks Jr., F.P.: No Silver Bullet\u2014Essence and Accidents of Soft. Eng. Comp.\u00a020(4) (1987)","DOI":"10.1109\/MC.1987.1663532"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-642-30473-6_12","volume-title":"Tests and Proofs","author":"P. Brosch","year":"2012","unstructured":"Brosch, P., Egly, U., Gabmeyer, S., Kappel, G., Seidl, M., Tompits, H., Widl, M., Wimmer, M.: Towards Scenario-Based Testing of UML Diagrams. In: Brucker, A.D., Julliand, J. (eds.) TAP 2012. LNCS, vol.\u00a07305, pp. 149\u2013155. Springer, Heidelberg (2012)"},{"key":"10_CR10","doi-asserted-by":"crossref","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, ch. 15, pp. 410\u2013443. IGI Global (2011)","DOI":"10.4018\/978-1-61350-438-3.ch015"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Brosch, P., Langer, P., Seidl, M., Wieland, K., Wimmer, M.: Colex: A Web-based Collaborative Conflict Lexicon. In: Proc. Workshop on Model Comp. in Pract. ACM (2010)","DOI":"10.1145\/1826147.1826156"},{"key":"10_CR12","unstructured":"B\u00fcning, H., Lettmann, T.: Propositional logic. Camb. Univ. Pr. (1999)"},{"key":"10_CR13","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)"},{"issue":"2","key":"10_CR14","doi-asserted-by":"publisher","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 Computing Surveys\u00a030(2), 232\u2013282 (1998)","journal-title":"ACM Computing Surveys"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-642-21210-9_16","volume-title":"Models in Software Engineering","author":"Z. Diskin","year":"2011","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K.: Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol.\u00a06627, pp. 165\u2013179. Springer, Heidelberg (2011)"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Egyed, A.: Instant Consistency Checking for the UML. In: Proc. of the 28th Int. Conf. on Software Engineering (ICSE 2006), pp. 381\u2013390. ACM (2006)","DOI":"10.1145\/1134285.1134339"},{"issue":"7","key":"10_CR17","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/S0920-5489(98)00020-8","volume":"19","author":"R.B. France","year":"1998","unstructured":"France, R.B., Evans, A., Lano, K., Rumpe, B.: The UML as a Formal Modeling Notation. Computer Standards & Interfaces\u00a019(7), 325\u2013334 (1998)","journal-title":"Computer Standards & Interfaces"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Gerth, C., K\u00fcster, J., Luckey, M., Engels, G.: Detection and Resolution of Conflicting Change Operations in Version Management of Process Models. In: SoSym, pp. 1\u201319 (2011)","DOI":"10.1007\/s10270-011-0226-8"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S., Zave, P.: Matching and Merging of Statecharts Specifications. In: Proc. ICSE 2007, pp. 54\u201364. IEEE (2007)","DOI":"10.1109\/ICSE.2007.50"},{"key":"10_CR20","unstructured":"OMG. Unified Modeling Language (OMG UML), Superstructure V2.4.1 (August 2011), http:\/\/www.omg.org\/spec\/UML\/2.4.1\/"},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/3-540-07131-8_28","volume-title":"Programming Methodology","author":"D. Parnas","year":"1975","unstructured":"Parnas, D.: Software Engineering or Methods for the Multi-Person Construction of Multi-Version Programs. In: Hackl, C.E. (ed.) IBM 1974. LNCS, vol.\u00a023, pp. 225\u2013235. Springer, Heidelberg (1975)"},{"issue":"2","key":"10_CR22","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/s10009-004-0183-4","volume":"7","author":"M.R. Prasad","year":"2005","unstructured":"Prasad, M.R., Biere, A., Gupta, A.: A Survey of Recent Advances in SAT-based Formal Verification. STTT\u00a07(2), 156\u2013173 (2005)","journal-title":"STTT"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Sabetzadeh, M., Nejati, S., Liaskos, S., Easterbrook, S.M., Chechik, M.: Consistency checking of conceptual models via model merging. In: Proc. RE 2007. IEEE (2007)","DOI":"10.1109\/RE.2007.18"},{"issue":"115-125","key":"10_CR24","first-page":"10","volume":"2","author":"G. Tseitin","year":"1968","unstructured":"Tseitin, G.: On the Complexity of Derivation in Propositional Calculus. Studies in Constructive Mathematics and Mathematical Logic\u00a02(115-125), 10\u201313 (1968)","journal-title":"Studies in Constructive Mathematics and Mathematical Logic"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Tsiolakis, A.: Integrating Model Information in UML Sequence Diagrams. In: Proc. Worksh. ICALP 2001. El. Notes in Theor. Comp. Sc, vol.\u00a050, pp. 268\u2013276. Elsevier (2001)","DOI":"10.1016\/S1571-0661(04)00178-1"},{"key":"10_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-642-21470-7_6","volume-title":"Modelling Foundations and Applications","author":"R. Straeten Van Der","year":"2011","unstructured":"Van Der Straeten, R., Pinna Puissant, J., Mens, T.: Assessing the Kodkod Model Finder for Resolving Model Inconsistencies. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol.\u00a06698, pp. 69\u201384. Springer, Heidelberg (2011)"},{"issue":"2","key":"10_CR27","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s10270-003-0050-x","volume":"3","author":"D. Varr\u00f3","year":"2004","unstructured":"Varr\u00f3, D.: Automated Formal Verification of Visual Modeling Languages by Model Checking. SoSyM\u00a03(2), 85\u2013113 (2004)","journal-title":"SoSyM"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Westfechtel, B.: A Formal Approach to Three-way Merging of EMF Models. In: Proc. of the 1st Int. Workshop on Model Comparison in Practice @ TOOLS 2010, pp. 31\u201341. ACM (2010)","DOI":"10.1145\/1826147.1826155"}],"container-title":["Lecture Notes in Computer Science","Software Language Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36089-3_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,5]],"date-time":"2022-02-05T12:25:09Z","timestamp":1644063909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36089-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642360886","9783642360893"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36089-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}