{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:54:21Z","timestamp":1725864861899},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319466125"},{"type":"electronic","value":"9783319466132"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-46613-2_9","type":"book-chapter","created":{"date-parts":[[2016,9,12]],"date-time":"2016-09-12T13:31:35Z","timestamp":1473687095000},"page":"132-147","source":"Crossref","is-referenced-by-count":3,"title":["Object-Oriented Operational Semantics"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Prinz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Birger","family":"M\u00f8ller-Pedersen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joachim","family":"Fischer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,13]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.F.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Secaucus (2003)"},{"issue":"2","key":"9_CR2","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M Clavel","year":"2002","unstructured":"Clavel, M., Duran, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Quesada, J.F.: Rewriting logic and its applications maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285(2), 187\u2013243 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR3","unstructured":"OMG Editor. OMG Meta Object Facility (MOF) Core Specification Version 2.4.2. Technical report, Object Management Group (2014)"},{"key":"9_CR4","volume-title":"Semantics Engineering with PLT Redex","author":"M Felleisen","year":"2009","unstructured":"Felleisen, M., Findler, R.B., Flatt, M.: Semantics Engineering with PLT Redex, 1st edn. The MIT Press, Cambridge (2009)","edition":"1"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Gj\u00f8s\u00e6ter, T., Prinz, A., Nytun, J.P.: MOF-VM: instantiation revisited. In: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, pp. 137\u2013144 (2016)","DOI":"10.5220\/0005606101370144"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Henriksen, J.O.: SLX: the X is for extensibility [simulation software]. In: Proceedings of Simulation Conference, Winter, vol. 1, pp. 183\u2013190 (2000)","DOI":"10.1109\/WSC.2000.899715"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/BFb0039592","volume-title":"STACS 87","author":"G Kahn","year":"1987","unstructured":"Kahn, G.: Natural semantics. In: Brandenburg, F.J., Vidal-Naquet, G., Wirsing, M. (eds.) STACS 1987. LNCS, vol. 247, pp. 22\u201339. Springer, Heidelberg (1987). doi: 10.1007\/BFb0039592"},{"key":"9_CR8","volume-title":"MDA Explained","author":"A Kleppe","year":"2003","unstructured":"Kleppe, A., Warmer, J.: MDA Explained. Addison-Wesley, Boston (2003)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-642-18023-1_6","volume-title":"Generative and Transformational Techniques in Software Engineering III","author":"P Klint","year":"2011","unstructured":"Klint, P., Storm, T., Vinju, J.: EASY meta-programming with rascal. In: Fernandes, J.M., L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2009. LNCS, vol. 6491, pp. 222\u2013289. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-18023-1_6"},{"key":"9_CR10","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/j.jlap.2004.03.008","volume":"60","author":"PD Mosses","year":"2004","unstructured":"Mosses, P.D.: Structural operational semantics modular structural operational semantics. J. Logic Algebr. Program. 60, 195\u2013228 (2004)","journal-title":"J. Logic Algebr. Program."},{"key":"9_CR11","unstructured":"OMG. Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification, Version 1.1, January 2011"},{"key":"9_CR12","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Technical report DAIMI FN-19, AARHUS UNIVERSITY (DK) (1981)"},{"issue":"6","key":"9_CR13","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1016\/j.jlap.2010.03.012","volume":"79","author":"G Ro\u015fu","year":"2010","unstructured":"Ro\u015fu, G., \u015eerb\u0103nu\u0163\u0103, T.F.: An overview of the K semantic framework. J. Logic Algebr. Program. 79(6), 397\u2013434 (2010)","journal-title":"J. Logic Algebr. Program."},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-540-72901-3_12","volume-title":"Model Driven Architecture- Foundations and Applications","author":"M Scheidgen","year":"2007","unstructured":"Scheidgen, M., Fischer, J.: Human comprehensible and machine processable specifications of operational semantics. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds.) ECMDA-FA 2007. LNCS, vol. 4530, pp. 157\u2013171. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-72901-3_12"},{"key":"9_CR15","unstructured":"Wider, A.: Model transformation languages for domain-specific workbenches. Ph.D. thesis, Humboldt-Universit\u00e4t zu Berlin (2015)"}],"container-title":["Lecture Notes in Computer Science","System Analysis and Modeling. Technology-Specific Aspects of Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46613-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T22:34:08Z","timestamp":1498343648000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46613-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319466125","9783319466132"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46613-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}