Objects calculus in the system-object method of knowledge representation

In work methods of formalization of the system approach “Unit-Function-Object” and the system- object method of representation of knowledge based on this approach are considered. The expediency of applying for some further formalization some ideas of the objects calculation of Abadi-Cardeli and the patterns theory of Grenander is substantiated. By analogy with the above algebraic apparatus, the calculus of special objects that represent elements of system-object models, which includes graphic formulism and basic operations with objects, has been developed. It is shown that with the help of the proposed formal-semantic alphabet of special objects, it is possible to simplify the procedure for decomposition of a complex system on the basis of the basic hierarchy of classes of systemic connections. A substantiation of a number of system-wide regularities is given.