{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:36:59Z","timestamp":1742974619602,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540348931"},{"type":"electronic","value":"9783540348955"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11768869_15","type":"book-chapter","created":{"date-parts":[[2006,5,25]],"date-time":"2006-05-25T13:32:10Z","timestamp":1148563930000},"page":"186-201","source":"Crossref","is-referenced-by-count":22,"title":["Defining Object-Oriented Execution Semantics Using Graph Transformations"],"prefix":"10.1007","author":[{"given":"Harmen","family":"Kastenberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anneke","family":"Kleppe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arend","family":"Rensink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Monographs in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Monographs in Computer Science. Springer, Heidelberg (1996)"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-540-39958-2_11","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"E. \u00c1brah\u00e1m","year":"2003","unstructured":"\u00c1brah\u00e1m, E., de Boer, F.S., de Roever, W.-P., Steffen, M.: Inductive proof outlines for monitors in java. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 155\u2013169. Springer, Heidelberg (2003)"},{"key":"15_CR3","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading (1986)"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1007\/3-540-58027-1_30","volume-title":"Mathematical Foundations of Programming Semantics","author":"K. Bruce","year":"1994","unstructured":"Bruce, K., Crabtree, J., Kanapathy, G.: An operational semantics for TOOPLE: A statically-typed object-oriented programming language. In: Main, M.G., Melton, A.C., Mislove, M.W., Schmidt, D., Brookes, S.D. (eds.) MFPS 1993. LNCS, vol.\u00a0802, pp. 603\u2013626. Springer, Heidelberg (1994)"},{"key":"15_CR5","unstructured":"Clark, T., Evans, A., Kent, S., Brodsky, S., Cook, S.: A feasibility study in rearchitecting UML as a family of languages using a precise OO meta-modelling approach (September 2000), Version 1.0 available from: http:\/\/www.puml.org"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-540-30203-2_27","volume-title":"Graph Transformations","author":"A. Corradini","year":"2004","unstructured":"Corradini, A., Dotti, F.L., Foss, L., Ribeiro, L.: Translating Java code to graph transformation systems. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 383\u2013398. Springer, Heidelberg (2004)"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-540-30101-1_5","volume-title":"Formal Methods for Components and Objects","author":"F.S. Boer de","year":"2004","unstructured":"de Boer, F.S., Pierik, C.: How to cook a complete hoare logic for your pet OO language. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol.\u00a03188, pp. 111\u2013133. Springer, Heidelberg (2004)"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/3-540-40011-7_23","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"G. Engels","year":"2000","unstructured":"Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 323\u2013337. Springer, Heidelberg (2000)"},{"key":"15_CR9","unstructured":"Fenton, N.E., Pfleeger, S.L.: Software Metrics: A Rigorous & Practical Approach, 2nd edn. International Thomsen Publishing Inc. (1997)"},{"issue":"3-4","key":"15_CR10","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"A. Habel","year":"1996","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae\u00a026(3-4), 287\u2013313 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"15_CR11","unstructured":"Hausmann, J.H.: Dynamic Meta Modeling, A Semantics Description technique for Visual Modeling Languages. PhD thesis, University of Paderborn (2006)"},{"issue":"2","key":"15_CR12","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/641888.641891","volume":"25","author":"i.B. Bruce","year":"2003","unstructured":"Bruce, i.B., Schuett, A., van Gent, R., Fiech, A.: PolyTOIL: A type-safe polymorphic object-oriented language. ACM Trans. Program. Lang. Syst.\u00a025(2), 225\u2013290 (2003)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Kastenberg, H., Kleppe, A., Rensink, A.: Engineering object-oriented semantics using graph transformations. CTIT Technical Report 06-12, University of Twente taal.pdf (2006), Available at: http:\/\/www.cs.utwente.nl\/tdkastenbe\/papers\/","DOI":"10.1007\/11768869_15"},{"key":"15_CR14","unstructured":"Kleppe, A.: Taal eclipse plugin (2006), Available from: http:\/\/www.klasse.nl\/english\/research\/taal-install.html"},{"key":"15_CR15","unstructured":"Kleppe, A., Warmer, J.: Unification of static and dynamic semantics of UML, a study in redefining the semantics of the UML using the pUML OO meta modelling approach. Technical report, Klasse Objecten (July 2001), Available at: http:\/\/www.klasse.nl\/papers\/unification-report.pdf"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/3-540-47884-1_2","volume-title":"Integrated Formal Methods","author":"S. Kuske","year":"2002","unstructured":"Kuske, S., Gogolla, M., Kollmann, R., Kreowski, H.-J.: An integrated semantics for UML class, object and state diagrams based on graph transformation. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol.\u00a02335, pp. 11\u201328. Springer, Heidelberg (2002)"},{"key":"15_CR17","unstructured":"OMG. MDA guide version 1.0.1 (June 2003), Available from: www.omg.org"},{"key":"15_CR18","unstructured":"OMG. UML 2.0 OCL specification (October 2003), Available from: www.omg.org ."},{"key":"15_CR19","volume-title":"Types and Programming Languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. The MIT Press, Cambridge (2002)"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-25959-6_40","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"A. Rensink","year":"2004","unstructured":"Rensink, A.: The GROOVE Simulator: A tool for state space generation. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 479\u2013485. Springer, Heidelberg (2004)"},{"key":"15_CR21","unstructured":"Rensink, A.: The Groove Tool Set (2005), Available from: http:\/\/groove.sf.net"},{"key":"15_CR22","unstructured":"Rensink, A.: The joys of graph transformation. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica\u00a09 (2005)"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation: Foundations","year":"1997","key":"15_CR23","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, vol.\u00a0I. World Scientific, Singapore (1997)"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Smelik, R.M.: Specification and construction of control flow semantics. Master\u2019s thesis, University of Twente (January 2006)","DOI":"10.1109\/VLHCC.2006.45"},{"key":"15_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1007\/3-540-45832-8_28","volume-title":"Graph Transformation","author":"D. Varr\u00f3","year":"2002","unstructured":"Varr\u00f3, D.: A formal semantics of UML statecharts by model transition systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 378\u2013392. Springer, Heidelberg (2002)"},{"key":"15_CR26","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The formal semantics of programming languages: an introduction","author":"G. Winskel","year":"1993","unstructured":"Winskel, G.: The formal semantics of programming languages: an introduction. MIT Press, Cambridge (1993)"},{"key":"15_CR27","unstructured":"Zhang, K.-B., Orgun, M.A., Zhang, K.: Visual language semantics specification in the vispro system. In: Jin, J.S., Eades, P., Feng, D.D., Yan, H. (eds.) VIP. CRPIT, vol.\u00a022, Australian Computer Society (2002)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11768869_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,15]],"date-time":"2020-04-15T01:20:20Z","timestamp":1586913620000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11768869_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540348931","9783540348955"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11768869_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}