Андон Ф.И., Коваль Г.И., Коротун Т.М., Лаврищева Е.М., Суслов В.Ю. Основы инженерии качества программных систем

Подождите немного. Документ загружается.

104 Глава 2

Web-сервисы - это новая перспективная архитектура, обеспечивающая рас-

пределенность на новом уровне [36-38]. Вместо покупки компонентов и их встраи-

вания в приложение предлагается покупать время их работы и формировать при-

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

держиваемых независимыми владельцами. Благодаря Web-сервисам функции лю-

бой программы в сети могут стать доступными через Интернет, а результаты обра-

щениям к ним использоваться PHP-, ASP-, JSP-скриптами, JavaBeans, COM-

объектами или другими средствами программирования. Простейший пример Web-

сервиса - система Passport на Hotmail, позволяющая внедрить аутентификацию

пользователей на собственном сайте.

В основе Web-сервисов лежат стандарты, открытые протоколы обмена и

передачи данных и такой порядок действий:

• лицо, ответственное за Web-сервис, определяет формат запросов к сво-

ему Web-сервису и его ответов;

• любой компьютер в сети делает запрос к Web-сервису;

• Web-сервис обрабатывает запрос, выполняет какое-либо действие, а затем

отправляет ответ.

Разница между Web-сервисами и другими технологиями (например, DCOM,

именованные каналы - named pipes, RMI) состоит в том, что они основаны на от-

крытых стандартах, которые широко поддерживаются на всех платформах Unix и

Windows.

Формат запросов к Web-сервисам определяет стандартный протокол Simple

Object Access Protocol (SOAP), разработанный W3C (www.w3.org). Сообщения ме-

жду Web-сервисом и его пользователем пакуются в SOAP-конверты (SOAP

envelopes). Сообщения содержат либо запрос на осуществление какого-либо дейст-

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

кодируются в языке XML и отправляются через HTPP к Web-сервису.

Проблема применения Web-сервисов состоит в том, чтобы их найти. В не-

давнее время IBM, Microsoft и компания Ariba выступили с инициативным проек-

том системы Universal Description, Discovery and Integration (UDDI), которая при-

звана обеспечить ведение общего каталога всех Web-сервисов в Web-

пространстве, предоставляя всем компаниям возможность бесплатно «опублико-

вать» (зарегистрировать) свой Web-сервис. Этот каталог работает как телефонная

книга всех Web-сервисов.

Чтобы найти нужный Web-сервис достаточно обратиться на сайт

http://www.uddi.org/, запустить поиск и получить описание сервисов. Определения

форматов Web-сервисов представлены на легко читаемом языке WSDL (Web

Services Description Language). Если необходимый Web-сервис найден, нужно уз-

нать у компании, которая его предоставляет, цену на доступ к сервису, и, если она

приемлема для бюджета, написать JSP-страницу для своего сайта с обращением к

запрашиваемому Web-сервису.

Для создания Web-сервисов могут использоваться такие инструменты, как

Open Net (компании Sun), .NET (Microsoft), e-services (HP) и Web Services (IBM).

Существуют также инструменты с открытыми исходными кодами (open source

frameworks), например, проекта Mono Project (www.go-mono.com), предоставляю-

щего систему компиляции, исполнения кода и библиотек для работы одних и тех

же Web-сервисов на всех платформах, включая Unix.

Глава 2 105

Очевидно, что при реальном использовании сервисно-ориентированной ар-

хитектуры (основанной на протоколе SOAP, языке XML и системе UDDI) неизбеж-

но возникнут вопросы надежности приложений, использующих много «промежу-

точных» звеньев в Интернет (не говоря уже о больших объемах тегов XML, про-

блемах лицензирования и взимания платежей). Наиболее вероятными ее «почита-

телями» будут не столько системы управления большим и сложными объектами,

сколько различные информационные системы.

Аспектно-ориентированное программирование (АОП). Многие из сущест-

вующих парадигм и языков программирования, включая объектно-

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

ционных и композиционных механизмах и процедурах, в основе которых – функ-

циональная декомпозиция. Каждая структурная единица (включая компонент) сис-

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

мент (свойство) общей системы [39, 40]. Этот элемент хорошо локализован, легко

доступен и, при необходимости, может быть сопоставлен с другими. Однако, не

функциональные свойства системы, как, например, реакция на ошибки (их обработ-

ка и выдача диагностических сообщений), обеспечение доступа к памяти (динами-

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

др., обычно «рассеиваются» по всем элементам системы, «пересекая» структуру

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

тот или иной нефункциональный аспект системы, предложены аспектные языки, а

стиль программирования с использованием совместно как языков описания компо-

нентов, так и языков описания аспектов, назван аспектно-ориентированным.

Цель аспектно-ориентированного программирования (aspect-oriented pro-

gramming) – инструментальная поддержка программиста в четком разделении ком-

понентов и аспектов с помощью предоставления механизма, позволяющего абстра-

гировать и составлять их (компоненты и аспекты) для разработки общей системы.

Реализация приложений, включающих компоненты и аспекты, обеспечивает-

ся следующим:

компонентным языком, с помощью которого создаются компоненты,

одним или несколькими аспектными языками, с помощью которых реализу-

ются аспекты,

компоновщиком (weaver) аспектов для комбинации языков и интеграции при-

ложения. Компоновка (вплетение аспектов) в систему может производиться либо

во время выполнения (runtime weaving) или во время компиляции (compile time

weaving).

В АОП, как парадигме, принято рассматривать следующие важнейшие сущ-

ности, которые определяются в модели встраивания аспекта в систему (JPM, от

Join Point model):

Точка присоединения — однозначно определяемое место в программе,

Срез — набор точек присоединения, удовлетворяющий заданному правилу,

Фрагмент вставки — набор инструкций языка программирования, который

интегрируется во все точки заданного среза,

Аспект — пара: правило, задающее срез, и фрагмент, подлежащий вставке в

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

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

106 Глава 2

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

(связанных с безопасностью, обработкой ошибок и т. п.).

Представление — формализованное правило изменения структуры класса.

Парадигма АОП призвана прийти на смену объектно-ориентированному и

компонентному программированию и способствовать существенному повышению

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

радигмовую концепцию программирования, сущность которой состоит в том, что

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

программирования.

В настоящее время существует несколько реализаций аспектно-

ориентированного программирования, наиболее известная из которых разработка

центра Xerox PARC – AspectJ (www.aspectj.org), поддерживающая АОП в рамках

языка Java. Новый релиз AspectJ 1.1 встраивается в такие системы разработки, как

Eclipse, Sun ONE Studio и Borland JBuilder. Другой исследовательский центр —

IBM Research — выпустил версию HyperJ (www.alphaworks.ibm.com/tech/hyperj) и

систему Cosmos (www.research.ibm.com/AEM/mdsoc.html) с гипертекстовой под-

держкой построения требований и диаграмм. Помимо Java новая парадигма АОП

поддерживается и в других языках, таких как Си, Си++, Squeak/Smalltalk, Perl,

Python, Ruby [41]. Идеи АОП продолжают развиваться в компании Intentional

Software идеологами этой парадигмы Грегором Кишалесом и Чарльзом Саймони.

АОП тесно связано с ментальным программированием (intentional

programming), генерирующим (порождающим, трансформационным) программиро-

ванием (generative programming, transformational programming).

Контекстно-ориентированное программирование (то же, что и аспектно-

ориентированное программирование). Суть контекстно-ориетированного програм-

мирования (context-oriented programming) состоит в применении аспектов, которые,

действуя на систему, изменяют ее поведение, причем код аспекта модифицируется

в зависимости от контекста, в котором он применяется. Модификация может быть

выполнена средствами метапрограммирования. Таким образом, можно рассматри-

вать идеи, заложенные в АОП, как средство структуризации идей метапрограмми-

рования, а само АОП – как одно из его возможных проявлений [42].

Для эффективной реализации аспектов в разных контекстах их применения

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

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

оптимизации, редактирования, визуализации понятий, перестройки компонентов

компиляторов под новое языковое расширение, средства программирования на ос-

нове шаблонов и т.п. Библиотеки с такими возможностями получили название биб-

лиотек генерирующего типа. Пример - библиотека матриц, предоставляющая сред-

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

ем таких библиотек относится к разряду стилей обобщенного (родового) програм-

мирования (generic programming).

Генерирующее (порождающее) программирование. На современном этапе

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

пов программных компонентов очень широк (от утилит для мэйнфреймов до Web-

сервисов). Построение из них программных систем с нужными свойствами требует

решения задач классификации и типизации, идентификации архитектуры, специ-

фикации функций и интерфейсов, хранения, поиска, выбора, адаптации, интегра-

Глава 2 107

ции (конфигурирования) и, наконец, собственно генерации ПС. Существующие ме-

тоды разработки таких ПС не предполагают автоматизации. Их автоматизирован-

ное построение возможно в рамках новой парадигмы в программной инженерии –

генерирующее (порождающее) программирование (generative programming) [43].

Генерирующее программирование – парадигма программной инженерии, в

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

метной области (domain engineering) и инженерия приложений (application engi-

neering), то есть, сочетание разработки программных компонентов для обеспечения

их повторного использования и последующей разработки ПС с применением по-

вторно используемых компонентов. Главным элементом программирования в этой

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

используемых компонентов для конкретных применений, а семейство (линейка)

продуктов (product line). Элементы семейства не создаются с нуля, а генерируются

на основе общей генерирующей модели ПрО (generative domain model) - модели се-

мейства.

Инженерия ПрО (доменная инженерия) включает:

– анализ домена:

- определение границ домена и его связей с другими доменами;

- выявление и формальное описание общностей и отличительных осо-

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

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

ных требований к его компонентам (объектам, аспектам), в совокупности покры-

вающих все требования к ПС;

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

- формирование терминологических словарей для описания основных

понятий в домене и взаимосвязей между его активами;

- оценка моделей и словарей домена в соответствии с выбранной мето-

дологией моделирования;

– архитектурное проектирование домена:

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

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

зация компонентов. К «горизонтальным» относят общие системные средства: гра-

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

расчета матриц, контейнеры, каркасы и т.п. К «вертикальным» - прикладные сис-

темы (медицинские, биологические, научные и т.д.), специализированные приклад-

ные методы инженерии предметных областей и др.;

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

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

бований.

Архитектура домена – высокоуровневый проект, в котором формально оп-

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

зации повторного использования компонентов с целью конструирования из них

программных продуктов. Архитектура домена подвергается оценке согласованно-

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

методологии архитектурного проектирования.

Применение процесса инженерии ПрО дает следующие очевидные пре-

имущества организации-разработчику: выигрыш в производительности труда при

108 Глава 2

создании ПС, повышение качества продуктов, ускоренный выпуск, снижение по-

требности в трудовых ресурсах.

Инженерия приложений подразумевает:

- разработку ПС по спецификации требований на базе повторно исполь-

зуемых компонентов и генерирующей модели домена, в результате чего генери-

руемая ПС приобретает все общие свойства своей платформы и наделяется специ-

фичными (требуемыми) свойствами;

- тестирование ПС.

Примером систем поддержки инженерии ПрО является система DEMRAL

(ориентированная на компоненты «горизонтального» типа: библиотеки численного

анализа, распознавания речи, графовых вычислений и т.д.) и RSEB (ориентирован-

ная на компоненты «вертикального» типа).

Агентно-ориентированное программирование. Интеллектуальный про-

граммный агент - сущность, способная формулировать цели, обучаться, планиро-

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

вах [44, 45]. Появление концепции агентов обусловлено существующим уровнем

информационных технологий и назревшей объективной необходимостью обработ-

ки больших объемов информации, распределенной в информационных сетях и по-

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

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

щий, как правило, больших затрат времени на выборку, анализ и отсеивание лиш-

ней информации.

Парадигма агентно-ориентированного программирования формировалась на

базе теории динамических систем, теории управления, когнитивной психологии

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

Проблема построения и использования агентов исследуется в рамках облас-

тей искусственного интеллекта и компьютерных наук. Под агентом, как правило,

понимают компьютерную программу, которой присущи следующие свойства:

– автономность – способность работать без внешних вмешательств и осу-

ществлять определенный контроль своих действий и состояний;

– социальная активность – способность сотрудничать с другими програм-

мами-агентами (и людьми), используя агентно-коммуникационные языки;

– реактивность – способность изменять свое поведение в зависимости от

состояния внешней среды;

– проактивность – умение не только решать текущую задачу поиска, но и

выбирать при этом потенциально полезную для пользователя информацию в своей

базе данных.

Интеллектуальность агента повышает наличие дополнительных свойств:

– убеждений – основанных на знании агента о текущем состоянии окруже-

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

– желаний – основанных на отношении агента к будущим состояниям ок-

ружения и предпочтении одного состояния над остальными, а также способности

различать несовместимые желания и не осуществимые желания;

– целей – рассматриваемых как подмножества непротиворечивых желаний

агента;

Глава 2 109

– намерений – образованных непротиворечивым подмножеством целей,

достижимых агентом при определенном ограничении ресурсов, и средствами их

достижения;

– мобильности – способности самостоятельно переходить с одной плат-

формы на другую.

В настоящее время большинство агентов жестко специализированы и не об-

ладают одновременно всеми вышеописанными свойствами.

Хотя существует множество подходов к классификации агентов, наиболее

устоявшейся является такая их классификация:

– по архитектуре построения агентов и их свойствам

- рассудительный агент - делающий выводы и обучающийся, имеющий

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

новых знаний,

- реагирующий (реактивный) агент - анализирующий пред- и пост- усло-

вия активации модулей, его составляющих, в ответ на изменения во внешнем ок-

ружении;

- гибридная архитектура – в которой одна из подсистем – рассудительная

(разрабатывает планы и принимает решения), другая – реагирующая (действует по

плану, реагирует на события);

– по функциональному назначению

- интерфейсные агенты, взаимодействующие с пользователями,

- задачные агенты, привлекаемые к решению определенных задач,

- информационные агенты, непосредственно работающие с источниками

данных;

– по способности к мобильности

- мобильные (распределенные) агенты, полностью автономные, способные

перемещаться от сервера к серверу в поисках информации и нести в себе информа-

цию о своем состоянии,

- стационарные (локальные) агенты, работающие на стороне клиента или

на стороне сервера.

Наиболее известные агентные архитектуры – PRS, JAM, TOURINMACHINE,

COSY, INTERRAP.

Отдельно разработанные агенты могут образовывать мультиагентную сис-

тему, взаимодействуя для достижения общих целей. В такой системе каждый агент

имеет представление об окружении (модель мира), о себе (ментальную модель) и

об агентах, с которыми он взаимодействует (социальная модель), знает цели - реак-

тивные (вызванные внешними событиями), собственные (локальные) и коопера-

тивные, а также условия собственного поведения в определенных ситуациях и ус-

ловия локального и совместного планирования действий.

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

– формальный язык описания системы моделей (ментальной, социальной);

– язык спецификации информационных, временных, мотивационных и

функциональных действий агента в среде работы;

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

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

агентные программы.

110 Глава 2

Спецификация агента уточняется, интерпретируется и компилируется в вы-

числительное представление агентной программы, пригодное для выполнения в

среде функционирования.

Способы и средства взаимодействия агентов определены как координация,

коммуникация, кооперация или коалиция.

Координация агентов – это процесс, с помощью которого агенты обеспечи-

вают последовательное функционирование при согласованности их поведения и без

взаимных конфликтов. Координация агентов определяется:

– взаимозависимостью целей всех агентов-членов коалиции, а также возмож-

ного влияния агентов друг на друга;

– ограничениями, которые принимаются для группы агентов коалиции в рам-

ках совместного функционирования;

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

использования.

Координационные механизмы основаны на соглашениях, которые определя-

ются с учетом стоимости и полезности (в терминах прибыли от установленного со-

глашения между агентами).

Главным средством коммуникации агентов является транспортный протокол

ТСР/IP. Однако он не достаточен для поддержки «социальности» агентов. Более

приемлем выработанный в рамках проекта FIPA стандарт языка передачи сообще-

ний - ACL (Agent Communication Language).

К первым коммерческим языкам программирования агентов относится

Telescript. На практике агент может быть реализован как компонент Java, COM-

объект, Lisp-программа или описание TCL. Для создания мультиагентных систем

могут использоваться языки APRIL и MAIL. Все современные инструментальные

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

лиотеки (например, JATLite – дополнительные библиотеки к языку Java) и среды

(например, AgentBuilder, среда, предоставляющая средства для организации муль-

тиагентной системы, средства спецификации архитектуры агента и поведения аген-

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

агентов).

С развитием глобальной компьютерной сети и ростом объемов информаци-

онных ресурсов Интернет роль интеллектуальных агентов и мультиагентных сис-

тем в организации эффективного поиска информации возрастает [46, 38].

Автоматное программирование. Это стиль программирования, основанный

на применении конечных автоматов для описания поведения программ. Автоматы

задаются графами переходов, для различения вершин в которых вводится понятие

кодирование состояний. Особенность автоматного программирования состоит в

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

реализации, отладке, документировании и сопровождении программ [47].

Программирование выполняется «через состояния», а не «через события и

переменные», что позволяет лучше понять и специфицировать задачу и ее состав-

ные части. Переход от графового представления к текстовому осуществляется

формально и изоморфно с применением конструкции switch (в языке С) или ее ана-

логов (в других языках). Поэтому стиль автоматного программирования часто на-

зывают «SWITCH-технологией».

Глава 2 111

В настоящее время этот стиль развивается в нескольких вариантах, разли-

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

которых осуществляется программирование. Известны, например, его варианты для

систем логического управления, в которых события отсутствуют, входные и вы-

ходные воздействия являются двоичными переменными, а операционная система

работает в режиме сканирования. Автоматный подход распространен и на собы-

тийные системы, называемые также реактивными. В них как входные воздействия

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

процедуры, а в качестве операционных систем — любые операционные системы

реального времени. Для программирования событийных систем с применением ав-

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

ния называется «программированием с явным выделением состояний». Известен

также подход, основанный на совместном использовании объектного и автоматного

стилей и называемый «объектно-ориентированное программирование с явным вы-

делением состояний».

В контексте обеспечения качества, очевидно, что применение автоматов про-

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

упрощает осуществление рефакторинга программы.

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

Наряду с парадигмами прикладного программирования ПС продолжают раз-

виваться и парадигмы теоретического программирования, в основе которых лежат

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

50]. Авторами украинской теоретической школы программирования, созданной

В.М. Глушковым, предложены новые парадигмы алгебраического, инсерционного,

композиционного, экспликативного программирования, и теоретические подходы в

решении ключевых проблем программирования.

Парадигма алгебраического программирования [51, 52] основывается на

теории переписывания термов. В этой парадигме термы представляют данные, а

системы переписывающих правил, выражаемых с помощью системы равенств, - ал-

горитмы вычислений. Элементарный шаг вычисления включает сопоставление с

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

правил и подтермов данного терма для сопоставления с левыми частями равенств

определяется стратегией переписывания. По существу, стратегия определяет ре-

зультат вычислений – терм – с точностью до эквивалентности исходному терму.

Собственно стратегия переписывания может быть описана в парадигме более низ-

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

димости интеграции парадигм [51]. В настоящее время идея интеграции парадигм

(процедурной, функциональной, алгебраической и логической) нашла воплощение

в системе алгебраического программирования (APS) [52], в которой используются

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

данных и знаний о предметных областях.

Инсерционное программирование обобщает взгляд на программу, как на ал-

гебраически определенное преобразование множества состояний информационной

среды, однако вместо пассивной среды (памяти) рассматривается активная инфор-

мационная среда, обладающая наблюдаемым поведением [53]. Преобразование по-

ведения этой среды происходит в результате воздействия на ее объекты взаимо-

действующих агентов. В основе инсерционного программирования – модель пове-

112 Глава 2

дения агентов в средах [54], базирующаяся на понятиях транзиционной системы

(основного стандарта в поведенческой теории взаимодействующих процессов) и

отношения бисимуляционной эквивалентности агентов относительно среды (со-

стояние агента отождествляется с его поведением). В отличие от агентного про-

граммирования, концентрирующего внимание, в большей степени, на проблемах

интеллектуализации агентов, инсерционное программирование охватывает пове-

денческие аспекты агентов.

Термин «инсерционное программирование» происходит от английского insert

– вставлять, помещать, погружать. Программа в этой парадигме рассматривается

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

дение по отношению к внешнему наблюдателю, а также другим агентам, погру-

жаемым в эту среду в дальнейшем. Написать инсерционную программу – значит

определить функцию погружения (закон функционирования среды с погруженны-

ми в нее агентами), а также начальное состояние среды и агента, погруженного в

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

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

функции погружения, используется система алгебраического программирования

АPS [55]. Инсерционная программа пишется на языке AL+ и имеет три уровня [56]:

1) описание поведения инициализированной многоуровневой среды с по-

груженными в нее агентами;

2) задание функции, определяющей отношения переходов агентов;

3) описание ядра функции погружения (функции развертывания погруже-

ний).

Инсерционными программами моделируются реальные системы с недетер-

минированным поведением агентов и сред. Реализация систем инсерционного про-

граммирования требует применения программ-симуляторов, а не интерпретаторов,

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

Наряду с новыми парадигмами программирования разрабатывается общая

теория программирования, программология, объединяющая идеи логики, конструк-

тивной математики и информатики, уточняющая понятия программы и програм-

мирования и на единой концептуальной основе предоставляющая общий формаль-

ный аппарат для конструирования программ [57-59]. В числе наиважнейших про-

граммных понятий и принципов выделяются понятие композиции и принцип компо-

зиционности, который трактует программы как функции, строящиеся из других

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

композиционности стал основным в композиционном программировании [60-62].

На основе композиционной экспликации (от explication-уточнение, разъяснение)

понятия программирования была развита логико-математическая система компози-

ционного построения программ, получившая в последствии название эксплика-

тивного программирования [63]. Экспликативное программирование интегрирует

в себе все наиболее существенные парадигмы (стили) программирования (струк-

турное, функциональное, объектно-ориентированное и др.) в рамках концептуально

единой экспликативной платформы, основу которой составляет три основных типа

объектов: собственно объекты, средства построения из одних объектов других

(функции) и программологические средства применения средств построения (ком-

позиции). Прагматически ориентированную конкретизацию экспликативного про-

Глава 2 113

граммирования (с выделенным эталонным ядром из совокупности композиций)

представляет собой эталонное программирование [64].

За рамками рассмотрения этого раздела осталось множество стилей програм-

мирования (часть из которых указана на рисунке 2.6). Отправной точкой для зна-

комства с ними могут послужить энциклопедии – Wikipedia и Википедия.

Литература к главе 2

1. Орлик Сергей. Программная инженерия. - http://www.almportal.ru/public/so/book/3-soft

ware_engineering.pdf

2. Jackson M. Software requirement & specifications.– Wokingham, England: Addison–Wesley,

ACM Press Books, 1995. –228 p.

3. ISO/IEC DTR 19759 Software Engineering -- Guide to the Software Engineering Body of

Knowledge– SWEBOK. - http://www.swebok.org/ironman/pdf/ SWEBOK_Guide_2004.pdf.

4. ACM/IEEE-CS. Software Engineering Code of Ethics and Professional Practice. -

http://www.acm.org/serving/se/code.htm

5. Software Engineering 2004: Curriculum Guidelines for Undergraduate Degree Programs in

Software Engineering.- http://sites.computer.org/ccse/SE2004Volume.pdf.

6. ABET – Criteria for According Computing Programs, 2002 (Сomputing Accreditation Com-

mission of the Accreditation Board for Engineering and Technology) –

http://www.abet.org/criteria.htm

7. Shaw M. Software Engineering Education: A Roadmap. The future of Software Engineering,

A finkkelstein, ed., ACM press, New York, 2000.

8. http://computer.org/education/cc2001 или http://se.math.spbu.ru/cc2001 (русский вариант).

9. Лаврищева Е.М. Проблематика программной инженерии // K.: Знання.–1991.– 19с.

10. Бабенко Л.П., Лаврищева Е.М. Основы программной инженерии. Учебник (укр. язык).

– Киев: Знання, 2001. – 269 с.

11. Майер Б. Программная инженерия как предмет обучения. Открытые системы. Июль-

август, 2001.–С.80–86.

12. Лаврищева Е.М. Пути стандартизации программной инженерии как специальности //

Материалы междун. научно–практ. конф. “Теория и практика стандартизации образо-

вания” часть 1. Минск, 18–19 янв. 2001г.– С. 8–13.

13. Соммервил И. Инженерия программного обеспечения. 6 -издание.–Москва–Санкт–

Петербург–Киев, 2002.– 623 с.

14. Лаврищева Е.М., Грищенко В.Н. Области знаний программной инженерии SWEBOK и

подход к обучению этой дисциплине // УСиМ.-№1.- 2005.- С.38-54.

15. A guide to the Project Management Body of Knowledge // PMBOK GUIDE. Third Edition

(http://www.pmi.org/emeaelink/pmiE-link10-04.pdf).

16. ISO/IEC JTC1 N7727. SC7 Proposed new work item on project management standard

(28.02.2005) - http://isotc.iso.org/livelink/livelink/fetch/2000/2122/327993/755080/1054034/

2541793/JTC001-N-7727.pdf?nodeid=3961521&vernum=0

17. PMI PМBoK 2004 - "Новый завет" библии менеджера проектов. - http://www.cfin.ru/itm/

project/pmbok2004.shtml

18. ISO/IEC JTC1/SC7/WG7 N0820. NP proposal Project Management standard //07N3156

W07N0820_NP_PROPOSAL_PROJECT_MANAGEMENT_STD.DOC

19. Развитие парадигм программирования. В курсе «Основы функционального програм-

мирования» - http://www.intuit.ru/department/pl/funcpl/15/3.html