CC BY
47
В общем случае базовый SQL-запрос для конкретного понятия имеет вид Select * From R
где R - отношение, содержащее объекты конкретного понятия.
Модификация базового SQL-запроса для понятия-образа производится путем естественного соединения отношения, хранящего информацию об объектах понятия-образа, с базовым SQL-запросом для конкретного понятия и введения предиката, выделяющего требуемые объекты из множества объектов конкретного понятия. Например, SQL-запрос для понятия «успевающий студент» представляется в виде
CREATE OR REPLACE VIEW v_ADVANCED_STU-DENT AS
WITH adv_std AS (Select * From ADVANCED_STU-DENT Natural Join v_STUDENT)
Select * From adv_std
Where exists (select ID_STUDENT, MIN(MARK_ VALUE) min_mark, MAX(MARK_VALUE) max_mark from v_MARK where ID_STUDENT = adv_std.ID_STUDENT group by ID_STUDENT having min_mark = 3 and max_mark = 5) В общем случае базовый SQL-запрос для понятия-образа имеет вид
Select *
From R Join v_V Where P
где R - отношение, содержащее объекты понятия-образа; v_V - базовый SQL-запрос, формирующий объем конкретного понятия; P - предикат, формирующий объем понятия-образа.
Рассмотренные варианты применения обобщенной операции абстрагирования позволяют получать принципиально новые представления ПрО, имеющие существенно более высокий уровень абстрагирования и обобщения, чем в существующих ИС. Поддержка отношения абстрагирования делает СИС открытой для формирования специфических типов объектов, обладающих большой выразительной способностью для представления объектов реального мира, а пользователям предоставляет мощные средства для адекватного моделирования ПрО.
Таким образом, реализация отношения абстрагирования делает СИС открытой на уровне концептуального моделирования ПрО.
Литература
1. Чарнецки К., Айзенекер У. Порождающее программирование. Методы, инструменты, применение. СПб: ПИТЕР, 2005. 731 с.
2. Войшвилло Е.К., Дегтярев М.Г. Логика: учеб. для студ. вузов. М.: Изд-во ВЛАДОС-ПРЕСС, 2001. 528 с.
3. Зинченко Р.Е. Системно-изоморфное динамическое соответствие концептуальной модели предметной области и схемы базы данных // Программные продукты и системы. 2010. № 1. С. 71-75.
4. Дрождин В.В., Зинченко Р.Е. Системный подход к концептуальному моделированию предметной области в самоорганизующейся информационной системе // Программные продукты и системы. 2009. № 4. С. 73-79.
5. Том Кайт. Oracle для профессионалов. Кн. 1. Архитектура и основные особенности. М.: «ДиаСофтЮП», 2005. 656 с.
6. Том Кайт. Oracle для профессионалов. Кн. 2. Расширение возможностей и защита. М.: «ДиаСофтЮП», 2005. 816 с.
УДК 658.512
ПРОЦЕССНАЯ МОДЕЛЬ ФОРМИРОВАНИЯ АГРЕГИРОВАННЫХ ТРЕБОВАНИЙ К СЛОЖНЫМ ИНФОРМАЦИОННЫМ СИСТЕМАМ
В.А. Тихомиров, д.т.н.; А.В. Пушина
(Тверской государственный технический университет, [email protected]); А.К. Тарасов (НПО «Российские инновационные технологии», г. Тверь)
Рассматривается создание информационных систем для научно-исследовательских, проектных, конструкторских организаций, вузов, ориентированных на поддержку работы с документацией, характерной для всех областей науки и техники. Анализируются способы решения проблем объединения, сжатия и вычленения существенных требований на основании теории нечетких множеств.
Ключевые слова: агрегированные требования, сложные информационные системы.
Создание информационных систем для научно-исследовательских, проектных, конструкторских организаций, вузов, научно-производственных и производственных объединений, ориентированных на поддержку работы с документацией, характерной для всех областей науки и техники, является крайне актуальной проблемой. Это многоэтапный процесс, имеющий, как правило, не
одну стадию. Реализацию его начинают с разработки требований к создаваемой системе любого типа. Наиболее популярными моделями процессов, используемыми в области информационных технологий, являются две - каскадная и спиральная.
В каскадной модели в качестве точек оценки и перехода от одной фазы к другой используются
вехи. Все задачи одной фазы должны быть завершены до начала следующей. Каскадная модель оптимально работает, когда на начальном этапе проекта можно четко определить неизменный набор требований к разрабатываемому решению. Фиксация переходов от одной фазы к другой облегчает распределение ответственности, отчетность и следование календарному графику проекта [1].
Спиральная модель учитывает необходимость постоянного пересмотра, уточнения и оценки проектных требований, что очень эффективно при быстрой разработке небольших проектов. Такой подход стимулирует активное взаимодействие проектной группы и заказчика, поскольку заказчик оценивает ход и результаты работы на протяжении всего проекта. Недостатком спиральной модели является отсутствие четких вех, что может привести к хаотизации процесса разработки [2].
Дальнейшая тенденция развития этих моделей связана с опытом компании Microsoft, которая выпустила пакет руководств по эффективному проектированию, разработке, внедрению и сопровождению решений, построенных на основе своих технологий.
Эти знания представлены в виде двух связанных и хорошо дополняющих друг друга областей знаний - Microsoft Solutions Framework (MSF) и Microsoft Operations Framework (MOF). Модель процессов MSF объединяет в себе лучшие принципы каскадной и спиральной моделей.
Она сохраняет упорядоченность каскадной модели, не теряя гибкости и творческой ориентации модели спиральной. При этом общие подходы к разработке требований к проектируемой системе предполагают их формирование и уточнение на каждом уровне проектирования (рис. 1). При многоуровневой разработке каждый уровень требует соответствующих знаний и опыта. На верхнем уровне очень важно знание предметной области,
Формулировка потребностей
Область проблем
Требования для компонентов систем (требования для подсистемы)
Требования для компонентов систем (требования для подсистем нижнего уровня)
S решений
Рис. 1. Различные уровни разработки требований
которая соответствует проблеме, а на системном -получение общего представления о системе, чтобы избежать узкого и слишком детализированного понимания пользовательских требований. На этом уровне непременно появляется уклон в сторону определенного решения.
Для принятия решения целесообразно и необходимо привлекать людей, имеющих опыт успешной реализации аналогичных систем. На любом уровне работа должна вестись с единственной целью - удовлетворение условного заказчика с более высокого уровня, для чего необходимо привлекать к работе поставщиков, находящихся уровнем ниже [2].
Анализ тенденций, существующих в методиках выдвижения требований, позволил предложить усовершенствованный подход к решению данной задачи. Сущность его заключается в том, что, основываясь на принципе поэтапной разработки программного продукта, наиболее целесообразным является выявление так называемых вех (ключевых точек) на каждом этапе проектирования, их сопровождение на всем этапе разработки программного продукта, а также возможное выявление новых. Схематично предложенная интегрированная модель представлена на рисунке 2, где ромбы соответствуют вехам, стрелки - фазам, а каждый виток спирали - уровню разработки программного продукта.
i Д (к+1)-й уровень
0.....Г
I 'л D \ (к+2)-й уровень
/4 . J
K-й уровень
к=[1, К]
Рис. 2. Интегрированная модель
Требования к программному продукту (основополагающий класс требований) формулирует заказчик. Цель, которую он преследует, - получить хороший, функциональный и удобный в использовании конечный продукт. Заказчик, вступая в договорные отношения с разработчиком, несет различные риски, главным из которых является получение продукта с опозданием либо ненадлежащего качества. Основные мероприятия по
контролю и снижению риска - регламентация процесса создания программного обеспечения и его аудит. При регламентировании требований к проекту необходимо учесть множество факторов, таких как ценность конечного продукта для заказчика, степень доверия заказчика к разработчику, сумма подписанного контракта, увязка срока сдачи продукта в эксплуатацию с бизнес-планами заказчика и т.д.
Основным источником требований к информационной системе со стороны заказчика являются бизнес-требования и требования пользователей.
Другим важным источником информации, помимо требований, являются артефакты, описывающие предметную область. Это могут быть документы с описанием бизнес-процессов предприятия, выполненные консалтинговым агентством, либо внутренние документы предприятия (должностные инструкции, распоряжения, своды бизнес-правил). Одной из немногих методологий, в которой специально выделяется рабочий поток делового моделирования, является Rational Unified Process. Кроме того, при выявлении требований используются так называемые «лучшие практики», широко применяемые в бизнес-консалтинге и при внедрении корпоративных информационных систем.
В России единственным документом, закрепляющим необходимость формирования требований к системам, является ГОСТ 34.601-90, в соответствии с которым после этапа формирования (выявления) требований к системе выполняется этап разработки концепции системы, заключающийся в изучении объекта, проведении НИР, разработке вариантов концепции автоматизированной системы, оформлении отчета о выполненной работе.
Чтобы требования стали хорошей базой для разработки системы, необходимо определить проверочные критерии для каждого из них, впоследствии используемые для подтверждения того, что разработанная система удовлетворяет требованиям заказчика. Помимо проверочных критериев, определяют и условия, в которых будет производиться проверка соответствия системы критериям приемки.
Основная проблема при формировании требований - это объединение, сжатие и вычленение существенных требований. Сжатие требований позволит снизить проблемы перегрузки. Объединение, сжатие и вычленение существенных требований - проблема агрегирования требований к документации - в общем случае родственна теории нечетких множеств, и подходы к решению должны базироваться на ее положениях и методах.
Для разработки методов агрегирования в соответствии с подходами теории нечетких множеств необходимо определить модель информационной системы документирования как фор-
мальной системы, выбрать схему обработки данных при агрегировании и определить существенные признаки, особенности требований и критерии агрегирования требований к документации. Важную роль при выполнении агрегирования имеющихся требований играют априорные требования, к которым относят множество уже существующих требований к документации и системам документирования [3]. При этом задачи, возникающие при построении системы, их формальная постановка и методы решения отображаются на домен креативного формально-технологического класса.
Под формальной технологией Т понимается упорядоченная пара <А, F>, состоящая из двух конечных множеств: множества А некоторых исходных элементов (в нашем случае - множества априорных требований) материальной или нематериальной природы, называемых обычно элементами базы: A={a1, a2, a.з,..., an}, и множества операций F={F1, F2, F3,..., Fm} над конечным числом элементов базы и (или) объектов (в нашем случае - операции агрегирования требований к системе), полученных в каких-либо предыдущих операциях технологии Т, причем ни одна из операций в F не может быть выражена через другие [4].
Формулировка задачи отражает содержательную часть методики, связанной с построением ИТ. В данном случае задача заключается в определении исчерпывающего перечня требований, характеризующих систему с полнотой, необходимой и достаточной для ее реализации в рамках, определенных заказчиком, и границах возможностей разработчика, то есть необходимо найти своего рода компромисс между затратами, которые готов понести заказчик, и объемом качественного продукта, который в сложившейся ситуации (объем финансирования, время на разработку продукта, уровень развития науки и т.п.) может реализовать разработчик. Примирить заказчика и разработчика призваны заранее обговоренные требования, а также последующее их согласование по мере работы над проектом. Определенная совокупность требований должна быть сформирована безотносительно к каким-либо ограничениям, связанным с получением априорной информации, необходимой для исходного описания элементов системы. Наоборот, первоначально следует определить все требования, хотя бы в малейшей мере необходимые для разработки системы, и лишь затем проводить их выборку - агрегирование.
Группы требований формируются по функциональному назначению (для групп требований в литературе используют критерий модульности) на основе общности решаемых задач, составляющих группу. По косвенным признакам можно принять решение об их сходстве. Возможность отождествления интуитивного понятия сходства задач позволяет предположить, что классу схожих объек-
тов (то есть группе) соответствует компактное множество точек, а разным образам соответствуют удаленные друг от друга компактные множества.
Ввиду сложности и большого объема единичных требований, предъявляемых к информационным системам документирования, задачу агрегирования приходится решать, не имея четкой классификации анализируемых объектов - единичных требований, а зная только пространство, в котором желательно провести классификацию. Одной из тенденций, сложившихся при обработке больших объемов информации, является разбиение множества обрабатываемых данных на классы толерантности по некоторому рефлексивному и симметричному отношению. Часто таким отношением служит отношение близости по некоторой метрике. Следующим шагом является выделение системы представителей для классов толерантности и формирование системы эталонных представителей.
Реализация данного подхода приводит к необходимости решения комбинаторных задач, связанных с определением существования системы различных представителей для семейства множеств, и определения числа систем различных представителей, удовлетворяющих всевозможным ограничениям. Среди ограничений такого рода обычно используются ограничения на различимость представителей, которая может вводиться как принадлежность различным классам по некоторому отношению эквивалентности либо через значения весовой функции.
Вследствие этого наиболее целесообразно использовать методы и принципы теории нечетких множеств. Теория нечетких множеств базируется на математическом аппарате теории множеств с допущением о том, что каждый элемент множества входит в него с некоторой вероятностью. Функция, задающая вероятность вхождения во множество всех ее элементов, называется характеристической функцией этого множества [5].
По мере развития знаний, представлений, предположений допускаются и строятся различные уровни моделей: Z1, Z11. При этом каждый уровень является базой для последующего. Рассматриваемая система характеризуется крайне высокой параметрической перегруженностью, что ведет к большой размерности вектора A=a(ai, ..., a„)eRn предполагаемых базовых параметров a¡ -единичных требований. Часто перечисление всех существующих требований невозможно и нерационально. В этих случаях отбирают наиболее значимые из них, а описание осществляют на уровне формальных моделей Z1, Z11.
Цель агрегирования состоит в том, чтобы на основе модели предыдущего уровня точными или приближенными методами получить модель следующего уровня. Производя последовательное аг-
регирование множеств требований с первого уровня до самых высоких, можно получить совокупность групп требований к системе на различных уровнях разработки. Требования нижних уровней будут служить основой информационного обеспечения требований верхних уровней. Метод последовательного агрегирования дает возможность понять, какие допущения, предположения, упрощения положены в основу требований верхних уровней.
Предположим, что на к-м уровне разработки системы сформировано первоначальное множество А' единичных требований р к системе документирования.
В ходе агрегирования требований осуществляются операции примитивной декомпозиции и примитивного синтеза.
Операцией примитивной декомпозиции называется операция Г(|(р)—>(у, а), позволяющая отсоединить элемент аеА' от необходимых требований р, где р - единичное требование к системе; а - требование, не удовлетворяющее условию; у - рациональное множество требований уровня.
Необходимо проанализировать полезность выявленных требований. Каждое сформированное требование должно удовлетворять определенным условиям, соответствовать предъявляемым к требованиям свойствам. Мера соответствия является субъективной оценкой. В этом случае целесообразно использовать элемент аппарата нечетких множеств, а именно функцию принадлежности ц: А'—»[0,1].
Таким образом, из сформированного множества А' первоначальных требований необходимо выделить множество А, единичные требования которого будут соответствовать критериям, предъявляемым к требованиям. Используя функцию принадлежности ц: А—»[0, 1], которая представляет собой субъективную меру соответствия единичного требования формируемому множеству требований - множеству А, осуществляются операции декомпозиции. Для построения функции принадлежности наиболее целесообразно использовать метод экспертных оценок.
После проверки каждого требования на соответствие установленным нормам и выборки наиболее правильных на к-м уровне определена первоначальная модель Zk Необходимо произвести агрегирование данной модели, используя метод примитивного синтеза для формирования групп требований по принципу модульности (функциональности). Для удобства обозначим агрегированную модель идентификатором Z*k, а процесс агрегирования Z*k=Ag(Zk), где Ag - оператор или процедура агрегирования.
В ходе агрегирования формируется М групп требований с номерами 1=1,2,...,М. Каждому требованию р1 группы 1 присвоим порядковый номер
j, где j=1,...,n, при этом piJ - единичное требование 1-й группы; pin - максимальное число требований группы ! Группу требований, сформированную после агрегирования требований множества А, м
обозначим Аь при этом = А.
¡=1
м
Таким образом, - это универсальное
¡=1
множество, то есть полное множество, охватывающее проблемную область в момент создания системы (на ^м уровне) в 1-й группе.
На следующем этапе ^+1) разработки систе-
формируют множество требований В на (Ъ+1)-м уровне.
Аналогично множеству А необходимо произвести агрегирование требований В также по типам групп где ^=1, 2, ..., N ^ - максимальное число групп типа I множества В, причем N может быть любым: N<14, N>14). Каждому единичному требованию q множества B того же типа ^ присвоим порядковый номер j, где j=1, ..., п; при этом q1J -единичное требование 1-й группы; q1n - максимальное число единичных требований множества В типа 1. В ходе агрегирования имеющейся модели на ^+1)-м уровне Zk+1 по принципу модульности (функциональности) появляется агрегированная модель Z*k+1=AgfZk+1), которая обладает
N
единицами требований.
¡=1
На (k+1)-м уровне вновь сформированное множество В представляет собой универсальное, наиболее рациональное множество. Исходя из полноты представления формируемых требований к системе, объединим в группы требования уровней к и (к+1) каждой ¡-й группы, используя операцию примитивного синтеза: Р8(р, (|)—»С. присоединяющую элемент ре А к объединенному множеству требований.
Результатом объединения требований, поступивших на ^м и (k+1)-м этапах, являются сформированные требования к системе С, то есть множество требований А|сС, В|сС, С=А|иВ|.
Подобная поэтапная методика формирования требований не позволит упустить ключевые точки процесса разработки сложных информационных систем.
Однако не следует допускать формирование избыточности требований. Чем больше множество требований на (k+^-м этапе, тем больше вероятность избыточности и повторения требований. Часть пространства параметров и признаков, соответствующую пересечению подмножеств требований от разных этапов, можно интерпретировать как область неопределенности. При этом подмножество избыточных требований X будет следующим: XcAjOBj.
Разрешение неопределенности возможно путем уменьшения избыточности. В идеале неопределенность не влияет, когда f|Aj —»О при
к
k=[1, K], где K - количество этапов формирования требований к системе.
Тогда мощность подмножества ошибки Ол, то есть подмножества сформированных избыточных требований саг(Юл—»min, и количество требований Zpi—»min уменьшаются. Это говорит о том, что для исключения избыточности необходимо, чтобы формируемые множества содержали в себе небольшое количество единичных требований. Достичь этого можно, найдя оптимальный баланс при правильном построении и формировании единичного требования и выделении важных и полезных требований, исключающих перегруженность программы.
Таким образом, подмножества требований на каждом из этапов не должны пересекаться, но при этом каждое из них должно принадлежать соответствующему элементу множества требований, существующему в течение нескольких этапов. Необходимо, чтобы алгоритм формирования требований обеспечивал выявление этой принадлежности: IjAjCCj. к
Агрегирование требований должно обеспечить выделение компактных модульных групп требований, представление их эталонами, в наибольшей степени связанными с другими составляющими своей группы и удаленными от соседних групп (что позволит сократить время решения задач активным средством), а также исключение избыточности требований в группах.
Литература
1. Royce Winston W. Managing the Development of Large Software Systems. Proceedings of IEEE Wescon. 1970, august, pp. 1-9.
2. Халл Э., Джексон К., Дик Дж. Разработка и управление требованиями. Практическое руководство пользователя. URL: www.springeronline.com (дата обращения: 15.12.2009).
3. Горелик А.В., Скрипин В.А. Методы распознавания. М.: Высш. шк., 1989.
4. Крылов С.М. Алгоритмы, математика эволюции и технологии будущего. М.: ЛКИ, 2008.
5. Заде Л.А. Понятие лингвистической переменной и его применение к принятию приближенных решений. М.: Мир, 1976. 164 с.
мы и формирования требований к ней в результате расширения и уточнения появляется новое множество требований ^. Каждое сформированное требование группы В' также должно соответствовать предъявляемым к требованиям свойствам. Аналогично множеству А' требований на к-м уровне, используя функцию принадлежности для множества В', выявляют полезные требования, которые
