{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T01:10:14Z","timestamp":1738285814406,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540682578"},{"type":"electronic","value":"9783540682622"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68262-2_13","type":"book-chapter","created":{"date-parts":[[2008,7,11]],"date-time":"2008-07-11T13:21:55Z","timestamp":1215782515000},"page":"169-183","source":"Crossref","is-referenced-by-count":0,"title":["Model Driven Formal Development of Digital Libraries"],"prefix":"10.1007","author":[{"given":"Esther","family":"Guerra","sequence":"first","affiliation":[]},{"given":"Juan","family":"de Lara","sequence":"additional","affiliation":[]},{"given":"Alessio","family":"Malizia","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Anderson, K.M., Andersen, A., Wadhwani, N., Bartolo, L.M.: Metis: Lightweight, flexible, and web-based workflow services for digital libraries. In: JCDL, pp. 98\u2013109 (2003)","key":"13_CR1","DOI":"10.1109\/JCDL.2003.1204847"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Research and Advanced Technology for Digital Libraries","author":"D. Castelli","year":"2002","unstructured":"Castelli, D., Meghini, C., Pagano, P.: Foundations of a multidimensional query language for digital libraries. In: Agosti, M., Thanos, C. (eds.) ECDL 2002. LNCS, vol.\u00a02458, Springer, Heidelberg (2002)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/978-3-540-25959-6_21","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"J. Lara de","year":"2004","unstructured":"de Lara, J., Guerra, E., Vangheluwe, H.: Metamodelling, graph transformation and model checking for the analysis of hybrid systems. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 292\u2013298. Springer, Heidelberg (2004)"},{"unstructured":"Dushay, N.: Using structural metadata to localize experience of digital content. CoRR, cs\/0112017 (2001)","key":"13_CR4"},{"key":"13_CR5","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)"},{"issue":"2","key":"13_CR6","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1145\/984321.984325","volume":"22","author":"M.A. Gon\u00e7alves","year":"2004","unstructured":"Gon\u00e7alves, M.A., Fox, E.A., Watson, L.T., Kipp, N.A.: Streams, structures, spaces, scenarios, societies (5s): A formal model for digital libraries. ACM Trans. Inf. Syst.\u00a022(2), 270\u2013312 (2004)","journal-title":"ACM Trans. Inf. Syst."},{"unstructured":"Guerra, E., de Lara, J.: Attributed typed triple graph transformation with inheritance in the double pushout approach. In: Technical Report UC3M-TR-CS-06-01, Universidad Carlos III de Madrid (2006)","key":"13_CR7"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/11841883_25","volume-title":"Graph Transformations","author":"E. Guerra","year":"2006","unstructured":"Guerra, E., de Lara, J.: Model view management with triple graph transformation systems. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 351\u2013366. Springer, Heidelberg (2006)"},{"issue":"3","key":"13_CR9","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0306-4573(98)00060-0","volume":"35","author":"T.R. Kochtanek","year":"1999","unstructured":"Kochtanek, T.R., Hein, K.K.: Delphi study of digital libraries. Inf. Proc. Manag.\u00a035(3), 245\u2013254 (1999)","journal-title":"Inf. Proc. Manag."},{"key":"13_CR10","volume-title":"Libraries of the Future","author":"J.C.R. Licklider","year":"1965","unstructured":"Licklider, J.C.R.: Libraries of the Future. MIT Press, Cambridge (1965)"},{"unstructured":"Malizia, A., Guerra, E., de Lara, J.: Model-driven development of digital libraries: Generating the user interface. In: Proc. MDDAUI 2006 (2006)","key":"13_CR11"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45268-0_16","volume-title":"Research and Advanced Technology for Digital Libraries","author":"K. Maly","year":"2000","unstructured":"Maly, K., Zubair, M., Anan, H., Tan, D., Zhang, Y.: Scalable Digital Libraries Based on NCSTRL\/Dienst. In: Borbinha, J.L., Baker, T. (eds.) ECDL 2000. LNCS, vol.\u00a01923, Springer, Heidelberg (2000)"},{"issue":"4","key":"13_CR13","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. Proc. of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proc. of the IEEE"},{"unstructured":"Reddy, R., Wladawsky-Berger, I.: Digital libraries: Universal access to human knowledgea report to the president. In: PITAC, Panel on DLs (2001)","key":"13_CR14"},{"unstructured":"V\u00f6lter, M., Stahl, T.: Model-Driven Software Development. Willey (2006)","key":"13_CR15"},{"issue":"2-3","key":"13_CR16","first-page":"91","volume":"2","author":"B. Wang","year":"1999","unstructured":"Wang, B.: A hybrid system approach for supporting digital libraries. JDL\u00a02(2-3), 91\u2013110 (1999)","journal-title":"JDL"},{"unstructured":"XDoclet home page, http:\/\/xdoclet.sourceforge.net\/xdoclet\/index.html","key":"13_CR17"}],"container-title":["Lecture Notes in Business Information Processing","Web Information Systems and Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68262-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T00:31:06Z","timestamp":1738283466000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68262-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540682578","9783540682622"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68262-2_13","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2008]]}}}