A System–Object Approach to Determinant Analysis of Complex Systems

Abstract

This article describes the possibility of analyzing systems using the system-object approach. The concept of determinant analysis of systems based on this approach is introduced, which allows one to consider the detailed description of a system as the gradual refinement of its properties. It is proposed to use the calculus of Abadi-Cardeli objects and the ALCHIO (D) descriptive logic language to formalize the stages of determinant analysis, from class systems (external or conceptual) to phenomena systems (internal or material).