ТРПО_теория / Lect_trpo / lavrishcheva_petrukhin

5. Определение механизмов композиции (вызовов процедур, методов, сцеплений) функциональных модулей многоразового применения и аспектов в точках их

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

7.Анализ библиотеки расширений для выбора некоторых функциональных модулей, необходимых для реализации задач домена.

8.Компиляция, отладка модулей и аспектов, а также композиция их в прикладную программу.

Для эффективной реализации аспектов разработаны ІР–библиотека расширений, активные библиотеки, Smalltalk и ЯП, расширенные средствами описания аспектов.

В ІР–библиотеке размещены некоторые функции компиляторов, методов, средства оптимизации, редактирования, отображения. и др. Например, библиотека матриц, с помощью которой вычисляются выражения с массивами, обеспечивается скорость выполнения, предоставления памяти и т.п.[21]. Использование таких библиотек в расширенных средах программирования называют родовым программированием, а решение проблем экономии, перестройки компиляторов под каждое новое языковое расширение, использование шаблонов и результатов предыдущей обработкой относят к области ментального программирования [22].

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

Иной вид библиотек АОП – активные библиотеки, которые содержат не только базовый код реализации понятий ПрО, но и целевой код обеспечения компиляции, оптимизации, адаптации, визуализацию и редактирование.

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

5.1.6. Генерирующее (порождающее) программирование

Порождающее программирование (generatе programming) основана на генерации и моделировании групп или отдельных элементов ПС из разных продуктов программирования: объектов, компонентов, аспектов, сервисов, ПИК, систем, характеристик, каркасов и т.п. Базисом этого программирования является ООП, дополненное механизмами применения ПИК, а также свойствами изменчивости, взаимодействия, синхронизации и др. [22].

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

121

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

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

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

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

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

Целью порождающего программирования является разработка правильных компонентов для целого семейства и автоматическое их предоставление другим членам семейства. Реализации этой цели соответствует два сформировавшихся направления использования ПИК[13–15]:

1)прикладная инженерия – процесс производства конкретных ПС из ПИК, созданных ранее в среде самостоятельных ПС, или как отдельных элементов процесса инженерии некоторой ПрО.

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

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

122

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

Основными этапами инженерии ПрО являются:

–анализ ПрО и выявление объектов и отношений между ними;

–определение области действий объектов ПрО;

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

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

–подбор и подготовка компонентов многократного применения, описание аспектов выполнения задач ПрО;

–генерация отдельного домена, члена семейства и ПС в целом.

–корректировка процессов для разработки решений на основе ПИК;

–моделирование изменчивости и зависимостей, которое начинается с разработки словаря описания различных понятий, фиксации их в модели характеристик и в справочной информации сведений об изменчивости моделей (объектных, Use Case, взаимодействия и др.). Фиксация зависимостей между характеристиками модели избавляет пользователей от некоторых конфигурационных манипуляций, которые выполняются, как правило, вручную;

–разработка инфраструктуры ПИК – описание, хранение, поиск, оценивание и объединение готовых ПИК.

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

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

Инженерия ПрО включает разработку моделей групп систем, моделирование понятий

К горизонтальным типам компонентов отнесены общие системные средства, а именно, графические пользовательские интерфейсы, СУБД, системные программы, библиотеки расчета матриц, контейнеры, каркасы и т.п. К вертикальным типам компонентов

123

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

Пространство решений (speace solution) состоит из компонентов, каркасов, образцов проектирования, а также средств их соединения и оценки избыточности. Эти элементы обеспечивают решение задач ПрО. Так, каркас оснащен аппаратом обеспечения изменения параметров модели, требующих лишнюю фрагментацию из «множества мелких методов и классов». Образцы проектирования обеспечивают создание многократно используемых решений в различных типах ПС. Для задания и реализации таких аспектов, как синхронизация, удаленное взаимодействие, защита данных и т.д. применяются технологии ActiveX и JavaBeans, а также новые механизмы композиции, метапрограммирования и др.

Примером систем поддержки инженерии ПрО и реализации горизонтальных методов является система DEMRAL [22, 16], предназначенная для разработки библиотек: численного анализа, контейнеров, распознавания речи, графовых вычислений и т.д. Основными видами абстракций этих библиотек ПрО являются абстрактные типы данных (abstract data types– ADT) и алгоритмы. DEMRAL позволяет моделировать характеристики ПрО в виде высокоуровневой характеристической модели и предметно–ориентированных языков конфигурирования.

Система конструирования RSEB [22] базируется на вертикальных методах, ПИК и ориентирована на использование Use Case элементов при проектировании крупных ПС. Эффект достигается, когда вертикальные методы инженерии ПрО «вызывают» различные горизонтальные методы, относящиеся к разным прикладным подсистемам. При работе над отдельной частью семейства системы могут быть задействованы такие основные аспекты — взаимодействие, структуры, потоки данных и др. Главную роль, как правило, выполняет один из методов, например, графический пользовательский интерфейс в бизнес–приложениях и метод взаимодействия компонентов в распределенной, открытой среде (например, в CORBA).

124

5.1.7 Агентное программирование

Понятие интеллектуального и программного агента появилось более 20 лет назад, их роль в программной инженерии все время возрастает [25-–29]. Так, в [30] Джекобсон

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

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

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

Агент может обладать такими свойствами:

–автономность – это. способность действовать без внешнего управляющего воздействия;

–реактивность – это способность реагировать на изменения данных и среды, и воспринимать их;

–активность – это способность ставить цели и выполнять заданные действия для достижения этой цели;

–социальность – это способность к взаимодействию с другими агентами (или людьми).

В задачи программного агента входят:

–самостоятельная работа и контроль своих действий;

–взаимодействие с другими агентами;

–изменение поведения в зависимости от состояния внешней среды;

–выдача достоверной информации о выполнении заданной функции и т.п.

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

Агенты могут быть локальными и распределенными. Процессы локальных агентов протекают в клиентских серверах сети, выполняют заданные функции и не влияют на общее состояние среды функционирования. Распределенные агенты, расположенные в разных узлах сети, выполняют автономно (параллельно, синхронно, асинхронно) предназначенные им функции и могут влиять на общее состояние среды. В обоих случаях характер взаимодействия между агентами зависит от таких факторов: совместимость целей, компетентность, не стандартные ситуации т.п. [27] (рис.5.5).

125

Основу агентно–ориентированного программирования составляют:

– формальный язык описания ментального состояния агентов;

– язык спецификации информационных, временных, мотивационных и функциональных действий агента в среде функционирования;

–язык интерпретации спецификаций агента;

–инструменты конвертирования любых программ в соответствующие агентные программы.

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

–взаимозависимостью целей других агентов–членов коалиции, а также от возможного влияния агентов друг на друга;

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

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

Главным средством коммуникации агентов является транспортный протокол ТСР/IP или протокол агентов ACL (Agent Communication Languages). Управления агентами (Agent Management) выполняется с помощью таких сервисов: передача сообщений между агентами, доступ агента к серверу и т.п.

Коммуникация агентов базируется на общем протоколе, языке HTML и декларативном или процедурном (Java, Telescript, ACL и т.п.) языке описания этого протокола.

126

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

5.2. Методы теоретического программирования

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

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

К настоящему времени разработаны теоретические методы с участием украинских ученых для теоретического представления ключевых проблем программирования – алгебраическое программирование (Летичевский А.А. и др.) [31–34];

Экспликативное программирование (Редько В.Н.) определяет теорию дескриптивных и декларативных программных формализмов для адекватного задания моделей структур данных, программ и средств их конструирования. Создана программология – наука о программах, которая объединяет идеи логики, конструктивной математики и информатики и на единой концептуальной основе предоставляет общий формальный аппарат конструирования программ [35–39].

Алгебра алгоритмики (Цейтлин Г.Е.) обеспечивает построение алгоритмов в виде схем, задаваемых графами, элементами которых являются конструкции, производные от структурных конструкций. К операциям алгебры относится суперпозиция, свертка, развертка, а также операции над множествами [40–42].

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

127

5.2.1. Алгебраическое программирование (АП)

АП обеспечивает описание процессов конструирования программ, алгебраические преобразования, доказательство математических теорем и создание интеллектуальных агентов с помощью математиского аппарата, в качестве которого используется понятие транзитивной системы [31–34].

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

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

Расширением понятия транзитивных систем является множество заключительных состояний с успешным завершением функционирования системы и без неопределенных состояний. Главным инвариантом состояния транзитивной системы является поведение системы, которое можно задать выражениями алгебры поведения F(A) на множестве операций алгебры А, а именно две операции префиксинга a u, задающие поведение u на операции а, недетерминированный выбор u+v одной из двух поведений u и v, который является ассоциативным и коммутативным. Конечное поведение задается константами: , , 0, обозначающими соответственно состояние успешного завершения, неопределенного и тупикового состояния.

Алгебра поведения частично задается отношением ≤, для которого элемент является наименьшим, а операции алгебры поведения – монотонными. Теоретически алгебра поведения F(A) проверена путем доказательства теоремы про наименьшую неподвижную точку.

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

поведений определяются новые операции, которые используются для построения программ агентов. К ним относятся операции: последовательная композиция (u; v) и параллельная композиция u//v.

Среда Е, где находится объект, определяется как агент в алгебре действий А и функции погружения от двух аргументов Ins(e, u) = e[u]. Первый аргумент – это поведение среды, второй – поведение агента, который погружается в эту среду в заданном состоянии. Алгебра агента – это параметр среды. Значения функций погружения – это новое состояние одной и той же среды.

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

128

понятием является “действие”, которое трансформирует состояние агентов, поведение которых, в конце концов, изменяется.

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

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

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

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

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

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

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

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

129

функционирования. АП является основой формирования нового вида программирования – инсерционного, обеспечивающего программирование систем на основе моделей поведения агентов, транзитивных систем и бисимуляционной эквивалентности [14].

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

5. 2.2. Экспликативное программирование (ЭП)

ЭП ориентировано на разработку теории дескриптивных и декларативных программных формализмов, адекватных моделям структур данных, программ и средств конструирования из них программ [35–39]. Для этих структур решены проблемы существования, единства и эффективности. Теоретическую основу ЭП составляет логика, конструктивная математика, информатика, композиционное программирование и классическая теории алгоритмов. Для изображения алгоритмов программ используются разные алгоритмические языки и методы программирования: функциональное, логическое, структурное, денотационное и др.

К принципам ЭП относятся.

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

–принцип прагматичности или полезности определения понятия программы выполняется с точки зрения понятия "проблема" и ориентирован на решение задач пользователя.

–принцип адекватности ориентирован на абстрактное построение программ и решение проблемы с учетом информационности данных и апликативности, т.е.

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

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

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

Таким образом, процесс развития программы осуществляется в виде цепочки понятий: данные – функция – имя функции – композиция – дескрипция. Понятия "данные – функция – композиция" задают семантический аспект программы, а "данные – имя функции – дескрипция" – синтаксический аспект. Главным в ЭП является семантический аспект, система композиций и номинативности (КНС), ориентированные на систематическое изучение номинативных отношений при построении данных, функций, композиций и дескрипций [36].

130