Научно-технический журнал УДК 001.57; 658.818; 681.3 М.В. МИХЕЛЕВ ФОРМАЛИЗОВАНЫЙ МЕТОД ПРОЕКТИРОВАНИЯ СИСТЕМ УПРАВЛЕНИЯ Обсуждается возможность математического описания визуальных графоаналитических моделей с помощью алгебраического аппарата «пи-исчисления» Р. <...> Милнера на примере моделей процессов управления наружным освещением в стандарте BPMN. <...> ВВЕДЕНИЕ Любые организации, выходя на рынок или уже функционируя на нем, сталкиваются с очень серьезной для них проблемой – конкуренцией. <...> Чтобы преодолеть данную проблему, им необходимо непрерывно улучшать свой бизнес, развивать новые отрасли своей деятельности, т.е. проводить непрерывную реорганизацию своего бизнеса, так как жесткая структура бизнеса в настоящее время не жизнеспособна. <...> С другой стороны, по причине той же конкуренции любая организация не может функционировать без четкого описания своего бизнеса в виде должностных инструкций и положений о подразделениях. <...> Регламентация означает создание документации, определяющей ход, результаты процессов и порядок управления ими. <...> Регламентация процессов начинается с определения того, какие процессы должны быть регламентированы. <...> Затем проводится документирование процесса, его входов, выходов и подпроцессов по заранее разработанному шаблону. <...> Регламентация необходима для более точного и корректного описания процесса, что позволит создать или откорректировать должностные инструкции, закрепить ответственность, укрепить нормативную базу организации. <...> Эта двухсторонняя и противоречивая по своей сути задача (обеспечение возможности непрерывной реорганизации бизнеса при его постоянной четкой регламентации) может быть решена только путем формализации бизнеса. <...> Поэтому формализация бизнеса в настоящее время является бурно развивающейся отраслью системного анализа, организационного проектирования и управленческого консультирования. <...> Кроме того, формализация бизнес-процессов является хорошей <...>