FM fact label

Science o Compu e P og amming 240 (2025) 103214 A ailable online 26 Sep embe 2024 0167-6423/© 2024 The Au ho (s). Published by Else ie B.V. This is an open access a icle unde he CC BY license (h p://c ea i ecommons.o g/licenses/by/4.0/). Con en s lis s a ailable a ScienceDi ec Science o Compu e P og amming jou nal homepage: www.else ie .com/loca e/scico O iginal so wa e publica ion FM ac label Jose-Miguel Ho casa,∗, Jose A. Galindob, Lidia Fuen esa, Da id Bena idesb aITIS So wa e, Uni e sidad de Málaga, Andalucía Tech, Spain bI3US, Uni e sidad de Se illa, Spain A R T I C L E I N F O A B S T R A C T Keywo ds: Cha ac e iza ion Fea u e model Me ics So wa e p oduc line Va iabili y Visualiza ion FM Fac Label is a ool o isualizing he cha ac e iza ions o ea u e models based on hei me ada a, s uc u al measu es, and analy ical me ics. Al hough he e a e a ious me ics a ailable o cha ac e ize ea u e models, he e is no s anda d me hod o isualize and iden i y unique p ope ies o ea u e models. Unlike exis ing ools, FM Fac Label p o ides a s andalone web-based pla o m o configu able and in e ac i e isualiza ion, enabling expo o a ious o ma s. This con ibu ion is significan because i suppo s he Uni e sal Va iabili y Language (UVL) and enhances he UVL ecosys em by offe ing a common ep esen a ion o he esul s o exis ing analysis ools. Me ada a See Table 1. Table 1 Code me ada a. N . Code me ada a desc ip ion Please fill in his column C1 Cu en code e sion 1.0.0 C2 Pe manen link o code/ eposi o y used o his code e sion h ps://doi.o g/10.5281/zenodo.12794159 C3 Pe manen link o Rep oducible Capsule h ps:// m ac label.adaby on.uma.es/ C4 Legal Code License GNU Gene al Public License (GPL) C5 Code e sioning sys em used gi C6 So wa e code languages, ools, and se ices used Py hon, Ja aSc ip , HTML, CSS C7 Compila ion equi emen s, ope a ing en i onmen s and dependencies Py hon 3.9, Flama, D3.js C8 Link o de elope documen a ion/manual h ps:// m ac label.gi hub.io/ C9 Suppo email o ques ions [email p o ec ed] 1. Mo i a ion and significance •Fea u e models (FMs) a e he de ac o s anda d o modeling a iabili y in so wa e p oduc lines (SPLs), and he Uni e sal Va i- abili y Language (UVL) is gaining ac ion as a ex ual language o speci ying FMs. In p ac ice, when handling la ge-scale FMs, * Co esponding au ho . E-mail add ess: [email p o ec ed] (J.-M. Ho cas). h ps://doi.o g/10.1016/j.scico.2024.103214 Recei ed 29 Feb ua y 2024; Recei ed in e ised o m 31 July 2024; Accep ed 23 Sep embe 2024 Science o Compu e P og amming 240 (2025) 103214 2 J.-M. Ho cas, J.A. Galindo, L. Fuen es e al. Fig. 1. So wa e a chi ec u e FM Fac Label. hei ex ual ep esen a ion (in UVL) o hei isual ep esen a ion (as a ea u e diag am) offe limi ed assis ance in pinpoin ing he dis inguishing p ope ies ha make an FM unique. FM Fac Label con ibu es o he UVL ecosys em by p o iding a ool o effec i ely isualize he in o ma ion o an FM in e ms o i s me ada a, and i s s uc u al and analy ical me ics. •FM Fac Label offe s a common ep esen a ion o he cha ac e iza ion o an FM in he o m o a ac label. Adhe ing o he p inciples and bes design p ac ices om he isualiza ion field [1], he ool p o ides an in e ac i e and adap able isualiza ion, enabling use s o cus omize he p esen a ion o he FM p ope ies. The ool has been used o analysis and ca ego iza ion o FMs [2,3], and is cu en ly being in eg a ed wi hin UVLHub [4], a eposi o y o FMs. •FM Fac Label is a s andalone web-based applica ion whe e he use uploads an FM and a isualiza ion o i s cha ac e iza ion is au oma ically gene a ed which can be cus omized and expo ed o se e al o ma s. • Se e al collec ions o me ics o FMs a e a ailable in he li e a u e [5,6], bu hey ocus on assessing he e alua ion o FM main ainabili y, igno ing de ailed desc ip ion o an FM beyond quali y. FM Fac Label allows SPL p ac i ione s o be e choice hei FMs in diffe en scena ios (e.g., eaching pu poses, scalabili y e alua ion, model compa isons). While cu en SPL ools such as Fea u eIDE [7], Glencoe [8], SPLOT [9], and DyMMe [10] epo syn ac ic and seman ic s a is ics o FMs, hey lack a isualiza ion componen o efficien ly con ey he esul s ou side he ool o IDE. FM Fac Label delega es he au oma ed analysis o FMs o flama [11], and uses D3 [12], a da a-d i en app oach o isualiza ion based on web s anda ds. Mo eo e , FM Fac Label p o ides mo e in o ma ion, cu en ly offe ing 46 me ics, compa ed o o he SPL ools such as DyMMe (38 me ics), Glencoe (27 me ics), Fea u eIDE (16 me ics), and SPLOT (14 me ics). 2. So wa e desc ip ion FM Fac Label is a web-based applica ion accessible online, which cons uc s a cha ac e iza ion o a gi en FM and p oduces i s isualiza ion in he o m o a ac label inspi ed by he nu i ion ac label commonly seen in he ood indus y. This isualiza ion aims o clea ly dis inguish a ious ypes o in o ma ion con ained wi hin he FM cha ac e iza ion: (1) The name o he FM; (2) Me ada a o he FM such as a b ie desc ip ion, keywo ds, au ho (s), yea , domain, and DOI o he pape whe e i is published; (3) The s uc u al me ics o syn a ical s a is ics o he FM, including he ea u e ee ela ions, c oss- ee cons ain s, and o he pa ame e s; and (4) The analysis esul s o seman ical me ics ob ained by easoning on he FM (i.e., using a SAT o a BDD sol e ). 2.1. So wa e a chi ec u e Fig. 1ou lines he ool’s a chi ec u e and echnologies. The ool i sel offe s a web se ice o upload he FM and i s me ada a ia an online o m (Web Se ice componen ). I suppo s FMs in UVL and Fea u eIDE o ma s. The FM Cha ac e iza ion module in he se e -side ga he s and manages all he FM in o ma ion. We dis inguish h ee kinds o in o ma ion: me ada a (FM Me ada a), s uc u al me ics (FM Me ics), and analysis esul s (FM Analysis), ea ing all o hem as an FM p ope y. Each FM P ope y includes a name, a desc ip ion, and a pa en p ope y o hie a chical o ganiza ion in he ac label. P ope ies a e associa ed wi h an FM P ope y Measu e ha p o ides he specific alues o he p ope y. Fo ins ance, he lis o abs ac ea u es, hei size, and Science o Compu e P og amming 240 (2025) 103214 3 J.-M. Ho cas, J.A. Galindo, L. Fuen es e al. Fig. 2. Fac label o an FM cha ac e iza ion and main unc ionali ies o he ool. a io o he ABSTRACT FEATURES p ope y. Analysis asks a e delega ed o ex e nal ools, wi h he cu en implemen a ion elying on flama [11](da k componen in Fig. 1). The ool encompasses 46 measu es, wi h he possibili y o being ex ended o include addi ional me ics om he SPL li e a u e. All in o ma ion included in each FM P ope y and i s FM P ope y Measu e is se ialized in JSON o send i o he clien -side. The ac label isualiza ion is gene a ed using D3 [12]on he clien -side (Visualiza ion componen ). D3 is based on web s anda ds (HTML, CSS, Ja aSc ip , SVG, and JSON) o in eg a e isualiza ion componen s and employs a da a-d i en app oach o dynamic ans o ma ions. 2.2. So wa e unc ionali ies The gene a ed ac label is (1) comple ely cus omizable, and (2) in e ac i e. This means, fi s , ha all me ada a a e op ional, allowing use s o inpu only ele an in o ma ion. Second, configu able op ions enable use s o selec i ely collapse o expand FM sub-p ope ies o hide p ope ies wi h ze o o emp y alues. Addi ionally, ho e ing o e a p ope y e eals i s desc ip ion in a ool ip, while clicking on i e eals i s specific alue. Thi d, he configu ed isualiza ion can be expo ed in high-quali y SVG o ma o inclusion in esea ch publica ions o as a PNG image o online po abili y. Las ly, he en i e FM cha ac e iza ion can be expo ed in JSON o ma o plain ex o in e ope abili y wi h o he SPL ools o u he analysis such as s a is ical analysis o FMs’ da ase s. 3. Illus a i e examples Fig. 2depic s he ac label isualiza ion and majo unc ions o he ool. Ten eal ea u e models a e p o ided wi hin he ool as examples o i s usage which can also be downloaded. A ac label o he Linux ea u e model (one o he la ges models in he SPL communi y) is a ailable in [13]. 4. Impac •FM Fac Label imp o es he cha ac e iza ion o FMs beyond suppo ing hei quali y e alua ion. The ool allows SPL p ac i ione s o answe ques ions such as which FMs can be used o e alua e a new algo i hm implemen ed o op imize configu a ions?, o which a e he p ope ies o he FMs ha effec he scalabili y o you p oposal?, o which FM is mo e app op ia e o eaching pu poses?, among o he s. •By including all undamen al in o ma ion, no jus main enance me ics, he ool allows SPL p ac i ione s o be e selec hei FMs in diffe en scena ios. Fo ins ance, o eaching pu poses, a small FM ha includes a leas one ea u e and ela ion o each ype (e.g., an o -g oup, an xo -g oup, a equi es and an excludes cons ain , a dead- ea u e) is mo e app op ia e han a la ge Science o Compu e P og amming 240 (2025) 103214 4 J.-M. Ho cas, J.A. Galindo, L. Fuen es e al. FM ha canno e en be comple ely isualized in a ea u e diag am. In con as , o e alua e he scalabili y o a new analysis ope a ion, a la ge-scale FM wi h housands o ea u es and cons ain s may be p e e able [3]. • Thanks o FM Fac Label ool, use s can now ocus on he FM i sel wi hou he bu den o acqui ing o analyzing i s p ope ies. The e is no need o use s o ins all o manage sepa a e analysis ools. •F om he fi s elease o he FM Fac Label in 2022 [13], he ool has ecei ed 13 ci a ions acco ding o Google Schola , includ- ing [2–4]. •The ool is cu en ly being in eg a ed in o UVLHub [4]. UVLHub is a eposi o y o FMs da ase s using UVL and Open Science p inciples de eloped by se e al pa ne s o he SPL communi y. 5. Conclusions FM Fac Label acili a es he gene a ion o common isualiza ions ep esen ing FM cha ac e iza ions h ough he in eg a ion o FM me ada a, syn ac ical me ics, and analy ical da a. I s adap able a chi ec u e allows o seamless in eg a ion in o he UVL ecosys em and easy ex ension o accommoda e o he FM analysis ools and addi ional me ics. This ool helps SPL p ac i ione s o disce n he unique a ibu es o FMs and selec he mos sui able FM o hei specific equi emen s. We an icipa e he in eg a ion o FM Fac Label in o a ious ools as an independen componen [4]. 6. Fu u e plans We plan o expand FM Fac Label o cha ac e ize da ase s o FMs, and inco po a e addi ional ea u es such as h esholds o he me ics, and configu a ion op ions such as a ho izon al isualiza ion o he label. A comple e lis o planned ea u es is a ailable in he Gi Hub p ojec . CRediT au ho ship con ibu ion s a emen Jose-Miguel Ho cas: W i ing – o iginal d a , Visualiza ion, So wa e, Me hodology, In es iga ion, Concep ualiza ion. Jose A. Galindo: W i ing – e iew & edi ing, Visualiza ion, Valida ion, So wa e, Fo mal analysis. Lidia Fuen es: W i ing – e iew & edi ing, Valida ion, Supe ision, Resou ces, Funding acquisi ion, Concep ualiza ion. Da id Bena ides: W i ing – e iew & edi ing, Resou ces, P ojec adminis a ion, Me hodology, Funding acquisi ion, Concep ualiza ion. Decla a ion o compe ing in e es The au ho s decla e he ollowing financial in e es s/pe sonal ela ionships which may be conside ed as po en ial compe ing in e es s: Lidia Fuen es, Da id Bena ides epo s financial suppo and a el we e p o ided by Minis y o Science, Inno a ion and Uni e si ies (Spain). Lidia Fuen es, Da id Bena ides epo s financial suppo and a el we e p o ided by Jun a de Andalucía. Mónica Pin o, edi o o his special issue, also con ibu ed o he fi s e sion o his p ojec . I he e a e o he au ho s, hey decla e ha hey ha e no known compe ing financial in e es s o pe sonal ela ionships ha could ha e appea ed o influence he wo k epo ed in his pape . Acknowledgemen s We hank Mónica Pin o who has also con ibu ed o his p ojec . This wo k was pa ially suppo ed by EU, FEDER/Minis y o Sci- ence, Inno a ion and Uni e si ies/Jun a de Andalucía/S a e Resea ch Agency/CDTI wi h he ollowing g an s: TASOVA PLUS esea ch ne wo k (RED2022-134337-T), IRIS (PID2021-122812OB-I00) (FEDER unds), DAEMON (H2020-101017109), Da a-pl (PID2022- 138486OB-I00), AquaIA (GOPG-SE-23-0011) and MIDAS (IDI-20230256). Funding o open access cha ge: Uni e sidad de Málaga/ CBUA. Re e ences [1] D. Rome o-O gan idez, J.M. Ho cas, J.A. Galindo, D. Bena ides, Da a isualiza ion guidance using a so wa e p oduc line app oach, J. Sys . So w. 213 (2024) 112029, h ps://doi .o g /10 .1016 /J .JSS .2024 .112029. [2] J.A. Galindo, A.J. Dominguez, J. Whi e, D. Bena ides, La ge language models o gene a e meaning ul ea u e model ins ances, in: 27 h ACM In e na ional Sys ems and So wa e P oduc Line Con e ence (SPLC), ol. A, 2023, pp. 15–26. [3] D. Munoz, M. Pin o, L. Fuen es, D.S. Ba o y, T ans o ming nume ical ea u e models in o p oposi ional o mulas and he uni e sal a iabili y language, J. Sys . So w. 204 (2023) 111770, h ps://doi .o g /10 .1016 /J .JSS .2023 .111770. [4] D. Rome o-O gan idez, J.A. Galindo, C. Sunde mann, J.-M. Ho cas, D. Bena ides, UVLHub: a ea u e model da a eposi o y using u l and open science p inciples, J. Sys . So w. 216 (2024) 112150, h ps://doi .o g /10 .1016 /j .jss .2024 .112150. [5] E. Baghe i, D. Gase ic, Assessing he main ainabili y o so wa e p oduc line ea u e models using s uc u al me ics, So w. Qual. J. 19 (3) (2011) 579–612, h ps://doi .o g /10 .1007 /s11219 -010 -9127 -2. [6] C.I.M. Beze a, R.M.C. And ade, J.M. Mon ei o, Explo ing quali y measu es o he e alua ion o ea u e models: a case s udy, J. Sys . So w. 131 (2017) 366–385, h ps://doi .o g /10 .1016 /j .jss .2016 .07 .040. [7] T. Thüm, C. Käs ne , F. Benduhn, J. Meinicke, G. Saake, T. Leich, Fea u eIDE: an ex ensible amewo k o ea u e-o ien ed so wa e de elopmen , Sci. Compu . P og am. 79 (2014), h ps://doi .o g /10 .1016 /j .scico .2012 .06 .002. [8] A. Schmi , C. Be inge , G. Rock, Glencoe – a ool o specifica ion, isualiza ion and o mal analysis o p oduc lines, in: 25 h T ans, Eng, 2018, pp. 665–673. Science o Compu e P og amming 240 (2025) 103214 5 J.-M. Ho cas, J.A. Galindo, L. Fuen es e al. [9] M. Mendonca, M. B anco, D. Cowan, S.P.L.O.T.: so wa e p oduc lines online ools, in: OOPSLA, 2009. [10] C.I.M. Beze a, R. Lima, P. Sil a, Dymme 2.0: a ool o dynamic modeling and e alua ion o ea u e model, in: 35 h B azilian Symposium on So wa e Enginee ing (SBES), 2021, pp. 121–126. [11] J.A. Galindo, J.M. Ho cas, A. Fel e nig, D. Fe nández-Amo ós, D. Bena ides, FLAMA: a collabo a i e effo o build a new amewo k o he au oma ed analysis o ea u e models, in: 27 h ACM In e na ional Sys ems and So wa e P oduc Line Con e ence (SPLC), ol. B, 2023, pp. 16–19. [12] M. Bos ock, V. Ogie e sky, J. Hee , D3da a-d i en documen s, IEEE T ans. Vis. Compu . G aph. 17 (12) (2011), h ps://doi .o g /10 .1109 /TVCG .2011 .185. [13] J.M. Ho cas, J.A. Galindo, M. Pin o, L. Fuen es, D. Bena ides, FM Fac Label: a configu able and in e ac i e isualiza ion o ea u e model cha ac e iza ions, in: 26 h ACM In e na ional Sys ems and So wa e P oduc Line Con e ence (SPLC), ol. B, 2022, pp. 42–45.