Исследование и реализация программных средств выбора альтернатив в среде Web тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Файбисович, Михаил Львович

• Файбисович, Михаил Львович
• кандидат технических наук
• 2006

Оглавление диссертации кандидат технических наук Файбисович, Михаил Львович

ВВЕДЕНИЕ.

ГЛАВА 1. АНАЛИЗ ОСОБЕННОСТЕЙ РАЗРАБОТКИ ПРОГРАММНО-ИНФОРМАЦИОННОГО ОБЕСПЕЧЕНИЯ ВЫБОРА В СРЕДЕ WEB.

1.1. Общая характеристика функций программно-информационного обеспечения выбора.

1.2. Сравнительный обзор технологий, применяющихся для поддержки выбора информационных объектов в Web.

1.3. Анализ подходов к разработке программных систем в условиях неопределенности и динамики требований.

1.4. Концепция комбинаторно-логического подхода к созданию и применению программно-информационного обеспечения выбора в среде Web.

1.5. Постановка задачи проектирования и реализации программно-информационного обеспечения выбора в среде Web.

Выводы к главе 1.

ГЛАВА 2. РАЗРАБОТКА МОДЕЛЕЙ ДАННЫХ И МЕТАДАННЫХ ДЛЯ ПРОГРАММНО-ИНФОРМАЦИОННОГО ОБЕСПЕЧЕНИЯ ОТБОРА АЛЬТЕТРНАТИВ.

2.1. Основные составляющие комбинаторно-логического описания функций программно-информационного обеспечения.

2.2. Методические принципы применения комбинаторно-логического подхода к разработке программно-информационного обеспечения выбора.

2.3. Задачи и структура программно-информационного обеспечения выбора из множества альтернатив.

2.4. Модель функционального взаимодействия потребителей с описаниями альтернатив в процессе отбора.

2.5. Сравнительный анализ типовых некомпенсирующих стратегий на основе модели функционального взаимодействия.

2.6. Представление взаимосвязей между атрибутами как метаданных отношения «альтернатива».

Выводы к главе 2.

ГЛАВА 3. ПРОЕКТИРОВАНИЕ ПРОГРАММНО-ИНФОРМАЦИОННОГО ОБЕСПЕЧЕНИЯ АЛЬТЕРНАТИВНОГО ОТБОРА С ПРИМЕНЕНИЕМ КОМБИНАТОРНОЙ ЛОГИКИ.

3.1. Рассмотрение технологий отбора альтернатив на основе визуального просмотра.

3.2. Рассмотрение технологий отбора с применением средств поиска по ключевым словам совместно с визуальным просмотром.

3.3. Формирование структуры отношений «альтернативы атрибуты» как метаданных модели функционального взаимодействия в процессах выбора.

3.4. Организации выбора из альтернатив с применением структуры метаданных атрибутов. ф Выводы к главе 3.

ГЛАВА 4. РАЗРАБОТКА ПРОГРАММНО-ИНФОРМАЦИОННОГО

ОБЕСПЕЧЕНИЯ АЛЬТЕРНАТИВНОГО ОТБОРА В WEB.

4.1. Этапы разработки программно-информационного обеспечения выбора из альтернатив.

4.2. Особенности разработки программно-информационных средств выбора независимо сформированных описаний альтернатив.

4.3. Особенности разработки программно-информационных средств выбора альтернатив, предлагаемых поставщиком.

4.4. Принципы разработки программно-информационного обеспечения выбора альтернатив, предлагаемых поставщиком.

4.5. Проектирование компонентов программного обеспечения выбора на основе модели данных и метаданных. ф 4.6. Сопоставление предлагаемого программно-информационного обеспечения выбора с существующими средствами поддержки выбора.

Выводы к главе 4.

ГЛАВА 5. РЕАЛИЗАЦИЯ, ЭКСПЕРИМЕНТАЛЬНАЯ ПРОВЕРКА И ВНЕДРЕНИЕ ПРОГРАММНО-ИНФОРМАЦИОННОГО ОБЕСПЕЧЕНИЯ АЛЬТЕРНАТИВНОГО ОТБОРА В WEB.

5.1. Результаты реализации и экспериментальной проверки программно-информационного обеспечения выбора из независимо сформированных описаний альтернатив.

5.2. Состав и структура реализованного программно-информационного обеспечения электронного магазина с поддержкой выбора альтернативных товаров и услуг. ф 5.3. Средства поддержки выбора как функциональная компонента электронного магазина.

5.4. Обобщенный сценарий работы посетителей при выборе альтернативных предложений в каталоге электронного магазина.

5.5. Результаты реализации и внедрения электронного магазина с поддержкой выбора альтернативных товаров и услуг.

Выводы к главе 5.

Введение диссертации (часть автореферата) на тему «Исследование и реализация программных средств выбора альтернатив в среде Web»

В настоящей работе рассматриваются вопросы исследования и реализации программных средств выбора альтернатив в среде Web.

Актуальность работы.

Задача выбора из ряда альтернатив является одной из ключевых при разработке современных средств взаимодействия «поставщик - потребитель». Очевидно, что для многих областей деятельности неточности и ошибки выбора приводят к существенным отрицательным последствиям. Однако эффективность решения вопроса выбора принципиальным образом зависит от информированности о свойствах альтернатив того, кто осуществляет выбор.

Феноменальное развитие компьютерных сетей и, прежде всего, Интернета, создали предпосылки для реализации принципиально новых возможностей обеспечения информацией для принятия решений в различных областях деятельности. Важным направлением в этой области является информационное обеспечение выбора из альтернативных вариантов путём сбора информации из Web.

Об актуальности исследований в данной области свидетельствует тот факт, что с 1998г. рынок программного обеспечения в США и странах Евросоюза, связанного с предоставлением информационных услуг в Web, ежегодно увеличивается на 60%-200% [43]. В рамках указанной предметной области интенсивно ведутся работы рядом исследовательских центров, например, Станфордским Университетом [79, 81, 88] (Г. Гарсиа-Молина, И. Папаконстантиноу), Массачусетсом Технологическим Институтом [67, 87] (С Брессан, П. Тагард), исследовательскими центрами AT&T [56, 75] (М. Фернандез, М. Флореску), IBM [78] (С. Малайка) и Xerox [68] (Б. Чидловски).

Среди российских центров исследования вопросов поддержки поиска, отбора, выбора информационных объектов в среде Web необходимо выделить ИПУ РАН и МФТИ, где проводятся исследования под руководством проф. Алескерова Ф.Т., ряд работ по выбору из альтернатив выполнен в ИСА РАН (ак. Ларичев О.И.), в МГУ (проф. Левченков B.C., проф. Гасанов Э. Э.). Примером системы, достигшей стадии коммерческой эксплуатации и широко применяющейся в настоящее время, является программно-информационное обеспечение службы «Яндекс.Маркет» компании «Яндекс».

Модели и методы вычислений с объектами с применением аппликативных технологий развивались и развиваются Р, Хиндли, Дж. П. Селдином, Д. Скоттом, Р. Хьюсом, С. Пейтоном-Джонсом, А.С. Кузичевым, Л.В. Шабуниным. Как показано В. Э. Вольфенгагеном, применяя представление «функтор-как-объект», можно построить модель аппликативного типа для информационных систем, причем для случая частичных областей. Тем самым аппликативные технологии переносятся на класс информационных систем в Web. Сходными методами решаются и задачи информационного моделирования, в которых учитывается групповое поведение субъектов, что показано А.П. Столбовым с применением денотационного подхода.

Состояние проблемы.

За последние десятилетия был разработан ряд технологий, ориентированных на решение задач выбора с применением сети Internet. В частности, следует назвать:

• технологии поиска в Web по ключевым признакам;

• каталоги Web-ссылок;

• технологии, ориентированные на работу с частично структурированной информацией, такие как OEM-базы данных;

• технологии, основанных на установлении формальных отношений между объектами;

• технологии, обеспечивающие поддержку принятия решений на основе сбора статистических данных, например, технологии коллаборативной фильтрации.

Наиболее проработанными следует считать средства программно-информационного обеспечения принятия решений при стабильном выполнении одного из следующих условий:

• Пользователи программно-информационного обеспечения знают, какая именно информация им требуется, и в какой форме она представлена.

• Пользователи решают задачи одних и тех же типов, работая с одними и теми же информационными структурами, происходящие изменения незначительны и/или редки. Такие условия характерны для использования хранилищ данных и нейронных сетей.

В ситуациях высокой неопределённости и динамики условий выбора программно-информационное обеспечение принятия решений обычно строится на эмпирических моделях с последующими обобщениями.

В свою очередь, работы Рамбо [42], Буча [7], Фаулера [54] создали основу для развития методологий, ориентированных на повышение скорости и качества разработки, среди которых следует отметить Унифицированной Подход (RUP) [28, 30], Экстремальное Программирование (ХР) [39, 66] и компонентную архитектуру [22, 26, 49]. Однако применение названных методологий предполагает, что требования, предъявляемые к разрабатываемому программно-информационному обеспечению со стороны заинтересованных лиц, в комплексе полностью определяют функциональные потребности и ограничения для этого обеспечения.

Анализ современных технологий информационной поддержки выбора, а также результатов исследований российских и зарубежных научных центров позволяет поставить еще не решенные задачи:

• разработка моделей данных и метаданных для согласования разнородных представлений о требованиях к разрабатываемому программно-информационному обеспечению выбора в условиях динамики таких представлений;

• реализация моделей данных и метаданных в программно-информационном обеспечении выбора альтернатив по описаниям, опубликованным в Web.

В этой связи исследование и реализация моделей данных и метаданных для программного обеспечения отбора альтернатив в Web является актуальной научной задачей.

Объект исследования. Процессы создания программно-информационного обеспечения выбора из альтернатив в Web в условиях динамики характеристик их описаний.

Предмет исследования. Повышение эффективности создания и применения компьютерной поддержки выбора из альтернатив.

Цель диссертационной работы заключается в построении модели данных и метаданных программно-информационного обеспечения выбора альтернатив по описаниям, опубликованным в Web, и в программной реализации средств выбора, соответствующих разработанной модели.

Исходя из указанной цели диссертационного исследования, основными задачами, решаемыми в работе, являются:

1. Исследование и систематизация особенностей построения программно-информационного обеспечения в функции поддержки выбора из альтернатив в Web.

2. Обоснование и постановка задачи проектирования программно-информационного обеспечения выбора из альтернатив по их описаниям, опубликованным в Web.

3. Разработка модели данных и метаданных выбора альтернатив.

4. Проектирование архитектур и пользовательских интерфейсов программно-информационного обеспечения, соответствующих предложенной модели выбора.

5. Экспериментальная проверка и внедрение в промышленную эксплуатацию разработанного программно-информационного обеспечения.

Методы исследования. При решении поставленных задач в диссертационной работе автором применены аппликативные вычислительные технологии, теория вычислений и комбинаторная логика, исчисление предикатов и унифицированный метод объектно-ориентированного проектирования.

Основные положения, выносимые на защиту, сводятся к следующему:

1. Обосновано применение техники аппликативных вычислений к созданию программно-информационного обеспечения выбора в Web с применением.

2. На основе исчисления с оператором абстракции построена модель выбора из альтернатив.

3. Сформулированы принципы формирования структур данных и метаданных, определяющих содержательные отношения «альтернатива - атрибут - значение - знак» в процессах отбора альтернатив.

4. Спроектированы архитектура и интерфейсы Web-сервиса, реализующие выбор из альтернатив по описаниям в соответствии с построенными моделями.

5. Выполнены реализация и внедрение комплексного Web-сайта корпоративного типа, реализующего поддержку функции выбора из альтернатив.

Научная новизна результатов работы сводится к следующему:

1. Для согласования представлений участников процессов выбора альтернатив в среде Web применяются аппликативные вычисления. Таким образом, элемент новизны состоит в дополнении существующих средств анализа и проектирования формально-языковыми средствами на ранних стадиях разработки.

2. Разработана модель выбора на основе применения техники аппликатив-ных вычислений, в том числе построена модель объектов данных и метаданных.

3. На основе аппликативных моделей предложен подход к формированию информационных структур, определяющих содержательные отношения «альтернатива - атрибут - значение - знак» в процессах отбора альтернатив.

4. Элементом новизны диссертационного исследования является построение архитектуры программного обеспечения путем поэтапного формирования структуры классов программы.

Практическая значимость диссертационного исследования определяется следующими результатами:

1. На основе аппликативной техники вычислений разработана технология создания программно-информационного обеспечения выбора большого количества альтернатив с большим числом атрибутов.

2. Предложенная модель объектов данных и метаданных поддерживает адаптацию программно-информационных средств в условиях динамики содержания рассматриваемых альтернатив и интересов потребителей.

3. Принятые программно-информационные решения позволяют повысить эффективность выбора, сократив количество упущенных альтернатив, релевантных запросам потребителей, а также уменьшив затраты времени на осуществление выбора.

Реализация результатов.

1. Развитые в работе модели, методы и средства положены в основу корпоративного Web-сайта компании «Интериор В», предназначенного для выбора и заказа комплектующих предприятиями, работающими в сфере строительства и дизайна, что подтверждается соответствующим актом о внедрении.

2. Произведено внедрение компьютерного практикума, основанного на применении теории аппликативных вычислений для согласования представлений, в учебный процесс на кафедре Кибернетики (22) МИФИ, что подтверждается соответствующим актом о внедрении.

Опубликование и апробация результатов работы. Результаты, представленные в данной диссертационной работе, докладывались и обсуждались на научной сессии МИФИ (г. Москва, 2001г.), на I, II, III и IV международных конференциях по компьютерным наукам и информационным технологиям «Computer Science and Information Technologies» (г. Москва, 1999; г. Уфа, 2000; г. Уфа, 2001, г. Патры, Греция, 2002) и на научном семинаре кафедры 22 МИФИ (г. Москва, 2005г.).

По теме диссертации опубликовано 8 работ, в том числе:

• тезисы доклада на научной сессии МИФИ'2000,

• статьи в сборниках трудов конференций CSIT'99 (Москва), CSIT'2000 (Уфа), CSIT'2001 (Уфа), CSIT'2002 (Патры, Греция) и CSIT'2004 (Будапешт, Венгрия);

• статья в сборнике трудов мультиконференции 1КЕ'03 (Лас-Вегас, США).

Структура и объем диссертации. Диссертация состоит из введения, 5 глав, заключения, глоссария, списка литературы и 5 приложений. Общий объем работы 182 стр., в том числе основной машинописный текст 119 стр., 32 рисунка, 20 таблиц, список литературы из 88 наименований.

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Файбисович, Михаил Львович

Эти выводы были подтверждены руководством компании-заказчика. Было отмечено, что средства поддержки альтернативного выбора, включенные в сайт:

• позволили увеличить количество продаж;

• снизили нагрузку на продавцов-консультантов;

• сформировали предпосылки для создания дополнительных бизнес-связей;

• существенно уменьшили расходы на консультирование клиентов.

Результаты экспериментальной проверки и внедрения подтверждают соответствие реализованного программно-информационного обеспечения выбора поставленной задаче.

ЗАКЛЮЧЕНИЕ

В настоящей работе решена задача исследования и реализации программно-информационного обеспечения выбора альтернатив по их описаниям, опубликованным в среде Web.

В результате диссертационного исследования были получены следующие результаты:

1. Выполнено исследование особенностей построения программно-информационного обеспечения выбора из альтернатив в среде Web.

2. Проведена систематизация существующих технологий, применяющихся для поддержки выбора из альтернатив в Web.

3. Обосновано применение теории аппликативных вычислений к разработке программно-информационного обеспечения выбора в Web.

4. Разработаны модели аппликативной формализации выбора из альтернатив.

5. Предложена методика формирования структур данных и метаданных, обеспечивающих содержательные отношения «альтернатива - атрибут -значение - знак» в процессах отбора альтернатив.

6. Разработана модель данных и метаданных выбора альтернатив по атрибутам, которая может быть использована как основа для анализа различных способов отбора из альтернатив, а также для разработки программно-информационного; обеспечения выбора по описаниям альтернатив в условиях большого количества альтернатив и большого количества атрибутов. Модель применена при создании компьютерного практикума по курсу «Дискретная математика 6» в МИФИ.

7. Разработаны пользовательские интерфейсы, архитектура и функциональная структура программно-информационного обеспечения выбора альтернатив.

8. Реализована учебно-исследовательская версия программно-информационного обеспечения выбора в среде Microsoft ASP с применением компонентов СОМ+ для отбора объявлений о вакансиях, интересующих соискателя в форме Web-службы. Осуществлена адаптация этой версии для выбора сотовых телефонов.

9. Реализовано программно-информационное обеспечение в среде Microsoft ASP.Net для отбора торговых предложений компании «Интериор В». В качестве сервера СУБД применяется Microsoft SQL Server 2000. Программные средства сопряжения с корпоративной информационной системой компании были реализованы частично на платформе Win32, а частично в среде «1С: Предприятие 7.7». В качестве сервера СУБД применяются Microsoft SQL Server 2000 и Firebird 1.5.

Заключительным результатом настоящей диссертационной работы является промышленная реализация программно-информационного обеспечения для отбора торговых предложений компании «Интериор В». Проведено полномасштабное коммерческое внедрение разработанного программно-информационного обеспечения в компании «Интериор В», что подтверждается соответствующим актом о внедрении. Коммерческая эксплуатация программно-информационной системы выбора альтернатив в Web подтвердила справедливость основных научно-практических результатов данной диссертационной работы.

ГЛОССАРИЙ

Атрибут - идентифицируемая и содержательная характеристику выбираемой альтернативы. Под содержательностью понимается то, что каждый атрибут определяет существенный для выбора параметр альтернативы. Идентифицируемость в данном контексте - возможность выявления, а также устойчивого и независимого рассмотрения отношений «альтернатива - атрибут» и «атрибут -значение».

Атрибут альтернатив - атрибуты, значения которых представлены в описаниях альтернатив. Определяют основные прикладные характеристики альтернатив с точки зрения изготовителей и поставщиков;

Атрибут вычислимый. Значения ряда атрибутов являются функциональными зависимостями от других свойств альтернативы. Примерами таких атрибутов являются атрибуты-триггеры, атрибуты, определяющие агрегатные оценки и т.п.

Атрибут простой - перечислимый атрибут или атрибут числового типа.

Атрибут описательный - атрибуты, значения которых содержательно сравниваются только человеком. Значения описательных атрибутов могут быть непосредственно представлены в описаниях альтернатив, например, в виде слабоструктурированных фрагментов текста и рисунков.

Атрибут перечислимый - атрибут, значения которого можно представить в виде конечных списков терминов.

Атрибут субъекта - один из атрибутов, по которым осуществляет отбор потребитель. Обозначают существенные составляющие представлений того или иного индивидуума о предмете выбора.

Атрибут составной - устойчивая содержательная группа простых и составных атрибутов. Значение составного атрибута определяется как комбинация значений атрибутов, входящих в составной.

Атрибут универсальный - атрибут значения которых содержательно присутствуют во всех альтернативах из рассматриваемого входного множества альтернатив.

Атрибут-триггер - простой атрибут, значение которого определяется по факту изменения значений других атрибутов. Примером такого атрибута при выборе товаров является атрибут «Цена снижена».

Атрибут числовой - атрибут, значения которого можно представить в виде числового показателя в некоторой единице измерений или диапазона числовых показателей.

База структурирования - совокупность шаблонов структурирования, а также настроек, определяющих правила применения шаблонов при автоматическом структурировании предложений, полученных из различных источников в Web.

Выбор «визуальный» - выбор посредством визуального просмотра описаний альтернатив, представленных в той или иной форме.

Выбор по ключевым словам - выбор с применением средств поиска по ключевым словам. Важно отметить, что название «поиск по ключевым словам» для этих средств является достаточно условным. В частности, поиск осуществляется не только по словам, но и по выражениям, логическим комбинациям выражений и т.д.

Идентификация - формирование в процессе проектирования модели объекта, выраженной в тех или иных терминах (описанной на том или ином языке), или определение характеристик модели реального объекта по экспериментальным данным.

Идентификация представлений - структурирование и формализация функциональной модели взаимодействия в процессах выбора с точки зрения того или иного участника процессов.

Коммуникативность - характеристика соответствия организации взаимодействия функциональным потребностям деятельности. С точки зрения потребительских аспектов, коммуникативность отражает функциональную эффективность доведения, передачи, предоставления, извлечения информации. С технологической позиции коммуникативность определяется возможностями управления взаимодействием по критерию минимизации цикличности, учитывая как априорные, так и динамические составляющие неопределённости.

Критерий кластеризации. Критерии кластеризации основаны на упорядочении значений атрибута по степени близости к идеальному.

Критерий сепарации - это критерий, позволяющий разделить множество значений атрибута на подмножества значений, удовлетворяющих запросу и не удовлетворяющих запросу.

Метафора - символ (в широком смысле этого слова), обладающий следующими свойствами:

• метафора компактно определяет существенные характеристики разрабатываемой системы (в первую очередь, типовые последовательности действий) на основе аналогий с понятиями, хорошо известными участникам взаимодействия;

• метафора легко идентифицируется всеми участниками взаимодействия.

Множество альтернатив входное (начальное) - все множество альтернативных вариантов, которые рассматриваются при выборе.

Множество альтернатив конечное - множество альтернатив, сформировав которое, пользователь завершает (или прекращает) отбор с применением некомпенсирующих стратегий.

Модель данных - формализованное описание возможных структур данных, операций над ними и ограничений целостности. В настоящей работе модель данных формируется для того, чтобы определить свойства структур, описывающих альтернативные предложения.

Модель метаданных. Метаданные - «данные о данных», описывающие состав и структуру атрибутов выбора. При выборе альтернатив в Web структура метаданных атрибутов является мультимодальной и динамичной.

Модель данных и метаданных (М(М)Д). В ситуации выбора в условиях информационной несогласованности и динамики отношения «атрибут -значение» принципиально зависят от структуры атрибутов, т.е. от метаданных. Поэтому автор предлагает рассматривать модель данных и модель метаданных согласованно в рамках единой системы формализмов. Модель (мета)данных может рассматриваться как спецификация компонентов программно-информационного обеспечения выбора, связанных с манипулированием альтернативными предложениями в процессах выбора.

Монитор фильтрации - совокупность компонентов, обеспечивающих управление критериями отбора по представлению структуры метаданных атрибутов пользователю.

Наблюдаемость. Наблюдаемость как свойство системы характеризует возможность определять состояние рассматриваемого объекта, а также возможности изменения состояния, получая, таким образом, все данные, необходимые для выполнения управления.

Онтологический статус. Понятие онтологического статуса отражает степень обоснованности представления, устойчивость, робастность его содержания по отношению к изменениям значений объективных и субъективных признаков условий разработки.

Поставщик - тот, кто предлагает объекты некоторого вида (автор описаний альтернатив).

Потребитель - потребитель информационных услуг. Тот, кто выбирает объекты некоторого вида по описаниям.

Предложение (альтернативы) - описание предлагаемой альтернативы, опубликованное в Web, обычно в слабоструктурированной форме.

Предотбор (превило предотбора) - правило построения множества альтернатив, к которым применяется критерий отбора.

Пространство альтернатив - множество возможных альтернатив

Ошибка структурирования формальная - расхождение между фрагментом описания альтернативы, описывающим атрибут, по мнению специалиста, и фрагментом, выявленным в результате автоматического структурирования.

Стратегия выбора. Согласно результатам исследований, взаимодействие потребителя с пространством альтернатив поведенчески организуется по определённым правилам, называемым стратегиями.

Стратегия компенсации. Когда выбор осуществляется среди малого количества альтернатив, обычно задействуются «стратегии компенсации». При применении стратегии такого типа низкие показатели одного свойства рассматриваемого объекта могут искупаться высокими показателями другого его свойства.

Стратегия некомпенсирующая. Когда человек сталкивается с выбором из многих альтернатив, он обычно применяет некомпенсирующие стратегии выбора. Для этих стратегий характерны взаимно независимые оценки каждого из рассматриваемых атрибутов.

Структура метаданных атрибутов (СМА) - совокупность потенциально применяющихся при выборе структур взаимосвязей атрибутов. Термином «метаданные» в данном случае обозначается тот факт, что в условиях вариантности и динамики структуры атрибутов СМА является «словарем данных» описывающих пространство альтернатив.

Структурирование содержательное - процессы, связанные с переходом от слабоструктурированных исходных данных (в данной работе - описаний альтернатив) к данным, представленным в полу- или хорошо структурированной форме. В настоящей работе структурирование связывается с формированием отношений «альтернатива - атрибут - значение - знак» на основе структуры метаданных атрибутов.

Тип данных. Абстрактный тип данных определяется только через операции, которые могут выполняться над соответствующими объектами, безотносительно к способу их представления этих объектов.

Термин (терминальное значение) - единое представление разных по форме слов и выражений, имеющих один и тот же смысл. Основные требования, предъявляемые к выбору терминов: лингвистическая правильность, точность, и краткость.

Управляемость. Понятие управляемости как свойства связано с переводом (или переходом) системы из одного состояния в другое. Прежде всего, управляемость характеризуется составом и распределением по подсистемам внешних входных (управляющих и возмущающих) воздействий, описываемых интерфейсами, протоколами и сценариями взаимодействия рассматриваемой системы и входящих в неё подсистем.

Цикличность. Критерием, непосредственно характеризующим влияние неопределённости условий на выполнение процесса взаимодействия, является его цикличность. Свойство цикличности комплексно характеризует любые формы ресурсопотребления в процессах взаимодействия.

Цикличность избыточная. Избыточная цикличность, по отношению к содержанию процессов взаимодействия, порождается несоответствиями технологического обеспечения потребностям выполнения этих процессов.

Цикличность необходимая. Необходимой является такая составляющая цикличности, которая обеспечивает устранение неопределённости представлений субъектов взаимодействия и несоответствия реальным условиям.

Синонимичная группа. Совокупность возможных представлений в тексте некоторого значения перечислимого атрибута.

Структуры данных. Структура - это аспект типа данных, выражающий природу объектов, которые являются составными. Структура данных выражает, каким образом из элементов может быть составлен некоторый информационный объект или каким образом составную величину разделить на элементы. Реализация структурированных данных включает как выбор определённой формы для сохранения представления, так и обеспечение набора процедур/функций, реализующих соответствующие операции с выбранной структурой. Формально, структура данных определяется как некоторая хорошо обозначенная область в абстрактном типе данных, которым задаётся эта структура.

Функциональная модель взаимодействия - для рассматриваемой деятельности априорно определенная в виде модели совокупность потребностей и ограничений, внешних по отношению к взаимодействию.

Список литературы диссертационного исследования кандидат технических наук Файбисович, Михаил Львович, 2006 год

1. Алеева Е., Рушайло П. «Технология высокого полёта», «Деньги», №45(349), 2001, стр. 120-123.

2. Бен-Ари М., «Языки программирования. Практический сравнительный ф анализ.», М.: Мир, 2000.

3. Бир С. «Мозг фирмы», М.: Радио и связь, 1993.

4. Богачек И. А. «Философия управления», СПб.: Наука, 1999.

5. Брусилов К. «ERP или не ERP», «Мир ПК» №2-2002, с. 82-87.

6. Буева Л.П. «Человек: деятельность и общение». М.: Мысль, 1978.

7. Буч Г. «Объектно-ориентированный анализ и проектирование с примерами применений, 2-е изд.» М.: Издательство Binom, 1998.

8. Валиков А. Н. «Технология XSLT». СПб.: БХВ-Петербург, 2002.

9. Винер Н. «Кибернетика или управление и связь в животном и машине», М.: Советское радио, 1958.

10. Ю.Винер Н. «Кибернетика и общество», М.: Наука, 1958.ф 11. Вольфенгаген В. Э. «Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах. (2-е изд.)», М.: Институт Актуального Образования "ЮрИнфоР-МГУ", 2003.

11. Вольфенгаген В. Э. «Конструкции языков программирования. Приёмы описания», М.: Институт Актуального Образования "ЮрИнфоР-МГУ", 2003.

12. Вольфенгаген В. Э. «Методы и средства вычислений с объектами. Аппли-кативные вычислительные системы», М.: "Центр ЮрИнфоР", 2004.

13. Вольфенгаген В. Э., Гольцева JI. В., «Аппликативные вычисления на основе комбинаторов и ^-исчисления», М.: Институт Актуального Образования "ЮрИнфоР-МГУ", 2000.

14. Воскресенская О.В. «Методы разработки реляционной системы управления базой данных», Диссертация на соискание ученой степени кандидататехнических наук, 05.13.06 Автоматизированные системы управления,

15. Московский инженерно-физический институт, Диссертационный Совет К.053.03.04 МИФИ, Москва, 1985.

16. Гейтс Б. «Бизнес со скоростью мысли», М.: ЭКСМО-Пресс, 2001.

17. Грейвс М. «Проектирование баз данных на основе XML». М.: Вильяме, 2002.

18. Дейт К., Дж. «Введение в системы баз данных» 6-е издание. М.: Вильяме, 1999.

19. Джексон П. «Введение в экспертные системы» 3-е издание. М.: Вильяме,• 2001.

20. Елтаренко Е. А., «Оценка и выбор решений по многим критериям». М.: МИФИ, 1995.

21. Игнатович Н. «Брокер интеграции приложений», «Открытые системы» №9-2003 стр. 8-14.

22. Каган М.С. «Человеческая деятельность». -М.: Наука, 1974.

23. Кветной М.С. «Человеческая деятельность: сущность, структура, типы: Социологический аспект». Саратов: Саратов, 1974.

24. Когаловский М. Р. «Энциклопедия технологий баз данный». М.: «Финансы и статистика», 2002.

25. Кононов А., Кузнецов Е., «Онтология промежуточного ПО», «Открытые системы» №3-2002 стр. 46-53.

26. Коналлен Дж., «Разработка Web-приложений с использованием UML»,1. М.: Вильяме, 2001.

27. Кратчен Ф. «Введение в Rational Unified Processes», М.: Вильяме, 2002.

28. Кузин J1. Т. «Основы кибернетики» в двух томах», М.: Энергоатомиздат, 1994.

29. Ларман К. «Применение UML и шаблонов проектирования», М.: Вильяме, 2001.

30. ЗЬЛарман К., Базили В. «Итеративная и инкрементальная разработка: краткая история», «Открытые системы» №9-2003, стр. 71-79.

31. Лефингуэлл Д., Уидриг Д. «Принципы работы с требованиями к программному обеспечению». М.: Вильяме, 2002.

32. ЗЗ.Лисков Б., Гатэг Дж. «Использование абстракций и спецификаций приразработке программ» М.:»Мир», 1989.

33. Лэйхифф Дж. М., Пенроуз Дж. М. «Бизнес-коммуникации. Стратегии и навыки», СПб.:«Питер», 2001.35. «Международный стандарт ISO 704. Принципы и методы терминологии», М.: Издательство стандартов, 1988.

34. Нейбург Э. Дж., «Проектирование баз данных с помощью UML» », М.: Вильяме, 2002.

35. Петренко А. и др. «Тестирование на основе моделей», «Открытые системы» №9-2003 стр. 41-47.

36. Пичугин И., Правдина М. «Новые слова из трёх букв», «Секрет фирмы», №4-2002, с. 27-29.

37. Полк М. «Экстремальное программирование с позиций СММ», «Открытые системы» №3-2002 стр. 22-28.

38. Попов Э. В. «Экспертные системы». М.:Финансы и статистика., 1998.

39. Поппер К. Р. «Объективное знание. Эволюционный подход», М.:«Эдито-риал УРСС», 2002.

40. Рамбо Дж., Якобсон А., Буч Г., «UML: Специальный справочник», СПб.: Питер, 2002.43. «Российский рынок корпоративных информационных систем». Результаты исследования компании Market-Visio/EDC. «КомпьютерПресс», №12002, стр. 69-74.

41. Скотт П. «Психология оценки и принятия решений», М.: Информационно-издательский дом «Филин», 1998.

42. Слама Д., Гарбис Дж., Рассел П., «Корпоративные системы на основе CORBA». М.: Вильяме, 2000.

43. Солейчук А. Д. «Семиотика и кибернетика», www.spici.ac.ru/soleychuk/articles/a011 .htm.

44. Солсо P. JI. «Когнитивная психология», М.: Тривола, 1996.48. «Справочник по теории автоматического управления.» Под. ред. Красов-ского А. А., М.: Наука, 1987.

45. Таненбаум Э., Стеен М. ван, «Распределённые системы. Принципы и парадигмы», СПб.: «Питер», 2003.

46. Трэвис Б. «XML и SOAP: Программирование для серверов BizTalk». М.:«Русская Редакция», 2001.

47. Ушаков М. М. «Функциональная коммуникация и семиотика», Международная конференция «Систематика 2001». Том 1. Киев. Стр. 133-145, 2001.

48. Уэно X., Исидзука М. и др. «Представление и использование знаний», М.: Мир, 1989.

49. Файбисович М. JI. «Формализация содержания альтернативных предложений в функции отбора на основе понятий реляционной алгебры», Научная сессия МИФИ-2001. Сборник научных трудов. Том 3. М.: МИФИ Стр. 33-35., 2001.

50. Фаулер М. «Рефакторинг. Улучшение существующего кода», М.:Символ-Плюс, 2003.

51. Федечкин С., «Хранилище данных: вопросы и ответы», PCWeek, №31, 26-авг-2003.

52. Флореску Д., Леви А., Мендельсон А. «Технологии баз данных для WorldWide Web: обзор», Системы Управления Базами Данных 1998 №4-5, С. 49-64.

53. Хилькевич А. П. «Решение проблем в науке, технике, практической деятельности», М.: Наука, 1999.

54. Хрусталёв В. М., Агрегация данных в OLAP-кубах.www.olap.ru/home/mut.asp.

55. Черняк Л. «SOA шаг за горизонт», «Открытые системы» №9-2003 стр. 34-40.

56. Шеннон К. «Работы по теории управления и кибернетике», Л.: Наука, 1963.

57. Элиенс А. «Принципы объектно-ориентированной разработки программ». М.: Вильяме, 2002.

58. Эшби Р. «Введение в кибернетику», М.: Иностранная литература, 1959.

59. Якобсон А., Буч Г., Рамбо Дж. «Унифицированный процесс разработки программного обеспечения», СПб.: Питер, 2002.

60. Abiteboul S., Goldman R. «Views for Semistructured Data», Proceedings of the

61. Workshop on Management of Semistructured Data, Tucson, Arizona, May 16,1997.

62. Archer C. «Measuring User-Oriented Software Products», Carnegie Mellon University, Software Engineering Institute, SEI-CM-28, 1996.

63. Beck K. «Extreme programming explained: embrace change», Addison-Wesley, Mass., 1999.

64. Bressan S., «Semantic Integration of Disparate Information Sources over the Internet using Constraint Propagation», Sloan School of Management, Massachusetts Institute of Technology, 1999.

65. Chidlovskii В., Borghoff U. M., Chevalier P. «Towards Sophisticated Wrapping of Web-based Information Repositories» Rank Xerox Research Centre, Grenoble Laboratory, 1999.ф 69.Faybisovich M. «^-formalization as a Means for Indefiniteness Reduction in

66. Management Automation (Using the Example of Pharmaceutical Provision Insurance)». Proceedings of the Workshop on Computer Science and Information Technologies 2002 (CSIT'2002), Patras, Greece 2002.

67. Faybisovich M. «Combinatory Logical Approach to Software for Alternative Selection in Web». Proceedings of the 2003 International Conference on Information and Knowledge Engineering (IKE'03), Las Vegas, Nevada, USA, 2003.

68. Faybisovich M. «Communicative Approach to the Text Data Structuring for Content Selection», Proceedings of the Workshop on Computer Science and Information Technologies 2000 (CSIT'2000), Ufa: Ufa State Aviation Technical University, 2001.

69. Ferndandez M., Florescu D., Suciu D. «Web-Site Management: The Strudel Approach» AT&T Labs, 1999.

70. Hammer J., Garcia-Molina, H. et al. «Extracting Semistructured Information from the Web», Computer Science Department, Stanford University Stanford, CA 94305-9040, 1999.

71. Hogarth R. M. "Judgment and choice (2nd ed.)", New York: John Wiley and ф Sons, 1987.

72. Malaika S. «Resistance is Futile: The Web Will Assimilate Your Databases» IBM Santa-Teresa Laboratory, Bulletin of Technical Committee on Data Engineering, Volume 21 №2, June, 1998.

73. Papakonstantinou Y., Garcia-Molina, H. «Object Exchange Across Heterogeneous Information Sources», Computer Science Department, Stanford University Stanford, CA, 94305-2140-USA, 1998.

74. Papakonstantinou Y., Ritter D. «The Middleware Muddle», DBMS OnLine, May 1998, www.dbmsmag.com.

75. Papakonstantinou Y., Sagiv J. «The TSIMMIS Approach to Mediation: Data Models and Languages» Dept. of Computer Science, Hebrew Univ., Jerusalem, IRI-92-23405, 1998.

76. Ф 82. Peyton Jones S. Et al., «Composing contracts. An adventure in financial engineering. Functional pearl», Microsoft Research, Cambridge, UK, Aug 2000.

77. Polishchouk M., Faybisovich M. «XML Technologies Usage for Medical Information Systems Oriented To Interaction Support». Proceedings of the Workshop on Computer Science and Information Technologies 2002 (CSIT'2002). Patras, Greece.

78. Roth E. «Scripting with WMI», Windows & .NET Magazine, №5-2002.

79. Siddiqi J. «Extreme programming pros and cons: What questions remain?», IEEE Computer, Nov. 2000.

80. Thagard P., Millgram E. "Inference to the Best Plan: A Coherence Theory of Decision", Goal-driven learning, p. 439-454, Massachusetts: MIT Press, 1997.

81. Winograd T. «From Computer Machinery to Interaction Design», Sprinter-Verlag «Beyond Calculation: The Next Fifty Years of Computing», 1997, p. 149-162.