FRINK Linked Data Fragments server

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

• W2741437944 abstract "This paper presents our approach to the quantitative modeling and analysis of highly (re)configurable systems, such as software product lines. Different combinations of the optional features of such a system give rise to combinatorially many individual system variants. We use a formal modeling language that allows us to model systems with probabilistic behavior, possibly subject to quantitative feature constraints, and able to dynamically install, remove or replace features. More precisely, our models are defined in the probabilistic feature-oriented language QFLAN, a rich domain specific language (DSL) for systems with variability defined in terms of features. QFLAN specifications are automatically encoded in terms of a process algebra whose operational behavior interacts with a store of constraints, and hence allows to separate system configuration from system behavior. The resulting probabilistic configurations and behavior converge seamlessly in a semantics based on discrete-time Markov chains, thus enabling quantitative analysis. Our analysis is based on statistical model checking techniques, which allow us to scale to larger models with respect to precise probabilistic analysis techniques. The analyses we can conduct range from the likelihood of specific behavior to the expected average cost, in terms of feature attributes, of specific system variants. Our approach is supported by a novel Eclipse-based tool which includes state-of-the-art DSL utilities for QFLAN based on the Xtext framework as well as analysis plug-ins to seamlessly run statistical model checking analyses. We provide a number of case studies that have driven and validated the development of our framework." @default.
• W2741437944 created "2017-08-08" @default.
• W2741437944 creator A5023123658 @default.
• W2741437944 creator A5029610138 @default.
• W2741437944 creator A5030129842 @default.
• W2741437944 creator A5064415269 @default.
• W2741437944 date "2017-07-26" @default.
• W2741437944 modified "2023-09-27" @default.
• W2741437944 title "A framework for quantitative modeling and analysis of highly (re)configurable systems" @default.
• W2741437944 cites W133349359 @default.
• W2741437944 cites W1480909796 @default.
• W2741437944 cites W1494019345 @default.
• W2741437944 cites W1501652040 @default.
• W2741437944 cites W1570173564 @default.
• W2741437944 cites W1573313194 @default.
• W2741437944 cites W1574030932 @default.
• W2741437944 cites W1587853850 @default.
• W2741437944 cites W1631091010 @default.
• W2741437944 cites W1740986913 @default.
• W2741437944 cites W1847450725 @default.
• W2741437944 cites W1862398452 @default.
• W2741437944 cites W1879962687 @default.
• W2741437944 cites W1959890433 @default.
• W2741437944 cites W19678273 @default.
• W2741437944 cites W1979411729 @default.
• W2741437944 cites W1992287205 @default.
• W2741437944 cites W1994096594 @default.
• W2741437944 cites W2005989815 @default.
• W2741437944 cites W2007170049 @default.
• W2741437944 cites W2014907753 @default.
• W2741437944 cites W2015315253 @default.
• W2741437944 cites W2016954568 @default.
• W2741437944 cites W2021530756 @default.
• W2741437944 cites W2022615696 @default.
• W2741437944 cites W2023640584 @default.
• W2741437944 cites W2024358995 @default.
• W2741437944 cites W2029191862 @default.
• W2741437944 cites W2048064553 @default.
• W2741437944 cites W2049497188 @default.
• W2741437944 cites W2049676836 @default.
• W2741437944 cites W2068847249 @default.
• W2741437944 cites W2069920427 @default.
• W2741437944 cites W2071109087 @default.
• W2741437944 cites W2075571135 @default.
• W2741437944 cites W2075636906 @default.
• W2741437944 cites W2081678475 @default.
• W2741437944 cites W2091675414 @default.
• W2741437944 cites W2110025251 @default.
• W2741437944 cites W2120119918 @default.
• W2741437944 cites W2121319037 @default.
• W2741437944 cites W2123481254 @default.
• W2741437944 cites W2124026064 @default.
• W2741437944 cites W2125674137 @default.
• W2741437944 cites W2128967738 @default.
• W2741437944 cites W2130195901 @default.
• W2741437944 cites W2130413791 @default.
• W2741437944 cites W2138696525 @default.
• W2741437944 cites W2142960988 @default.
• W2741437944 cites W2144179818 @default.
• W2741437944 cites W2148106163 @default.
• W2741437944 cites W2154050677 @default.
• W2741437944 cites W2156194547 @default.
• W2741437944 cites W2161253570 @default.
• W2741437944 cites W2164729113 @default.
• W2741437944 cites W2167672803 @default.
• W2741437944 cites W2168086947 @default.
• W2741437944 cites W2170286440 @default.
• W2741437944 cites W2171480813 @default.
• W2741437944 cites W2183677651 @default.
• W2741437944 cites W2184870076 @default.
• W2741437944 cites W2208993337 @default.
• W2741437944 cites W2219042429 @default.
• W2741437944 cites W2240627189 @default.
• W2741437944 cites W2260042246 @default.
• W2741437944 cites W2261238734 @default.
• W2741437944 cites W2275911078 @default.
• W2741437944 cites W2295538959 @default.
• W2741437944 cites W2394570354 @default.
• W2741437944 cites W2401584260 @default.
• W2741437944 cites W2406044115 @default.
• W2741437944 cites W2511206070 @default.
• W2741437944 cites W2525665404 @default.
• W2741437944 cites W2527872501 @default.
• W2741437944 cites W2528724993 @default.
• W2741437944 cites W2574525925 @default.
• W2741437944 cites W2597775210 @default.
• W2741437944 cites W2599286514 @default.
• W2741437944 cites W2742512175 @default.
• W2741437944 cites W2756040459 @default.
• W2741437944 cites W2912198824 @default.
• W2741437944 cites W336951068 @default.
• W2741437944 cites W43031245 @default.
• W2741437944 cites W596739818 @default.
• W2741437944 cites W70162607 @default.
• W2741437944 cites W789639390 @default.
• W2741437944 cites W1266841435 @default.
• W2741437944 cites W2142423074 @default.
• W2741437944 cites W2318545820 @default.
• W2741437944 hasPublicationYear "2017" @default.
• W2741437944 type Work @default.

• next