Validating Transformations for Semantic Anchoring

David Lindecker, Gabor Simko, Tihamer Levendovszky, Istvan Madari, Janos Sztipanovits
<span title="">2015</span> <i title="AITO - Association Internationale pour les Technologies Objets"> <a target="_blank" rel="noopener" href="" style="color: black;">Journal of Object Technology</a> </i> &nbsp;
Making Domain-Specific Modeling Languages a part of a tool chain, a part of a proven development process, or the subject of verification cannot be achieved without the precise specification of the language and the models expressed in it. Defining formal semantics for modeling languages is a widely accepted solution to this problem. We have developed methods, techniques and processes to provide a systematic mapping -which we call semantic anchoring -that support the scaling of these formal
more &raquo; ... tions to large modeling languages. Although a semantic mapping is a definition and behaves as a set of axioms for formal verification, we argue that a semantic mapping can conflict with the informal intentions of the language designer, resulting in a counterintuitive DSML, and should therefore be validated. This paper proposes a solution that involves formalizing the language designer's intentions about the semantic mapping and validating the consistency between the two by applying model finding techniques.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="">doi:10.5381/jot.2015.14.3.a2</a> <a target="_blank" rel="external noopener" href="">fatcat:56sjfxain5dbxew7dbbgtqahla</a> </span>
<a target="_blank" rel="noopener" href="" 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="" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href=""> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / </button> </a>