Discrete and Continuous Models and Applied Computational ScienceDiscrete and Continuous Models and Applied Computational ScienceDiscrete and Continuous Models and Applied Computational Science2658-46702658-7149Peoples' Friendship University of Russia named after Patrice Lumumba (RUDN University)8443ArticlesСтатьиThe Development of Enterprise Modeling Instrument for Corporate Management SystemsРазвитие инструментов моделирования предприятия для корпоративных систем управленияNovikovaG MНовиковаГалина МихайловнаКафедра информационных технологий; Российский университет дружбы народов; Peoples' Friendship University of RussiaКафедра информационных технологий; Российский университет дружбы народовnovikova_gm@mail.ruMalyutinaT VМалютинаТатьяна ВикторовнаКафедра информационных технологий; Российский университет дружбы народов; Peoples' Friendship University of RussiaКафедра информационных технологий; Российский университет дружбы народовtatianamalyutina@gmail.comPeoples' Friendship University of RussiaРоссийский университет дружбы народов150420114NO4 (2011)№4 (2011)15916808092016Copyright ©; 2011, Новикова Г.М., Малютина Т.В.2011Новикова Г.М., Малютина Т.В.http://creativecommons.org/licenses/by/4.0https://journals.rudn.ru/miph/article/view/8443This article deals with the research of enterprise modeling instrument's disadvantages and its ways of possible development. There is an example of an integrated notation, containing such notions as "Event" and "Condition", and also an example of using the formal level of application domain to estimate the completeness and the consistency of the models mentioned.Рассмотрены недостатки и обозначены направления развития инструментальной среды моделирования корпоративных систем управления, приведен пример интегрированной нотации, включающей понятия события и состояния, показано использование формального уровня описания предметной области для оценки полноты и непротиворечивости моделей.modelingARISenterprise modeling instrumentsintegrated notationlogical modelsformal modelsARISмоделированиекорпоративные системы управленияинтегрированная нотациялогические моделиформальные модели1.GOST 34.320-96: Information technology. Database standards system. Concepts and terminology for the conceptual schema and the information base. - 2003.2.Моделирование бизнеса. Методология ARIS: Практическое руководство /А. Шматалюк, М. Ферапонтов, А. Громов, М. Каменова. - М.: ВестМета-Технология, 2003. - 333 с. [Modelirovanie biznesa. Metodologiya ARIS: Prakticheskoe rukovodstvo / A. Shmatalyuk, M. Ferapontov, A. Gromov, M. Kamenova. - M.: Vest-Meta-Tekhnologiya, 2003. - 333 s. ]3.Booch G., Rumbaugh J., Jacobson I. The Unified Modeling Language Usere Guide. - New York: Addison-Wesley Professional, 2005. - 496 p.4.Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Языки и исчисления. - М.: МЦНМО, 2000. - 291 с. [Verethagin N. K., Shenj A. Lekcii po matematicheskoyj logike i teorii algoritmov. Yazihki i ischisleniya. - M.: MCNMO, 2000. - 291 s. ]