FRINK Linked Data Fragments server

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

• W3210456721 abstract "Abstract A Featured Transition System (FTS) models the behaviour of all products of a Software Product Line (SPL) in a single compact structure, by associating action-labelled transitions with features that condition their presence in product behaviour. It may however be the case that the resulting featured transitions of an FTS cannot be executed in any product (so called dead transitions ) or, on the contrary, can be executed in all products (so called false optional transitions ). Moreover, an FTS may contain states from which a transition can be executed only in some products (so called hidden deadlock states ). It is useful to detect such ambiguities and signal them to the modeller, because dead transitions indicate an anomaly in the FTS that must be corrected, false optional transitions indicate a redundancy that may be removed, and hidden deadlocks should be made explicit in the FTS to improve the understanding of the model and to enable efficient verification—if the deadlocks in the products should not be remedied in the first place. We provide an algorithm to analyse an FTS for ambiguities and a means to transform an ambiguous FTS into an unambiguous one. The scope is twofold: an ambiguous model is typically undesired as it gives an unclear idea of the SPL and, moreover, an unambiguous FTS can efficiently be model checked. We empirically show the suitability of the algorithm by applying it to a number of benchmark SPL examples from the literature, and we show how this facilitates a kind of family-based model checking of a wide range of properties on FTSs." @default.
• W3210456721 created "2021-11-08" @default.
• W3210456721 creator A5012008673 @default.
• W3210456721 creator A5046746506 @default.
• W3210456721 creator A5064415269 @default.
• W3210456721 creator A5065182304 @default.
• W3210456721 creator A5078201674 @default.
• W3210456721 date "2021-10-23" @default.
• W3210456721 modified "2023-10-16" @default.
• W3210456721 title "Efficient static analysis and verification of featured transition systems" @default.
• W3210456721 cites W120333500 @default.
• W3210456721 cites W1480909796 @default.
• W3210456721 cites W1553511155 @default.
• W3210456721 cites W1553894716 @default.
• W3210456721 cites W159793414 @default.
• W3210456721 cites W1959890433 @default.
• W3210456721 cites W2000714695 @default.
• W3210456721 cites W2012485878 @default.
• W3210456721 cites W2015315253 @default.
• W3210456721 cites W2021530756 @default.
• W3210456721 cites W2022615696 @default.
• W3210456721 cites W2026947155 @default.
• W3210456721 cites W2034095341 @default.
• W3210456721 cites W2036265926 @default.
• W3210456721 cites W2040767332 @default.
• W3210456721 cites W2048064553 @default.
• W3210456721 cites W2066874030 @default.
• W3210456721 cites W2069283169 @default.
• W3210456721 cites W2071109087 @default.
• W3210456721 cites W2071797673 @default.
• W3210456721 cites W2075161804 @default.
• W3210456721 cites W2075571135 @default.
• W3210456721 cites W2079626666 @default.
• W3210456721 cites W2099529102 @default.
• W3210456721 cites W2110025251 @default.
• W3210456721 cites W2117352154 @default.
• W3210456721 cites W2117730221 @default.
• W3210456721 cites W2120119918 @default.
• W3210456721 cites W2128967738 @default.
• W3210456721 cites W2130195901 @default.
• W3210456721 cites W2130413791 @default.
• W3210456721 cites W2142960988 @default.
• W3210456721 cites W2144179818 @default.
• W3210456721 cites W2148106163 @default.
• W3210456721 cites W2154050677 @default.
• W3210456721 cites W2164729113 @default.
• W3210456721 cites W2166408554 @default.
• W3210456721 cites W2168086947 @default.
• W3210456721 cites W2170286440 @default.
• W3210456721 cites W2183677651 @default.
• W3210456721 cites W2184870076 @default.
• W3210456721 cites W2208993337 @default.
• W3210456721 cites W2219042429 @default.
• W3210456721 cites W2260042246 @default.
• W3210456721 cites W2293813842 @default.
• W3210456721 cites W2392262895 @default.
• W3210456721 cites W2394570354 @default.
• W3210456721 cites W2495617574 @default.
• W3210456721 cites W2518514578 @default.
• W3210456721 cites W2528366265 @default.
• W3210456721 cites W2597775210 @default.
• W3210456721 cites W2599286514 @default.
• W3210456721 cites W2739324783 @default.
• W3210456721 cites W2742512175 @default.
• W3210456721 cites W2766566534 @default.
• W3210456721 cites W2783240554 @default.
• W3210456721 cites W2791638933 @default.
• W3210456721 cites W2796097032 @default.
• W3210456721 cites W2808965408 @default.
• W3210456721 cites W2809366047 @default.
• W3210456721 cites W2890388820 @default.
• W3210456721 cites W2894621248 @default.
• W3210456721 cites W2901842721 @default.
• W3210456721 cites W2902022432 @default.
• W3210456721 cites W2914206182 @default.
• W3210456721 cites W2931334490 @default.
• W3210456721 cites W2934549348 @default.
• W3210456721 cites W2954932785 @default.
• W3210456721 cites W2962858291 @default.
• W3210456721 cites W2962929300 @default.
• W3210456721 cites W2968593786 @default.
• W3210456721 cites W2970412618 @default.
• W3210456721 cites W2972470316 @default.
• W3210456721 cites W2979549536 @default.
• W3210456721 cites W3019048927 @default.
• W3210456721 cites W3141812285 @default.
• W3210456721 cites W3145216710 @default.
• W3210456721 cites W3198658078 @default.
• W3210456721 cites W336951068 @default.
• W3210456721 cites W4246103079 @default.
• W3210456721 cites W602497127 @default.
• W3210456721 cites W789639390 @default.
• W3210456721 cites W941497742 @default.
• W3210456721 cites W1266841435 @default.
• W3210456721 doi "https://doi.org/10.1007/s10664-020-09930-8" @default.
• W3210456721 hasPublicationYear "2021" @default.
• W3210456721 type Work @default.
• W3210456721 sameAs 3210456721 @default.
• W3210456721 citedByCount "7" @default.
• W3210456721 countsByYear W32104567212021 @default.

• next