OBJECT-ORIENTED PROGRAMMING LANGUAGES AS TOOLS FOR FORMULATIONS OF SYSTEM ABSTRACTION

The classes that the object-oriented programming languages allow to define correspond to exact abstract notions. The instances of classes correspond to exactly behaving entities. The so called life rules that some of those languages allow including as integral components of classes correspond to algorithms that run in parallel. The life rules can be related to a certain abstraction of Newtonian time, which allows formulating exact description of dynamic systems, i.e. models of entities that are studied by natural and/or technical sciences and even by social sciences and humanities. The sets of classes can represent exact theories. In case such a language is also block-oriented, the exact theories can be formulated and handled as concepts, too. When the applied language admits the life rules, a certain dynamic development of such a theory can be exactly formulated. Moreover, the synthesis of the block orientation with the object orientation allows describing dynamic systems that handle exact theories. If the applied object-oriented language is consistent and independent of computer essence, it represents a true mathematical language, able to be used for describing very complex systems (including intelligent ones).