{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T11:26:16Z","timestamp":1751109976822,"version":"3.37.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319747293"},{"type":"electronic","value":"9783319747309"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-74730-9_11","type":"book-chapter","created":{"date-parts":[[2018,1,22]],"date-time":"2018-01-22T10:34:11Z","timestamp":1516617251000},"page":"136-145","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["On the Need for Temporal Model Repositories"],"prefix":"10.1007","author":[{"given":"Robert","family":"Bill","sequence":"first","affiliation":[]},{"given":"Alexandra","family":"Mazak","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Wimmer","sequence":"additional","affiliation":[]},{"given":"Birgit","family":"Vogel-Heuser","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,1,23]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-079-3","volume-title":"Visualization of Time-Oriented Data: Human-Computer Interaction Series","author":"W Aigner","year":"2011","unstructured":"Aigner, W., Miksch, S., Schumann, H., Tominski, C.: Visualization of Time-Oriented Data: Human-Computer Interaction Series. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-0-85729-079-3"},{"key":"11_CR2","unstructured":"Altmanninger, K., Brosch, P., Langer, P., Seidl, M., Wiel, K., Wimmer, M.: Why model versioning research is needed!? an experience report. In: Proceedings of MoDSE-MCCM Workshop, pp. 1\u201312 (2009)"},{"issue":"3","key":"11_CR3","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1108\/17440080910983556","volume":"5","author":"K Altmanninger","year":"2009","unstructured":"Altmanninger, K., Seidl, M., Wimmer, M.: A survey on model versioning approaches. IJWIS 5(3), 271\u2013304 (2009)","journal-title":"IJWIS"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45441-1_3","volume-title":"UML 2001 \u2014 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"C Atkinson","year":"2001","unstructured":"Atkinson, C., K\u00fchne, T.: The essence of multilevel metamodeling. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 19\u201333. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45441-1_3"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Barmpis, K., Kolovos, D.S.: Comparative analysis of data persistence technologies for large-scale models. In: Proceedings of Extreme Modeling Workshop, pp. 33\u201338 (2012)","DOI":"10.1145\/2467307.2467314"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-319-11245-9_13","volume-title":"Software Language Engineering","author":"R Bill","year":"2014","unstructured":"Bill, R., Gabmeyer, S., Kaufmann, P., Seidl, M.: Model checking of CTL-extended OCL specifications. In: Combemale, B., Pearce, D.J., Barais, O., Vinju, J.J. (eds.) SLE 2014. LNCS, vol. 8706, pp. 221\u2013240. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11245-9_13"},{"issue":"10","key":"11_CR7","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1109\/MC.2009.326","volume":"42","author":"G Blair","year":"2009","unstructured":"Blair, G., Bencomo, N., France, R.B.: Models@run.time. Computer 42(10), 22\u201327 (2009)","journal-title":"Computer"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-319-21151-0_4","volume-title":"Modelling Foundations and Applications","author":"E Bousse","year":"2015","unstructured":"Bousse, E., Mayerhofer, T., Combemale, B., Baudry, B.: A generative approach to define rich domain-specific trace metamodels. In: Taentzer, G., Bordeleau, F. (eds.) ECMFA 2015. LNCS, vol. 9153, pp. 45\u201361. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21151-0_4"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/3-540-45923-5_14","volume-title":"Fundamental Approaches to Software Engineering","author":"J Bradfield","year":"2002","unstructured":"Bradfield, J., Filipe, J.K., Stevens, P.: Enriching OCL using observational Mu-Calculus. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 203\u2013217. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45923-5_14"},{"key":"11_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-02549-5","volume-title":"Model-Driven Software Engineering in Practice: Synthesis Lectures on Software Engineering","author":"M Brambilla","year":"2017","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice: Synthesis Lectures on Software Engineering, 2nd edn. Morgan & Claypool Publishers, San Rafael (2017)","edition":"2"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-45221-8_5","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"J Cabot","year":"2003","unstructured":"Cabot, J., Oliv\u00e9, A., Teniente, E.: Representing temporal information in UML. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 44\u201359. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-45221-8_5"},{"issue":"4","key":"11_CR12","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/BF01202368","volume":"10","author":"W Cellary","year":"1994","unstructured":"Cellary, W., Vossen, G., Jomier, G.: Multiversion object constellations: a new approach to support a designer\u2019s database work. Eng. Comput. 10(4), 230\u2013244 (1994)","journal-title":"Eng. Comput."},{"issue":"2","key":"11_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1667062.1667063","volume":"42","author":"CA Furia","year":"2010","unstructured":"Furia, C.A., Mandrioli, D., Morzenti, A., Rossi, M.: Modeling time in computing: a taxonomy and a comparative survey. ACM Comput. Surv. 42(2), 1\u201359 (2010)","journal-title":"ACM Comput. Surv."},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Gogolla, M., Hilken, F., Doan, K., Desai, N.: Checking UML and OCL model behavior with filmstripping and classifying terms. In: Proceedings of TAP, pp. 119\u2013128 (2017)","DOI":"10.1007\/978-3-319-61467-0_7"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Golfarelli, M., Rizzi, S.: Temporal data warehousing: approaches and techniques. In: Integrations of Data Warehousing, Data Mining and Database Technologies, pp. 1\u201318 (2011)","DOI":"10.4018\/978-1-60960-537-7.ch001"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-642-36089-3_6","volume-title":"Software Language Engineering","author":"B Kanso","year":"2013","unstructured":"Kanso, B., Taha, S.: Temporal constraint support for OCL. In: Czarnecki, K., Hedin, G. (eds.) SLE 2012. LNCS, vol. 7745, pp. 83\u2013103. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36089-3_6"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/11691617_19","volume-title":"Model Checking Software","author":"H Kastenberg","year":"2006","unstructured":"Kastenberg, H., Rensink, A.: Model checking dynamic states in GROOVE. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol. 3925, pp. 299\u2013305. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11691617_19"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Rose, L.M., Matragkas, N., Paige, R.F., Guerra, E., Cuadrado, J.S., De Lara, J., R\u00e1th, I., Varr\u00f3, D., Tisi, M., Cabot, J.: A research roadmap towards achieving scalability in model driven engineering. In: Proceedings of BigMDE, pp. 2:1\u20132:10 (2013)","DOI":"10.1145\/2487766.2487768"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Mazak, A., Wimmer, M.: Towards liquid models: an evolutionary modeling approach. In: Proceedings of CBI, pp. 104\u2013112 (2016)","DOI":"10.1109\/CBI.2016.20"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-11245-9_1","volume-title":"Software Language Engineering","author":"B Meyers","year":"2014","unstructured":"Meyers, B., Deshayes, R., Lucio, L., Syriani, E., Vangheluwe, H., Wimmer, M.: ProMoBox: a framework for generating domain-specific property languages. In: Combemale, B., Pearce, D.J., Barais, O., Vinju, J.J. (eds.) SLE 2014. LNCS, vol. 8706, pp. 1\u201320. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11245-9_1"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-540-72952-5_4","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"J Mullins","year":"2007","unstructured":"Mullins, J., Oarga, R.: Model checking of extended OCL constraints on UML models in SOCLe. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 59\u201375. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-72952-5_4"},{"key":"11_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-642-01648-6_7","volume-title":"Models in Software Engineering","author":"JE Rivera","year":"2009","unstructured":"Rivera, J.E., Romero, J.R., Vallecillo, A.: Behavior, time and viewpoint consistency: three challenges for MDE. In: Chaudron, M.R.V. (ed.) MODELS 2008. LNCS, vol. 5421, pp. 60\u201365. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-01648-6_7"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0034665","volume-title":"Database and Expert Systems Applications","author":"J Rykowski","year":"1996","unstructured":"Rykowski, J., Cellary, W.: Using multiversion object-oriented databases in CAD\/CIM systems. In: Wagner, R.R., Thoma, H. (eds.) DEXA 1996. LNCS, vol. 1134, pp. 1\u201310. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/BFb0034665"},{"issue":"3","key":"11_CR24","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1016\/S1571-0661(04)00262-2","volume":"55","author":"T Sch\u00e4fer","year":"2001","unstructured":"Sch\u00e4fer, T., Knapp, A., Merz, S.: Model checking UML state machines and collaborations. Electr. Notes Theor. Comput. Sci. 55(3), 357\u2013369 (2001)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"11_CR25","unstructured":"Tansel, A.U., Clifford, J., Gadia, S., Jajodia, S., Segev, A., Snodgrass, R. (eds.): Temporal Databases: Theory, Design, and Implementation (1993)"},{"key":"11_CR26","first-page":"54","volume":"110","author":"B Vogel-Heuser","year":"2015","unstructured":"Vogel-Heuser, B., Fay, A., Schaefer, I., Tichy, M.: Evolution of software in automated production systems: challenges and research directions. JSS 110, 54\u201384 (2015)","journal-title":"JSS"}],"container-title":["Lecture Notes in Computer Science","Software Technologies: Applications and Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74730-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,13]],"date-time":"2022-08-13T00:06:05Z","timestamp":1660349165000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74730-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319747293","9783319747309"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74730-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}