System and linguistic approach to design of formal models of the studied subject domain on the basis of categories of dialectics and set-theoretic methods

Authors

  • Gennadiy Grigorevich Kulikov FGBOU VO «Ufimskiy gosudarstvennyy aviacionnyy tehnicheskiy universitet» (UGATU)
  • Taisiya Pavlovna Zlobina FGBOU VO «Ufimskiy gosudarstvennyy aviacionnyy tehnicheskiy universitet» (UGATU)
  • Sergey Fedorovich Babak FGBOU VO «Ufimskiy gosudarstvennyy aviacionnyy tehnicheskiy universitet» (UGATU)
  • Dmitriy Gennadevich Shamidanov FGBOU VO «Ufimskiy gosudarstvennyy aviacionnyy tehnicheskiy universitet» (UGATU)

Keywords:

systematic approach; category theory; the principle of causality; terminal metalanguages

Abstract

System and linguistic approach to design of formal models of the studied subject domain (SD) on the basis of categories of dialectics and set-theoretic methods is considered. It is shown that this approach allows raising degree of structural adequacy of model due to identification and more complete description of relationships of cause and effect. The possibility of establishing a correspondence between the models of business processes and the causal relationships between the objects of the subject domain being studied is considered. Comparison of the process of drawing up the rules for structuring objects in the domain is shown in accordance with the levels of the Chomsky hierarchy.

Author Biographies

Gennadiy Grigorevich Kulikov, FGBOU VO «Ufimskiy gosudarstvennyy aviacionnyy tehnicheskiy universitet» (UGATU)

prof. kaf. avtomatizirovannyh sistem upravleniya. Dipl. inzh. po avtom. mashinostroeniya (UAI, 1971). D-r tehn. nauk po sist. analizu, avt. upravleniyu i tepl. dvigatelyam (UAI, 1989). Issl. v obl. ASU i upr. sil. ustanovkami LA.

Taisiya Pavlovna Zlobina, FGBOU VO «Ufimskiy gosudarstvennyy aviacionnyy tehnicheskiy universitet» (UGATU)

kand. fil. nauk, doc. kaf. ASU. Issl. v obl. kategoriy dialektiki.

Sergey Fedorovich Babak, FGBOU VO «Ufimskiy gosudarstvennyy aviacionnyy tehnicheskiy universitet» (UGATU)

doc. kaf. ASU. Dipl. inzh. (UAI, 1970). Kand. tehn. nauk (UAI, 1978).

Dmitriy Gennadevich Shamidanov, FGBOU VO «Ufimskiy gosudarstvennyy aviacionnyy tehnicheskiy universitet» (UGATU)

asp. kaf. ASU. Dipl. informatik-ekonomist (UGATU, 2014). Gotovit dis. vobl. inf.-poiskovyh sistem

Published

2017-20-06

Issue

Section

INFORMATICS, COMPUTER ENGINEERING AND MANAGEMENT