A System–Object Approach to Determinant Analysis of Complex Systems
Сергей Игоревич Маторин, V. V. Mikhelev · Scientific and Technical Information Processing · 2021
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).