Concept-Monad Model of Technological  Environment of Programming

Abstract

This paper proposes an extension of the principles of an adaptive programming environment based on  the considered intersubject and interpersonal programming paradigms and the use of oracles, concepts, copmozies, and open-loop systems. The purpose of this work is to develop the foundations of an adaptive technological programming environment based on an intersubjective paradigm. In order to achieve the above goal, it is necessary to substantially expand the understanding of programming by introducing certain conceptual and logical structures. Based on such structures, you can lay the foundations for the technological process of programming, when the property of each individual subject of programming will be available to everyone. An oracle open-loop system describing the general scheme of programming is considered. In such a scheme, the active role of the subject is decisive, since the process of creating the program is regarded as determined by the subject. This suggests that the interest-based paradigm defines the programming process as the essence that is determined by the program itself. Conceptualization in the context of the oracle interaction scheme is considered. Oracle structures enrich the conception, form a point of view on the program as a structural activity, and on the concept as an appropriate structure. Conceptualization is defined as the sequence of actions of the subject who creates the program, the concept of which is a composition. Moreover, each stage of such a concept is also a specific concept. There are two types of composites. The first is composites that determine the understanding of a composition as the stages of composites, and the second includes basic composites that determine the active role of the subject in conception. Examples of using reduction to demonstrate the relationship of composition and decomposition in conceptualization. Schemes of concepts for various composite and composite concepts are given. These schemes are also important because they clearly reflect the fact of complementarity between the two poles of conception - synthesis and analysis, composition and decomposition. The meaningful meaning of reduction considered in the paper is that it naturally implements the "divide and conquer" paradigm in under standing the subject's active role in conceptualization. This allows you to depart from the general concept of programming as a subject-specific activity and to lay the foundations for its technologicalization. To this end, among the vast variety of compositions, composites stand out as the basic gene structures. Compared to them, any other composition is formed as a derivative of the consistent use of composites. An effective object programming environment is developed based on the concept of reduction. Adaptation of this environment is made for the standard system of software algebras. This demon strates the solution of a number of representative numerical analysis problems. 

Keywords

References

1. D. E. Knut, The art of computer programming. Fundamental Algorithms [Iskusstvo programmirovaniya. Osnovnyye algoritmy]. Moscow: Vyliams, 2006.
2. E. G. Husserl, Logical Studies. Cartesian Reflections [Logicheskiye issledovaniya. Kartezianskiye razmyshleniya]. Minsk, 2000.
3. J. W. Backus, Algebra of functional programs: functional level thinking, linear equations and generalized definitions [Algebra funktsional’nykh programm: myshleniye funktsional’nogo urovnya, lineynyye uravneniya i obobshchennyye opredeleniya, Matematicheskaya logika v . Moscow: Mir, 1991.
4. G. Buch, Object-oriented analysis and design. Moscow: Binom, 1998.
5. J. McCarthy, “Recursive Functions of Symbolic Expressions Their Computation by Machine, Part I,” CACM 1960, 1960. [Online]. Available: https://aiplaybook.a16z.com/reference-material/mccarthy-1960.pdf.
6. N. Wirth, “A Personal Computer for the Software Engineer. Proceedings,” in ICSE 81.
7. V. N. Redko and N. V. Grishko, “Conceptological foundations essential platform,” in TAAPSD’2012, 2013.
8. I. V. Redko, “The theory of descriptive environments and its applications,” National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute,” 2008.
9. I. V. Redko, D. I. Redko, and T. L. Zakharchenko, “Conceptual basis of programming,” Komprynt, 2016.
10. D. L. Parnas, “On the criteria to be used in decomposing systems into modules,” CACM 1972, 1972. [Online]. Available: https://www.win.tue.nl/~wstomv/edu/2ip30/references/criteria_for_modularization.pdf

License

Copyright (c) 2020 Станіслав Вікторович Кудлай, Максим О. Зилевич, П. О. Яханов, І. В. Редько (Автор)