Matches in SemOpenAlex for { <https://semopenalex.org/work/W2762869699> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2762869699 abstract "Clafer is a general purpose modeling language that combines UML-like class and meta-modeling with feature-oriented variability modeling and first-order logic constraints. The considerable expressiveness of Clafer makes automated reasoning about properties like model consistency (i.e., finding a valid model instance) very challenging. In particular, multiplicity annotations and recursive model structures yield a potentially unbounded number of model instances resulting in an infinite search space. Existing approaches for consistency checking encode Clafer models into finite constraint-satisfaction problems by either manually or heuristically, setting bounds for the search space. Hence, if no valid model instance has been found, it is unknown whether the model is inconsistent, or whether the bounds have been chosen too tight. In this paper, we characterize a restricted sub-language of Clafer with complex inheritance relations that is crucial for facilitating sound and complete model-consistency checking. To this end, we present the idea of a novel technique for automated search-space restriction, by flattening Clafer models and encoding them as Integer Linear Programs (ILP). Our evaluation shows very promising results of our approach in terms of runtime efficiency for both flattening of complex inheritance hierarchies as well as sound and complete consistency checking." @default.
- W2762869699 created "2017-10-20" @default.
- W2762869699 creator A5006521931 @default.
- W2762869699 creator A5013053241 @default.
- W2762869699 creator A5056787798 @default.
- W2762869699 creator A5075282758 @default.
- W2762869699 date "2017-10-23" @default.
- W2762869699 modified "2023-10-15" @default.
- W2762869699 title "Towards complete consistency checks of Clafer models" @default.
- W2762869699 cites W1507872748 @default.
- W2762869699 cites W1586175325 @default.
- W2762869699 cites W1598023088 @default.
- W2762869699 cites W1965717968 @default.
- W2762869699 cites W1977093069 @default.
- W2762869699 cites W1979037869 @default.
- W2762869699 cites W2027510748 @default.
- W2762869699 cites W2067838808 @default.
- W2762869699 cites W2070757058 @default.
- W2762869699 cites W2091920469 @default.
- W2762869699 cites W2099213660 @default.
- W2762869699 cites W2106106289 @default.
- W2762869699 cites W2109048137 @default.
- W2762869699 cites W2305589459 @default.
- W2762869699 cites W2495617574 @default.
- W2762869699 cites W4246103079 @default.
- W2762869699 cites W69042442 @default.
- W2762869699 doi "https://doi.org/10.1145/3141848.3141850" @default.
- W2762869699 hasPublicationYear "2017" @default.
- W2762869699 type Work @default.
- W2762869699 sameAs 2762869699 @default.
- W2762869699 citedByCount "4" @default.
- W2762869699 countsByYear W27628696992018 @default.
- W2762869699 countsByYear W27628696992020 @default.
- W2762869699 countsByYear W27628696992021 @default.
- W2762869699 crossrefType "proceedings-article" @default.
- W2762869699 hasAuthorship W2762869699A5006521931 @default.
- W2762869699 hasAuthorship W2762869699A5013053241 @default.
- W2762869699 hasAuthorship W2762869699A5056787798 @default.
- W2762869699 hasAuthorship W2762869699A5075282758 @default.
- W2762869699 hasConcept C154945302 @default.
- W2762869699 hasConcept C2776436953 @default.
- W2762869699 hasConcept C41008148 @default.
- W2762869699 hasConceptScore W2762869699C154945302 @default.
- W2762869699 hasConceptScore W2762869699C2776436953 @default.
- W2762869699 hasConceptScore W2762869699C41008148 @default.
- W2762869699 hasLocation W27628696991 @default.
- W2762869699 hasOpenAccess W2762869699 @default.
- W2762869699 hasPrimaryLocation W27628696991 @default.
- W2762869699 hasRelatedWork W1531673041 @default.
- W2762869699 hasRelatedWork W1970154823 @default.
- W2762869699 hasRelatedWork W2347852573 @default.
- W2762869699 hasRelatedWork W2350879319 @default.
- W2762869699 hasRelatedWork W2353865532 @default.
- W2762869699 hasRelatedWork W2382404723 @default.
- W2762869699 hasRelatedWork W2393816995 @default.
- W2762869699 hasRelatedWork W2901917862 @default.
- W2762869699 hasRelatedWork W2998403542 @default.
- W2762869699 hasRelatedWork W3150682610 @default.
- W2762869699 isParatext "false" @default.
- W2762869699 isRetracted "false" @default.
- W2762869699 magId "2762869699" @default.
- W2762869699 workType "article" @default.