Programming model based on metamorphosis of active dynamic compounds of objects

Authors

  • Volodymyr Sokolov Institute of special communication and information protection of National technical university of Ukraine “Igor Sikorsky Kyiv polytechnic institute”, Kyiv, Ukraine https://orcid.org/0000-0002-5779-7167
  • Dmytro Sharadkin Institute of special communication and information protection of National technical university of Ukraine “Igor Sikorsky Kyiv polytechnic institute”, Kyiv, Ukraine https://orcid.org/0000-0001-6407-8040

DOI:

https://doi.org/10.20535/2411-1031.2021.9.1.249812

Keywords:

program metamorphosis, active dynamic compounds of objects, programming model, software engineering

Abstract

The paper presents the results of research on the creation of the programming model that uses structural changes in the program during execution. The urgency of the work is due to the fact that during the creation of large software systems there are problems associated with the complexity of their creation and maintenance, excessive consumption of memory and a large amount of time during execution. The base architecture is an integrated object architecture in which the program consists of active dynamic object compounds that can form dynamic connections with other objects to perform calculations. The cases when sequential transformation of compounds is necessary to reduce the complexity of the program are considered and the corresponding theoretical substantiation is given. The concept of metamorphosis of the program at runtime as a sequence of stages of changing the set of objects and the topology of their connections is introduced. The set of metamorphosis operations that affect the structure of the compound, as well as the set of operations for changing the state of compounds that determine changes in the values of the input and output connectors of objects are determined. Two kinds of metamorphosis are considered, with complete and incomplete transformation. Most attention is paid to metamorphosis with incomplete transformation when subset of the objects of the previous stage passes to the next one. Three equivalent forms of programming model have been developed: a structural model, a lifeline model of objects and connections, and an operational model. The structural model specifies the topology of the compounds of each stage without transformation operations. The lifeline model identifies the stage numbers at which objects and connections are created and destroyed, without explicitly defining the topology of the stage compounds. The operational model is specified by operations of formation of stages of metamorphosis without explicit definition of structure of compounds. Each form of the model contains state change operations that perform data input, objects activation, and output of results. The formal syntax of the structure of the program generated from the model is presented, as well as the cases of use and application in integrated objects in the form of isomeric metamorphosis and metamorphosis of the zero cycle. The obtained results allow simplifying the structure of the program and reduce the amount of code that can be generated automatically.

Author Biographies

Volodymyr Sokolov, Institute of special communication and information protection of National technical university of Ukraine “Igor Sikorsky Kyiv polytechnic institute”, Kyiv

candidate of technical sciences, associate professor, associate professor at the cybersecurity and application of information systems and technologies academic department

Dmytro Sharadkin, Institute of special communication and information protection of National technical university of Ukraine “Igor Sikorsky Kyiv polytechnic institute”, Kyiv

candidate of technical sciences, associate professor, associate professor at the cybersecurity and application of information systems and technologies academic department

References

V. Sokolov, “Architecture of software based on integrated objects”, Information Technology and Security, vol. 5, no. 2, pp. 51-59, July-December 2017, doi: https://doi.org/10.20535/2411-1031. 2017.5.1.120559.

V. Sokolov, “Application of functional and relational models in object-oriented programming”, Information Technology and Security, vol. 5, no. 1, pp. 54-63, January-June 2017, doi: https://doi.org/10.20535/2411-1031.2017.5.1.120559.

V. Sokolov, “Topologies of schemes of active dynamic compounds of objects”, Information Technology and Security, vol. 7, no. 1, pp. 56-68, January-June 2019, doi: https://doi.org/10.20535/2411-1031.2019.7.1.184324.

F. Ciccozzi, I. Malavolta, and B. Selic, “Execution of UML models: a systematic review of research and practice”, Software & Systems Modeling, vol. 18, no. 18, pp. 2313-2360, 2019, doi: https://doi.org/10.1007/s10270-018-0675-4.

E. V. Sunitha, and S. Philip, “Automatic Code Generation From UML State Chart Diagrams”, IEEE Access, vol. 7, pp. 8591-8608, 2019, doi: https://doi.org/10.1109/ACCESS.2018. 2890791.

Maryam I. Mukhtar, and Bashir S. Galadanci, “Automatic code generation from UML diagrams: the state-of-the-art”, Science World Journal, vol. 13, no. 4, pp. 47-60, 2018.

T. Buchmann, and A. Rimer, “Unifying Modeling and Programming with ALF”, in Proc. 2nd International Conference on Advances and Trends in Software Engineering (SOFTENG 2016), Lisbon, Portugal, 2016, pp. 10-15.

L. Addazi, F. Ciccozzi, P. Langer, and E. Posse, “Towards Seamless Hybrid Graphical–Textual Modelling for UML and Profiles”, in Proc. European Conference on Modelling Foundations and Applications, Marburg, Germany, 2017, pp. 20-33, doi: https://doi.org/10.1007/978-3-319-61482-3_2.

M. A. Kuhail, S. Farooq, R. Hammad, and M. Bahja, “Characterizing Visual Programming Approaches for End-User Developers: A Systematic Review”, IEEE Access, vol. 9, pp. 14181-14202, 2021, doi: https://doi.org/10.1109/ACCESS.2021.3051043.

S. Masoumi, and A. Mahjur, “Collaborative component interaction”, Ingénierie des Systèmes d’Information, vol. 24, no. 3, pp. 321-329, 2019, doi: https://doi.org/10.18280/isi.240312.

Y. Seginer, T. Vosse, G. Harari, and U. Kolodny, “Query-based object-oriented programming: a declarative web of objects”, in Proc. 14th ACM SIGPLAN International Symposium on Dynamic Languages, Boston, 2018, pp. 64-75, doi: https://doi.org/10.1145/3276945.3276949.

Downloads

Published

2021-06-24

How to Cite

Sokolov, V., & Sharadkin, D. (2021). Programming model based on metamorphosis of active dynamic compounds of objects. Collection "Information Technology and Security", 9(1), 67–79. https://doi.org/10.20535/2411-1031.2021.9.1.249812

Issue

Vol. 9 No. 1 (2021)

Section

MATHEMATICAL AND COMPUTER MODELING

License

Copyright (c) 2021 Information Technology and Security

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

The authors that are published in this collection, agree to the following terms:

  1. The authors reserve the right to authorship of their work and pass the collection right of first publication this work is licensed under the Creative Commons Attribution License, which allows others to freely distribute the published work with the obligatory reference to the authors of the original work and the first publication of the work in this collection.
     
  2. The authors have the right to conclude an agreement on exclusive distribution of the work in the form in which it was published this anthology (for example, to place the work in a digital repository institution or to publish in the structure of the monograph), provided that references to the first publication of the work in this collection.
     
  3. Policy of the journal allows and encourages the placement of authors on the Internet (for example, in storage facilities or on personal web sites) the manuscript of the work, prior to the submission of the manuscript to the editor, and during its editorial processing, as it contributes to productive scientific discussion and positive effect on the efficiency and dynamics of citations of published work (see The Effect of Open Access).