Designing variability models for software, operating systems and their families

The complexity of existing Legacy systems and the difficulty of amending it led to the development of the new concept of variability of systems specified by a model of the characteristics of FM (Feature Model). In the paper, we discuss the approaches to formal definition of FM and creating on its basis variants of program systems (PS), operating systems (OS) and families of program systems (FPS) for PS and OS. We give methods of manufacturing of PS in the Product Family/Product Lines, the conveyor of K.Czarnecki for assembling of artifacts in the space of problems and solutions, logical-mathematical modeling of PS from the functional and interface objects by Object-Components Method (OCM), extraction of the functional elements from OS kernel to FM for the generation of new variants of the OS. We discuss approaches for formalization of variability of legacy and new PS and their FPS. The new concept of management of variability systems with help OCM is defined. The approach to verify models of the FM, PS, FPS and OS and to configuration of functional and interface objects for obtaining the variants of the resulting product are proposed. We elaborate the characteristics for the testing process of variants of the PS, OS and FPS.

variability model, software systems, family of systems, configuration, variant, functional, interface element, requirement, management

1. Pohl K., Böckle G., van der Linden F. J. Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag, 2005. DOI: 10.1007/3-540-28901-1.

2. Bachmann F., Clements P. Variability in software product lines. CMU/SEI Technical Report CMU/SEI-2005-TR-012, 2005.

3. Lotufo R., She S., Berger T., Czarnecki K., Wąsowski A. Evolution of the Linux kernel variability model. Proc. of SPLC’10, LNCS 6287:136-150, Springer, 2010. DOI: 10.1007/978-3-642-15579-6_10.

4. Lavrischeva E.M., Grischenko V.N. Methods and tools for object-component programming // Cybernetics and System Analyses, 2003, №1, pp.39-55.

5. Kang K., Cohen S., Hess J., Novak W., Peterson S. Feature-oriented domain analysis (FODA) feasibility study. CMU/SEI Technical Report CMU/SEI-90-TR-21, 1990.

6. Berger T., She S., Lotufo R., Wąsowski A., Czarnecki K. A study of variability models and languages in the systems software domain. IEEE Transactions on Software Engineering, 39(12):1611-1640, 2013. DOI: 10.1109/TSE.2013.34.

7. Zippel R. et al. Kconfig language. https://www.kernel.org/doc/Documentation/kbuild/ kconfig-language.txt.

8. Wang H., Li Y., Sun J., Zhang H., Pan J. A semantic web approach to feature modeling and verification. Proc. of Workshop on Semantic Web Enabled Software Engineering (SWESE’05), p. 44, 2005.

9. Lavrischeva E.M., Slabospitskaya O.O., Koval G.I., Kolesnik A.L. Theoretical Aspects of Variability Management in Product Lines Families. Vesnik KNU, series on maths and physics (1):151-158, 2011 (in Ukrainian).

10. Berger T. Variability mining with LEADT. DOI TSE 2014.

11. Lavrischeva, E.: Formal Fundamentals of Component Interoperability in Programming. In: Cybernetics and Systems Analysis, vol. 46, no. 4, pp. 639-652. Springer, Heidelberg (2010) http://link.springer.com/article/10.1007/s10559-010-9240-z

12. Lavrischeva E.M., Grischenko V.N. Assembling programming. K.: Basic foundation industry Software Products. - K.: Nauk.dumka, 2009.-372 p.

13. Ekaterina Lavrischeva, Andrey Stenyashin, AndriyKolesnyk, Object-Component Development of Application and Systems. Theory and Practice, Journal of Software Engineering and Applications, 2014, 7, Published Online August 2014 in SciReshttp://www.scirp.org/journal/jsea

14. Kolesnyk A., Slabospitskaya O. Tested Approach for Variability Management Enhancing in Software Product Line. - In: ICT in Education, Research and Industrial Applications: Integration and Knowledge, Proc. 8 -th Int. Conf. ICTERI 2012, CEUR -WS.org/Vol. -848, ISSN 1613 -0073, urn:nbn:de:0074 -848-8. - P. 125 -133.

15. Kolesnyk A.L. Model and methods development families of variants of systems. - Аutoref. Disser, КNU, 2013. -22p. (ukr.)

16. Cohen M.B., Gibbons P.B., Mugridge W.B., Colbourn C.J. Constructing test suites for interaction testing. Proc. of 25-th Intl. Conf. on Software Engineering, pp. 38-48. IEEE, 2003. DOI: 10.1109/ICSE.2003.1201186.

17. Lotufo R., She S., Berger T., Czarnecki K., Wąsowski A. Evolution of the Linux kernel variability model. Proc. of SPLC’10, LNCS 6287:136-150, Springer, 2010. DOI: 10.1007/978-3-642-15579-6_10.

18. C.Käster, A. Dreiling and K. Ostermann’s ,Variability Mining with LEADT/- work is supported by ERC grant #203099

19. Grindal M., Offutt A.J., Andler S.F. Combination testing strategies: a survey. Software Testing, Verification, and Reliability, 15(3):167-199, 2005. DOI: 10.1002/stvr.319.

20. Lavrischeva E.M. Slabospitskya O.A. Approach to development object-component model family systems software products. Problems of Programming, 2013, №3, pp.14-26 (ukr.)

21. Lavrischeva E.M. Theory of object-components modeling of the programs systems. Preprint ISP RAS № 29, 2016, www.ispras.ru/preprints/docs/prep_29_2016.pdf.

22. Deming E. New economics for manufactures, governments and education, 1993.

23. Gruler A., Leucker M., Scheidemann K. Modeling and model checking software product lines. Proc. of IFIP Intl. Conf. on Formal Methods for Open Object-based Distributed Systems (FMOODS), pp. 113-131. Springer, 2008. DOI: 10.1007/978-3-540-68863-1_8.

24. Ekaterina M. Lavrischeva. Assemblling Paradigms of Programming in Software Engineering, 2016, 9, pp.296-317, http://www.scrip.org/journal/jsea, http://dx.do.org/10.4236/ jsea.96021

25. Kuliamin V.V., Lavrischeva E.M., Мutilin V.S., Petrenko A.K. Verification and analysis of variable operating Systems.Trudy ISP RAN/Proc. ISP RAS, 23:359-370, 2012 (in Russian) Vol. 28, Iss.3, pp.189-209. DOI: 10.15514/ISPRAS-2016-28(3)-12

26. Lavrischeva E.M., Petrenko A.K. Software Product Lines Modeling. Trudy ISP RAN/Proc. ISP RAS, 2016, vol 28. Iss. 6, pp. 180 -190. DOI: 10.15514/ISPRAS-2016-28(6)-4

27. C.Kästner, A. Dreiling, K. Ostermann, Variability Mining with LEADT, In Proc. Int’l Conf. Generative Programming and Component Engineering (GPCE), pp. 157-166. 2009.

28. Korotun T.M. Methods and tools testing families system in resource-limited settings (ukr.), 2005, Autoref. Dis. IC NANU, 22 pages.

29. Lavrischeva E.M. Software Engineering. Paradigms, Technology, CASE-tools -М: Urait, 2016. - 280 p.