Abstract En funktionsorienterad produktlinje är en familj av program som delar en gemensam uppsättning funktioner. En funktion implementerar en intressent krav och representerar ett designbeslut eller konfigurationsalternativ. När det läggs till ett program, innebär ett inslag införandet av nya strukturer, såsom klasser och metoder, och förfining av befintliga sådana, såsom utvidgande metoder. En funktionsorienterad nedbrytning gör det möjligt för en generator att skapa ett körbart program genom att komponera funktionskod enbart på grundval av funktionen val av en användare-ingen annan information som behövs. En viktig utmaning för produktlinjeteknik är att garantera att endast välskrivna program genereras. Eftersom antalet giltiga funktionskombinationer växer kombinatoriskt med antalet funktioner, är det inte möjligt att skriva kontrollera alla program individuellt. Det enda genomförbara tillvägagångssättet är att låta ett typsystem kontrollera hela kodbasen för den funktionsorienterade produktlinjen. Vi har utvecklat ett sådant typsystem på grundval av en formell modell av ett funktionsinriktat Java-liknande språk. Typsystemet garanterar typsäkerhet för funktionsorienterade produktlinjer. Det vill säga, det säkerställer att varje giltigt program av en välskriven produktlinje är väl-typad. Vår formella modell inklusive typsystem är bra och komplett.
I FEATHERWEIGHT FEATURE JAVA for Product Lines (FFJ PL ) calculus REF föreslås en oberoende utvecklad typkontrollmetod för funktionsorienterade produktlinjer.
Type safety for feature-oriented product lines
{'venue': 'Automated Software Engineering', 'journal': 'Automated Software Engineering', 'mag_field_of_study': ['Computer Science']}