{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:11:18Z","timestamp":1725527478801},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540886426"},{"type":"electronic","value":"9783540886433"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88643-3_16","type":"book-chapter","created":{"date-parts":[[2008,10,7]],"date-time":"2008-10-07T03:12:26Z","timestamp":1223349146000},"page":"506-520","source":"Crossref","is-referenced-by-count":11,"title":["Modelling the Operational Semantics of Domain-Specific Modelling Languages"],"prefix":"10.1007","author":[{"given":"Guido","family":"Wachsmuth","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Object Management Group: Unified Modeling Language: Infrastructure, version 2.0 (July 2005)"},{"key":"16_CR2","doi-asserted-by":"publisher","DOI":"10.1002\/9780470249260","volume-title":"Domain-Specific Modeling","author":"S. Kelly","year":"2008","unstructured":"Kelly, S., Tolvanen, J.P.: Domain-Specific Modeling. IEEE Computer Society, Los Alamitos (2008)"},{"key":"16_CR3","unstructured":"Cook, S.: Domain-specific modeling. Microsoft Architect Journal\u00a09 (August 2006)"},{"key":"16_CR4","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)"},{"issue":"6","key":"16_CR5","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/352029.352035","volume":"35","author":"A. Deursen van","year":"2000","unstructured":"van Deursen, A., Klint, P., Visser, J.: Domain-specific languages: an annotated bibliography. SIGPLAN Not\u00a035(6), 26\u201336 (2000)","journal-title":"SIGPLAN Not"},{"key":"16_CR6","unstructured":"Object Management Group: Meta Object Facility Core Specification, version 2.0 (January 2006)"},{"key":"16_CR7","unstructured":"Object Management Group: Object Constraint Language, version 2.0 (May 2006)"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/11880240_33","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Alanen","year":"2006","unstructured":"Alanen, M., Porres, I.: Basic operations over models containing subset and union properties. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 469\u2013483. Springer, Heidelberg (2006)"},{"key":"16_CR9","unstructured":"Object Management Group: MOF Query\/View\/Transformation, Final Adopted Specification (July 2007)"},{"key":"16_CR10","unstructured":"da Silva, F.Q.B.: Correctness Proofs of Compilers and Debuggers: an Approach Based on Structural Operational Semantics. PhD thesis, University of Edinburgh (1992)"},{"key":"16_CR11","volume-title":"Semantics with Applications: A Formal Introduction","author":"H.R. Nielson","year":"1992","unstructured":"Nielson, H.R., Nielson, F.: Semantics with Applications: A Formal Introduction. Wiley, Chichester (1992)"},{"key":"16_CR12","volume-title":"Handbook of Process Algebra","author":"L. Aceto","year":"2001","unstructured":"Aceto, L., Fokkink, W., Verhoef, C.: Structural operational semantics. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra. Elsevier, Amsterdam (2001)"},{"key":"16_CR13","volume-title":"The Lambda Calculus its Syntax and Semantics","author":"H. Barendregt","year":"1987","unstructured":"Barendregt, H.: The Lambda Calculus its Syntax and Semantics, 2nd edn. North Holland, Amsterdam (1987)","edition":"2"},{"key":"16_CR14","unstructured":"Sadilek, D., Theisselmann, F., Wachsmuth, G.: Challenges for model-driven development of self-organising disaster management information systems. In: IRTGW 2006: Proceedings of the International Research Training Groups Workshop, Dagstuhl, Germany, Berlin, GITO-Verlag, pp. 24\u201326 (November 2006)"},{"key":"16_CR15","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1785\/BSSA0670020433","volume":"67","author":"S.W. Stewart","year":"1977","unstructured":"Stewart, S.W.: Real time detection and location of local seismic events in central California. Bull. Seism. Soc. Am.\u00a067, 433\u2013452 (1977)","journal-title":"Bull. Seism. Soc. Am."},{"key":"16_CR16","volume-title":"Eclipse Modeling Framework","author":"F. Budinsky","year":"2006","unstructured":"Budinsky, F., Merks, E., Steinberg, D.: Eclipse Modeling Framework, 2nd edn. Addison-Wesley, Reading (2006)","edition":"2"},{"key":"16_CR17","unstructured":"ikv: Company home page (2007), http:\/\/www.ikv.de"},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"G. Wachsmuth","year":"2007","unstructured":"Wachsmuth, G.: Metamodel adaptation and model co-adaptation. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609. Springer, Heidelberg (2007)"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","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. Springer, Heidelberg (2008)"},{"key":"16_CR20","unstructured":"Object Management Group: MDA Guide Version 1.0.1 (June 2003)"},{"key":"16_CR21","unstructured":"Hausmann, J.H.: Dynamic meta modeling: A semantics description technique for visual modeling languages. PhD thesis, University of Paderborn (2005)"},{"key":"16_CR22","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":"16_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/3-540-45341-5_29","volume-title":"Advanced Information Systems Engineering","author":"G. Suny\u00e9","year":"2001","unstructured":"Suny\u00e9, G., Pennaneach, F., Ho, W.M., Guennec, A.L., J\u00e9quel, J.M.: Using uml action semantics for executable modeling and beyond. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol.\u00a02068, pp. 433\u2013447. Springer, Heidelberg (2001)"},{"key":"16_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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.\u00a04530, pp. 157\u2013171. Springer, Heidelberg (2007)"},{"key":"16_CR25","unstructured":"Di Ruscio, D., Jouault, F., Kurtev, I., Bezivin, J., Pierantonio, A.: Extending AMMA for supporting dynamic semantics specifications of DSLs. Technical Report HAL - CCSd - CNRS, Laboratoire D\u2019Informatique de Nantes-Atlantique (2006)"},{"key":"16_CR26","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":"16_CR27","unstructured":"Fleurey, F., Drey, Z., Vojtisek, D., Faucher, C.: Kermeta language (October 2006)"},{"key":"16_CR28","unstructured":"Clark, T., Evans, A., Sammut, P., Willans, J.: Applied metamodelling: A foundation for language driven development (September 2004), http:\/\/www.xactium.com"}],"container-title":["Lecture Notes in Computer Science","Generative and Transformational Techniques in Software Engineering II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88643-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,20]],"date-time":"2023-05-20T08:03:07Z","timestamp":1684569787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88643-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540886426","9783540886433"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88643-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}