Proceedings of ISP RAS

Software Product Lines Modeling

K.M. Lavrischeva (ISP RAS, Moscow, Russia, MIPT, Dolgoprudny, Russia)
A.K. Petrenko (ISP RAS, Moscow, Russia, MSU, Moscow, Russia, HSE, Moscow, Russia)


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. The research, which results are presented in this paper, is supported by RFBR.


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


Proceedings of the Institute for System Programming, vol. 28, issue 6, 2016, pp. 49-64.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

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

Full text of the paper in pdf (in Russian) Back to the contents of the volume