Abstract:
The article describes the possibility of analyzing systems using a system-object approach. The concept of determinant analysis of systems based on such an approach is introduced, which allows us to consider the detailed description of a system as a process of gradual refinement of its properties. The formalization of the stages of determinant analysis is proposed, starting with class systems (external or conceptual systems) and ending with systems-phenomena (internal or material systems), using the calculus of Abadi-Cardeli objects and the language of descriptive logic ALCHIO (D).