• Rustam Gamzayev Kharkiv National University named after V. N. Karazina
  • Mykola Tkachuk Kharkiv National University named after V. N. Karazina



domain-specific language; software; modeling; variability; Smart-home


Building conceptual models for software design, in particular for high-tech applications such as smart home systems, is a complex task that significantly affects the efficiency of their development processes. One of the innovative methods of solving this problem is the use of domain-specific modeling languages (DSMLs), which can reduce the time and other project resources required to create such systems. The subject of research in this paper is approaches to the development of DSML for Smart Home systems as a separate class of Internet of Things systems. The purpose of this work is to propose an approach to the development of DSMLs based on a model of variability of the properties of such a system. The following tasks are being solved: analysis of some existing approaches to the creation of DSMLs; construction of a multifaceted classification of requirements for them, application of these requirements to the design of the syntax of a specific DSML-V for the creation of variable software in smart home systems; development of a technological scheme and quantitative metrics for experimental evaluation of the effectiveness of the proposed approach. The following methods are used: variability modeling based on the property model, formal notations for describing the syntax of the DSML-V language, and the use of the open CASE tool metaDepth. Results: a multifaceted classification of requirements for a broad class of DSML languages is built; the basic syntactic constructions of the DSML-V language are developed to support the properties of software variability of "Smart Home" systems; a formal description of such syntax in the Backus-Naur notation is given; a technological scheme for compiling DSML-V specifications into the syntax of the language of the open CASE tool metaDepth is created; the effectiveness of the proposed approach using quantitative metrics is experimentally investigated. Conclusions: the proposed method of developing a specialized problem-oriented language for smart home systems allows for multilevel modeling of the variability properties of its software components and provides an increase in the efficiency of programming such models by about 14% compared to existing approaches.


Download data is not yet available.

Author Biographies

Rustam Gamzayev, Kharkiv National University named after V. N. Karazina

PhD, Associate Professor

Mykola Tkachuk, Kharkiv National University named after V. N. Karazina

Doctor of Technical Sciences, Professor



Joanna, F., DeFranco, a, Mohamad, Kassab. (2021), "Smart Home Research Themes: An Analysis and Taxonomy", Procedia Computer Science, Vol. 185. P. 91–100. DOI:

Davydov, V., & Hrebeniuk, D. (2020), "Development of the methods for resource reallocation in cloud computing systems", Innovative Technologies and Scientific Solutions for Industries, 3 (13), P. 25–33. DOI:

Gamzayev R.O., Tkachuk M.V., Shevkoplias D.O. (2020), "Knowledge-oriented Information Technology to Variability Management on Domain Analysis Stage in Software Development", Advanced Information Systems, Vol. 4, No. 4, P. 39–47. DOI:

D. Karagiannis, H.C. Mayr, J. Mylopoulos. (2016), "Domain-Specific Conceptual Modeling: Concepts, Methods and Tools", Springer, Berlin, 606 p.

Tomaž Kos, Marjan Mernik and Tomaž Kosar. (2022), "Evolution of Domain-Specific Modeling Language: An Example of an Industrial Case Study on an RT-Sequencer", Appl. Sci., 12 (23), 12286.

Berger, Th., Chechik, M., Kehrer, T. (2019), "Software Evolution in Time and Space: Unifying Version and Variability Management", Dagstuhl Seminar Reports, Vol. 9, Issue 5, P. 1–31.

Jaffari, A., Lee, J., Kim, E. (2021), "Variability Modeling in Software Product Line: A Systematic Literature Review", Studies in Computational Intelligence, vol 930. Springer, Cham.

Huber, R., Pueschel, L., Roeglinger, M. (2019), "Capturing smart service systems: Development of a domain‐specific modelling language", Inf. Systems Journal, Volume 29, Issue 6, P. 1207–1255.

Leila Samimi-Dehkordi, Bahman Zamani, Shekoufeh Kolahdouz-Rahimi. (2019), "Leveraging product line engineering for the development of domain-specific metamodeling languages", Journal of Computer Language,s Volume 51, P. 193–213. DOI:

Maouaheb Belarbi (2018), "A methodological framework to enable the generation of code from DSML in SPL", Proceedings of the 22nd International Systems and Software Product Line Conference (SPLC 2018) – Vol. 2, P. 64–71. DOI:

Eko K. Budiardjo, Elviawaty M. Zamzami. (2014), "Feature Modeling and Variability Modeling Syntactic Notation Comparison and Mapping", Journal of Computer and Communications, Vol. 2, No. 2, P. 102–108. DOI: 10.4236/jcc.2014.22018

Vale, A., Fernandes, S., Magalhães, A. P. (2019), "Towards a customizable Student Information System

integrating MDD and SPL (S)", Proceedings of the 31st International Conference on Software Engineering

and Knowledge Engineering (SEKE 2019), Lisbon, Portugal, July 10–12 2019, P. 98–106. DOI:

Cunha, A., Fernandes, S. and Magalhães, A. (2019), "Integrating SPL and MDD to Improve the Development of Student Information Systems", Proceedings of the 21st International Conference on Enterprise Information Systems (ICEIS 2019), P. 197–204. DOI:

Maouaheb Belarbi and Vincent Englebert (2022), "Transforming Domain Specific Modeling Languages into Feature Models", Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2022), P. 137–146. DOI:

Frank, U., (2010), "Outline of a method for designing domain-specific modelling languages", Research Reports, Institut für Informatik und Wirtschaftsinformatik (ICB), Universität Duisburg-Essen, Germany, P. 1–76.

Rustam Gamzayev, Mykola Tkachuk and Oleksandr Nelipa. (2021), "Domain-Specific Language for Adaptive Development of "Smart-Home" Applications", Proceedings of the 1st International Workshop on Information Technologies: Theoretical and Applied Problems 2021 (ITTAP-2021) Ternopil, Ukraine, November 16-18, 2021,, P. 154–165.

Rustam Gamzayev, (2023), "A Methodology for Development and Usage of Problem-oriented Modeling Languages in "Internet Of Things" Systems", Proceedings of the V International Scientific and Practical Conference Stockholm, Sweden (February 07–10, 2023), P. 603–608. DOI:

Cavalcanti Y.C., Machado I.C., Lobato L.L. et al. (2011), "Towards Metamodel Support for Variability and Traceability in Software Product Lines", Proceedings of the 5th International Workshop on Variability Modelling of Software-Intensive Systems, Namur, Belgium (January 27–29, 2011), P. 1–10. DOI:

Bashroush R., Garba M., Rabiser Е. et al. (2017), "CASE Tool Support for Variability Management in Software Product Lines", ACM Computing Surveys, 50 (1), Р. 1–45. DOI:

Quinlan, D, Wells, JB & Kamareddine, F., (2019), "BNF-Style Notation as It Is Actually Used", Proceedings of the 12th Conference on Intelligent Computer Mathematics 2019, Prague, Czech Republic, P. 187–204. DOI:

Mazurova, O., Naboka, A., Shirokopetleva, M. (2021), "Research of ACID transaction implementation methods for distributed databases using replication technology", Innovative Technologies and Scientific Solutions for Sndustries, № 2 (16), Р. 19–31. DOI:

Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado. (2015), "Model-driven engineering with domain-specific meta-modelling languages", Software and Systems Modeling (Springer), Vol 14(1). P. 429–459.

A. Philippot, B. Riera, M. Koza, et al. (2017). "HOME I/O and FACTORY I/O: 2 Pieces of innovative PO simulation software for automation education", European Association for Education in Electrical and Information Engineering Annual Conference (EAEEIE), Grenoble, France, P. 1–6. DOI:




How to Cite