ВведениеСовременные IT-проекты реализуются в условиях высокой неопределенности, динамического изменения требований и жестких ограничений по срокам, затратам и качеству [1–4]. В данных условиях традиционные подходы к управлению проектами, основанные преимущественно на регламентных процедурах и календарно-сетевом планировании, не всегда обеспечивают требуемый уровень эффективности управления.IT-проект целесообразно рассматривать как сложную организационно-техническую систему, в которой во взаимосвязи функционируют человеческие ресурсы, программно-технические средства, информационные потоки и управленческие процессы [5]. Это обуславливает необходимость применения аппарата системного анализа, позволяющего формализовать структуру проекта, выявить взаимосвязи между его компонентами и определить ключевые факторы, влияющие на результат. В то же время описание IT-проекта только в виде традиционной математической модели не позволяет в полной мере отразить семантическую структуру предметной области, разнообразие объектов управления и их смысловые взаимосвязи. Перспективным направлением является использование онтологического моделирования, обеспечивающего формализованное представление знаний об объектах, процессах, ресурсах и ограничениях IT-проекта [6, 7].Целью данной работы является постановка задачи управления IT-проектом в организационно-технической системе, а также построение онтологической модели предметной области на основе методологий системного анализа для обеспечения интеллектуальных методов поддержки принятия решений. Системный анализ предметной области управления IT-проектомСистемный подход к управлению проектами предполагает рассмотрение IT-проекта как целостной организационно-технической системы, функционирование которой осуществляется в условиях высокой степени неопределенности. В рамках исследования неопределенность рассматривается при оценке качества IT-проекта.В отличие от временных и стоимостных параметров качество IT-проекта носит комплексный характер и формируется совокупностью технических, организационных и пользовательских характеристик. Существенная часть указанных характеристик задается экспертными суждениями и выражается в лингвистической форме. Вследствие этого оценивание качества сопровождается неоднозначностью интерпретации и размытостью границ между уровнями показателей, что не позволяет в полной мере представить показатель качества IT-проекта в виде детерминированных аналитических зависимостей [8, 9]. В результате неопределенность носит семантический характер и обусловлена не случайностью исходных данных, а нечеткостью представления экспертных оценок. При этом управление IT-проектом направлено на обеспечение достижения заданного уровня качества, однако сама процедура определения степени соответствия проекта установленным требованиям сопряжена с неопределенностью. В связи с этим в постановке задачи управления IT-проектом требуется формализовать процедуру представления и обработки неопределенности качества.Системный анализ позволяет формализовать структуру организационно-технической системы и область допустимых управленческих воздействий, однако не устраняет субъективность оценки качества проекта и зависимость управленческих решений от индивидуального опыта руководителя. Это обуславливает актуальность применения методов искусственного интеллекта для поддержки принятия управленческих решений, направленных на формализованное представление и использование управленческого опыта квалифицированного руководителя проекта [10].В рамках формализации задачи управления IT-проектом принимается единый экономический критерий оптимальности. Цель управления заключается в выборе такого вектора управляющих воздействий u  U, при котором достигается минимум целевой функции, где U – множество допустимых значений вектора u.Целевая функция J(u) отражает совокупные экономические затраты реализации проекта и определяется как функция управляемых параметров.Экономическое содержание критерия оптимальности определяется структурой затрат, основная часть которых формируется расходами на человеческие ресурсы. Ключевой составляющей совокупных затрат является фонд оплаты труда, величина которого зависит от численности исполнителей и уровня их квалификации. Следовательно, величина фонда оплаты труда определяется параметрами вектора управляющих воздействий u, что позволяет сформулировать задачу минимизации функции затрат:  С позиции  системного  анализа  IT-проект  рассматривается как система, функционирующая под воздействием управляемых параметров.На вход системы поступает вектор u  U, характеризующий принимаемые управленческие решения, связанные с распределением человеческих ресурсов, выбором организационного подхода к выполнению работ, определением численности команды и уровня ее квалификации [1, 2]. Указанные параметры определяют условия реализации IT-проекта и влияют на его результирующие характеристики. На выходе системы формируется критерий оптимальности при выполнении ограниченийгде C(u) – совокупные затраты.Результирующими показателями IT-проекта являются качество, сроки и затраты, характеризующие эффективность его реализации. Показатель качества отражает степень соответствия разработанного программного продукта предъявляемым требованиям и стабильность его функционирования.Зависимость результирующих показателей проекта от вектора параметров u может быть представлена в виде отображения u → Y, где Y – множество результирующих показателей.Вектор управляющих воздействий параметризируется характеристиками ресурсного обеспечения проекта. В рамках модели рассматриваются два основных управляющих параметра:u = (n, k),где n – численность исполнителей; k – уровень квалификации участников команды.Длительность проекта рассматривается как функция указанных параметров:T = T(n, k).Увеличение численности исполнителей способствует параллельному выполнению задач, однако сопровождается ростом координационных издержек, вследствие чего зависимость T(n, k) от n носит нелинейный характер и характеризуется существованием значения n*, при котором достигается минимум длительности:δT / δn < 0 при n < n*;δT / δn > 0 при n > n*.Параметр k влияет на производительность труда и вероятность возникновения дефектов, что отражается на показателе качества Q(n, k), а также на величине затрат. Уровень квалификации, рассматриваемый как один из управляющих параметров, имеет нечеткий характер, поскольку его оценка часто задается в лингвистической форме и может быть описана с использованием аппарата нечетких множеств. Подробное описание входных и выходных параметров системы управления IT-проектом представлено в таблице.  Входы и выходы системы управления IT-проектомInputs and outputs of the IT project management systemЭлемент системыОбозначениеСодержаниеИнтерпретации в моделиВход системыu  UВектор управленческогорешенияСовокупность управляемых параметров проектаЧисленность исполнителейnКоличество участниковкомандыОпределяет распределение нагрузки и координационные издержкиУровень квалификации участников командыkПрофессиональныйуровень исполнителейВлияет на производительность труда и вероятность дефектовДлительность проектаT(n, k)Время реализации проектаНелинейно зависит отчисленности и квалификацииСовокупные затратыC(n, k)* Экономические издержки реализацииВключают фонд оплаты труда и прочие расходыПоказатель качестваQ(n, k)Интегральная характеристика результатаФормируется на основечастных метрик качества * В рассматриваемой модели вектор управленческого решения задается как u = (n, k), где n – численность исполнителей, а k – уровень квалификации участников команды.   C учетом влияния численности и квалификации исполнителей на стоимость человеческих ресурсов фонд оплаты труда может быть представлен в виде функции:F(n, k) = n Z(k),где Z(k) – средняя заработная плата исполнителя соответствующего уровня квалификации, возрастающая с увеличением k и отражающая различия в стоимости трудовых ресурсов. Совокупные затраты проекта включают фонд оплаты труда и прочие расходы:C(u) = F(n, k) + Cпрочие,где Cпрочие – затраты, не зависящие непосредственно от параметров n и k.Таким образом, функция затрат принимает вид C = C(n, k), что обеспечивает согласованность экономического критерия с выбранной системой управляемых параметров.Допустимая область значений вектора параметров u ∈ U определяется системой ограничений, отражающих требования к результатам реализации проекта.Ограничение по качеству формализуется условием Q(u) ≥ Qmin, где Q(u) – интегральный показатель качества проекта, Qmin – минимально допустимый уровень качества.Пороговое значение Qmin определяется требованиями заказчика, нормативной документацией и стандартами проектирования и задает минимально приемлемый уровень соответствия установленным требованиям разработанного программного продукта, обеспечивающий возможность его ввода в эксплуатацию.Ограничение по срокам реализации имеет вид T(u) ≤ Tmax, где T(u) – длительность проекта, Tmax – установленный  предельный  срок  выполнения  работ [11, 12].Нарушение временных ограничений сопровождается ростом рисков, включая увеличение экономических потерь и снижение конкурентоспобности результата. Определение показателя качества IT-проектаКачество IT-проекта рассматривается как агрегированная характеристика, формируемая на основе совокупности частных показателей.Пусть задано множество частных показателей качества Qp ={q1, q2, …, qm}, где каждый показатель q1 сопоставляет управленческому u  U количественную или экспертную оценку отдельного аспекта качества (полноту функциональной реализации, уровень дефективности, тестовое покрытие, соблюдение стандартов, удовлетворенность заказчика и др.) [4, 12].Для заданного управленческого решения формируется вектор частных оценок:Зададим множество весовых коэффициентов:.Показатель качества определяется агрегирующим правилом Q(u) = Ф(q(u), W), где Ф – процедура свертки частных показателей в единую оценку качества.Показатель качества представляется функцией Q(n, k), отражающей влияние численности исполнителей n и уровня квалификации исполнителей k на итоговое качество результата IT-проекта.Учитывая неопределенность оценивания качества, при формировании допустимой области решений вводится ограничение на достижение требуемого уровня [8, 9, 13]:Q(n, k) ≥ Q*,где Q* – целевой уровень качества, определяемый требованиями к результату проекта. Формирование онтологической модели на основе системного анализа IT-проектаПо результатам системного анализа выделены управляемые параметры, результирующие показатели и ограничения, определяющие структуру задачи управления IT-проектом. Вместе с тем представление предметной области в виде набора функциональных зависимостей не позволяет явно отразить семантические связи между сущностями организационно-технической системы [6, 7]. В связи в этим построена онтологическая модель управления IT-проектом, обеспечивающая структурированное и формализованное представление элементов системы и их взаимосвязей.Онтология задается в виде тройки O = 〈C, R, A〉, где C – множество классов (сущностей предметной области); R – множество объективных отношений между сущностями; A – множество атрибутов (числовых и категориальных свойств), характеризующих сущности и их состояние. Центральным элементом модели является класс «IT_Проект», представляющий организационно-техническую систему. Управляемые параметры формализуются через класс «Набор_решений», связанный с проектом отношением «имеетНаборРешений». Численность исполнителей n и уровень квалификации  k  интерпретируются как числовые атрибуты данного класса.Ресурсное обеспечение описывается классом «Ресурс» с подклассами «Человеческий_Ресурс», «Технический_Ресурс» и «Финансовый_Ресурс». Связь проекта с ресурсами задается отношением «используетРесурс». Уровень квалификации исполнителей трактуется как атрибут экземпляров класса «Человеческий_Ресурс».Результаты функционирования проекта представлены классом «Показатель_Эффективности», включающим подклассы «Показатель_Сроков», «Показатель_Затрат» и «Показатель_Качества». Связь между проектом и показателями задается отношением «формируетПоказатель». Структура затрат конкретизируется через класс «Компонент_Затрат» с подклассами «Фонд_Оплаты_Труда» и «Прочие_Зат-раты».Показатель качества интерпретируется как агрегированная характеристика, формируемая на основе класса «Частная_Метрика_Качества», связанного с интегральным показателем отношением «агрегируетМетрикиКачества».Система ограничений описывается классом «Ограничение» с подклассами «Ограничение_Качества» и «Ограничение_Сроков». Связь ограничений с показателями устанавливается отношением «ограничиваетПоказатель».Разработанная онтологическая модель обеспечивает семантическое представление структуры управления IT-проектом и служит основой для последующего построения математической модели и интеллектуальных методов поддержки принятия решений.   Онтологическая модель «Управление IT-проектом» The ontological model of “IT Project Management”  Постановка задачи управления IT-проектомПостроенная онтологическая модель управления IT-проектом формирует семантически согласованное представление ресурсов, процессов, показателей эффективности и ограничений организационно-технической системы. Наличие такой модели создает основу для применения интеллектуальных методов поддержки принятия управленческих решений, ориентированных на формализацию и использование знаний, накопленных в процессе реализации IT-проекта [10, 12].Формализованное представление структуры организационно-технической системы позволяет перейти к постановке задачи оптимального управления IT-проектом. Управление направлено на минимизацию совокупных затрат при соблюдении ограничений по срокам реализации и достижению требуемого уровня качества результата. При этом оценка качества предполагает использование специализированной модели, интегрируемой в общую систему управления. Задача оптимизации формируется следующим образом:Вместе с тем при формировании модели оценки качества IT-проекта возникают две принципиальные проблемы. Первая проблема связана с тем, что значительная часть информации о качестве результата и влиянии квалификации исполнителей представляется в виде экспертных оценок, отражающих опыт и знания руководителя проекта и ключевых участников. Данные оценки, как правило, имеют нечеткий и субъективный характер и не могут быть непосредственно использованы в рамках классических аналитических моделей.Вторая проблема обусловлена ограниченностью или отсутствием статистических данных о реализации IT-проекта, особенно на ранних этапах жизненного цикла. В условиях динамического изменения требований и уникальности проектов объем накопленной статистики может быть недостаточен для построения устойчивых регрессионных или вероятностных моделей оценки качества.В этих условиях перспективным направлением является использование методов искусственного интеллекта, позволяющих интегрировать экспертные знания и доступную статистическую информацию в рамках единого математического аппарата. В качестве такого аппарата в работе предлагается использовать нейро-нечеткую модель ANFIS.Выбор ANFIS обусловлен тем, что данный подход сочетает представление экспертных знаний в виде нечетких продукционных правил с возможностью адаптивной настройки параметров модели на основе статистических данных, накапливаемых в процессе выполнения и развития IT-проекта [15]. Это позволяет формировать модель оценки качества, устойчивую к неполноте информации и изменению условий реализации проекта.С учетом этого задача управления IT-проектом формулируется как задача оптимального управления параметрами ресурсного обеспечения при интеллектуальной оценке показателя качества с использованием ANFIS-модели, интегрированной в общую математическую и онтологическую структуру управления. ЗаключениеВ работе выполнен системный анализ задачи управления IT-проектом как сложной организационно-технической системы, функционирующей в условиях неопределенности, динамического изменения требований и жестких ресурсных ограничений. Показано, что существенная часть неопределенности в управлении IT-проектом обусловлена человеческим фактором и связана с квалификацией руководителя проекта и качеством принимаемых управленческих решений.На основе методологий системного анализа сформирована математическая модель управления IT-проектом, включающая интегральный критерий оптимальности, систему управляемых параметров и совокупность ограничений по качеству, срокам и затратам. Экономическое содержание управления раскрыто через зависимость совокупных затрат от параметров человеческих ресурсов, в частности численности исполнителей и уровня их квалификации, что позволило формализовать ключевые рычаги управленческого воздействия [11].Показана ограниченность представления задачи управления исключительно в виде аналитических зависимостей, не отражающих семантическую структуру предметной области и роль субъективных управленческих решений. В связи с этим разработана онтологическая модель управления IT-проектом, формализующая структуру ресурсов, показателей эффективности и ограничений в виде единого согласованного пространства знаний. Онтологическая модель обеспечивает интерпретацию математических параметров управления как сущностей и отношений организационно-технической системы.На основе построенной онтологической модели обоснована целесообразность применения методов искусственного интеллекта для интеллектуальной поддержки принятия управленческих решений. Выделены две ключевые проблемы формирования модели оценки качества IT-проекта: преобладание экспертных знаний, имеющих нечеткий характер, и ограниченность статистических данных, особенно на ранних этапах жизненного цикла проекта. Для решения указанных проблем предложено использование нейро-нечеткой модели ANFIS, сочетающей представление экспертных знаний в виде нечетких продукционных правил с возможностью адаптивной настройки параметров на основе накапливаемой статистической информации.В результате сформирована новая постановка задачи управления IT-проектом, в рамках которой управление трактуется как задача оптимального согласованного воздействия на параметры ресурсного обеспечения и организации процессов жизненного цикла при интеллектуальной оценке показателя качества с использованием ANFIS-модели, интегрированной в общую математическую и онтологическую структуру управления.Полученные результаты могут быть использованы при разработке интеллектуальных систем поддержки принятия решений, корпоративных баз знаний и цифровых двойников IT-проектов. Предложенный подход создает методологическую основу для внедрения адаптивных методов управления качеством, сроками и ресурсным обеспечением IT-проекта с учетом человеческого фактора и неопределенности управленческой информации.