System-Object Determinant Analysis. Partitive Classification Using the Formal-Semantic Normative System

Cover Page

Cite item

Full Text

Abstract

The paper considers the construction of a partitive classification when conducting a systemobject determinant analysis using a formal-semantic normative system. The formal semantic alphabet and the rules for its use are described in terms of descriptive logic. The developed algorithms provide computer support for the decomposition of a complex system in graphical-analytical modeling. An illustrative example is given.

About the authors

Sergey I. Matorin

National Research University "Belgorod State University"; Belgorod University of Cooperation, Economics & Law

Author for correspondence.
Email: matorin@softconnect.ru

Professor, Doctor of Technical Sciences. Professor of the Department

Russian Federation, Belgorod; Belgorod

Vladimir V. Mikhelev

National Research University "Belgorod State University"

Email: keeper121@yandex.ru

Graduate student

Russian Federation, Belgorod

References

  1. Dubejkovskij V.I. 2007. Jeffektivnoe modelirovanie s AllFusion Process Modeler i AllFusion PM [Efficient Modeling with AllFusion Process Modeler and AllFusion PM]. M.: DIALOG-MIFI. 384.
  2. Vendrov A.M. 2000. Proektirovanie programmnogo obespechenija jekonomicheskih informacionnyh system [Software design for economic information systems]. M.: Finansy i statistika. 352.
  3. Maklakov S.V. 2004. Modelirovanie biznes-processov s AllFusion Process Modeler [Business Process Modeling with AllFusion Process Modeler]. M.: DIALOG-MIFI. 240.
  4. Elizarova N.N., Arhangel'skaja E.L. 2010. Primenenie grafoanaliticheskogo metoda analiza predmetnoj oblasti pri proektirovanii informacionnyh system [Application of the graphic-analytical method for analyzing the subject area in the design of information systems] // Vestnik IGJeU [Vestnik IGEU]. 4: 1-5.
  5. Kaziev V.M. 2014. Vvedenie v analiz, sintez i modelirovanie system [Introduction to the analysis, synthesis and modeling of systems]. M.: Prosveshhenie/Binom. 244.
  6. Rubcov S. 2002. Kakoj CASE-instrument naneset naimen'shij vred organizacii? [Which CASE tool will cause the least harm to the organization?] // Direktor IS [Direktor IS]. 1: http://www.osp.ru/cio/2002/01/008.htm
  7. Matorin S.I., Mikhelev V.V. 2020. Sistemno-ob"yektnyy podkhod k determinantnomu analizu slozhnykh system [System-Object Approach to the Determinant Analysis of Complex Systems] // Iskusstvennyy intellekt i prinyatiye resheniy [Artificial Intelligence and Decision Making]. 2: 86-93.
  8. Matorin S.I., Mikhelev V.V., Zhikharev A.G, 2020. Normativnaja sistema sistemno-ob#ektnogo analiza i modelirovanija [Normative system of system-object analysis and modeling] // Jekonomika. Informatika [Economy. Computer science]. 3: 623-637.
  9. Matorin S.I., Mikhelev V.V. 2021. Formal-semantic normative system for graphic-analytical modelling // Journal of Physics: Conference Series 2060 (2021) 012020.
  10. Baader F., Calvanese D., L. McGuinness, Nardi D., PatelSchneider P. F. 2003. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press. 576.
  11. Baader F., Sattler U. 1999. Expressive Number Restrictions in Description Logics // Journal of Logic and Computation. 9(3): 319-350.
  12. Mel'nikov G.P. 1978. Sistemologiya i yazykovye aspekty kibernetiki [Systemology and language aspects of cybernetics]. M.: Sov. Radio. 368.
  13. Matorin S.I., Mikhelev V.V. 2021. Sistemno-ob#ektnyj determinantnyj analiz. Postroenie taksonomii predmetnoj oblasti [System-Object Determinant Analysis. Building a domain taxonomy] // Iskusstvennyj intellekt i prinjatie reshenij [Artificial Intelligence and Decision Making]. 1: 15-24.
  14. Matorin S.I., Mihelev V.V. 2022. Sistemno-ob#ektnyj determinantnyj analiz. Postroyeniye geneticheskoy i partitivnoy klassifikatsiy predmetnoy oblasti [System-object determinant analysis. Construction of genetic and partitive classifications of the subject area] // Iskusstvennyj intellekt i prinjatie reshenij [Artificial Intelligence and Decision Making]. 1: 26-34.
  15. Zimovets O.A., Matorin S.I. 2012. Integracija sredstv formalizacii grafoanaliticheskih modelej «Uzel-FunkcijaOb#ekt» [Integration of means of formalization of graphic-analytical models "Unit-Function-Object"] // Iskusstvennyj intellekt i prinjatie reshenij [Artificial Intelligence and Decision Making]. 1: 95-102.
  16. Matorin S.I., Zimovec O.A. 2012. Formalizovannoe vizual'noe modelirovanie administrativnyh procedur [Formalized visual modeling of administrative procedures] // Prikladnaja informatika [Applied Informatics]. 2: 100-110.
  17. Matorin S.I., Zimovec O.A., Zhiharev A.G. 2007. O razvitii tehnologii grafoanaliticheskogo modelirovanija biznesa s ispol'zovaniem sistemnogo podhoda «UzelFunkcija-Ob#ekt» [On the development of technology for graphic-analytical business modeling using the system approach "Node-Function-Object"] // Nauchnotekhnicheskaya informatsiya. Seriya 2 [Scientific and technical information. Series 2]. 11: 10-17

Supplementary files

Supplementary Files
Action
1. JATS XML
Download

Согласие на обработку персональных данных

 

Используя сайт https://journals.rcsi.science, я (далее – «Пользователь» или «Субъект персональных данных») даю согласие на обработку персональных данных на этом сайте (текст Согласия) и на обработку персональных данных с помощью сервиса «Яндекс.Метрика» (текст Согласия).