The software tool of constructive-synthesizing modeling

V.I. Shynkarenko, R.R. Chyhir

Abstract


The concept of constructive-synthesizing modelling is presented. The basic principles are outlined. The classification of constructors by the purpose of constructing and external relations is presented. The types of constructors are defined: generating, transforming, analyzing, optimizing/adapting, algorithmic; standalone, parametric, interactive, multi-designer. Achievements in the application of the constructive-synthesizing approach to solving a number of problems are presented. The tool software environment «Constructor 1.0» has been developed for the formation of constructors by means of the Python language using Qt technology to ensure cross-platform compatibility. for the formation of constructors. On the example of the geometric fractal formation , its functionality is demonstrated. First of all, it concerns the formation of such constructors as a standalone generating, parametric transforming, and unifying multiconstructor. The features of expending transformations in the formation of constructors are shown: specification, interpretation and concretization. The specialization of constructors determines the subject area of constuctiong, the necessary data and operations. To ensure the functioning of the constructing processes, all constructor operations must be interpreted by the corresponding procedures of the algorithmic constructor. The combination of the constructor (model of elements and possible operations) with the algorithmic constructor (model of the executor) forms a constructive system capable of autonomously performing constructing by an internal executor. In concretization, substitution rules and initial conditions are specified. The developed software environment provides a certain flexibility in terms of possible modifications of constructors and constructing processes. The developed tools can be the basis for modelling various structures and constructing processes, especially in the tasks of their optimization and structural adaptation.

Problems in programming 2024; 2-3: 107-115


Keywords


constructive-synthesizing modeling; software; constructor; algorithm; formal grammar; formalization

References


V.I. Shynkarenko , V.M. Ilman, Constructive-Synthesizing Structures and Their Grammatical Interpretations.; Part I. Generalized Formal Constructive-Synthesizing Structure, in: Cybernetics and Systems Analysis, 2014. № 50(5), pp.665–662. doi: 10.1007/s10559-014-9655z; Part II. Refining Transformations, in: Cybernetics and Systems Analysis, 2014. № 50(6). С.829–841. doi: 10.1007/s10559-014-9674-9.

S. Müller, Grammatical theory: From transformational grammar to constraint-based approaches, Language Science Press, 2023. doi: 10.5281/zenodo.3992307.

O. Iwashokun, A. Ade-Ibijola, Parsing of Research Documents into XML Using Formal Grammars, in: Applied Computational Intelligence and Soft Computing, 2024. doi: 10.1155/2024/6671359.

R. Wandr, A.L.S. Ferreira, R.V.S. Pessoa,A. Galv, A. Machado-Lima, A stochastic grammar approach to mass classification in mammograms, in: IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2023.

X. Pu, M. Kay, A probabilistic grammar of graphics, in: CHI Conference on Human Factors in Computing Systems, 2020. pp.1–13. doi: 10.1109/TCBB.2023.3247144.

F. D'Alessandro, O.H. Ibarra, I. McQuillan, On finite-index indexed grammars and their restrictions, in: International Conference on Language and Automata Theory and Application, 2021. №279. pp.287-298. doi: 10.1016/j.ic.2020.104613

P. Prusinkiewicz, A. Lindenmayer, The algorithmic beauty of plants, Springer Science & Business Media, 2004. pp. 228. doi: 10.1007/978-1-4613-8476-2.

L.P. Lisovik, T.A. Karnaukh, A method of specification of fractal sets, in: Cybernetics and Systems Analysis, 2009. № 45(3). pp.365–372. doi: 10.1007/s10559-009-9117-1.

V.I. Shynkarenko, Constructive-Synthesizing Representation of Geometric Fractals, in: Cybernetics and Systems Analysis, 2019. № 55. pp.186-199. doi: 10.1007/s10559-019-00123-w

V.I. Shynkarenko, T.M. Vasetska, Modeling the Adaptation of Compression Algorithms by Means of Constructive-Synthesizing Structures, in: Cybernetics and Systems Analysis, 2015. № 51(6). pp. 849–861. doi: 10.1007/s10559-015-9778-x.

V. Shynkarenko, O. Kuropiatnyk, Constructive Model of theNatural Language, in: Acta Cybernetica, 2018. № 23(4). pp.995–1015. doi: 10.14232/actacyb.23.4.2018.2.

V. Shynkarenko, O. Letuchyi, R. Chyhir, Constructive-synthesizing modeling of fractal crystal lattices, in: 18th IEEE International Conference on Computer Science and Information Technologies (CSIT), 2023. doi: 10.1109/CSIT61576.2023.10324251

V. Shynkarenko, K. Lytvynenko , R. Chyhir , I. Nikitina, Modeling of Lightning Flashes in Thunderstorm Front by Constructive Production of Fractal Time Series, in: Advances in Intelligent Systems and Computing IV, 2020. № 1080. pp.173–185. doi: 10.1007/978-3-030-33695-0_13

V.I. Shynkarenko, V.M. Ilman, G.V. Zabula, Constructive synthesizing model of data structures at logical level, in: Problems of programming, 2014. № 2-3. pp. 10–16.

J.W. Harris, H. Stocker, Handbook of Mathematics and Computational Science. Springer-Verlag, New York, 1998. pp.114–115.


Refbacks

  • There are currently no refbacks.