{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:52:29Z","timestamp":1747806749740},"publisher-location":"Berlin, Heidelberg","reference-count":55,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540886426"},{"type":"electronic","value":"9783540886433"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88643-3_1","type":"book-chapter","created":{"date-parts":[[2008,10,7]],"date-time":"2008-10-07T03:12:26Z","timestamp":1223349146000},"page":"3-46","source":"Crossref","is-referenced-by-count":18,"title":["Design Space of Heterogeneous Synchronization"],"prefix":"10.1007","author":[{"given":"Micha\u0142","family":"Antkiewicz","sequence":"first","affiliation":[]},{"given":"Krzysztof","family":"Czarnecki","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"1_CR1","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MC.1987.1663532","volume":"20","author":"P. Frederick","year":"1987","unstructured":"Frederick, P., Brooks, J.: No silver bullet: essence and accidents of software engineering. Computer\u00a020(4), 10\u201319 (1987)","journal-title":"Computer"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Nuseibeh, B., Kramer, J., Finkelstein, A.: Expressing the relationships between multiple views in requirements specification. In: ICSE, pp. 187\u2013196 (1993)","DOI":"10.1109\/ICSE.1993.346045"},{"issue":"4","key":"1_CR3","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1109\/2.917550","volume":"34","author":"M.W. Maier","year":"2001","unstructured":"Maier, M.W., Emery, D., Hilliard, R.: Software architecture: Introducing ieee standard 1471. Computer\u00a034(4), 107\u2013109 (2001)","journal-title":"Computer"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Brunet, G., Chechik, M., Easterbrook, S., Nejati, S., Niu, N., Sabetzadeh, M.: A manifesto for model merging. In: GaMMa, pp. 5\u201312 (2006)","DOI":"10.1145\/1138304.1138307"},{"key":"1_CR5","unstructured":"Balzer, R.: Tolerating inconsistency. In: ICSE, pp. 158\u2013165 (1991)"},{"issue":"1","key":"1_CR6","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1049\/sej.1996.0004","volume":"11","author":"S. Easterbrook","year":"1996","unstructured":"Easterbrook, S., Nuseibeh, B.: Using viewpoints for inconsistency management. BCS\/IEE Software Engineering Journal\u00a011(1), 31\u201343 (1996)","journal-title":"BCS\/IEE Software Engineering Journal"},{"issue":"11","key":"1_CR7","doi-asserted-by":"publisher","first-page":"960","DOI":"10.1109\/32.730545","volume":"24","author":"J. Grundy","year":"1998","unstructured":"Grundy, J., Hosking, J., Mugridge, W.B.: Inconsistency management for multiple-view software development environments. IEEE Trans. Softw. Eng.\u00a024(11), 960\u2013981 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1142\/9789812389718_0015","volume-title":"Handbook of Software Engineering and Knowledge Engineering","author":"G. Spanoudakis","year":"2001","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 Publishing Co, Singapore (2001)"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/11768869_14","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"F. Jouault","year":"2006","unstructured":"Jouault, F., B\u00e9zivin, J.: KM3: a DSL for metamodel specification. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 171\u2013185. Springer, Heidelberg (2006), http:\/\/www.lina.sciences.univ-nantes.fr\/Publications\/2006\/JB06a"},{"key":"1_CR10","unstructured":"Antkiewicz, M.: Framework-Specific Modeling Languages. PhD thesis, University of Waterloo (2008) (submitted for review)"},{"key":"1_CR11","volume-title":"Patterns of Enterprise Application Architecture","author":"M. Fowler","year":"2002","unstructured":"Fowler, M.: Patterns of Enterprise Application Architecture. Addison-Wesley Professional, Reading (2002)"},{"key":"1_CR12","volume-title":"Model-Driven Software Development : Technology, Engineering, Management","author":"T. Stahl","year":"2006","unstructured":"Stahl, T., V\u00f6lter, M.: Model-Driven Software Development: Technology, Engineering, Management. John Wiley & Sons, Chichester (2006)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"G. Wachsmuth","year":"2007","unstructured":"Wachsmuth, G.: Metamodel adaptation and model co-adaptation. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609. Springer, Heidelberg (2007)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Nowak, W., Peterson, S.: Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU\/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA (1990)","DOI":"10.21236\/ADA235785"},{"key":"#cr-split#-1_CR15.1","unstructured":"Czarnecki, K., Kim, C.H.P.: Cardinality-based feature modeling and constraints: A progress report. In: OOPSLA International Workshop on Software Factories (2005);"},{"key":"#cr-split#-1_CR15.2","unstructured":"On-line proceedings"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Antkiewicz, M., Tonelli Bartolomei, T., Czarnecki, K.: Automatic extraction of framework-specific models from framework-based application code. In: ASE, pp. 214\u2013223 (2007)","DOI":"10.1145\/1321631.1321664"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. In: POPL, pp. 233\u2013246 (2005)","DOI":"10.1145\/1040305.1040325"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/11880240_23","volume-title":"Model Driven Engineering Languages and Systems","author":"D. Hearnden","year":"2006","unstructured":"Hearnden, D., Lawley, M., Raymond, K.: Incremental model transformation for the evolution of model-driven systems. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 321\u2013335. Springer, Heidelberg (2006)"},{"key":"1_CR19","unstructured":"Eclipse Foundation: Java Emitter Templates Component (2007), http:\/\/www.eclipse.org\/modeling\/m2t\/?project=jet"},{"key":"1_CR20","unstructured":"Eclipse Foundation: Eclipse Modeling Framework Project (2007), http:\/\/www.eclipse.org\/modeling\/emf\/?project=emf"},{"key":"1_CR21","unstructured":"Nickel, U.A., Niere, J., Wadsack, J.P., Z\u00fcndorf, A.: Roundtrip engineering with FUJABA. In: WSR, Fachberichte Informatik, Universit\u00e4t Koblenz-Landau (2000)"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"A\u00dfmann, U.: Automatic roundtrip engineering. Electr. Notes Theor. Comput. Sci.\u00a082(5) (2003)","DOI":"10.1016\/S1571-0661(04)80732-1"},{"key":"1_CR23","unstructured":"Sendall, S., K\u00fcster, J.M.: Taming model round-trip engineering (2004)"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-75209-7_1","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Stevens","year":"2007","unstructured":"Stevens, P.: Bidirectional model transformations in QVT: Semantic issues and open questions. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 1\u201315. Springer, Heidelberg (2007)"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/11880240_38","volume-title":"Model Driven Engineering Languages and Systems","author":"H. Giese","year":"2006","unstructured":"Giese, H., Wagner, R.: Incremental Model Synchronization with Triple Graph Grammars. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 543\u2013557. Springer, Heidelberg (2006)"},{"key":"1_CR26","unstructured":"Kindler, E., Wagner, R.: Triple graph grammars: Concepts, extensions, implementations, and application scenarios. Technical Report tr-ri-07-284, Software Engineering Group, Department of Computer Science, University of Paderborn (2007)"},{"issue":"4","key":"1_CR27","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1016\/j.jcss.2006.10.024","volume":"73","author":"J.N. Foster","year":"2007","unstructured":"Foster, J.N., Greenwald, M.B., Kirkegaard, C., Pierce, B.C., Schmitt, A.: Exploiting schemas in data synchronization. J. Comput. Syst. Sci.\u00a073(4), 669\u2013689 (2007)","journal-title":"J. Comput. Syst. Sci."},{"key":"1_CR28","unstructured":"Antkiewicz, M., Czarnecki, K.: Framework-specific modeling languages; examples and algorithms. Technical Report 2007-18, ECE, Univeristy of Waterloo (2007)"},{"key":"1_CR29","unstructured":"ATLAS Group: ATLAS Transformation Language (2007), http:\/\/www.eclipse.org\/m2m\/atl\/"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Liu, D., Hu, Z., Zhao, H., Takeichi, M., Mei, H.: Towards automatic model synchronization from model transformations. In: ASE, pp. 164\u2013173 (2007)","DOI":"10.1145\/1321631.1321657"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Abi-Antoun, M., Aldrich, J., Nahas, N., Schmerl, B., Garlan, D.: Differencing and merging of architectural views. In: ASE, pp. 47\u201358 (2006)","DOI":"10.1109\/ASE.2006.33"},{"key":"1_CR32","unstructured":"IBM: Rational Software Modeler (2007), http:\/\/www-306.ibm.com\/software\/awdtools\/modeler\/swmodeler\/"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S.M., Zave, P.: Matching and merging of statecharts specifications. In: ICSE, pp. 54\u201364 (2007)","DOI":"10.1109\/ICSE.2007.50"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Reiss, S.P.: Automatic code stylizing. In: ASE, pp. 74\u201383 (2007)","DOI":"10.1145\/1321631.1321645"},{"key":"1_CR35","unstructured":"Object Management Group: MOF QVT Final Adopted Specification. OMG Adopted Specification ptc\/05-11-01 (2005), http:\/\/www.omg.org\/docs\/ptc\/05-11-01.pdf"},{"key":"1_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-71289-3_7","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Ehrig","year":"2007","unstructured":"Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information preserving bidirectional model transformations. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol.\u00a04422, pp. 72\u201386. Springer, Heidelberg (2007)"},{"key":"1_CR37","unstructured":"Xiong, Y., Hu, Z., Takeichi, M., Zhao, H., Mei, H.: On-site synchronization of software artifacts. Technical Report METR 2008-21, Department of Mathematical Informatics, University of Tokyo (2008), http:\/\/www.ipl.t.u-tokyo.ac.jp\/~xiong\/papers\/METR08.pdf"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Pierce, B.C.: The weird world of bi-directional programming (2006) ETAPS invited talk, slides, http:\/\/www.cis.upenn.edu\/~bcpierce\/papers\/lenses-etapsslides.pdf","DOI":"10.1007\/11693024_23"},{"issue":"1","key":"1_CR39","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/1057977.1057980","volume":"37","author":"Y. Saito","year":"2005","unstructured":"Saito, Y., Shapiro, M.: Optimistic replication. ACM Comput. Surv.\u00a037(1), 42\u201381 (2005)","journal-title":"ACM Comput. Surv."},{"issue":"4","key":"1_CR40","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1145\/319628.319634","volume":"6","author":"F. Bancilhon","year":"1981","unstructured":"Bancilhon, F., Spyratos, N.: Update semantics of relational views. ACM Trans. Database Syst.\u00a06(4), 557\u2013575 (1981)","journal-title":"ACM Trans. Database Syst."},{"issue":"4","key":"1_CR41","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1145\/49346.50068","volume":"13","author":"G. Gottlob","year":"1988","unstructured":"Gottlob, G., Paolini, P., Zicari, R.: Properties and update semantics of consistent views. ACM Trans. Database Syst.\u00a013(4), 486\u2013524 (1988)","journal-title":"ACM Trans. Database Syst."},{"issue":"4","key":"1_CR42","doi-asserted-by":"publisher","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. The VLDB Journal\u00a010(4), 334\u2013350 (2001)","journal-title":"The VLDB Journal"},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"Nuseibeh, B., Kramer, J., Finkelstein, A.: Viewpoints: meaningful relationships are difficult! In: ICSE, pp. 676\u2013681 (2003)","DOI":"10.1109\/ICSE.2003.1201254"},{"issue":"4","key":"1_CR44","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1145\/369275.369289","volume":"29","author":"P.A. Bernstein","year":"2000","unstructured":"Bernstein, P.A., Halevy, A.Y., Pottinger, R.A.: A vision for management of complex models. SIGMOD Rec.\u00a029(4), 55\u201363 (2000)","journal-title":"SIGMOD Rec."},{"key":"1_CR45","unstructured":"Bernstein, P.: Applying model management to classical metadata problems. In: CIDR (2003)"},{"key":"1_CR46","doi-asserted-by":"crossref","unstructured":"Egyed, A.: Fixing inconsistencies in UML design models. In: ICSE, pp. 292\u2013301 (2007)","DOI":"10.1109\/ICSE.2007.38"},{"key":"1_CR47","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., Straeten, R.V.D., D\u2019Hondt, M.: Detecting and resolving model inconsistencies using transformation dependency analysis. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 200\u2013214. Springer, Heidelberg (2006)"},{"key":"1_CR48","doi-asserted-by":"crossref","unstructured":"Sriplakich, P., Blanc, X., Gervais, M.P.: Supporting transparent model update in distributed case tool integration. In: SAC, pp. 1759\u20131766 (2006)","DOI":"10.1145\/1141277.1141692"},{"key":"1_CR49","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Kadish, B.: Generic model management. In: Rivero, Doorn, Ferraggine (eds.) Encyclopedia of Database Technologies and Applications, pp. 258\u2013265. Idea Group (2005)","DOI":"10.4018\/978-1-59140-560-3.ch044"},{"key":"1_CR50","doi-asserted-by":"crossref","unstructured":"Diskin, Z.: Mathemtics of generic specifications for model management. In: Rivero, Doorn, Ferraggine (eds.) Encyclopedia of Database Technologies and Applications, pp. 351\u2013366. Idea Group (2005)","DOI":"10.4018\/978-1-59140-560-3.ch061"},{"key":"1_CR51","doi-asserted-by":"crossref","unstructured":"Mens, T., Van Gorp, P.: A taxonomy of model transformation. In: Proc. Int\u2019l Workshop on Graph and Model Transformation (2005)","DOI":"10.1016\/j.entcs.2005.10.021"},{"key":"1_CR52","doi-asserted-by":"crossref","unstructured":"Mens, T., Van Gorp, P., Varro, D., Karsai, G.: Applying a model transformation taxonomy to graph transformation technology. In: Proc. Int\u2019l Workshop on Graph and Model Transformation (2005)","DOI":"10.1016\/j.entcs.2005.10.022"},{"issue":"3","key":"1_CR53","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal\u00a045(3), 621\u2013645 (2006)","journal-title":"IBM Systems Journal"},{"key":"1_CR54","unstructured":"Diskin, Z., Diengel, J.: A metamodel independent framework for model transformation: Towards generic model management patterns in reverse engineering. In: Favre, J.-M., Gasevic, D., Laemmel, R., Winter, A. (eds.) 3rd Int.Workshop on Metamodels, Schemas, Grammas and Ontologies for reverse engineering, ATEM 2006 (2006)"}],"container-title":["Lecture Notes in Computer Science","Generative and Transformational Techniques in Software Engineering II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88643-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,20]],"date-time":"2023-05-20T08:03:00Z","timestamp":1684569780000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88643-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540886426","9783540886433"],"references-count":55,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88643-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}