Počet záznamů: 1
Modes in Component Behavior Specification via EBP and their Application in Product Lines
- 1.
SYSNO ASEP 0317137 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Modes in Component Behavior Specification via EBP and their Application in Product Lines Překlad názvu Módy ve specifikaci chování komponent v EBP a jejich aplikace v product lines Tvůrce(i) Kofroň, Jan (UIVT-O)
Plášil, František (UIVT-O) RID
Šerý, O. (CZ)Zdroj.dok. Information and Software Technology. - : Elsevier - ISSN 0950-5849
Roč. 51, č. 1 (2009), s. 31-41Poč.str. 11 s. Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova behavior specification ; component modes ; software product lines Vědní obor RIV JC - Počítačový hardware a software CEP 1ET400300504 GA AV ČR - Akademie věd CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000262077500005 EID SCOPUS 56649114354 DOI https://doi.org/10.1016/j.infsof.2008.09.011 Anotace The concept of software product lines (SPL) is a modern approach to software development simplifying construction of related variants of a product thus lowering development costs and shortening time-to-market. In SPL, software components play an important role. In this paper, we show how the original idea of component mode can be captured and further developed in behavior specification via the formalism of Extended Behavior Protocols (EBP). Moreover, we demonstrate how the modes in behavior specification can be used for modeling behavior of an entire product line. The main benefits include (i) the existence of a single behavior specification capturing the behavior of all product variants, and (ii) automatic verification of absence of communication errors among the cooperating components taking the variability into account. These benefits are demonstrated on a part of a non-trivial case study. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2010
Počet záznamů: 1