{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:39:43Z","timestamp":1743010783228,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642025709"},{"type":"electronic","value":"9783642025716"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02571-6_20","type":"book-chapter","created":{"date-parts":[[2009,6,26]],"date-time":"2009-06-26T10:15:30Z","timestamp":1246011330000},"page":"348-356","source":"Crossref","is-referenced-by-count":8,"title":["Using Grammarware Languages to Define Operational Semantics of Modelled Languages"],"prefix":"10.1007","author":[{"given":"Daniel A.","family":"Sadilek","sequence":"first","affiliation":[]},{"given":"Guido","family":"Wachsmuth","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","year":"2008","unstructured":"Schieferdecker, I., Hartman, A. (eds.): ECMDA-FA 2008. LNCS, vol.\u00a05095. Springer, Heidelberg (2008)"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-45221-8_2","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"M. Alanen","year":"2003","unstructured":"Alanen, M., Porres, I.: Difference and union of models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 2\u201317. Springer, Heidelberg (2003)"},{"key":"20_CR3","unstructured":"Alanen, M., Porres, I.: A relation between context-free grammars and Meta Object Facility. Technical report, TUCS (2004)"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11581741_10","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"K. Chen","year":"2005","unstructured":"Chen, K., Sztipanovits, J., Abdelwalhed, S., Jackson, E.: Semantic anchoring with model transformations. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol.\u00a03748, pp. 115\u2013129. Springer, Heidelberg (2005)"},{"key":"20_CR5","first-page":"272","volume-title":"HCC 2001","author":"R. Esser","year":"2001","unstructured":"Esser, R., Janneck, J.: Moses: A tool suite for visual modeling of discrete-event systems. In: HCC 2001, pp. 272\u2013279. IEEE Computer Society Press, Los Alamitos (2001)"},{"issue":"1-2","key":"20_CR6","first-page":"71","volume":"77","author":"R. Farahbod","year":"2007","unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U.: CoreASM: an extensible ASM execution engine. Fundamenta Informaticae\u00a077(1-2), 71\u2013103 (2007)","journal-title":"Fundamenta Informaticae"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/978-3-642-00434-6_19","volume-title":"SLE 2009","author":"T. Gj\u00f8s\u00e6ter","year":"2009","unstructured":"Gj\u00f8s\u00e6ter, T., Isfeldt, I.F., Prinz, A.: Sudoku \u2013 a language description case study. In: Ga\u0161evi\u0107, D., L\u00e4mmel, R., Van Wyk, E. (eds.) SLE 2009. LNCS, vol.\u00a05452, pp. 305\u2013321. Springer, Heidelberg (2009)"},{"key":"20_CR8","unstructured":"Hartmann, T., Sadilek, D.A.: Undoing operational steps of domain-specific modeling languages. In: Proceedings of the 8th OOPSLA Workshop on Domain-Specific Modeling (DSM 2008), University of Alabama at Birmingham (2008)"},{"key":"20_CR9","unstructured":"Kurtev, I., B\u00e9zivin, J., Aksit, M.: Technological spaces: An initial appraisal. In: CoopIS, DOA 2002 Federated Conferences, Industrial track (2002)"},{"key":"20_CR10","unstructured":"Miller, S.G.: SISC: A complete scheme interpreter in Java. Technical report, Indiana University (January 2002)"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11557432_19","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Muller","year":"2005","unstructured":"Muller, P., Fleurey, F., J\u00e9z\u00e9quel, J.: Weaving executability into object-oriented meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 264\u2013278. Springer, Heidelberg (2005)"},{"key":"20_CR12","unstructured":"Object Management Group. Meta Object Facility 2.0 Query\/View\/Transformation Specification (2007)"},{"key":"20_CR13","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)"},{"key":"20_CR14","unstructured":"Ruscio, D.D., Jouault, F., Kurtev, I., B\u00e9zivin, J., Pierantonio, A.: Extending AMMA for Supporting Dynamic Semantics Specifications of DSLs. Technical Report 06.02, LINA Laboratoire D\u2019Informatique De Nantes Atlantique (April 2006)"},{"key":"20_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-540-69100-6_5","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"D.A. Sadilek","year":"2008","unstructured":"Sadilek, D.A., Wachsmuth, G.: Prototyping visual interpreters and debuggers for domain-specific modelling languages. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol.\u00a05095, pp. 63\u201378. Springer, Heidelberg (2008)"},{"key":"20_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-540-69100-6_11","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"M. Scheidgen","year":"2008","unstructured":"Scheidgen, M.: Textual modelling embedded into graphical modelling. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol.\u00a05095, pp. 153\u2013168. Springer, Heidelberg (2008)"},{"issue":"4","key":"20_CR17","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/s10009-008-0081-2","volume":"10","author":"I. Schieferdecker","year":"2008","unstructured":"Schieferdecker, I., Gro\u00dfmann, J.: Testing hybrid control systems: an overview on cont. ttcn-3. Int. J. Softw. Tools Technol. Transf.\u00a010(4), 383\u2013400 (2008)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"20_CR18","unstructured":"St\u00f6rrle, H.: A prolog-based approach to representing and querying software engineering models. In: Proceedings of the VLL 2007 workshop on Visual Languages and Logic. CEUR-WS, vol.\u00a0274, pp. 85\u201396 (2007)"},{"key":"20_CR19","series-title":"Lecture Notes in Computer Science","first-page":"506","volume-title":"GTTSE 2007","author":"G. Wachsmuth","year":"2007","unstructured":"Wachsmuth, G.: Modelling the operational semantics of domain-specific modelling languages. In: L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2007. LNCS, vol.\u00a05235, pp. 506\u2013520. Springer, Heidelberg (2007)"},{"key":"20_CR20","unstructured":"Wielemaker, J.: SWI-Prolog 5.6 Reference Manual (2008), \n                    \n                      http:\/\/www.swi-prolog.org"},{"key":"20_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/11663430_17","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"M. Wimmer","year":"2006","unstructured":"Wimmer, M., Kramler, G.: Bridging grammarware and modelware. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 159\u2013168. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Business Information Processing","Objects, Components, Models and Patterns"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02571-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T18:50:08Z","timestamp":1558378208000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02571-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642025709","9783642025716"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02571-6_20","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2009]]}}}