Транзакционная обработка данных в распределенных информационно-управляющих системах тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Гражданцев, Евгений Викторович

• Гражданцев, Евгений Викторович
• кандидат технических наук
• 2008

Оглавление диссертации кандидат технических наук Гражданцев, Евгений Викторович

ВВЕДЕНИЕ.

1 ПОНЯТИЕ ТРАНЗАКЦИЙ.

1.1 Транзакции и целостность баз данных.

1.2 Транзакции и восстановление данных.

Выводы по разделу 1.

2 МНОГОВЕРСИОННОСТЬ ДАННЫХ И УПРАВЛЕНИЕ ПАРАЛЛЕЛЬНЫМИ ТРАНЗАКЦИЯМИ.

2.1 Транзакции и параллелизм.

2.2 Временные метки.

2.3 Многоверсионный вариант двухфазного протокола синхронизации.

2.4 Многоверсионный протокол для транзакций, не изменяющих данные.

2.5 МУБО-планировщики.

2.6 Проблемы реализации версионных алгоритмов.

Выводы по разделу 2.

3 ПРИМЕНЕНИЕ ТЕХНОЛОГИИ ИЗВЛЕЧЕНИЯ ДАННЫХ ПРИ АНАЛИЗЕ ТРАНЗАКЦИОННОЙ НАДЕЖНОСТИ РАСПРЕДЕЛЕННЫХ СИСТЕМ.

3.1 Формальная постановка задачи.

3.1.1 Поиск ассоциативных правил.

3.1.2 Секвенциальный анализ.

3.1.3 Разновидности задачи поиска ассоциативных правил.

3.2 Представление результатов.

3.3 Алгоритмы.

3.3.1 Алгоритм Арпоп.

3.3.2. Разновидности алгоритма Арпоп.

Выводы по разделу 3.

4 МОДЕЛЬ ПОВЫШЕНИЯ ТРАНЗАКЦИОННОЙ НАДЕЖНОСТИ СИСТЕМ ОБРАБОТКИ ИНФОРМАЦИИ И УПРАВЛЕНИЯ.

4.1 Описание модели оценки транзакционной надежности.

4.2 Комбинированная схема повышения транзакционной надежности распределенных систем обработки информации и управления.

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

4.4 Анализ транзакционной надежности.

Выводы по разделу 4.

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

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

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

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

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

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

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

Для достижения поставленной цели решались следующие задачи:

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

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

- анализ и модификация моделей технологии извлечения данных и знаний, пригодных для повышения транзакционной надежности распределенных информационных систем;

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

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

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

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

Научная новизна работы:

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

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

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

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

5. Реализована программно-алгоритмическая поддержка анализа транзакционной надежности путем интеграции в корпоративную ИС -Microsoft Business Solutions - Axapta, обеспечивающая за счет уменьшения вероятности сбоя в соответствующих входных диапазонах данных, требуемый коэффициент готовности системы.

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

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

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

Реализация результатов работы. Диссертационная работа выполнялась по проектам межотраслевых программ Минобразования России и Минатома России по направлению «Научно-инновационное сотрудничество» (проект VII-12), а также в рамках тематического плана СибГАУ (2005-2007 гг.).

При использовании системы модельно-алгоритмической поддержки анализа транзакционной надежности программных средств был реализован модуль «Модель оценки надежности» системы Microsoft Business Solutions-Axapta, используемый в ООО «ИНТЭС».

Апробация работы. Основные положения и результаты работы прошли апробацию на всероссийских конференциях, научных семинарах и научно-практических конференциях. В том числе: на Всеросийской научно-практической конференции «Решетневские чтения» (Красноярск, 2004), на 48-й научно-технической конференции преподавателей, аспирантов и студентов Красноярского государственного технического университета (Красноярск, 2006), на Пленарном заседании Второй Всероссийской конференции «Молодежь и наука: начало 21-го века», посвященной 50-летию КГТУ (Красноярск, 2006), на 5-й, 6-й и 7-й Всероссийских научно-практических конференциях «Актуальные проблемы экономики, информатики и права» (Красноярск, 2005-2007).

Публикации. По теме диссертации опубликовано 16 печатных работ. Полный список публикаций представлен в конце автореферата.

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

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

Выводы по разделу 4.

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

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

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

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

ЗАКЛЮЧЕНИЕ

1. Выполненый анализ существующих подходов к организации транзакционной обработки данных в распределенных ИС позволил выявить класс многоверсионных транзакций, которые по сравнению с одноверсионными транзакциями обеспечивают более высокий уровень целостности и востанавления данных в случае отказа/сбоя системы.

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

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

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

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

6. Предложена реализация программно-алгоритмической поддержки анализа транзакционной надежности путем интеграции в корпоративную ИС - Microsoft Business Solutions - Axapta, обеспечивающая за счет уменьшения вероятности сбоя в соответствующих входных диапазонах данных, требуемый коэффициент готовности системы.

Разработанное программное обеспечение прошло регистрацию в ОФАП и апробировано при реализации модельного прототипа системы обработки и хранения информации. При этом показана достаточная степень адекватности расчетных параметров по сравнению с реальными показателями. Результаты апробации подтвердили эффективность и универсальность разработанной системы анализа транзакционной надежности распределенных ИС.

Список литературы диссертационного исследования кандидат технических наук Гражданцев, Евгений Викторович, 2008 год

1. Бойко В.В., Савинков В.М. Проектирование баз данных информационных систем. М.: Финансы и статистика, 1989.

2. Боуман Д., Эмерсон С., Дарновски М. Практическое руководство по SQL. Киев: Диалектика, 1997.

3. Брой М. Информатика. Часть 2. М.: Диалог-МИФИ, 1996.

4. Брой М. Информатика, Часть 3. М.: Диалог-МИФИ, 1996.

5. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++. М.: Издательство Бином, 2006.

6. Васкевич Д. Стратегии клиент/сервер. Киев: Диалектика, 2001.

7. Гаврилов Е.С., Ковалёв И.В., Царёв Р.Ю., Слободин М.Ю. Программная система «Real-Time System Analyzer ver. 1.0» (Система оценки архитектурной надёжности телекоммуникационных систем реального времени). М.: ВНТИЦ, 2005. - № 50200500696, Per. № ОФАП 4749.

8. Гаврилов Е.С., Ковалёв И.В., Антамошкин O.A., Русаков М.А. Диалоговая система оценки надёжности архитектуры программного обеспечения (Rapid Reliability ArchitecEstimator ver. 1.0)- M.: ВНТИЦ, 2005. № 50200500525, Per. № ОФАП 4623.

9. Гилуа М.М. Множественная модель данных в информационных системах. М.: Наука, 1998.

10. Голосов А.О. Аномалии в реляционных базах данных //СУБД. 1996. - №3. - С.23-28.

11. Грабер М. Введение в SQL. М.: Лори, 2001.-379 с.

12. Грабер М. Справочное руководство по SQL. М.: Лори, 2004. - 291 с.

13. Гражданцев, Е.В. Оптимизация настроек систем управления базами данных / Е.В. Гражданцев, С.Н. Ежеманская, И.В.Ковалев, A.B. Прокопенко, Р.Ю. Царев // Программные продукты и системы.- 2008.- № 2.- С. 54-56.

14. Гражданцев, Е.В. Анализ пользовательских транзакций в распределенных информационно-управляющих системах / Е.В. Гражданцев, М.В. Карасева, В.В. Брезицкая // Вестник СибГАУ.- 2008.- № 3(20).- С. 85-89.

15. Гражданцев, Е.В. Практическая реализация надежностного анализа архитектуры программной системы / Е.В. Гражданцев, М.А. Русаков, О.И. Завьялова, Р.Ю. Царев // Вестник СибГАУ.- 2008.- № 1(18).- С. 37-40.

16. Гражданцев, Е.В. Программный модуль анализа транзакционной надежности распределенных систем обработки информации и управления / Е.В. Гражданцев //Вестник НИИ СУВПТ.- 2007.- Вып. 25,- С. 118-121.

17. Гражданцев, Е.В. Система модельно-алгоритмической поддержки анализа транзакционной надежности / Е.В. Гражданцев, В.В. Брезицкая, H.A. Распопин // Инновации в науке и образовании. №8 2008. С. 28.

18. Гражданцев, Е.В. Система повышения транзакционной надежности / Е.В. Гражданцев, В.В. Брезицкая, H.A. Распопин // Инновации в науке и образовании. №8 2008. С. 28-29.

19. Гражданцев, Е.В. Транзакционная структура модели управления технологическими процессами / Е.В. Гражданцев, A.B. Лосев, О.В. Богданова // Вестник НИИ СУВПТ.- 2007.- Вып. 25.- С. 39-42.

20. Гражданцев, Е.В. Многоверсионный подход к анализу и оптимизации систем баз данных / Е.В. Гражданцев // Актуальные проблемы экономики,права и информационных технологий. Сборник научных статей. Красноярск: КФ МЭСИ, 2006, Часть 3. С. 227-231.

21. Гражданцев, Е.В. Многоверсионная защита баз данных на физическом уровне / Е.В. Гражданцев // Актуальные проблемы экономики, права и информационных технологий. Сборник научных статей. Красноярск: КФ МЭСИ, 2006, Часть 3. С. 267-271.

22. Гражданцев, Е.В. Обеспечение защиты данных БД / Е.В. Гражданцев // Актуальные проблемы экономики, права и информационных технологий. Сборник научных статей. Красноярск: КФ МЭСИ, 2007, Часть 3. С. 372379.

23. Гражданцев, Е.В. Управление качеством при моделировании БД биллинговых систем / Е.В. Гражданцев // Актуальные проблемы экономики, права и информационных технологий. Сборник научных статей. Красноярск: КФ МЭСИ, 2005, Часть 3. С. 381-384.

24. Дейт К. Введение в системы баз данных // 6-издание. Киев: Диалектика, 2003. - 784 с.

25. Диго С.М. Проектирование и использование баз данных. М.: Финансы и статистика, 2001. - 208 с.

26. Злуф М.М. Query-by-Example: язык баз данных // СУБД. 2006. - №3. - С.149-160.

27. Кириллов В.В. Структуризованный язык запросов (SQL). СПб.: ИТМО, 2001. - 80 с.

28. Кузнецов С.Д. Введение в системы управления базами данных //СУБД. 1995. - №1,2,3,4, 1996. - №1,2,3,4,5.

29. Кузнецов С.Д. Стандарты языка реляционных баз данных SQL: краткий обзор //СУБД. 1999. - №2. - С.6-36.

30. Кузнецов С.Д. Операционные системы для управления базами данных //СУБД. 2003. - №3. - С.95-102.

31. Ладыженский Г.М. Системы управления базами данных коротко о главном //СУБД. - 2005. - №1,2,3,4.

32. Мартин Д. Планирование развития автоматизированных систем. М.: Финансы и статистика, 2000. - 196 с.

33. Мейер М. Теория реляционных баз данных. М.: Мир, 1997. - 608 с.

34. Оззу М.Т., Валдуриз П. Распределенные и параллельные системы баз данных //СУБД. 1996. - №4. - С.4-26.

35. Пржиялковский В. В. Абстракции в проектировании БД // СУБД. -1998.-№1.-С.90-97.

36. Прохоров А., Определение оптимальной структуры базы данных // Informix magazine. Русское издание. 1998. - Апрель.

37. Рузинкевич М., Цикоцки А. Определение и выполнение потоков транзакций//СУБД, 1995. N2. 106-115. N4. 58-68.

38. Смит Д.М., Смит Д.К. Абстракции баз данных: агрегация и обобщение//СУБД, 1996. N2. 141-160.

39. Ульман Д. Основы систем баз данных. М.: Финансы и статистика, 1983.-334 с.

40. Философский словарь / Под ред. И.Т. Фролова. М.: Политиздат, 1980.

41. Хомяков Д.М., Хомяков П.М. Основы системного анализа. М.: Изд-во механико-математического факультета МГУ, 1996.

42. Царёв Р.Ю., Семенько Т.П., Гаврилов Е.С. Информатика и вычислительная техника. Модели формирования и алгоритмыраспределённой обработки информации и управления: Учеб. пособие. Красноярск: ИПЦ КГТУ, 2005. 240с.

43. Чаудхари С. Методы оптимизации запросов в реляционных системах //СУБД. 1998. - №3. - С.22-36.

44. Чен П. Модель "сущность-связь" шаг к единому представлению о данных //СУБД. - 1995. - №3. - С.137-158.

45. Abowd G., Allen R., Gralan D. Formalizing style to understand descriptions of software architecture. Technical Report CMU-CS-95-111. Pittsburgh, 1999.

46. Allen R.J. A formal approach to software architecture: Thesis, Pittsburgh, 2001.

47. ANSI X3.135-1992, American National Standart for Information Systems Database Language - SQL, November, 2001.

48. Astrahan M.M., System R: A Relational Approach to Data Base Management //ACM Transactions on Data Base Systems. 1996. - VI, 97, June.

49. Bachmann F., Bass L., Chastek G., Donohoe P., Peruzzi F. The architecture based design method. Technical Report CMU/SEI-2000-TR-001, ESC-TR-2000-001. Pittsburgh, 2000.

50. Bass L., Clements P., Kazman R. Software architecture in practice. Reading: Addison Wesley, 1998.

51. Biliris A., Bar S., Gehani N., Jagadish H.V., Ramamritham K. ASSET: A system for supporting extended transactions // Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, pp. 44-54. Minneapolis, Minnesota, 1994.

52. Booch C., Rumbaugh J., Jacobson I. The unified modeling language user guide. Reading: Addison Wesley, 1999.

53. Budgen D. Software design. Reading: Addison-Wesley, 1994.

54. Chrysanthis P., Ramamritham K. ACTA : A framework for specifying and reasoning about transaction structure and behavior // Proceedings of the 1995

55. ACM SIGMOD International Conference on Management of Data, pp. 194-203. Atlantic City, 1995.

56. Clements P.C., Northrop L.M. Software architecture: an executive overview. Technical Report CMU/SEI-96-TR-003, ESC-TR-96-003. Pittsburgh, 1996.

57. Common Business Object and Business Object Facility. OMG TC Document CF/96-01-04.

58. Edwards J., Devoe D. 3-tier client/server at work. New Work: Wiley Computer Publishing, 1997.

59. Egyed A. Integrated architectural views in UML. Technical Report USC/CSE-99-TR-514. Los Angeles, 1999.

60. Eswaran K.P., Gray J.N., Lorie R.A., Traiger I.L. The Notions of Consistency and Predicate Locks in a Data Base System //CACM. 1996. - V.19, №11.

61. Fagin R. Multivalued Dependencies and New Normal Form for Relational Databases //ACM TODS. 1997. - V.2, №3.

62. Fowler M., Scott K. UML distilled applying the standard object modeling language. Reading: Addison Wesley, 1997.

63. Gacek C. Detecting architectural mismatches during systems composition: Thesis. Los Angeles, 1998

64. Gamma E., Helm R., Johnson R., Vlisssides J. Design patterns: elements of reusable object-oriented software. Reading: Addison Wesley, 1995.

65. Garlan D., Shaw M. An introduction to software architecture // Advances in Software Engineering and Knowledge Engineering. Vol. 2, pp. 1—39. Singapore: World Scientific Publishing Company, 1993.

66. Garlan D., Monroe R., Wile D. Acme: an architecture description interchange language // Proceeding of CAS-CON'97, pp. 169-183. Toronto, 1997.

67. Gollofello J.S. Introduction to software verification and validation. SE Curriculum Module SEI-CM-13-1.1. Pittsburgh, 1988.

68. Gray J., Lorie R., Putzolu G., Traiger I. Granularity of Locks and Degrees of Consistency in a Shared Data Base //in Readings in Database Systems, Second Edition, Chapter 3, Michael Stonebraker, Ed., Morgan Kaufmann. 1994.

69. Held G.D., Stonebraker M.R., Wong E. INGRES: A Relational Data Base System //Proceedings of AFIPS National Computer Conference, Anaheim, CA, May. 1975.

70. Hoque R. CORBA 3 developer's guide. Foster City: IDG Books Worldwide, 1998.

71. Jacobson I., Booch C., Rumbaugh J. The unified software development process. Reading: Addison Wesley, 1999.

72. Kruchten P. The Rational unified process: an introduction. Reading: Addison Wesley, 1999.

73. Kruchten P. The 4+1 view model of architecture // IEEE Software. 1995. 12, N6. 42-50.

74. Medvidovic N. A classification and comparison framework for software architecture description languages. Technical Report UCI-ICS-97-02. Irvine, 1996.

75. Meiton J., Simon A.R. Understanding The New SQL: A Comlete Guide // Morgan Kaufmann. 1993.

76. Moriconi M., Qian X., Riemenschneider R. Correct architecture refinement // IEEE Transactions on Software Engineering. 1995. 21, N 4. 356-372.

77. Morris G.R., Ferguson G.H. How architecture wins technology wars // Harvard Business Review. 1993. 86-96.

78. Moss J.E.B. Nested transactions: an approach to reliable computing. Cambridge: MIT Press, 1985.

79. Murphy G.C., Notkin D., Sullivan K. Software reflexion models: bridging the gap between source and high-level models // Proceedings of the Third ACM SIGSOFT Symposium on the Foundations, pp. 18-28. Washington, 1995.

80. OMG Unified Modeling Language Specification. Version 1.3. June 1999.

81. Orfali R., Harkey D. Client/server programming with Java and CORBA. New York: John Wiley & Sons, 1998.

82. Orfali R., Harkey D., Edwards J. The essential distributed objects. New York: Wiley Computer Publishing, 1996.

83. Perry D.E., Wolf A.L. Foundations for the study of software architecture // ACM SIGSOFT Software Engineering Notes. 1992. 17, N 4. 40-52.

84. Robbins J.E., Medvidovic N., Redmiles D.F., Rosenblum D.S. Integrated architecture description languages with a standard design method. University of California, Irvine, 1997.

85. Shaw M., Garlan D. Software architecture. London: Prentice-Hall, 1996.

86. Shaw M., Garlan D. Formulations and formalisms in software architecture // Computer Science Today. 1995. N 1000. 307-323.

87. Spencer D. Webster's new world dictionary of computer terms. New York: Prentice Hall, 1993.

88. Vaskevitch D. Client/server strategies. A survival guide for corporate reengineers. Foster City: IDG Books Worldwide, 1995.

89. What is software architecture? URL: http://www.sei.cmu.edu/architecture/definitions.html, Carnegie-Mellon University.

90. Wermelinger M. Specification, testing and analysis of (dynamic) software architecture with the chemical abstract machine. Departamento de Infomatica, Universidade Nova de Lisboa, Portugal, 1998.

91. Zloof M.M. Query By Example //Proceedings of AFIPS National Computer Conference, Anaheim, CA, May. 1975.