<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">msi</journal-id><journal-title-group><journal-title xml:lang="ru">Современная наука и инновации</journal-title><trans-title-group xml:lang="en"><trans-title>Modern Science and Innovations</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">2307-910X</issn><publisher><publisher-name>North-Caucasus Federal University</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.33236/2307-910X-2019-25-1-9-14</article-id><article-id custom-type="elpub" pub-id-type="custom">msi-3</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>ТЕХНИЧЕСКИЕ НАУКИ ИНФОРМАТИКА, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА И УПРАВЛЕНИЕ</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>TECHNICAL SCIENCES INFORMATION, COMPUTING AND MANAGEMENT</subject></subj-group></article-categories><title-group><article-title>ЛОГИКО-МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ПОСТРОЕНИЯ ОПИСАНИЯ ПРЕДМЕТНОЙ ОБЛАСТИ КОРПОРАТИВНОЙ АВТОМАТИЗИРОВАННОЙ ИНФОРМАЦИОННОЙ СИСТЕМЫ</article-title><trans-title-group xml:lang="en"><trans-title>LOGICAL AND MATHEMATICAL MODEL FOR BUILDING THE DESCRIPTION OF THE SUBJECT AREA OF THE CORPORATE AUTOMATED INFORMATION SYSTEM</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Маслеников</surname><given-names>К. Ю.</given-names></name><name name-style="western" xml:lang="en"><surname>Maslenikov</surname><given-names>K. Y.</given-names></name></name-alternatives><email xlink:type="simple">noemail@neicon.ru</email><xref ref-type="aff" rid="aff-1"/></contrib><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Ревунков</surname><given-names>Г. И.</given-names></name><name name-style="western" xml:lang="en"><surname>Revunkov</surname><given-names>G. I.</given-names></name></name-alternatives><email xlink:type="simple">noemail@neicon.ru</email><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff-alternatives id="aff-1"><aff xml:lang="ru"><institution>Московский государственный технический университет</institution><country>Россия</country></aff><aff xml:lang="en"><institution>Moscow State Technical University</institution><country>Russian Federation</country></aff></aff-alternatives><pub-date pub-type="collection"><year>2019</year></pub-date><pub-date pub-type="epub"><day>04</day><month>08</month><year>2022</year></pub-date><volume>0</volume><issue>1</issue><fpage>10</fpage><lpage>15</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Маслеников К.Ю., Ревунков Г.И., 2022</copyright-statement><copyright-year>2022</copyright-year><copyright-holder xml:lang="ru">Маслеников К.Ю., Ревунков Г.И.</copyright-holder><copyright-holder xml:lang="en">Maslenikov K.Y., Revunkov G.I.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://msi.elpub.ru/jour/article/view/3">https://msi.elpub.ru/jour/article/view/3</self-uri><abstract><p>Построить и получить логико-математическое обоснование и модель процесса построения описания любой предметной области корпоративной автоматизированной информационной системы.</p></abstract><trans-abstract xml:lang="en"><p>То construct and obtain a logical-mathematical substantiation and a model of the process of constructing a description of any subject area of a corporate automated information system.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>модель</kwd><kwd>описание</kwd><kwd>предметная область</kwd><kwd>автоматизированная информационная система</kwd><kwd>математическое обоснование</kwd><kwd>семантическая модель</kwd><kwd>логика</kwd><kwd>предикат</kwd></kwd-group><kwd-group xml:lang="en"><kwd>model</kwd><kwd>description</kwd><kwd>subject area</kwd><kwd>automated information system</kwd><kwd>mathematical justification</kwd><kwd>semantic model</kwd><kwd>logic</kwd><kwd>predicate</kwd></kwd-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Маслеников К. Ю., Ревунков Г. И., Сатова М. В. Описание предметной области как неотъемлемый элементпроцесса проектирования автоматизированной информационной системы // Интернет-журнал НАУКОВЕДЕНИЕ. Т.9. №6. 2017.</mixed-citation><mixed-citation xml:lang="en">Маслеников К. Ю., Ревунков Г. И., Сатова М. В. Описание предметной области как неотъемлемый элементпроцесса проектирования автоматизированной информационной системы // Интернет-журнал НАУКОВЕДЕНИЕ. Т.9. №6. 2017.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Ревунков Е. И., Маслеников К. Ю. Построение модели предметной области автоматизированных систем // Информационно-измерительные и управляющие системы. Т. 14. № 12. 2016. С. 51-53.</mixed-citation><mixed-citation xml:lang="en">Ревунков Е. И., Маслеников К. Ю. Построение модели предметной области автоматизированных систем // Информационно-измерительные и управляющие системы. Т. 14. № 12. 2016. С. 51-53.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Маслеников К. Ю., Ревунков Е. И. Построение описания понятийной модели предметной области с помощью семантической модели предикатного типа // Международный научно-исследовательский журнал Успехи современной науки. 2017. Т.1. №5. С. 36-40.</mixed-citation><mixed-citation xml:lang="en">Маслеников К. Ю., Ревунков Е. И. Построение описания понятийной модели предметной области с помощью семантической модели предикатного типа // Международный научно-исследовательский журнал Успехи современной науки. 2017. Т.1. №5. С. 36-40.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Белоусов А. И., Ткачев С. Б. Дискретная математика. М.: Издательство МЕТУ им. Н. Э. Баумана, 2015. 744 с.</mixed-citation><mixed-citation xml:lang="en">Белоусов А. И., Ткачев С. Б. Дискретная математика. М.: Издательство МЕТУ им. Н. Э. Баумана, 2015. 744 с.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Бояринцева Т. Е., Золотова Н. В., Исмагилов Р. С. Математическая логика и теория алгоритмов. М.: Издательство МЕТУ им. Н. Э. Баумана, 2011. 48 с.</mixed-citation><mixed-citation xml:lang="en">Бояринцева Т. Е., Золотова Н. В., Исмагилов Р. С. Математическая логика и теория алгоритмов. М.: Издательство МЕТУ им. Н. Э. Баумана, 2011. 48 с.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Зыков А. Г., Поляков В. И., Скорубский В. И. Математическая логика. СПб.: НИУ ИТМО, 2013. 131 с.</mixed-citation><mixed-citation xml:lang="en">Зыков А. Г., Поляков В. И., Скорубский В. И. Математическая логика. СПб.: НИУ ИТМО, 2013. 131 с.</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Болотова Л. С. Системы искусственного интеллекта: модели и технологии, основанные на знаниях. М.: Финансы и статистика, 2012. 664 с.</mixed-citation><mixed-citation xml:lang="en">Болотова Л. С. Системы искусственного интеллекта: модели и технологии, основанные на знаниях. М.: Финансы и статистика, 2012. 664 с.</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">Девятков В. В. Системы искусственного интеллекта. М.: Издательство МГТУ им. Н. Э. Баумана, 2001. 352 с.</mixed-citation><mixed-citation xml:lang="en">Девятков В. В. Системы искусственного интеллекта. М.: Издательство МГТУ им. Н. Э. Баумана, 2001. 352 с.</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">Еаврилова Т. А., Лещева И. А., Кудрявцев Д. В. Использование моделей инженерии знаний для подготовки специалистов в области информационных технологий. Системноепрограммирование. 2012. Т. 7. № 1. С. 90-105.</mixed-citation><mixed-citation xml:lang="en">Еаврилова Т. А., Лещева И. А., Кудрявцев Д. В. Использование моделей инженерии знаний для подготовки специалистов в области информационных технологий. Системноепрограммирование. 2012. Т. 7. № 1. С. 90-105.</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">Еапанюк Ю. Е., Самохвалов Э. Н., Ревунков Е. И. Использование метаграфов для описания семантики и прагматики информационных систем. Вестник МЕТУ им. Н. Э. Баумана. Сер. Приборостроение. 2015. №1. С. 83-99.</mixed-citation><mixed-citation xml:lang="en">Еапанюк Ю. Е., Самохвалов Э. Н., Ревунков Е. И. Использование метаграфов для описания семантики и прагматики информационных систем. Вестник МЕТУ им. Н. Э. Баумана. Сер. Приборостроение. 2015. №1. С. 83-99.</mixed-citation></citation-alternatives></ref><ref id="cit11"><label>11</label><citation-alternatives><mixed-citation xml:lang="ru">Batra D., Marakas G.M. Conceptual data modelling in theory and practice, European Journal of Information Systems. 1995. p. 185-193, DOI: 10.1057/ejis.l995.21</mixed-citation><mixed-citation xml:lang="en">Batra D., Marakas G.M. Conceptual data modelling in theory and practice, European Journal of Information Systems. 1995. p. 185-193, DOI: 10.1057/ejis.l995.21</mixed-citation></citation-alternatives></ref><ref id="cit12"><label>12</label><citation-alternatives><mixed-citation xml:lang="ru">William J Kettinger, Yuan LiTheinfological equation extended: towards conceptual clarity in the relationship between data, information and knowledge, European Journal of Information Systems. 2010.p. 409-421. DOI: 10.1057/ejis.2010.25</mixed-citation><mixed-citation xml:lang="en">William J Kettinger, Yuan LiTheinfological equation extended: towards conceptual clarity in the relationship between data, information and knowledge, European Journal of Information Systems. 2010.p. 409-421. DOI: 10.1057/ejis.2010.25</mixed-citation></citation-alternatives></ref><ref id="cit13"><label>13</label><citation-alternatives><mixed-citation xml:lang="ru">J.W. Wang, H.F. Wang, J.L. Ding, K. Furuta, T. Kanno, W.H. Ip, WJ. Zhang On domain modelling of the service system with its application to enterprise information systems, Enterprise Information Systems. 2016. p. 1-16, DOI: 10.1080/17517575.2013.810784</mixed-citation><mixed-citation xml:lang="en">J.W. Wang, H.F. Wang, J.L. Ding, K. Furuta, T. Kanno, W.H. Ip, WJ. Zhang On domain modelling of the service system with its application to enterprise information systems, Enterprise Information Systems. 2016. p. 1-16, DOI: 10.1080/17517575.2013.810784</mixed-citation></citation-alternatives></ref><ref id="cit14"><label>14</label><citation-alternatives><mixed-citation xml:lang="ru">Bahrain LotfiSadigh, HakkiOzgur Unver, ShahrzadNikghadam, Erdogan Dogdu, A. Murat Ozbayoglu, S. EnginKilic. An ontology-based multi-agent virtual enterprise system (OMAVE): part 1: domain modelling and rule management, International Journal of Computer Integrated Manufacturing, 2017. p. 320-343, DOI: 10.1080/0951192X.2016.1145811</mixed-citation><mixed-citation xml:lang="en">Bahrain LotfiSadigh, HakkiOzgur Unver, ShahrzadNikghadam, Erdogan Dogdu, A. Murat Ozbayoglu, S. EnginKilic. An ontology-based multi-agent virtual enterprise system (OMAVE): part 1: domain modelling and rule management, International Journal of Computer Integrated Manufacturing, 2017. p. 320-343, DOI: 10.1080/0951192X.2016.1145811</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
