RUS  ENG
Full version
JOURNALS // Proceedings of the Institute for System Programming of the RAS // Archive

Proceedings of ISP RAS, 2016 Volume 28, Issue 6, Pages 49–64 (Mi tisp84)

This article is cited in 7 papers

Software product lines modeling

K. M. Lavrischevaab, A. K. Petrenkobcd

a Moscow Institute of Physics and Technology
b Institute for System Programming of the Russian Academy of Sciences
c Lomonosov Moscow State University
d NIU HSE

Abstract: Complex software systems always exist for a long time, sometimes changing, and this leads to a variety of versions of such a system. In additional complex software systems usually have different (sometimes a lot) configurations due to different hardware and software environments, where they are intended to operate, or due to different user types with specific requirements. So, a complex software system can be regarded more correctly as a software system family or a software product line. Taking software families in consideration helps to increase reuse of their components and other software development artifacts. In difference with earlier works on software reuse, mostly focused on code or design reuse, software system family development tries to expand reuse on all kinds of development artifacts and activities, including documentation, verification, operation support, deployment, etc. One of the software system family development activities is modeling of family variability. This paper considers modern methods and approaches to such modeling, especially focusing on modeling of operating systems families variability.

Keywords: model checking, model refinement, variability, verification, testing, software system family, model management, configuration building, UML, MDA, MDD, MDE, PIM, PSM.

DOI: 10.15514/ISPRAS-2016-28(6)-4



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025