Matches in SemOpenAlex for { <https://semopenalex.org/work/W2293896457> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2293896457 endingPage "2:1" @default.
- W2293896457 startingPage "2:1" @default.
- W2293896457 abstract "Making Domain-Specific Modeling Languages a part of a tool chain, a part of a proven development process, or the subject of verifica- tion 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 devel- oped methods, techniques and processes to provide a systematic mapping - which we call semantic anchoring - that support the scaling of these for- mal definitions 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 for- malizing the language designer's intentions about the semantic mapping and validating the consistency between the two by applying model finding techniques." @default.
- W2293896457 created "2016-06-24" @default.
- W2293896457 creator A5007050233 @default.
- W2293896457 creator A5007672417 @default.
- W2293896457 creator A5013237840 @default.
- W2293896457 creator A5050938071 @default.
- W2293896457 creator A5074203243 @default.
- W2293896457 date "2015-01-01" @default.
- W2293896457 modified "2023-10-16" @default.
- W2293896457 title "Validating Transformations for Semantic Anchoring ." @default.
- W2293896457 cites W1515217935 @default.
- W2293896457 cites W1524195172 @default.
- W2293896457 cites W1548957673 @default.
- W2293896457 cites W1555119495 @default.
- W2293896457 cites W1643036576 @default.
- W2293896457 cites W1905359732 @default.
- W2293896457 cites W1982098671 @default.
- W2293896457 cites W1987476862 @default.
- W2293896457 cites W1997076099 @default.
- W2293896457 cites W2016914525 @default.
- W2293896457 cites W2022163307 @default.
- W2293896457 cites W2023648368 @default.
- W2293896457 cites W2023928171 @default.
- W2293896457 cites W2047213321 @default.
- W2293896457 cites W2056245653 @default.
- W2293896457 cites W2081620490 @default.
- W2293896457 cites W2091199574 @default.
- W2293896457 cites W2099529102 @default.
- W2293896457 cites W2103458229 @default.
- W2293896457 cites W2105655408 @default.
- W2293896457 cites W2110643661 @default.
- W2293896457 cites W2143378352 @default.
- W2293896457 cites W2144192824 @default.
- W2293896457 cites W3090141938 @default.
- W2293896457 cites W103830818 @default.
- W2293896457 cites W2067463621 @default.
- W2293896457 doi "https://doi.org/10.5381/jot.2015.14.3.a2" @default.
- W2293896457 hasPublicationYear "2015" @default.
- W2293896457 type Work @default.
- W2293896457 sameAs 2293896457 @default.
- W2293896457 citedByCount "2" @default.
- W2293896457 countsByYear W22938964572017 @default.
- W2293896457 countsByYear W22938964572019 @default.
- W2293896457 crossrefType "journal-article" @default.
- W2293896457 hasAuthorship W2293896457A5007050233 @default.
- W2293896457 hasAuthorship W2293896457A5007672417 @default.
- W2293896457 hasAuthorship W2293896457A5013237840 @default.
- W2293896457 hasAuthorship W2293896457A5050938071 @default.
- W2293896457 hasAuthorship W2293896457A5074203243 @default.
- W2293896457 hasBestOaLocation W22938964571 @default.
- W2293896457 hasConcept C15744967 @default.
- W2293896457 hasConcept C18483071 @default.
- W2293896457 hasConcept C188147891 @default.
- W2293896457 hasConcept C199360897 @default.
- W2293896457 hasConcept C204321447 @default.
- W2293896457 hasConcept C41008148 @default.
- W2293896457 hasConceptScore W2293896457C15744967 @default.
- W2293896457 hasConceptScore W2293896457C18483071 @default.
- W2293896457 hasConceptScore W2293896457C188147891 @default.
- W2293896457 hasConceptScore W2293896457C199360897 @default.
- W2293896457 hasConceptScore W2293896457C204321447 @default.
- W2293896457 hasConceptScore W2293896457C41008148 @default.
- W2293896457 hasIssue "3" @default.
- W2293896457 hasLocation W22938964571 @default.
- W2293896457 hasOpenAccess W2293896457 @default.
- W2293896457 hasPrimaryLocation W22938964571 @default.
- W2293896457 hasRelatedWork W1527862632 @default.
- W2293896457 hasRelatedWork W2109507516 @default.
- W2293896457 hasRelatedWork W2112962394 @default.
- W2293896457 hasRelatedWork W2118300983 @default.
- W2293896457 hasRelatedWork W2135396778 @default.
- W2293896457 hasRelatedWork W2166247150 @default.
- W2293896457 hasRelatedWork W2740990710 @default.
- W2293896457 hasRelatedWork W3137189469 @default.
- W2293896457 hasRelatedWork W4235530921 @default.
- W2293896457 hasRelatedWork W4243252198 @default.
- W2293896457 hasVolume "14" @default.
- W2293896457 isParatext "false" @default.
- W2293896457 isRetracted "false" @default.
- W2293896457 magId "2293896457" @default.
- W2293896457 workType "article" @default.