{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:56:54Z","timestamp":1725796614838},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319091945"},{"type":"electronic","value":"9783319091952"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09195-2_5","type":"book-chapter","created":{"date-parts":[[2014,7,9]],"date-time":"2014-07-09T13:30:06Z","timestamp":1404912606000},"page":"67-82","source":"Crossref","is-referenced-by-count":8,"title":["Interpretation of Linguistic Architecture"],"prefix":"10.1007","author":[{"given":"Ralf","family":"L\u00e4mmel","sequence":"first","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Andrei","family":"Varanovich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","first-page":"69","volume":"152","author":"J. B\u00e9zivin","year":"2006","unstructured":"B\u00e9zivin, J., Jouault, F.: Using ATL for Checking Models. ENTCS\u00a0152, 69\u201381 (2006)","journal-title":"ENTCS"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11538097_3","volume-title":"Model Driven Architecture","author":"J. B\u00e9zivin","year":"2005","unstructured":"B\u00e9zivin, J., Jouault, F., Rosenthal, P., Valduriez, P.: Modeling in the Large and Modeling in the Small. In: A\u00dfmann, U., Ak\u015fit, M., Rensink, A. (eds.) MDAFA 2003. LNCS, vol.\u00a03599, pp. 33\u201346. Springer, Heidelberg (2005)"},{"issue":"3","key":"5_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jswis.2009081901","volume":"5","author":"C. Bizer","year":"2009","unstructured":"Bizer, C., Heath, T., Berners-Lee, T.: Linked data - the story so far. Int. J. Semantic Web Inf. Syst.\u00a05(3), 1\u201322 (2009)","journal-title":"Int. J. Semantic Web Inf. Syst."},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/978-3-319-02654-1_18","volume-title":"Software Language Engineering","author":"Z. Diskin","year":"2013","unstructured":"Diskin, Z., Kokaly, S., Maibaum, T.: Mapping-aware megamodeling: Design patterns and laws. In: Erwig, M., Paige, R.F., Van Wyk, E. (eds.) SLE 2013. LNCS, vol.\u00a08225, pp. 322\u2013343. Springer, Heidelberg (2013)"},{"key":"5_CR5","unstructured":"Favre, J.-M.: Foundations of meta-pyramids: Languages vs. metamodels \u2013 Episode II: Story of thotus the baboon. In: Language Engineering for Model-Driven Software Development, number 04101 in Dagstuhl Seminar Proceedings (2005)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-642-30561-0_6","volume-title":"Objects, Models, Components, Patterns","author":"J.-M. Favre","year":"2012","unstructured":"Favre, J.-M., L\u00e4mmel, R., Schmorleiz, T., Varanovich, A.: 101companies: A Community Project on Software Technologies and Software Languages. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol.\u00a07304, pp. 58\u201374. Springer, Heidelberg (2012)"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-33666-9_11","volume-title":"Model Driven Engineering Languages and Systems","author":"J.-M. Favre","year":"2012","unstructured":"Favre, J.-M., L\u00e4mmel, R., Varanovich, A.: Modeling the Linguistic Architecture of Software Products. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol.\u00a07590, pp. 151\u2013167. Springer, Heidelberg (2012)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Favre, J.-M., Guyen, T.N.: Towards a Megamodel to Model Software Evolution through Transformations. ENTCS\u00a0127(3) (2004); Proc. of the SETra Workshop","DOI":"10.1016\/j.entcs.2004.08.034"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/11763864_24","volume-title":"Reuse of Off-the-Shelf Components","author":"L. Favre","year":"2006","unstructured":"Favre, L., Martinez, L.: Formalizing mda components. In: Morisio, M. (ed.) ICSR 2006. LNCS, vol.\u00a04039, pp. 326\u2013339. Springer, Heidelberg (2006)"},{"key":"5_CR10","unstructured":"O.M. Group: Object Constraint Language Object Constraint Language, OMG Available Specification, Version 2.0 (2006)"},{"issue":"2","key":"5_CR11","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/227699.227700","volume":"18","author":"C.V. Hall","year":"1996","unstructured":"Hall, C.V., Hammond, K., Jones, S.L.P., Wadler, P.: Type Classes in Haskell. TOPLAS\u00a018(2), 109\u2013138 (1996)","journal-title":"TOPLAS"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Hilliard, R., Malavolta, I., Muccini, H., Pelliccione, P.: Realizing Architecture Frameworks Through Megamodelling Techniques. In: Proc. of ASE 2010, pp. 305\u2013308. ACM (2010)","DOI":"10.1145\/1858996.1859057"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-3-642-33666-9_26","volume-title":"Model Driven Engineering Languages and Systems","author":"E.K. Jackson","year":"2012","unstructured":"Jackson, E.K., Schulte, W., Bj\u00f8rner, N.: Detecting Specification Errors in Declarative Languages with Constraints. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol.\u00a07590, pp. 399\u2013414. Springer, Heidelberg (2012)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11663430_14","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"F. Jouault","year":"2006","unstructured":"Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 128\u2013138. Springer, Heidelberg (2006)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Keivanloo, I., Forbes, C., Hmood, A., Erfani, M., Neal, C., Peristerakis, G., Rilling, J.: A linked data platform for mining software repositories. In: Proc. of MSR 2012, pp. 32\u201335. IEEE (2012)","DOI":"10.1109\/MSR.2012.6224296"},{"key":"5_CR16","unstructured":"Kurtev, I., B\u00e9zivin, J., Ak\u015fit, M.: Technological Spaces: An Initial Appraisal. In: Proc. of CoopIS, DOA 2002, Industrial Track (2002)"},{"key":"5_CR17","unstructured":"Naish, L., Sterling, L.: Stepwise enhancement and higher-order programming in prolog. Journal of Functional and Logic Programming 2000(4) (2000)"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Seibel, A., Neumann, S., Giese, H.: Dynamic hierarchical mega models: Comprehensive traceability and its efficient maintenance. Software & Systems Modeling 9(4), 493\u2013528 (2010)","DOI":"10.1007\/s10270-009-0146-z"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/11924661_2","volume-title":"Programming Languages and Systems","author":"M. Sulzmann","year":"2006","unstructured":"Sulzmann, M., Schrijvers, T., Stuckey, P.J.: Principal Type Inference for GHC-Style Multi-parameter Type Classes. In: Kobayashi, N. (ed.) APLAS 2006. LNCS, vol.\u00a04279, pp. 26\u201343. Springer, Heidelberg (2006)"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Vignaga, A., Jouault, F., Bastarrica, M., Bruneli\u00e8re, H.: Typing Artifacts in Megamodeling. Software and Systems Modeling, 1\u201315 (2011)","DOI":"10.1007\/s10270-011-0191-2"},{"issue":"4","key":"5_CR21","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/s10270-009-0145-0","volume":"9","author":"S. Winkler","year":"2010","unstructured":"Winkler, S., von Pilgrim, J.: A survey of traceability in requirements engineering and model-driven development. Software and System Modeling\u00a09(4), 529\u2013565 (2010)","journal-title":"Software and System Modeling"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09195-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T07:41:41Z","timestamp":1558942901000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09195-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319091945","9783319091952"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09195-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}