{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T01:40:02Z","timestamp":1738374002936,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878742"},{"type":"electronic","value":"9783540878759"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87875-9_48","type":"book-chapter","created":{"date-parts":[[2008,9,22]],"date-time":"2008-09-22T01:46:10Z","timestamp":1222047970000},"page":"690-704","source":"Crossref","is-referenced-by-count":24,"title":["A Lightweight Approach for Defining the Formal Semantics of a Modeling Language"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Kelsen","sequence":"first","affiliation":[]},{"given":"Qin","family":"Ma","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"48_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/978-3-540-69489-2_39","volume-title":"Models in Software Engineering","author":"M. Broy","year":"2007","unstructured":"Broy, M., Crane, M., Dingel, J., Hartman, A., Rumpe, B., Selic, B.: 2nd UML 2 semantics symposium: Formal semantics for UML. In: K\u00fchne, T. (ed.) MoDELS 2006. LNCS, vol.\u00a04364, pp. 318\u2013323. Springer, Heidelberg (2007)"},{"issue":"1-3","key":"48_CR2","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M. Gogolla","year":"2007","unstructured":"Gogolla, M., B\u00fcttner, F., Richters, M.: USE: A UML-based specification environment for validating UML and OCL. Sci.\u00a0Comput.\u00a0Program\u00a069(1-3), 27\u201334 (2007)","journal-title":"Sci.\u00a0Comput.\u00a0Program"},{"key":"48_CR3","unstructured":"Green, T.R.G.: Cognitive dimensions of notations. In: Proceedings of 5th conference of the British Computer Society, Human-Computer Interaction Specialist Group on People and computers V, pp. 443\u2013460 (1989)"},{"key":"48_CR4","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)"},{"issue":"4","key":"48_CR5","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/MC.1996.488298","volume":"29","author":"D. Jackson","year":"1996","unstructured":"Jackson, D., Wing, J.: Lightweight formal methods. IEEE Computer\u00a029(4), 16\u201330 (1996)","journal-title":"IEEE Computer"},{"key":"48_CR6","doi-asserted-by":"crossref","unstructured":"Kelsen, P.: A declarative executable model for object-based systems based on functional decomposition. In: Proceedings of the 1st International Conference on Software and Data Technologies, pp. 63\u201371 (2006)","DOI":"10.5220\/0001317300630068"},{"key":"48_CR7","unstructured":"Kelsen, P., Ma, Q.: A formal definition of the EP language. Technical Report TR-LASSY-08-03, Laboratory for Advanced Software Systems, University of Luxembourg (May 2008)"},{"key":"48_CR8","unstructured":"Kelsen, P., Pulvermueller, E., Glodt, C.: Specifying executable platform-independent models using OCL. In: ECEASST (2008)(9)"},{"key":"48_CR9","doi-asserted-by":"crossref","unstructured":"Mosses, P.D.: Theory and practice of action semantics. In: Proceedings of 21st Int. Symp. on Mathematical Foundations of Computer Science, pp. 37\u201361 (1996)","DOI":"10.1007\/3-540-61550-4_139"},{"key":"48_CR10","doi-asserted-by":"crossref","unstructured":"Mosses, P.D.: The varieties of programming language semantics. In: Proceedings of 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, pp. 165\u2013190 (2001)","DOI":"10.1007\/3-540-45575-2_18"},{"key":"48_CR11","unstructured":"OMG. Unified modeling language superstructure specification 2.0 (November 2005)"},{"key":"48_CR12","unstructured":"OMG. Object Constraint Language 2.0 (May 2006)"},{"key":"48_CR13","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)"},{"issue":"3","key":"48_CR14","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/981009.981013","volume":"39","author":"Y. Zhang","year":"2004","unstructured":"Zhang, Y., Xu, B.: A survey of semantic description frameworks for programming languages. SIGPLAN Not.\u00a039(3), 14\u201330 (2004)","journal-title":"SIGPLAN Not."}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87875-9_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T01:20:12Z","timestamp":1738372812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87875-9_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878742","9783540878759"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87875-9_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}