Abstrakt
Koncept software product lines (SPL) je moderní přístup k vývoji software, který zjednodušuje tvorbu příbuzných variant jednoho produktu. Snižují se tak náklady a čas potřebný k uvedení prokduktu na trh.
V SPL hrají důležitou roli softwarové komponenty. V tomto článku ukazujeme jak lze původní představu o módech komponent zachytit a rozvinout pomocí specifikace chování ve formalismu Extended Behavior Protocols (EBP). Demonstrujeme také jak mohou být módy ve specifikaci chování použity k modelování celé product line.
Hlavní výhody jsou (i) existence jedné specifikace chován í popisující všechny varianty produktu, (ii) možnost automatické verifikace komunikace komponent s přihlédnutím k možným variantám. Tyto výhody diskutujeme ve světle netriviální případové studie.