FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567003402> ?p ?o ?g. }

• W1567003402 abstract "Model transformation is a prime technique in modern, model-driven software design. One of the most challenging issues is to show that the semantics of the models is not affected by the transformation. So far, there is hardly any research into this issue, in particular in those cases where the source and target languages are different.In this paper, we are using two different state-of-the-art proof techniques (explicit bisimulation construction versus borrowed contexts) to show bisimilarity preservation of a given model transformation between two simple (self-defined) languages, both of which are equipped with a graph transformation-based operational semantics. The contrast between these proof techniques is interesting because they are based on different model transformation strategies: triple graph grammars versus in situ transformation. We proceed to compare the proofs and discuss scalability to a more realistic setting." @default.
• W1567003402 created "2016-06-24" @default.
• W1567003402 creator A5022634065 @default.
• W1567003402 creator A5045219123 @default.
• W1567003402 creator A5046915601 @default.
• W1567003402 creator A5051941950 @default.
• W1567003402 creator A5054896724 @default.
• W1567003402 creator A5063161038 @default.
• W1567003402 date "2010-02-01" @default.
• W1567003402 modified "2023-09-26" @default.
• W1567003402 title "Full Semantics Preservation in Model Transformation – A Comparison of Proof Techniques" @default.
• W1567003402 cites W1500576982 @default.
• W1567003402 cites W1502748188 @default.
• W1567003402 cites W1528716241 @default.
• W1567003402 cites W1529421300 @default.
• W1567003402 cites W1531307100 @default.
• W1567003402 cites W1552361848 @default.
• W1567003402 cites W1575856026 @default.
• W1567003402 cites W1577197603 @default.
• W1567003402 cites W1675309158 @default.
• W1567003402 cites W1810787746 @default.
• W1567003402 cites W1821121188 @default.
• W1567003402 cites W1839734679 @default.
• W1567003402 cites W1841342726 @default.
• W1567003402 cites W1906292202 @default.
• W1567003402 cites W1977283758 @default.
• W1567003402 cites W2040856861 @default.
• W1567003402 cites W2098981343 @default.
• W1567003402 cites W2101618054 @default.
• W1567003402 cites W2119298939 @default.
• W1567003402 cites W2123863183 @default.
• W1567003402 cites W2141787205 @default.
• W1567003402 cites W2143029909 @default.
• W1567003402 cites W2159120688 @default.
• W1567003402 cites W2161860590 @default.
• W1567003402 cites W2171383742 @default.
• W1567003402 cites W2406837685 @default.
• W1567003402 cites W2554263013 @default.
• W1567003402 hasPublicationYear "2010" @default.
• W1567003402 type Work @default.
• W1567003402 sameAs 1567003402 @default.
• W1567003402 citedByCount "1" @default.
• W1567003402 crossrefType "journal-article" @default.
• W1567003402 hasAuthorship W1567003402A5022634065 @default.
• W1567003402 hasAuthorship W1567003402A5045219123 @default.
• W1567003402 hasAuthorship W1567003402A5046915601 @default.
• W1567003402 hasAuthorship W1567003402A5051941950 @default.
• W1567003402 hasAuthorship W1567003402A5054896724 @default.
• W1567003402 hasAuthorship W1567003402A5063161038 @default.
• W1567003402 hasConcept C104317684 @default.
• W1567003402 hasConcept C108710211 @default.
• W1567003402 hasConcept C110251889 @default.
• W1567003402 hasConcept C132525143 @default.
• W1567003402 hasConcept C135315306 @default.
• W1567003402 hasConcept C154945302 @default.
• W1567003402 hasConcept C156325763 @default.
• W1567003402 hasConcept C184337299 @default.
• W1567003402 hasConcept C185592680 @default.
• W1567003402 hasConcept C199360897 @default.
• W1567003402 hasConcept C204241405 @default.
• W1567003402 hasConcept C2524010 @default.
• W1567003402 hasConcept C2776436953 @default.
• W1567003402 hasConcept C2778361913 @default.
• W1567003402 hasConcept C2779791154 @default.
• W1567003402 hasConcept C33923547 @default.
• W1567003402 hasConcept C41008148 @default.
• W1567003402 hasConcept C48044578 @default.
• W1567003402 hasConcept C55493867 @default.
• W1567003402 hasConcept C558772884 @default.
• W1567003402 hasConcept C77088390 @default.
• W1567003402 hasConcept C80444323 @default.
• W1567003402 hasConceptScore W1567003402C104317684 @default.
• W1567003402 hasConceptScore W1567003402C108710211 @default.
• W1567003402 hasConceptScore W1567003402C110251889 @default.
• W1567003402 hasConceptScore W1567003402C132525143 @default.
• W1567003402 hasConceptScore W1567003402C135315306 @default.
• W1567003402 hasConceptScore W1567003402C154945302 @default.
• W1567003402 hasConceptScore W1567003402C156325763 @default.
• W1567003402 hasConceptScore W1567003402C184337299 @default.
• W1567003402 hasConceptScore W1567003402C185592680 @default.
• W1567003402 hasConceptScore W1567003402C199360897 @default.
• W1567003402 hasConceptScore W1567003402C204241405 @default.
• W1567003402 hasConceptScore W1567003402C2524010 @default.
• W1567003402 hasConceptScore W1567003402C2776436953 @default.
• W1567003402 hasConceptScore W1567003402C2778361913 @default.
• W1567003402 hasConceptScore W1567003402C2779791154 @default.
• W1567003402 hasConceptScore W1567003402C33923547 @default.
• W1567003402 hasConceptScore W1567003402C41008148 @default.
• W1567003402 hasConceptScore W1567003402C48044578 @default.
• W1567003402 hasConceptScore W1567003402C55493867 @default.
• W1567003402 hasConceptScore W1567003402C558772884 @default.
• W1567003402 hasConceptScore W1567003402C77088390 @default.
• W1567003402 hasConceptScore W1567003402C80444323 @default.
• W1567003402 hasLocation W15670034021 @default.
• W1567003402 hasOpenAccess W1567003402 @default.
• W1567003402 hasPrimaryLocation W15670034021 @default.
• W1567003402 hasRelatedWork W1607859075 @default.
• W1567003402 hasRelatedWork W2011324247 @default.
• W1567003402 hasRelatedWork W2109798037 @default.
• W1567003402 hasRelatedWork W2158734104 @default.

• next