CC BY
51
3. Park Soyong. Software Requirement Text Reuse. URL: ftp://ftp.umcs.maine.edu/pub/WISR/wisr6/proceedings/ps/park2.ps (дата обращения: 18.08.2010).
4. Yun Lin. Semantic Annotation of Process Models. Facilitating Process Knowledge Management via Semantic Interoperability // Thesis for the degree of Ph.D. URL:
http://ntau.diva-portal.org/smash/get/diva2:124135/FULLTEXT01 (дата обращения: 03.01.2010).
5. David Baxter, James Gao, Keith Case et al. An engineering design knowledge reuse methodology using process modelling. URL: https://dspace.lib.cranfield.ac.uk/handle/1826/1856 (дата обращения: 23.01.2010).
УДК 004.78:351.755
ФОРМАЛЬНАЯ МОДЕЛЬ ПРЕДМЕТНОЙ ОБЛАСТИ НА ОСНОВЕ НЕЧЕТКИХ ОТНОШЕНИЙ
В.В. Антонов, к.т.н.; Г.Г. Куликов, д.т.н.
(Уфимский государственный авиационный технический университет, boss@bashkortostan.ru, gennadyg_98@Yahoo.com)
В условиях применения автоматизированных систем происходит трансформация функций человека. При этом, несмотря на то, что затраты на получение и переработку информации непрерывно возрастают, остаются неисследованными многие теоретические аспекты, связанные с моделированием процессов автоматизации и информационным сопровождением совместно с семантическими правилами, их регламентирующими. В статье предложен вариант моделирования предметной области с позиций методов, учитывающих нечеткость описаний модели исследуемого объекта.
Ключевые слова: предметная область, семантическая модель, методология структурного анализа, параметрическая адекватность, метод семантических дифференциалов, формальный алгоритм.
Перевод условий практической задачи на язык математических моделей всегда был сложным и зачастую приводил к потере трудноформализу-емой качественной информации. Многие современные задачи управления просто невозможно решить классическими методами из-за очень большой сложности математических моделей, их описывающих. Процесс начинается с выделения объектов предметной области и выявления связей между ними.
Функцию выбора можно представить в виде множества альтернативных объектов, выбираемых по некому условию, которое, в свою очередь, может быть представлено как совокупность сведений о состоянии объекта и множестве правил выбора. Пусть ст - совокупность сведений, характеризующих объекты; Z - множество объектов предметной области; ZieZ - объект из множества объектов. Очевидно, что часть сведений, характеризующих объект, можно представить в виде множества его информационных характеристик: | х^ст}, где Ai - непустое множество имен свойств (атрибутов) 1-го объекта; Di - множество значений соответствующих атрибутов; xi -множество информационных характеристик 1-го объекта.
Может быть составлен словарь элементов допустимых значений, подразделенный на классы, что позволяет представить предметную область в виде иерархической структуры. Значения разбиваются на классы объектов, которые взаимодействуют друг с другом на основе правил. Пусть п — множество правил выбора, тогда условия выбора
объекта из множества альтернатив можно представить в виде кортежа у=(ст, п). На множестве атрибутов могут быть установлены отношения
С = {с, , которые делятся на количественные
С и качественные 6, а также определено множество типов выбора, например, Т={соответствие, эквивалентность, предпочтение}. Тогда любое правило выбора может быть представлено кортежем п=<0, Т).
Таким образом, информацию об объекте zieZ можно представить как совокупность информационных характеристик объекта, установленных отношений и правил установления отношений /¡={\|,
в, л} ={(АРБ^,С,С,Т}, ¡е]\. Значения атрибутов могут носить нечисловой характер. В частности, в макроэкономических, социологических, маркетинговых, медицинских, правовых хранилищах данных широко используется лингвистическая форма представления данных. В общем случае характеристика каждого объекта х1 может быть описана соответствующей лингвистической
переменной <А^ Т^ БД где Т = , Т,Т^.} -
терм-множество лингвистической переменной Aj (набор лингвистических значений атрибута); mj -число значений атрибута; Dj - (предметная шкала) базовое множество атрибута Aj. Для описания
термов Tj
m¡, соответствующих значе-
к=1,
ниям атрибута А^ могут использоваться нечеткие переменные ^Т^Б^С^, то есть значение Т,)
описывается нечетким множеством
Cí =
= (d) | d^j, deDj, k=1, ..., mj, в базовом
множестве Dj.
Тогда в качестве нечеткой характеристики объекта x¡ можно взять нечеткое множество
ж, ={(^(^>1^)}. (aj)=u{(^¡ (T^IT,!)}.
Ti е Tj,aj e Ai.
Таким образом, предметную область можно представить в виде многоуровневой среды, состоящей из множества элементов предметной области, множества функций и методов, работающих на этих элементах, и множества свойств элементов и отношений между элементами, то есть в виде онтологии, которая включает в себя описание свойств предметной области и взаимодействия объектов на некотором формальном языке, имеющем логическую семантику.
Если система сложная, число факторов велико, то учесть все ее характеристики (компоненты) чрезвычайно сложно. Поэтому в модель приходится вводить лишь ограниченное число компонентов, а оставшиеся учитывать явно, не вводя в модель, но беря во внимание их влияние как нечеткую реакцию модели на выбор той или иной альтернативы.
Очевидно, что алгебраическое сравнение компонентов невозможно и может быть выполнено с применением методов нечеткой логики. При этом конечное множество объектов предметной области может использоваться в качестве множества объектов кластеризации. Данное множество описывается конечным множеством атрибутов, каждый из которых количественно представляет некоторое свойство или характеристику элементов рассматриваемой предметной области.
Использование средств нечеткой логики позволяет утверждать, что для каждого объекта в некоторой количественной шкале измерены все значения атрибутов, то есть каждому объекту поставлен в соответствие вектор, координатами которого являются количественные значения соответствующих атрибутов. После задания степеней принадлежности можно вычислить координаты центров кластеров. Выбор наиболее предпочтительного решения в каждом конкретном случае может осуществляться по совокупности сложных критериев с нормировкой его компонентов.
Учитывая, что в данном случае представляет интерес только множество четко недоминируемых решений, исключая отношение равноценности, используя доказательства, приведенные в работе [1], с помощью выбора альтернатив на основе /2-уровневых отношений предпочтения решение сводится к многокритериальной задаче, где в качестве критериев эффективности выступают
функции принадлежности, и в конечном итоге -к вычислению одной функции по формальному алгоритму решения /-уровневых моделей задач принятия решений. Модель, охватывающая информационную систему, можно представить в виде метабазы, в которой содержится информация по каждому виду объекта учета. С другой стороны, информационная система представима в виде функциональной системы, то есть в виде множества функций. Таким образом, цели и ограничения могут быть заданы как нечеткие множества. Взаимосвязь между ними можно определить отношением на декартовом произведении [2].
Рассматривая цели и ограничения в виде симметричных элементов логической схемы, можно достаточно просто сформировать на их основе решение, которое по существу является выбором одной или нескольких из имеющихся альтернатив. При исследовании предметной области может быть получено значительное количество информации субъективного характера. Ее представление на естественном языке содержит нечеткости или неопределенности, не имеющие аналогов на языке традиционной математики.
Согласно данным исследовательской организации Gartner Group, почти половина проектов по реализации информационной системы не являются успешными. Основная проблема в неформали-зованности процесса моделирования предметной области, что делает невозможным применение математических методов анализа свойств моделей предметной области, таких как функциональная полнота и целостность. Все это ставит вопрос о рассмотрении задачи моделирования предметной области с позиций методов, учитывающих нечеткость или неопределенность описаний модели исследуемого объекта.
Любое явление представляет собой известное единство качества и количества. Это единство фиксируется в философии понятием меры объекта. Пространство и время сами по себе не есть материя, это лишь способы ее бытия, выражающие тот эмпирический факт, что все вещи, события и процессы находятся в ситуации соподчинения и координации [3]. Существование во времени означает порядок их следования друг за другом, цикличность и определенную ритмику изменения, а отличительными признаками пространства и времени как атрибутов материи являются их протяженность и длительность. Говорить о предметной области есть смысл, если она имеет определенную семантическую локализацию, например, в пространстве и времени, или функциональную. Тогда построение семантической модели сводится к формализации логических отношений. Математический подход позволяет ограничиться множеством цепочек, которые можно определить точно. То есть можно говорить о неком формальном языке, заданном в виде множества.
Для построения необходимо иметь алгоритм, который по заданной грамматике строит вывод, порождаемый этой грамматикой. Отсюда следует, что любая функция, определенная на дереве вывода, может быть представлена в виде атрибута какого-либо определенного узла. Предметную область можно декомпозировать на элементарные объекты, каждый из которых описывается совокупностью атрибутов. Объекты предметной области связаны между собой определенными отношениями, которые в совокупности представимы в виде взвешенного по ребрам частично ориентированного графа. Структура графа представляет структуру предметной области, а подграфы графа - сложные объекты, или подсистемы предметной области. Вместо графов для представления структуры предметной области можно использовать язык теории множеств и решеток их разбиений. Каждый кортеж БД - это описание состояния некоторого элементарного объекта. Подмножество всех кортежей, сходных с данным кортежем относительно выбранной меры сходства, является представлением элементарного объекта.
Пусть W - исследуемая предметная область объектов W={wl, ..., при этом нечеткость
знаний или отношений может определяться семантикой самой информации. Не включенные в выделенные предметные области свойства можно рассмотреть как отдельную предметную область с особыми свойствами - окружающую среду. Таким образом, любая предметная область может считаться распределенной, так как она взаимодействует с окружающей средой. В соответствии со сказанным = , где не явля-
ется функцией в обычном понимании, а лишь определяет возможное состояние предметной области одного объекта на основе отличия от другого.
Пусть 8 - модель предметной области объектов FM:W^•S. Каждому объекту предметной области может быть поставлена в соответствие модель (на основании функции моделирования FM)
Г = . Таким образом, каждому объекту
wjeW соответствует ^е8. При этом должна присутствовать функция (Г), которая однозначно определяет гм по гь то есть г1+1 = Б^к(г1). Очевидно, что может быть определено по цепочке = и г1+1 = . После подста-
новки получаем г+1 = . С другой
стороны, существует по меньшей мере еще одна цепочка г = и гН1 = , согласно ко-
торой после подстановок получаем гм=
Сопоставляя полученные результаты, можно сделать вывод, что они будут одинаковыми независимо от того, выполнена ли сначала операция в
предметной области, а затем произведено отображение на модель предметной области, или наоборот. Таким образом, этап построения семантической модели предметной области можно определить как формализацию зафиксированных в описании логических отношений. Модель предметной области 8 может быть представлена в виде мета-базы, в которой содержится информация по каждому элементу структуры. С другой стороны, предметную область W можно также представить в виде множества.
Введем обозначение Р - множество свойств, определяемых связями элементов указанных выше множеств. Тогда взаимосвязь между ними может быть определена отношением на декартовом произведении PxSxW={(pj, п, wj): р^Р, г^, wjeW, i=1, ..., п}. Принадлежность элемента Wj),
где р^Р, wj£W, i=1, ..., п, данному отношению интерпретируется следующим образом: в объекте модели предметной области г содержится информация по свойству pj объекта предметной области wj. Поиск информации, соответствующей конкретному элементу модели предметной области г в объекте предметной области wj, сводится к определению отношения RcSxW. Таким образом, о любой паре (гь wj)eR: г^, wjeW, i=1, ..., п, можно сказать, что wj является релевантным гь и решение задачи определения релевантности элементов множеств 8 и W сводится к определению отношения RcSxW.
В качестве схем информационных объектов рассматриваемой модели могут быть определены независимые бизнес-процессы [4]. Учитывая построение модели в виде объектов, каждый независимый бизнес-процесс можно рассматривать как отдельную (обособленную) часть информационной системы. Учитывая, что данная система разделена на информационные объекты, объединенные по семантическим правилам взаимодействия, можно декларировать относительную полноту множества учитываемых отношений между элементами системы, которые определяют ее поведение и являются предметом анализа функциональной надежности. Таким образом, отношения между взаимодействующими бизнес-процессами можно классифицировать на основе математических правил четкой и нечеткой логик. Концепция построения такой системы фактически отражает современную стратегию так называемых САЬБ-технологий и может рассматриваться как инструмент повышения эффективности и качества, так как полностью соответствует духу и принципам международных стандартов серии 180-9000.
Литература
1. Погонин В.А. Модели диспетчерского управления роботами // Информационные процессы и управление (Интернет-журнал). 2006. № 1. С. 45-57.
2. Бениаминов Е.М. Алгебраические методы в теории баз данных и представлении знаний. М.: Научный мир, 2003. 184 с.
3. Борисов А.Н., Крумберг О.А., Федоров И.П. Принятие решений на основе нечетких моделей. Примеры использования. Рига: Зинатне, 1990. 180 с.
4. Куликов Г.Г., Антонов В.В. Метод формирования
структуры хранилища данных для автоматизированной учетной системы на основе процессного анализа предметной области: сб. науч. тр. // Вестн. УГАТУ. Уфа: УГАТУ. 2006. Т. 8. № 1(17). С. 60-67.
5. Беллман Р., Заде Л. Принятие решений в расплывчатых условиях: сб. науч. тр. М.: Мир, 1976. С. 172-215.
УДК 65.011.56
АНАЛИЗ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ УПРАВЛЕНИЯ ПРОЕКТАМИ
С.П. Бабенчук
(Национальный исследовательский ядерный университет «МИФИ», BabenchukSP@yandex.ru)
Целью данной работы является анализ инструментальных средств по управлению проектами в соответствии с современными подходами. В статье рассматриваются общие подходы к управлению проектами - PMBOK, PRINCE2, MSF - и программные продукты, обеспечивающие их поддержку.
Ключевые слова: PERT, PMBOK, PRINCE2, In-Step, P2Ware, Microsoft Project.
Под управлением проектами понимают деятельность, направленную на определение и достижение четких целей при соблюдении баланса между стоимостью, длительностью и качеством проекта.
Ключевыми факторами успеха проектного управления являются составление четкого плана проекта, минимизация рисков и отклонений от плана.
В ходе проекта возникает несколько видов рисков: внешние, внутренние и независимые. К внешним рискам можно отнести риски, связанные с выбором системы и подрядчиков (в частности, риск из-за недостаточного уровня профессионализма у команды консультантов, отсутствия необходимого опыта).
К внутренним рискам можно отнести риски планирования (в частности, чрезмерное урезание бюджета или сроков проекта и загрузка проектной команды), отсутствие заинтересованности руководителей высшего звена, непрофессионализм команды экспертов, отсутствие четко сформулированной методологии и описания бизнес-процессов, сопротивление персонала изменениям.
Независимые риски связаны с глобальными изменениями законодательства, положения компании на рынке, в конкурентной среде, стратегии развития предприятия и т.д.
Принципы и подходы к управлению проектами
Зародившиеся в конце 50-х годов метод анализа и оценки PERT (Program Evolution and Review Technique) и метод критического пути СРМ (Critical Path Method) стали первыми попытками
математического моделирования и планирования проекта на ЭВМ.
PERT - способ анализа задач, необходимых для выполнения проекта, в частности, времени выполнения отдельной задачи и минимально возможного времени выполнения проекта в целом. Метод критического пути СРМ является частью методологии PERT, опирающейся на построение сетевого графика взаимосвязей работ и событий.
Сетевой график - граф, вершины которого отображают состояния объекта (например строительства), а дуги - работы, ведущиеся на этом объекте. Каждой дуге сопоставляются время, за которое выполняется работа, и/или число рабочих, осуществляющих ее. Часто сетевой график строится так, что расположение вершин по горизонтали - это время достижения состояния, соответствующего заданной вершине.
СРМ - определение наиболее длительной последовательности задач от начала проекта до его окончания с учетом их взаимосвязи. Задачи, лежащие на критическом пути (критические задачи), имеют нулевой резерв времени выполнения, в случае изменения их длительности изменяются сроки всего проекта. В связи с этим при выполнении проекта критические задачи требуют более тщательного контроля, в частности, своевременного выявления проблем и рисков, влияющих на сроки их выполнения и, следовательно, на сроки выполнения проекта в целом. В процессе выполнения проекта его критический путь может меняться, так как при изменении длительности задач некоторые из них могут оказаться на критическом пути.
PMBOK (Project Management Body of Knowledge) - свод правил, изданный PMI (Project Manage-
