{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:46:24Z","timestamp":1755999984630},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2008,7,1]],"date-time":"2008-07-01T00:00:00Z","timestamp":1214870400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1007\/s10270-008-0086-z","type":"journal-article","created":{"date-parts":[[2008,6,30]],"date-time":"2008-06-30T14:41:06Z","timestamp":1214836866000},"page":"383-398","source":"Crossref","is-referenced-by-count":6,"title":["Correctly defined concrete syntax"],"prefix":"10.1007","volume":"7","author":[{"given":"Thomas","family":"Baar","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,7,1]]},"reference":[{"key":"86_CR1","unstructured":"Markovi\u0107, S., Baar, T.: An OCL semantics specified with QVT. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) Proceedings, MoDELS\/UML 2006, Genova, Italy, October 1\u20136, 2006, vol. 4199, LNCS, pp. 660\u2013674. Springer, Heidelberg (2006)"},{"key":"86_CR2","volume-title":"The Unified Modeling Language Reference Manual. Object Technology Series","author":"J. Rumbaugh","year":"2005","unstructured":"Rumbaugh J., Jacobson I., Booch G.: The Unified Modeling Language Reference Manual. Object Technology Series, 2nd edn. Addison-Wesley, Reading (2005)","edition":"2"},{"key":"86_CR3","doi-asserted-by":"crossref","unstructured":"Baar, T.: Correctly defined concrete syntax for visual models. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) Proceedings, MoDELS\/UML 2006, Genova, Italy, vol. 4199, LNCS, pp. 111\u2013125. Springer, Heidelberg (2006)","DOI":"10.1007\/11880240_9"},{"key":"86_CR4","doi-asserted-by":"crossref","unstructured":"Fondement, F., Baar, T.: Making metamodels aware of concrete syntax. In: Hartman, A., Kreische, D. (eds.) Proceedings of European conference on Model Driven Architecture (ECMDA-FA), vol. 3748, LNCS, pp. 190\u2013204. Springer, Heidelberg (2005)","DOI":"10.1007\/11581741_15"},{"issue":"6","key":"86_CR5","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1006\/jvlc.2002.0234","volume":"13","author":"G. Costagliola","year":"2002","unstructured":"Costagliola G., De Lucia A., Orefice S., Polese G.: A classification framework to support the design of visual languages. J. Vis. Lang. Comput. 13(6), 573\u2013600 (2002)","journal-title":"J. Vis. Lang. Comput."},{"issue":"4","key":"86_CR6","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1145\/1040291.1040293","volume":"13","author":"G. Costagliola","year":"2004","unstructured":"Costagliola G., Deufemia V., Polese G.: A framework for modeling and implementing visual notations with applications to software engineering. ACM Trans. Softw. Eng. Methodol. (TOSEM) 13(4), 431\u2013487 (2004)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"86_CR7","unstructured":"OMG. Diagram Interchange, Version 1.0. formal\/06-04-04 (2006)"},{"key":"86_CR8","unstructured":"USE homepage, http:\/\/www.db.informatik.uni-bremen.de\/projects\/USE\/"},{"key":"86_CR9","doi-asserted-by":"crossref","unstructured":"Muller, P.-A., Fleurey, F., Fondement, F., Hassenforder, M., Schneckenburger, R., G\u00e9rard, S., J\u00e9z\u00e9quel, J.-M.: Model-driven analysis and synthesis of concrete syntax. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio G. (eds.) Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1\u20136, 2006, Proceedings, vol. 4199, LNCS, pp. 98\u2013110. Springer, Heidelberg (2006)","DOI":"10.1007\/11880240_8"},{"key":"86_CR10","unstructured":"Detlefs, D.L., Nelson, G., Saxe, J.B.: Simplify: the ESC theorem prover. Technical Report (1996)"},{"key":"86_CR11","unstructured":"Presburger, M.: \u00dcber die vollst\u00e4ndigkeit eines gewissen systems der arithmetik ganzer zahlen, in welchen, die addition als einzige operation hervortritt. Sprawozdanie z I Kongresu Matematikow Krajow Slowcanskich Warszawa, pp. 92\u2013101 (1929)"},{"key":"86_CR12","doi-asserted-by":"crossref","unstructured":"Beckert, B., H\u00e4hnle, R., Schmitt, P.H. (eds.): Verification of Object-Oriented Software: The KeY Approach, vol. 4334, LNCS. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-69061-0"},{"key":"86_CR13","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1. World Scientific, Singapore (1997)","DOI":"10.1142\/3303"},{"key":"86_CR14","doi-asserted-by":"crossref","unstructured":"Bardohl, R., Ehrig, H., de Lara, J., Taentzer, G.: Integrating meta-modelling aspects with graph transformation for efficient visual language definition and model manipulation. In: Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, vol. 2984, Lecture Notes in Computer Science, pp. 214\u2013228. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-24721-0_16"},{"issue":"2","key":"86_CR15","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/S0167-6423(02)00038-2","volume":"44","author":"R. Bardohl","year":"2002","unstructured":"Bardohl R.: A visual environment for visual languages. Sci. Comput. Program. (SCP) 44(2), 181\u2013203 (2002)","journal-title":"Sci. Comput. Program. (SCP)"},{"key":"86_CR16","doi-asserted-by":"crossref","unstructured":"de Lara, J., Vangheluwe, H.: Atom3: A tool for multi-formalism and meta-modelling. In: Kutsche, R.-D., Weber, H. (eds.) Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8\u201312, 2002, Proceedings, vol. 2306, LNCS, pp. 174\u2013188. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45923-5_12"},{"issue":"2","key":"86_CR17","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1016\/S1571-0661(05)80761-3","volume":"72","author":"M. Minas","year":"2002","unstructured":"Minas M.: Specifying graph-like diagrams with DiaGen. Electron. Notes Theor. Comput. Sci. 72(2), 102\u2013111 (2002)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"86_CR18","unstructured":"OMG. MOF Models to Text Transformation Language, Final Adopted Specification. OMG Adopted Specification, ptc\/06-11-01 (2006)"},{"key":"86_CR19","unstructured":"Xia, Y., Glinz, M.: Rigorous EBNF-based definition for a graphic modeling language. In: Proceedings of 10th Asia-Pacific Software Engineering Conference (APSEC 2003), pp. 186\u2013196. IEEE Computer Society Press (2003)"},{"issue":"6","key":"86_CR20","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1016\/S0306-4379(02)00015-7","volume":"27","author":"M. Glinz","year":"2002","unstructured":"Glinz M., Berner S., Joos S.: Object-oriented modeling with ADORA. Inf. Syst. 27(6), 425\u2013444 (2002)","journal-title":"Inf. Syst."},{"key":"86_CR21","doi-asserted-by":"crossref","unstructured":"Alanen, M., Lundkvist, T., Porres, I.: A mapping language from models to DI diagrams. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) Proceedings, MoDELS\/UML 2006, Genova, Italy, vol. 4199, LNCS, pp. 454\u2013468. Springer, Heidelberg (2006)","DOI":"10.1007\/11880240_32"},{"key":"86_CR22","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Proceedings of 20th International Workshop on Graph-Theoretic Concepts in Computer Science (WG\u201994), vol. 903, LNCS, pp. 151\u2013163. Springer, Heidelberg (1995)","DOI":"10.1007\/3-540-59071-4_45"},{"key":"86_CR23","doi-asserted-by":"crossref","unstructured":"K\u00f6nigs, A., Sch\u00fcrr, A.: Tool integration with triple graph grammars\u2014a survey. In: Heckel, R. (ed.) Proceedings of the SegraVis School on Foundations of Visual Modelling Techniques, vol. 148, Electronic Notes in Theoretical Computer Science, pp. 113\u2013150. Elsevier, Amsterdam (2006)","DOI":"10.1016\/j.entcs.2005.12.015"},{"key":"86_CR24","unstructured":"Eclipse. Eclipse project, http:\/\/www.eclipse.org (2007)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-008-0086-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-008-0086-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-008-0086-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T11:55:25Z","timestamp":1559130925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-008-0086-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,1]]},"references-count":24,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,10]]}},"alternative-id":["86"],"URL":"https:\/\/doi.org\/10.1007\/s10270-008-0086-z","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7,1]]}}}