<?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">umovest</journal-id><journal-title-group><journal-title xml:lang="ru">Статистика и Экономика</journal-title><trans-title-group xml:lang="en"><trans-title>Statistics and Economics</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">2500-3925</issn><publisher><publisher-name>Plekhanov Russian University of Economics</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.21686/2500-3925-2013-3-161-165</article-id><article-id custom-type="elpub" pub-id-type="custom">umovest-196</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></article-categories><title-group><article-title>ФОРМАЛЬНЫЕ МЕТОДЫ ПОДДЕРЖКИ РЕОРГАНИЗАЦИИ БИЗНЕС-ПРОЦЕССОВ</article-title><trans-title-group xml:lang="en"><trans-title>FORMAL METHODS OF SUPPORT OF REORGANIZATION OF BUSINESS PROJECTS</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>Kalyanov</surname><given-names>Georgy N.</given-names></name></name-alternatives><email xlink:type="simple">Kalyanov@ipu.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>Institute of Informatics Problems of the Russian Academy of Sciences (IPI RAN)</institution><country>Russian Federation</country></aff></aff-alternatives><pub-date pub-type="collection"><year>2013</year></pub-date><pub-date pub-type="epub"><day>09</day><month>08</month><year>2016</year></pub-date><volume>0</volume><issue>3</issue><fpage>161</fpage><lpage>165</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Калянов Г.Н., 2016</copyright-statement><copyright-year>2016</copyright-year><copyright-holder xml:lang="ru">Калянов Г.Н.</copyright-holder><copyright-holder xml:lang="en">Kalyanov G.N.</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://statecon.rea.ru/jour/article/view/196">https://statecon.rea.ru/jour/article/view/196</self-uri><abstract><p>В статье рассматривается комплекс методов, позволяющих проводить формализованное исследование бизнес-процессов предприятий, осуществлять их функционально-структурное проектирование, тестирование и верификацию.</p></abstract><trans-abstract xml:lang="en"><p>The article describes a set of methods that allow keeping a formal investigation of business processes of enterprises and carrying out their functional-structural design, testing and verification.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>бизнес-процесс</kwd><kwd>реорганизация</kwd><kwd>грамматика бизнес-процесса</kwd><kwd>тестирование</kwd><kwd>business process</kwd><kwd>reorganization</kwd><kwd>grammar of business-process</kwd><kwd>testing</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">Калянов Г.Н. Моделирование, анализ, реорганизация и автоматизация бизнес-процессов // М.: Финансы и статистика, 2006, - 240с.</mixed-citation><mixed-citation xml:lang="en">Калянов Г.Н. Моделирование, анализ, реорганизация и автоматизация бизнес-процессов // М.: Финансы и статистика, 2006, - 240с.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Калянов Г.Н. Использование формальных грамматик в задачах реинжиниринга бизнес-процессов // Труды 12-й Национальной конференции по искусственному интеллекту КИИ-2010. М.: 2010, том 4, с.172-179.</mixed-citation><mixed-citation xml:lang="en">Калянов Г.Н. Использование формальных грамматик в задачах реинжиниринга бизнес-процессов // Труды 12-й Национальной конференции по искусственному интеллекту КИИ-2010. М.: 2010, том 4, с.172-179.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Калянов Г.Н. Теория и практика реорганизации бизнес-процессов // М.: СИНТЕГ, 2000, - 212с.</mixed-citation><mixed-citation xml:lang="en">Калянов Г.Н. Теория и практика реорганизации бизнес-процессов // М.: СИНТЕГ, 2000, - 212с.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Калянов Г.Н. Тестирование информационных потоков // Труды 13-й Российской научно-практической конференции «Реинжиниринг бизнес-процессов на основе современных информационных технологий. Системы управления процессами и знаниями». М.: 2010, с.146-151.</mixed-citation><mixed-citation xml:lang="en">Калянов Г.Н. Тестирование информационных потоков // Труды 13-й Российской научно-практической конференции «Реинжиниринг бизнес-процессов на основе современных информационных технологий. Системы управления процессами и знаниями». М.: 2010, с.146-151.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Калянов Г.Н. Системный анализ требований к КИС // Труды 15-й Российской научно-практической конференции «Реинжиниринг бизнес-процессов на основе современных информационных технологий. Системы управления знаниями». М.: 2012, с. 96-98.</mixed-citation><mixed-citation xml:lang="en">Калянов Г.Н. Системный анализ требований к КИС // Труды 15-й Российской научно-практической конференции «Реинжиниринг бизнес-процессов на основе современных информационных технологий. Системы управления знаниями». М.: 2012, с. 96-98.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Kalyanov G.N. Modeling, analysis, reorganization and automation of business-processes // M.: Finance and statistics, 2006, - 240p.</mixed-citation><mixed-citation xml:lang="en">Kalyanov G.N. Modeling, analysis, reorganization and automation of business-processes // M.: Finance and statistics, 2006, - 240p.</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Kalyanov G.N. Use of the formal grammars in the tasks of reengineering of business-processes // Proceedings of the 12th National conference on artificial intelligence ISG-2010. M.: 2010, volume 4, p.172-179.</mixed-citation><mixed-citation xml:lang="en">Kalyanov G.N. Use of the formal grammars in the tasks of reengineering of business-processes // Proceedings of the 12th National conference on artificial intelligence ISG-2010. M.: 2010, volume 4, p.172-179.</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">Kalyanov G.N. Theory and practice of reorganization of business-processes // M.: СИНТЕГ, 2000, - 212p.</mixed-citation><mixed-citation xml:lang="en">Kalyanov G.N. Theory and practice of reorganization of business-processes // M.: СИНТЕГ, 2000, - 212p.</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">Kalyanov G.N. The testing of information flows // Proceedings of the 13-th Russian scientific-practical conference “re-Engineering of business processes on the basis of modern information technologies. Process control systems and knowledge”. M.: 2010, p.146-151.</mixed-citation><mixed-citation xml:lang="en">Kalyanov G.N. The testing of information flows // Proceedings of the 13-th Russian scientific-practical conference “re-Engineering of business processes on the basis of modern information technologies. Process control systems and knowledge”. M.: 2010, p.146-151.</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">Kalyanov G.N. System analysis of requirements for KIS // Proceedings of the 15-th Russian scientific-practical conference “re-Engineering of business processes on the basis of modern information technologies. Knowledge management system”. M.: 2012, p.96-98.</mixed-citation><mixed-citation xml:lang="en">Kalyanov G.N. System analysis of requirements for KIS // Proceedings of the 15-th Russian scientific-practical conference “re-Engineering of business processes on the basis of modern information technologies. Knowledge management system”. M.: 2012, p.96-98.</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>
