Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952330785> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2952330785 abstract "We present CD2Alloy, a novel, powerful translation of UML class diagrams (CDs) to Alloy. Unlike existing translations, which are based on a shallow embedding strategy, and are thus limited to checking consistency and generating conforming object models of a single CD, and support a limited set of CD language features, CD2Alloy uses a deeper embedding strategy. Rather than mapping each CD construct to a semantically equivalent Alloy construct, CD2Alloy defines (some) CD constructs as new concepts within Alloy. This enables solving several analysis problems that involve more than one CD and could not be solved by earlier works, and supporting an extended list of CD language features. The ideas are implemented in a prototype Eclipse plug-in. The work advances the state-of-the-art in CD analysis, and can also be viewed as an interesting case study for the different possible translations of one modeling language to another, their strengths and weaknesses." @default.
- W2952330785 created "2019-06-27" @default.
- W2952330785 creator A5021803711 @default.
- W2952330785 creator A5024052024 @default.
- W2952330785 creator A5037823412 @default.
- W2952330785 date "2014-09-08" @default.
- W2952330785 modified "2023-09-27" @default.
- W2952330785 title "CD2Alloy: Class Diagrams Analysis Using Alloy Revisited" @default.
- W2952330785 cites W138671001 @default.
- W2952330785 cites W170836139 @default.
- W2952330785 cites W180771637 @default.
- W2952330785 cites W1895387792 @default.
- W2952330785 cites W1997864678 @default.
- W2952330785 cites W2018568588 @default.
- W2952330785 cites W2081938064 @default.
- W2952330785 cites W2089381631 @default.
- W2952330785 cites W2091920469 @default.
- W2952330785 cites W2135618914 @default.
- W2952330785 cites W2139828164 @default.
- W2952330785 cites W2506732220 @default.
- W2952330785 hasPublicationYear "2014" @default.
- W2952330785 type Work @default.
- W2952330785 sameAs 2952330785 @default.
- W2952330785 citedByCount "0" @default.
- W2952330785 crossrefType "posted-content" @default.
- W2952330785 hasAuthorship W2952330785A5021803711 @default.
- W2952330785 hasAuthorship W2952330785A5024052024 @default.
- W2952330785 hasAuthorship W2952330785A5037823412 @default.
- W2952330785 hasConcept C121332964 @default.
- W2952330785 hasConcept C1276947 @default.
- W2952330785 hasConcept C145644426 @default.
- W2952330785 hasConcept C154945302 @default.
- W2952330785 hasConcept C177264268 @default.
- W2952330785 hasConcept C199360897 @default.
- W2952330785 hasConcept C202446494 @default.
- W2952330785 hasConcept C2776436953 @default.
- W2952330785 hasConcept C2777212361 @default.
- W2952330785 hasConcept C2777904410 @default.
- W2952330785 hasConcept C2778505590 @default.
- W2952330785 hasConcept C2780801425 @default.
- W2952330785 hasConcept C41008148 @default.
- W2952330785 hasConcept C41608201 @default.
- W2952330785 hasConcept C80444323 @default.
- W2952330785 hasConceptScore W2952330785C121332964 @default.
- W2952330785 hasConceptScore W2952330785C1276947 @default.
- W2952330785 hasConceptScore W2952330785C145644426 @default.
- W2952330785 hasConceptScore W2952330785C154945302 @default.
- W2952330785 hasConceptScore W2952330785C177264268 @default.
- W2952330785 hasConceptScore W2952330785C199360897 @default.
- W2952330785 hasConceptScore W2952330785C202446494 @default.
- W2952330785 hasConceptScore W2952330785C2776436953 @default.
- W2952330785 hasConceptScore W2952330785C2777212361 @default.
- W2952330785 hasConceptScore W2952330785C2777904410 @default.
- W2952330785 hasConceptScore W2952330785C2778505590 @default.
- W2952330785 hasConceptScore W2952330785C2780801425 @default.
- W2952330785 hasConceptScore W2952330785C41008148 @default.
- W2952330785 hasConceptScore W2952330785C41608201 @default.
- W2952330785 hasConceptScore W2952330785C80444323 @default.
- W2952330785 hasLocation W29523307851 @default.
- W2952330785 hasOpenAccess W2952330785 @default.
- W2952330785 hasPrimaryLocation W29523307851 @default.
- W2952330785 hasRelatedWork W1799653139 @default.
- W2952330785 hasRelatedWork W2121997300 @default.
- W2952330785 hasRelatedWork W2950447013 @default.
- W2952330785 isParatext "false" @default.
- W2952330785 isRetracted "false" @default.
- W2952330785 magId "2952330785" @default.
- W2952330785 workType "article" @default.