{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T10:16:01Z","timestamp":1770977761327,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540300267","type":"print"},{"value":"9783540320937","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11581741_10","type":"book-chapter","created":{"date-parts":[[2005,10,25]],"date-time":"2005-10-25T14:06:33Z","timestamp":1130249193000},"page":"115-129","source":"Crossref","is-referenced-by-count":55,"title":["Semantic Anchoring with Model Transformations"],"prefix":"10.1007","author":[{"given":"Kai","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Janos","family":"Sztipanovits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sherif","family":"Abdelwalhed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ethan","family":"Jackson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"The Abstract State Machine Language, http:\/\/www.research.microsoft.com\/fse\/asml"},{"key":"10_CR2","unstructured":"Graph Rewriting and Transformation, http:\/\/www.isis.vanderbilt.edu\/Projects\/mobies"},{"key":"10_CR3","unstructured":"Link for semantic anchoring tool suite, http:\/\/www.isis.vanderbilt.edu\/SAT"},{"key":"10_CR4","unstructured":"The Generic Modeling Environment: GME, http:\/\/www.isis.vanderbilt.edu\/Projects\/gme"},{"key":"10_CR5","unstructured":"The Ptolemy II, http:\/\/www.ptolemy.eecs.berkeley.edu\/ptolemyII"},{"key":"10_CR6","unstructured":"ITU-T recommendation Z.100 annex F: SDL formal semantics definition. In: International Telecommunication Union, Geneva (2000)"},{"key":"10_CR7","unstructured":"OMG unified modeling language specification version 1.5. Object Management Group document, (2003) formal\/03-03-01"},{"key":"10_CR8","unstructured":"UML 2.0 OCL final adopted specification. Object Management Group document, (2003) ptc\/03-10-14."},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/3-540-57787-4_17","volume-title":"Semantics of full statecharts based on graph rewriting","author":"A. Maggiolo-Schettini","year":"1994","unstructured":"Maggiolo-Schettini, A., Peron, A.: Semantics of full statecharts based on graph rewriting. LNCS, pp. 265\u2013279. Springer, Heidelberg (1994)"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Giralt, A., Lee, B., Lee, E.A.: Hierarchical finite state machines with multiple concurrency models. IEEE Transactions On Computer-aided Design Of Integrated Circuits And Systems\u00a018(6) (1999)","DOI":"10.1109\/43.766725"},{"issue":"1","key":"10_CR11","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008739929481","volume":"15","author":"R. Alur","year":"1999","unstructured":"Alur, R., Henzinger, T.A.: Reactive modules. Form. Methods Syst. Des.\u00a015(1), 7\u201348 (1999)","journal-title":"Form. Methods Syst. Des."},{"key":"10_CR12","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. Boerger","year":"2003","unstructured":"Boerger, E., Staerk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-1-4615-2237-9_5","volume-title":"Formal Semantics for VHDL","author":"E. Borger","year":"1995","unstructured":"Borger, E., Glasser, U., Muller, W.: Formal Definition of an Abstract VHDL 1993 Simulator by EA-Machines. In: Formal Semantics for VHDL, pp. 107\u2013139. Kluwer Academic Publishers, Dordrecht (1995)"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/3-540-48737-9_10","volume-title":"Formal Syntax and Semantics of Java","author":"E. Borger","year":"1999","unstructured":"Borger, E., Schulte, W.: A programmer friendly modular definition of the semantics of java. In: Alves-Foss, J. (ed.) Formal Syntax and Semantics of Java. LNCS, vol.\u00a01523, pp. 353\u2013404. Springer, Heidelberg (1999)"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of SFM 2004","author":"M. Bozga","year":"2004","unstructured":"Bozga, M., Graf, S., Ober, I., Sifakis, J.: Tools and applications II: The IF toolset. In: Proceedings of SFM 2004. LNCS, vol.\u00a03185, Springer, Heidelberg (2004)"},{"key":"10_CR16","volume-title":"Z: an Introduction to Formal Methods","author":"A. Diller","year":"1994","unstructured":"Diller, A.: Z: an Introduction to Formal Methods, 2nd edn. John Wiley & Sons Ltd., Chichester (1994)","edition":"2"},{"issue":"12","key":"10_CR17","first-page":"1382","volume":"3","author":"U. Glasser","year":"1997","unstructured":"Glasser, U., Karges, R.: Abstract state machines semantics of SDL. Journal of University Computer Science\u00a03(12), 1382\u20131414 (1997)","journal-title":"Journal of University Computer Science"},{"key":"10_CR18","first-page":"9","volume-title":"Specification and Validation Methods","author":"Y. Gurevich","year":"1993","unstructured":"Gurevich, Y.: Evolving Algebras 1993: Lipari Guide. In: Specification and Validation Methods, pp. 9\u201336. Oxford University Press, Oxford (1993)"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1007\/3-540-56992-8_17","volume-title":"Computer Science Logic","author":"Y. Gurevich","year":"1993","unstructured":"Gurevich, Y., Huggins, J.: The semantics of the C programming languages. In: Martini, S., B\u00f6rger, E., Kleine B\u00fcning, H., J\u00e4ger, G., Richter, M.M. (eds.) CSL 1992. LNCS, vol.\u00a0702, pp. 274\u2013308. Springer, Heidelberg (1993)"},{"key":"10_CR20","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-24721-0_17","volume-title":"Fundamental Approaches to Software Engineering: 7th International Conference","author":"G. Hamon","year":"2004","unstructured":"Hamon, G., Rushby, J.: An operational semantics for stateflow. In: Fundamental Approaches to Software Engineering: 7th International Conference, pp. 229\u2013243. Springer, Heidelberg (2004)"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Harel, D., Rumpe, B.: Meaningful modeling: What\u2019s the semantics of semantics IEEE Computer\u00a037(10) (2004)","DOI":"10.1109\/MC.2004.172"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Chen, K., Sztipanovits, J., Neema, S., Emerson, M., Abdelwahed, S.: Toward a semantic anchoring infrastructure for domain-specific modeling languages. In: 5th ACM International Conference on Embedded Software, EMSOFT 2005 (2005)","DOI":"10.1145\/1086228.1086236"},{"issue":"11","key":"10_CR23","first-page":"1296","volume":"9","author":"G. Karsai","year":"2003","unstructured":"Karsai, G., Agrawal, A., Shi, F.: On the use of graph transformations for the formal specification of model interpreters. Journal of Universal Computer Science\u00a09(11), 1296\u20131321 (2003)","journal-title":"Journal of Universal Computer Science"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-integrated development of embedded software. Proceedings of the IEEE, 91, 145\u2013164 (2003)","DOI":"10.1109\/JPROC.2002.805824"},{"issue":"11","key":"10_CR25","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1109\/2.963443","volume":"34","author":"A. Ledeczi","year":"2001","unstructured":"Ledeczi, A., Bakay, A., Maroti, M., Volgyesi, P., Nordstrom, G., Sprinkle, J., Karsai, G.: Composing domain-specific design environments. IEEE Computer\u00a034(11), 44\u201351 (2001)","journal-title":"IEEE Computer"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Lee, E., Sangiovanni-Vincentelli, A.: A denotational framework for comparing models of computation. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems\u00a017(12) (1998)","DOI":"10.1109\/43.736561"},{"issue":"4","key":"10_CR27","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1109\/2.585163","volume":"30","author":"J. Sztipanovits","year":"1997","unstructured":"Sztipanovits, J., Karsai, G.: Model-integrated computing. IEEE Computer\u00a030(4), 110\u2013111 (1997)","journal-title":"IEEE Computer"},{"key":"10_CR28","unstructured":"Clark, T., Evans, A., Kent, S., Sammut, P.: The MMF approach to engineering object-oriented design languages. In: Workshop on Language Descriptions, Tools and Applications (2001)"},{"key":"10_CR29","unstructured":"Gurevich, Y., Rossman, B., Schulte, W.: Semantics essence of AsmL (March 2004) MSR-TR-2004-27"}],"container-title":["Lecture Notes in Computer Science","Model Driven Architecture \u2013 Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11581741_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:00:24Z","timestamp":1605643224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11581741_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540300267","9783540320937"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/11581741_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}