Tutorial on the universal variability language

Tu o ial on he Uni e sal Va iabili y Language Chico Sunde mann Uni e si y o Ulm Ulm, Ge many Ke in Feich inge LIT CPS Lab JKU Linz Linz, Aus ia José A. Galindo Uni e si y o Se ille Se ille, Spain Da id Bena ides Uni e si y o Se ille Se ille, Spain Rick Rabise CDL VaSiCS, LIT CPS Lab JKU Linz Linz, Aus ia Sebas ian K ie e Uni e si y o Ulm Ulm, Ge many Thomas Thüm Uni e si y o Ulm Ulm, Ge many ABSTRACT The mul i ude o o ma s o speci ying a iabili y models induces addi ional e o o esea che s and p ac i ione s and hinde s ex- change. The Uni e sal Va iabili y Language (UVL) is a communi y e o owa ds a uni ied o ma . O e he las wo yea s, se e al ools in eg a ed UVL allowing a wide usage. This u o ial consis s o h ee majo pa s, whe e we showcase (1) he basics o UVL and how o use i o modeling wi hin Fea u eIDE, (2) how o ans- o m o he o ma s o UVL and back wi h TRAVART, and (3) how o pe o m ea u e-model analyses on UVL models wi h FLAMA. CCS CONCEPTS •So wa e and i s enginee ing →So wa e p oduc lines ; Sys- em modeling languages. KEYWORDS a iabili y modeling, p oduc line, ea u e modeling, UVL ACM Re e ence Fo ma : Chico Sunde mann, Ke in Feich inge , José A. Galindo, Da id Bena ides, Rick Rabise , Sebas ian K ie e , and Thomas Thüm. 2022. Tu o ial on he Uni e sal Va iabili y Language. In 26 h ACM In e na ional Sys ems and So wa e P oduc Line Con e ence - Volume A (SPLC ’22), Sep embe 12–16, 2022, G az, Aus ia. ACM, New Yo k, NY, USA, 1 page. h ps://doi.o g/10. 1145/3546932.3547024 EXTENDED ABSTRACT Va iabili y models a e commonly used o speci y commonali ies and a iabili ies o so wa e p oduc lines. In a iabili y modeling li e a u e, a la ge a ie y o ex ual o ma s has been p oposed and used. The mul i ude o o ma s esul s in addi ional e o o esea che s and p ac i ione s as models canno be easily exchanged. The Uni e sal Va iabili y Language (UVL) a ose om joined e o om esea che s and p ac i ione s wi hin he MODEVAR [ 1 ] communi y. Wi h UVL, he communi y aims o p o ide a a iabili y language wi h b oad and con inuously g owing ool suppo o be hen widely adop ed by academia and indus y. We p esen ed a i s e sion o UVL and ou app oach o con inued de elopmen wi h he communi y a SPLC’21 [ 3 ]. This ini ial e sion has been in eg a ed in a a ie y o ools allowing he usage o UVL in many laye s o a iabili y modeling, such as speci ica ion o models o analysis. In his u o ial, we guide pa icipan s h ough he basics o UVL and showcase ools suppo ing he usage o UVL. The u o ial is a ge ed owa ds all esea che s and p ac i ione s ha a e in ol ed o in e es ed in a iabili y modeling. Tu o ial O e iew. The u o ial is planned as hal -day e en consis - ing o ou 45 minu e slo s, s a ing wi h h ee main sessions and ending wi h an open discussion on u u e di ec ions o UVL. Session 1: Modeling wi h UVL. In he i s session, we in oduce he UVL syn ax and p esen he publicly a ailable pa se lib a y. Then, we showcase how o in eg a e UVL in o o he ools by using i in Fea u eIDE [ 4 ] o iew and edi UVL models. Bo h s eps consis o an in oduc ion in o he opic and a hands-on pa . Session 2: T ans o ming UVL Models. In he second session, we p esen he ans o ma ion app oach TRAVART[ 2 ], which uses UVL as a pi o language. We p o ide pa icipan s mul iple models o di e en ype and le hem ans o m he models be ween each o he . Finally, we discuss he di e ences o he app oaches and he issue o in o ma ion loss. Session 3: Analyzing UVL Models. In he hi d session, we will co e how UVL can be in eg a ed as a language o analyze a iabil- i y using he Py hon-based amewo k FLAMA. We will p esen how he amewo k has been designed ha ing UVL in mind and how easy i is o in eg a e i wi h analysis suppo such as SAT, BDD, SMT, o o he complemen a y ools ha enable, o ins ance, ans o ma ions o o he a iabili y ep esen a ions. Acknowledgemen s. Suppo ed by COPERNICA (P20_01224) and METAMORFOSIS (FEDER_US-1381375) p ojec s and pa ially suppo ed by he Ge man Resea ch Foun- da ion (TH 2387/1-1). The inancial suppo by he CDG, he BMDW and he Na ional Founda ion o Resea ch, Technology and De elopmen is g a e ully acknowledged. REFERENCES [1] Da id Bena ides, Rick Rabise , Don Ba o y, and Ma hieu Ache . 2019. Fi s In e - na ional Wo kshop on Languages o Modelling Va iabili y (MODEVAR 2019). In SPLC. 323–323. [2] Ke in Feich inge , Johann S öbich, Da io Romano, and Rick Rabise . 2021. TRAVART: An App oach o T ans o ming Va iabili y Models. In VaMoS. ACM, A icle 8, 10 pages. [3] Chico Sunde mann, Ke in Feich inge , Dominik Engelha d , Rick Rabise , and Thomas Thüm. 2021. Ye Ano he Tex ual Va iabili y Language? A Communi y E o Towa ds a Uni ied Language. In SPLC. ACM, 136–147. [4] Chico Sunde mann, Tobias Heß, Dominik Engelha d , Rahel A ens, Johannes He schel, Ke in Jedelhause , Benedik Ju z, Sebas ian K ie e , and Ina Schae e . 2021. In eg a ion o UVL in Fea u eIDE. In MODEVAR. ACM, 73–79. This wo k is licensed unde a C ea i e Commons A ibu ion In e na ional 4.0 License. SPLC ’22, Sep embe 12–16, 2022, G az, Aus ia h ps://doi.o g/10.1145/3546932.3547024