20.500.12556/DKUM-66711 Challenges and directions in formalizing the semantics of modeling languages Developing software from models is a growing practice and there exist many model-based tools (e.g., editors, interpreters, debuggers, and simulators) forsupporting model-driven engineering. Even though these tools facilitate theautomation of software engineering tasks and activities, such tools are typically engineered manually. However, many of these tools have a common semantic foundation centered around an underlying modeling language, which would make it possible to automate their development if the modeling language specification were formalized. Even though there has been much work in formalizing programming languages, with many successful tools constructed using such formalisms, there has been little work in formalizing modeling languages for the purpose of automation. This paper discusses possible semantics-based approaches for the formalization of modeling languages and describes how this formalism may be used to automate the construction of modeling tools. model-based tools modeling language semantics orodja na osnovi modelov modelirni jezik semantika true true true Angleški jezik Slovenski jezik Znanstveno delo 2017-07-06 12:01:49 2017-07-06 12:02:53 2022-08-01 13:04:57 2019-07-11 15:56:26 2011 0 0 str. 225-253 št. 2 Letn. 8 May 2011 0000-00-00 Zaloznikova Objavljeno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 1820-0214 004.434 20527655 15098902 10.2298/CSIS110114012B 1820-0214 URN:SI:UM:DK:LLLEOF5T Computer_Science_and_Information_Systems_2011_Bryant_et_al._Challenges_and_directions_in_formalizing_the_semantics_of_modeling_languages.pdf Computer_Science_and_Information_Systems_2011_Bryant_et_al._Challenges_and_directions_in_formalizing_the_semantics_of_modeling_languages.pdf 1 5803E09737B733294189EA4F225A0398 76bbfe98e7731d66762b66fafef8b0a5bb011cce398657e76d9dacb5638a0c33 5ea7837c-7c0e-11eb-bb7a-00155d0001ca 20.500.12556/dkum/5873c8f9-f976-4c07-b94d-43dddb47cdfb https://dk.um.si/Dokument.php?lang=slv&id=113786 http://www.doiserbia.nb.rs/Article.aspx?ID=1820-02141100012B 1 https://dk.um.si/Dokument.php?lang=slv&id=113785 Fakulteta za elektrotehniko, računalništvo in informatiko 0 0 0