Model-Oriented Programming

Abstract

The problem of complex multi-component system processing arises in many fields of science and engineering. A system can be described in terms of its components, behavior, and interaction. This work proposes a new declarative Turing complete “model-oriented” programming paradigm based on the concept of “model-component” - a complex structure with well-defined characteristics and behavior, and no external methods. The set of model-components is closed under the union operation of model-components into “model-complex”. The proposed approach allows the program to describe the complex system and behavior of its components in a declarative way, possesses a higher level of encapsulation than the object-oriented paradigm, involves a reduced amount of imperative programming, and is naturally focused on parallel computations.

Structural theory as a research language for open complex systems, including social ones

“…an auxiliary base set of natural numbers, from which the typical characterization selects a subset , which turns out to be just a natural number, with the help of the auxiliary axiom (meaningfully it is the number of processes in the model). The typical characterizations (10) and axioms (indirectly, their definitions also include typical characterizations (8) with axioms , determining the rules for elements switching in processes and typical characterizations (9), determining the initial elements of the processes) formally determine the processes.…”

“…; events (4), situations to which the system is able to respond; behavior program ( 8) -(10), , . In [10] it is shown that the class of programs defined by the typical characterizations ( 8) -(10) and the axioms , is algorithmically complete. Therefore, for example, in a high-level language, we can talk about the "preservation of laws" in a complex open system ( [8] or section 4 of this work), as a rather complicated algorithm for the system controlling, nevertheless described by ( 8) -(10) and , p .…”