Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105482255> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2105482255 endingPage "435" @default.
- W2105482255 startingPage "405" @default.
- W2105482255 abstract "SUMMARY Model processing programs are regularly used when working with models or synthetizing the code from them; therefore, their verification has become an essential component of constructing reliable software in model‐based software engineering. Models are usually formalized and visualized as graphs; therefore, model processing programs based on algebraic graph rewriting systems—such programs are called model transformations—are often applied, and their verification has become an important research area. The goal of our research is to support offline transformation analysis by automated methods, where offline means that only the definition of the program itself, the language definitions of its source and target models are used during the analysis. Therefore, the results are independent from concrete source models, and the analysis needs to be performed only once. Based on previous work, this paper provides the synthesis and of a set of individual components and improves them to provide a complete verification solution: (i) a language is introduced to specify the properties to be verified; (ii) a formalism to describe model transformations in a declarative way; and (iii) automated algorithms that can analyse the declarative transformations as well as the properties expressed by the language. Besides its theoretical basis, the implementation of a verification framework is presented, and its operation is illustrated on a case study. Although the formal verification of model transformation properties is algorithmically undecidable in general, our goal is to provide a practically usable, scoped framework that can largely facilitate the manual verification of model transformations. Copyright © 2013 John Wiley & Sons, Ltd." @default.
- W2105482255 created "2016-06-24" @default.
- W2105482255 creator A5056116587 @default.
- W2105482255 creator A5074203243 @default.
- W2105482255 creator A5085175718 @default.
- W2105482255 date "2013-06-07" @default.
- W2105482255 modified "2023-09-25" @default.
- W2105482255 title "Formal specification and analysis of functional properties of graph rewriting-based model transformation" @default.
- W2105482255 cites W1517736112 @default.
- W2105482255 cites W1521552790 @default.
- W2105482255 cites W1685591268 @default.
- W2105482255 cites W1745538414 @default.
- W2105482255 cites W2001704173 @default.
- W2105482255 cites W2063830878 @default.
- W2105482255 cites W2095093755 @default.
- W2105482255 cites W2105655408 @default.
- W2105482255 cites W2147642262 @default.
- W2105482255 cites W2159151953 @default.
- W2105482255 cites W2169424671 @default.
- W2105482255 cites W2399834472 @default.
- W2105482255 cites W4244167827 @default.
- W2105482255 cites W4251228600 @default.
- W2105482255 cites W4251912342 @default.
- W2105482255 doi "https://doi.org/10.1002/stvr.1502" @default.
- W2105482255 hasPublicationYear "2013" @default.
- W2105482255 type Work @default.
- W2105482255 sameAs 2105482255 @default.
- W2105482255 citedByCount "9" @default.
- W2105482255 countsByYear W21054822552014 @default.
- W2105482255 countsByYear W21054822552015 @default.
- W2105482255 countsByYear W21054822552016 @default.
- W2105482255 countsByYear W21054822552018 @default.
- W2105482255 countsByYear W21054822552023 @default.
- W2105482255 crossrefType "journal-article" @default.
- W2105482255 hasAuthorship W2105482255A5056116587 @default.
- W2105482255 hasAuthorship W2105482255A5074203243 @default.
- W2105482255 hasAuthorship W2105482255A5085175718 @default.
- W2105482255 hasConcept C104317684 @default.
- W2105482255 hasConcept C110251889 @default.
- W2105482255 hasConcept C132525143 @default.
- W2105482255 hasConcept C136764020 @default.
- W2105482255 hasConcept C154690210 @default.
- W2105482255 hasConcept C154945302 @default.
- W2105482255 hasConcept C185592680 @default.
- W2105482255 hasConcept C199360897 @default.
- W2105482255 hasConcept C204241405 @default.
- W2105482255 hasConcept C2776436953 @default.
- W2105482255 hasConcept C2779791154 @default.
- W2105482255 hasConcept C2780615836 @default.
- W2105482255 hasConcept C41008148 @default.
- W2105482255 hasConcept C43126263 @default.
- W2105482255 hasConcept C55493867 @default.
- W2105482255 hasConcept C558772884 @default.
- W2105482255 hasConcept C80444323 @default.
- W2105482255 hasConcept C97686452 @default.
- W2105482255 hasConceptScore W2105482255C104317684 @default.
- W2105482255 hasConceptScore W2105482255C110251889 @default.
- W2105482255 hasConceptScore W2105482255C132525143 @default.
- W2105482255 hasConceptScore W2105482255C136764020 @default.
- W2105482255 hasConceptScore W2105482255C154690210 @default.
- W2105482255 hasConceptScore W2105482255C154945302 @default.
- W2105482255 hasConceptScore W2105482255C185592680 @default.
- W2105482255 hasConceptScore W2105482255C199360897 @default.
- W2105482255 hasConceptScore W2105482255C204241405 @default.
- W2105482255 hasConceptScore W2105482255C2776436953 @default.
- W2105482255 hasConceptScore W2105482255C2779791154 @default.
- W2105482255 hasConceptScore W2105482255C2780615836 @default.
- W2105482255 hasConceptScore W2105482255C41008148 @default.
- W2105482255 hasConceptScore W2105482255C43126263 @default.
- W2105482255 hasConceptScore W2105482255C55493867 @default.
- W2105482255 hasConceptScore W2105482255C558772884 @default.
- W2105482255 hasConceptScore W2105482255C80444323 @default.
- W2105482255 hasConceptScore W2105482255C97686452 @default.
- W2105482255 hasIssue "5" @default.
- W2105482255 hasLocation W21054822551 @default.
- W2105482255 hasOpenAccess W2105482255 @default.
- W2105482255 hasPrimaryLocation W21054822551 @default.
- W2105482255 hasRelatedWork W1605273124 @default.
- W2105482255 hasRelatedWork W17429040 @default.
- W2105482255 hasRelatedWork W1788565084 @default.
- W2105482255 hasRelatedWork W2001051416 @default.
- W2105482255 hasRelatedWork W200511348 @default.
- W2105482255 hasRelatedWork W2062952062 @default.
- W2105482255 hasRelatedWork W2116959936 @default.
- W2105482255 hasRelatedWork W2619273670 @default.
- W2105482255 hasRelatedWork W3005022890 @default.
- W2105482255 hasRelatedWork W60870644 @default.
- W2105482255 hasVolume "23" @default.
- W2105482255 isParatext "false" @default.
- W2105482255 isRetracted "false" @default.
- W2105482255 magId "2105482255" @default.
- W2105482255 workType "article" @default.