Designing variability models for software, operating systems and their families
Автор: Lavrischeva E.M., Mutilin V.S., Ryzhov A.G.
Журнал: Труды Института системного программирования РАН @trudy-isp-ran
Статья в выпуске: 5 т.29, 2017 года.
Бесплатный доступ
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
Короткий адрес: https://sciup.org/14916483
IDR: 14916483 | DOI: 10.15514/ISPRAS-2017-29(5)-6
Список литературы Designing variability models for software, operating systems and their families
- 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
- Bachmann F., Clements P. Variability in software product lines. CMU/SEI Technical Report CMU/SEI-2005-TR-012, 2005.
- 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
- Lavrischeva E.M., Grischenko V.N. Methods and tools for object-component programming//Cybernetics and System Analyses, 2003, №1, pp.39-55.
- 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.
- 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
- Zippel R. et al. Kconfig language. https://www.kernel.org/doc/Documentation/kbuild/kconfig-language.txt.
- 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.
- 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).
- Berger T. Variability mining with LEADT. DOI TSE 2014.
- 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
- Lavrischeva E.M., Grischenko V.N. Assembling programming. K.: Basic foundation industry Software Products. -K.: Nauk.dumka, 2009.-372 p.
- 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
- 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.
- Kolesnyk A.L. Model and methods development families of variants of systems. -Аutoref. Disser, КNU, 2013. -22p. (ukr.)
- 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
- 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
- C.Käster, A. Dreiling and K. Ostermann’s,Variability Mining with LEADT/-work is supported by ERC grant #203099
- 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
- 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.)
- 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.
- Deming E. New economics for manufactures, governments and education, 1993.
- 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
- 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
- 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 Vol. 28, Iss.3, pp.189-209 DOI: 10.15514/ISPRAS-2016-28(3)-12
- 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
- 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.
- Korotun T.M. Methods and tools testing families system in resource-limited settings (ukr.), 2005, Autoref. Dis. IC NANU, 22 pages.
- Lavrischeva E.M. Software Engineering. Paradigms, Technology, CASE-tools -М: Urait, 2016. -280 p.
