Matches in SemOpenAlex for { <https://semopenalex.org/work/W139971438> ?p ?o ?g. }
- W139971438 abstract "Triple Graph Grammars (TGGs) are a well-known bidirectional model transformation language. All actively developed TGG tools pose restrictions to guarantee efficiency (polynomial runtime), without compromising formal properties. Most tools demand confluence of the TGG, meaning that a choice between applicable rules can be freely made without affecting the final result of a transformation. This is, however, a strong restriction for transformations with inherent degrees of freedom that should not be limited at design time. eMoflon is a TGG tool that supports non-confluent TGGs, allowing different results depending on runtime choices. To guarantee efficiency, nonetheless, a local choice of the next source element to be translated, based on source context dependencies of the rules, must not lead to a dead end, i.e., to a state where no rule is applicable for the currently chosen source element to be translated, and the transformation is not yet complete. Our contribution in this paper is to formalize a corresponding property, referred to as local completeness, using graph constraints. Based on the well-known transformation of constraints to application conditions, we present a static analysis that guarantees dead end-freeness for non-confluent TGGs." @default.
- W139971438 created "2016-06-24" @default.
- W139971438 creator A5013008708 @default.
- W139971438 creator A5013053241 @default.
- W139971438 creator A5064883977 @default.
- W139971438 creator A5074975265 @default.
- W139971438 date "2014-01-01" @default.
- W139971438 modified "2023-10-02" @default.
- W139971438 title "A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation" @default.
- W139971438 cites W1493088336 @default.
- W139971438 cites W1511832825 @default.
- W139971438 cites W1678103179 @default.
- W139971438 cites W1767562778 @default.
- W139971438 cites W190161717 @default.
- W139971438 cites W2028884783 @default.
- W139971438 cites W2104135746 @default.
- W139971438 cites W2157901438 @default.
- W139971438 cites W341155889 @default.
- W139971438 cites W4252076279 @default.
- W139971438 doi "https://doi.org/10.1007/978-3-319-09108-2_9" @default.
- W139971438 hasPublicationYear "2014" @default.
- W139971438 type Work @default.
- W139971438 sameAs 139971438 @default.
- W139971438 citedByCount "7" @default.
- W139971438 countsByYear W1399714382015 @default.
- W139971438 countsByYear W1399714382016 @default.
- W139971438 countsByYear W1399714382017 @default.
- W139971438 countsByYear W1399714382018 @default.
- W139971438 countsByYear W1399714382020 @default.
- W139971438 crossrefType "book-chapter" @default.
- W139971438 hasAuthorship W139971438A5013008708 @default.
- W139971438 hasAuthorship W139971438A5013053241 @default.
- W139971438 hasAuthorship W139971438A5064883977 @default.
- W139971438 hasAuthorship W139971438A5074975265 @default.
- W139971438 hasConcept C104317684 @default.
- W139971438 hasConcept C110251889 @default.
- W139971438 hasConcept C11413529 @default.
- W139971438 hasConcept C132525143 @default.
- W139971438 hasConcept C151730666 @default.
- W139971438 hasConcept C154945302 @default.
- W139971438 hasConcept C185592680 @default.
- W139971438 hasConcept C199360897 @default.
- W139971438 hasConcept C204241405 @default.
- W139971438 hasConcept C2776436953 @default.
- W139971438 hasConcept C2778361913 @default.
- W139971438 hasConcept C2779343474 @default.
- W139971438 hasConcept C2779791154 @default.
- W139971438 hasConcept C41008148 @default.
- W139971438 hasConcept C53893814 @default.
- W139971438 hasConcept C55493867 @default.
- W139971438 hasConcept C558772884 @default.
- W139971438 hasConcept C77906462 @default.
- W139971438 hasConcept C80444323 @default.
- W139971438 hasConcept C86803240 @default.
- W139971438 hasConcept C97686452 @default.
- W139971438 hasConceptScore W139971438C104317684 @default.
- W139971438 hasConceptScore W139971438C110251889 @default.
- W139971438 hasConceptScore W139971438C11413529 @default.
- W139971438 hasConceptScore W139971438C132525143 @default.
- W139971438 hasConceptScore W139971438C151730666 @default.
- W139971438 hasConceptScore W139971438C154945302 @default.
- W139971438 hasConceptScore W139971438C185592680 @default.
- W139971438 hasConceptScore W139971438C199360897 @default.
- W139971438 hasConceptScore W139971438C204241405 @default.
- W139971438 hasConceptScore W139971438C2776436953 @default.
- W139971438 hasConceptScore W139971438C2778361913 @default.
- W139971438 hasConceptScore W139971438C2779343474 @default.
- W139971438 hasConceptScore W139971438C2779791154 @default.
- W139971438 hasConceptScore W139971438C41008148 @default.
- W139971438 hasConceptScore W139971438C53893814 @default.
- W139971438 hasConceptScore W139971438C55493867 @default.
- W139971438 hasConceptScore W139971438C558772884 @default.
- W139971438 hasConceptScore W139971438C77906462 @default.
- W139971438 hasConceptScore W139971438C80444323 @default.
- W139971438 hasConceptScore W139971438C86803240 @default.
- W139971438 hasConceptScore W139971438C97686452 @default.
- W139971438 hasLocation W1399714381 @default.
- W139971438 hasOpenAccess W139971438 @default.
- W139971438 hasPrimaryLocation W1399714381 @default.
- W139971438 hasRelatedWork W113896694 @default.
- W139971438 hasRelatedWork W118797093 @default.
- W139971438 hasRelatedWork W1509591648 @default.
- W139971438 hasRelatedWork W1511832825 @default.
- W139971438 hasRelatedWork W1575687750 @default.
- W139971438 hasRelatedWork W1598022760 @default.
- W139971438 hasRelatedWork W1788565084 @default.
- W139971438 hasRelatedWork W192799299 @default.
- W139971438 hasRelatedWork W1964551226 @default.
- W139971438 hasRelatedWork W2047907247 @default.
- W139971438 hasRelatedWork W2132462532 @default.
- W139971438 hasRelatedWork W2293879310 @default.
- W139971438 hasRelatedWork W2397637064 @default.
- W139971438 hasRelatedWork W2553417806 @default.
- W139971438 hasRelatedWork W2658350595 @default.
- W139971438 hasRelatedWork W2883822820 @default.
- W139971438 hasRelatedWork W2903041653 @default.
- W139971438 hasRelatedWork W2955911989 @default.
- W139971438 hasRelatedWork W806670822 @default.
- W139971438 hasRelatedWork W990257473 @default.
- W139971438 isParatext "false" @default.