FRINK Linked Data Fragments server

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

• W137444428 endingPage "147" @default.
• W137444428 startingPage "131" @default.
• W137444428 abstract "The automated generation of systems (e.g. within model-driven development) is a considerable improvement of the software development. However, besides the automated generation the verification of these generated systems needs to be supported, too. By applying generators it is not necessarily guaranteed that the generation outcome is correct. Typical problems may be, firstly, the use of a wrong operator resulting in an erroneous generation (static aspects of the generation). Secondly, the interactions between the different generated system assets (snippets) of the generated outcome might be incorrect, since the snippets might be connected in a wrong sequence (dynamic aspect of the generation). Therefore, the hierarchical dependencies of the snippets which are the input of the generator as well as the dynamic behavior resulting from the generation have to be checked. We describe the hierarchy in a version model based on Boolean logic. The temporal behavior may be checked by model checkers. For the generation we apply our XOpT concept which provides domain-specific transformation operators on the XML representation. Besides the principles of the static and dynamic elements of our checking approach the paper presents the way to map program assets to the version model and to finite state automata which are the prerequisite for the checking. Though the proposed checking is presented at the code level the approach may be applied to different kinds of assets, e.g. also on the model level." @default.
• W137444428 created "2016-06-24" @default.
• W137444428 creator A5041691200 @default.
• W137444428 creator A5042138015 @default.
• W137444428 date "2009-07-19" @default.
• W137444428 modified "2023-09-24" @default.
• W137444428 title "Verification Support for Generative System Development" @default.
• W137444428 cites W1500250067 @default.
• W137444428 cites W1503170978 @default.
• W137444428 cites W1521845096 @default.
• W137444428 cites W1539735786 @default.
• W137444428 cites W1571900822 @default.
• W137444428 cites W1572198678 @default.
• W137444428 cites W1579049907 @default.
• W137444428 cites W1594571423 @default.
• W137444428 cites W1610570299 @default.
• W137444428 cites W171425694 @default.
• W137444428 cites W1753304137 @default.
• W137444428 cites W1760114538 @default.
• W137444428 cites W1985757471 @default.
• W137444428 cites W1990244497 @default.
• W137444428 cites W2038239375 @default.
• W137444428 cites W2100732527 @default.
• W137444428 cites W2115528929 @default.
• W137444428 cites W2115703981 @default.
• W137444428 cites W2117484396 @default.
• W137444428 cites W2117680352 @default.
• W137444428 cites W2134119432 @default.
• W137444428 cites W2141399917 @default.
• W137444428 cites W2160325552 @default.
• W137444428 cites W2173469511 @default.
• W137444428 cites W2399834472 @default.
• W137444428 cites W3128789233 @default.
• W137444428 cites W3129397621 @default.
• W137444428 cites W6191748 @default.
• W137444428 hasPublicationYear "2009" @default.
• W137444428 type Work @default.
• W137444428 sameAs 137444428 @default.
• W137444428 citedByCount "0" @default.
• W137444428 crossrefType "proceedings-article" @default.
• W137444428 hasAuthorship W137444428A5041691200 @default.
• W137444428 hasAuthorship W137444428A5042138015 @default.
• W137444428 hasConcept C110251889 @default.
• W137444428 hasConcept C112505250 @default.
• W137444428 hasConcept C121332964 @default.
• W137444428 hasConcept C133162039 @default.
• W137444428 hasConcept C154945302 @default.
• W137444428 hasConcept C162324750 @default.
• W137444428 hasConcept C163258240 @default.
• W137444428 hasConcept C199360897 @default.
• W137444428 hasConcept C26517878 @default.
• W137444428 hasConcept C2776436953 @default.
• W137444428 hasConcept C2778361913 @default.
• W137444428 hasConcept C2779791154 @default.
• W137444428 hasConcept C2780992000 @default.
• W137444428 hasConcept C31170391 @default.
• W137444428 hasConcept C34447519 @default.
• W137444428 hasConcept C38652104 @default.
• W137444428 hasConcept C41008148 @default.
• W137444428 hasConcept C62520636 @default.
• W137444428 hasConcept C80444323 @default.
• W137444428 hasConceptScore W137444428C110251889 @default.
• W137444428 hasConceptScore W137444428C112505250 @default.
• W137444428 hasConceptScore W137444428C121332964 @default.
• W137444428 hasConceptScore W137444428C133162039 @default.
• W137444428 hasConceptScore W137444428C154945302 @default.
• W137444428 hasConceptScore W137444428C162324750 @default.
• W137444428 hasConceptScore W137444428C163258240 @default.
• W137444428 hasConceptScore W137444428C199360897 @default.
• W137444428 hasConceptScore W137444428C26517878 @default.
• W137444428 hasConceptScore W137444428C2776436953 @default.
• W137444428 hasConceptScore W137444428C2778361913 @default.
• W137444428 hasConceptScore W137444428C2779791154 @default.
• W137444428 hasConceptScore W137444428C2780992000 @default.
• W137444428 hasConceptScore W137444428C31170391 @default.
• W137444428 hasConceptScore W137444428C34447519 @default.
• W137444428 hasConceptScore W137444428C38652104 @default.
• W137444428 hasConceptScore W137444428C41008148 @default.
• W137444428 hasConceptScore W137444428C62520636 @default.
• W137444428 hasConceptScore W137444428C80444323 @default.
• W137444428 hasLocation W1374444281 @default.
• W137444428 hasOpenAccess W137444428 @default.
• W137444428 hasPrimaryLocation W1374444281 @default.
• W137444428 hasRelatedWork W103974898 @default.
• W137444428 hasRelatedWork W1537387651 @default.
• W137444428 hasRelatedWork W1998559974 @default.
• W137444428 hasRelatedWork W2188057831 @default.
• W137444428 hasRelatedWork W2274258207 @default.
• W137444428 hasRelatedWork W2341264622 @default.
• W137444428 hasRelatedWork W2531728244 @default.
• W137444428 hasRelatedWork W2532289359 @default.
• W137444428 hasRelatedWork W2738569367 @default.
• W137444428 hasRelatedWork W2755336937 @default.
• W137444428 hasRelatedWork W2766393167 @default.
• W137444428 hasRelatedWork W2809162343 @default.
• W137444428 hasRelatedWork W2809277795 @default.
• W137444428 hasRelatedWork W2900440339 @default.
• W137444428 hasRelatedWork W2913210435 @default.

• next