Toward a semantic anchoring infrastructure for domain-specific modeling languages

Kai Chen, Janos Sztipanovits, Sandeep Neema
<span title="">2005</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2n36vommjbafnkaccvl2qvetye" style="color: black;">Proceedings of the 5th ACM international conference on Embedded software - EMSOFT &#39;05</a> </i> &nbsp;
Metamodeling facilitates the rapid, inexpensive development of domain-specific modeling languages (DSML-s). However, there are still challenges hindering the wide-scale industrial application of model-based design. One of these unsolved problems is the lack of a practical, effective method for the formal specification of DSML semantics. This problem has negative impact on reusability of DSML-s and analysis tools in domain specific tool chains. To address these issues, we propose a formal well
more &raquo; ... unded methodology with supporting tools to anchor the semantics of DSML-s to precisely defined and validated "semantic units". In our methodology, each of the syntactic and semantic DSML components is defined precisely and completely. The main contribution of our approach is that it moves toward an infrastructure for DSML design that integrates formal methods with practical engineering tools. In this paper we use a mathematical model, Abstract State Machines, a common semantic framework to define the semantic domains of DSML-s.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1086228.1086236">doi:10.1145/1086228.1086236</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/emsoft/ChenSN05.html">dblp:conf/emsoft/ChenSN05</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ettwxhp6rvctvjn3na37wg64my">fatcat:ettwxhp6rvctvjn3na37wg64my</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170813124108/http://www.cecs.uci.edu/~papers/emsoft0405/docs05/p35.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e1/8f/e18f84d90b4accbde6624751f2cffc4a6dbedc14.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1086228.1086236"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>