Saturday, January 23, 2021

Formalization of the decomposition process

 Formalization of the decomposition process

 My article "Formalization of the decomposition process" is published in the journal «Epistemological Studies in Philosophy, Social and Political Sciences». The methodological basis of DS-theory is proposed in the article. DS-theory is viewed as a theory for Software Engineering.

There are an abstract of the article and a link to the text of the article (in Ukrainian) below.

 
Abstract:

The article is devoted to the formal description of the procedure and scheme for the decomposition of arbitrary objects: objects, phenomena, organisms, processes in animate and inanimate nature. Attributes of the decomposition scheme such as an object property; various types of dependencies that can bind the properties of an object; decomposition mechanism; a graphic representation of the decomposition scheme — given and formally described. Varieties of decomposition schemes such as division decomposition and decomposition with inclusion are described. The variety of decomposition schemes and the variety of decomposition mechanisms are shown.

The action of various variations of the decomposition scheme, such as: the scheme for the formation of new knowledge of the studied objects; design and production scheme for new objects: artifacts and processes; a scheme for transforming objects: modernization, reorganization, reforming, repair, etc. - formally described.

A formal description is considered as a prerequisite for the analysis and synthesis of complex objects and complex systems at a level comparable to the level of mathematical accuracy and rigor.

The synthesis and design of various multifunctional equipment, various multifactorial processes, objects and processes of art, and, in particular, systems of the IT industry - is implied. For the first time introduced and formally described the concepts "type of property" and "algorithmic dependence". Algorithmic dependence exists between types of properties. These two concepts are prerequisites for the creation and development of the theory for Software Engineering. The article mentions a similar theory. Operations with decomposition schemes are described. Most of the concepts and ideas are illustrated with examples from various fields of human activity. This is evidence that the scheme of decomposition and the process of decomposition is a general scientific and philosophical phenomenon.

The idea of a decomposition scheme can provide effective interdisciplinary communication.


Article text:

https://visnukpfs.dp.ua/index.php/PFS/article/view/1020/1449