Key words
system-object approach, element «Unit-Function-Object», calculation of systems as UFO-elements, classification of UFO-elements, system-wide regularities.
articles
Formalization of the system-object approach «Unit-Function-Object»
The aim of the work is to study the possibility of formalizing the system-object approach «Unit-
Function-Object». To achieve this goal, the ideas of calculating Abadi-Kardeli objects were used in the
formal description of the conceptual provisions of this approach. In terms of this calculus, a special object
is formulated that represents the system as an element of Unit-Function-Object (UFO-element), and
a corresponding graphical representation is proposed. Some algebraic operations with special objects
as UFO-elements are described: connection of objects, association of objects on an input, association
of objects on an exit. The described operations are considered as basic operations of the proposed system
calculus as UFO-elements. They correspond to three structural phenomena and three kinds of objects
from which any structure and system of any complexity can be created: a simple stream (a simple
object), a merger of flows (a merging object), and a branching of the flow (branching object). As
a matter of fact, these operations are reduced to describing in the terms of the Grenander pattern theory
the «image» obtained by constructing a «configuration» of non-derivative objects (graphic formalisms)
and describing non-closed connections. The classification of these elements by their nodes
is proposed, which is based on the basic hierarchy of connection classes used within the system-object
approach. This classification allows us to use a limited alphabetic set of elements when modeling
systems. The developed calculus of systems as UFO-elements provides aggregation of such elements
and facilitates their decomposition. In addition, this calculus allows us to take into account a number
of system-wide regularities. The obtained results show the expediency of constructing a formalized
system theory by expanding and improving the calculus formalizing the system-object approach,
the foundations of which are presented in the work.
The author:
All articles:
The author:
Zhiharev A.
Degree:
PhD in Technique, Associate Professor, Department of Information and Robotic Systems Belgorod State University
Location:
Belgorod
