Среда Microsoft. 
NET и ее использование для гетерогенного программирования

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

В отличие от всех предшествующих подходов, Microsoft .NET представляет собой наиболее развитое и комплексное решение для проектирования и реализации программного обеспечения. В частности, рассмотрены такие аспекты .NET, как:

• • идеология;
• • вычислительная модель;
• • технологическая платформа;
• • инструментальное решение;
• • безопасность;
• • интеграция приложений;
• • организация вычислительных сред CLR и .NET Framework;
• • универсальная система типов в .NET, известная как CTS;
• • поддержка веб-сервисов;
• • компонентный подход к программированию и его связь с ООП.

Проанализированы достоинства и недостатки .NET и сделаны необходимые выводы.

Прежде всего, необходимо ответить на важный вопрос: что такое .NET? Несмотря на обилие посвященных .NET материалов, ответить однозначно непросто, прежде всего, по той причине, что ответ представляется многоаспектным.

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

• 1) идеологию проектирования и реализации программного обеспечения;
• 2) модель эффективной поддержки жизненного цикла прикладных систем;
• 3) унифицированную, интегрированную технологическую платформу для программирования;
• 4) современный, удобный в использовании, безопасный инструментарий для создания, размещения и поддержки программного обеспечения.

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

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

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

Рассмотрим подробнее, как идеология .NET претворяется в практические вопросы проектирования программного обеспечения.

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

Существенным преимуществом следует считать и возможность практической реализации принципа «всякая сущность является объектом гетерогенной программной среды». Во многом это стало возможным благодаря усовершенствованной, обобщенной системе типизации Common Туре System, или CTS.

Строгая иерархичность организации пространств для типов, классов и имен сущностей программы позволяет стандартизировать и унифицировать реализацию. Новый подход к интеграции компонент приложений в среде вычислений Internet (или так называемые веб-сервисы) дает возможность ускоренного создания приложений для широкого круга пользователей. Универсальный интерфейс .NET Framework обеспечивает интегрированное проектирование и реализацию компонентов приложений, разработанных согласно различным подходам к программированию.

Говоря о .NET как о технологической платформе, нельзя не отметить тот факт, что она обеспечивает одновременную поддержку проектирования и реализации программного обеспечения с использованием различных языков программирования. При этом поддерживаются десятки языков программирования, начиная от самых первых (в частности, COBOL и FORTRAN) и заканчивая современными (например, C# и Visual Basic). Ранние языки программирования до сих пор активно используются, в частности, для обеспечения совместимости с ранее созданными приложениями, критичными для бизнеса (скажем, COBOL весьма широко применялся для создания прикладных программ, поддерживающих финансовую деятельность).

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

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

Следует отметить и то обстоятельство, что новая технология .NET не только востребована мировой общественностью, но и официально признана, что отражено в соответствующих стандартах ЕСМА (European Computer Manufacturers Association).

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

Прежде всего, необходимо отметить поддержку многоязыковой среды разработки приложений CLR (Common Language Runtime). Эта возможность появилась благодаря универсальному межъязыковому интерфейсу Common Language Infrastructure, или CLI, который поддерживает разработку программных компонентов на различных языках программирования. При этом несомненным преимуществом для программистов является то, что они могут разрабатывать (или дорабатывать) программное обеспечение на наиболее подходящем языке программирования. Здесь следует учитывать характер задачи (скажем, рекурсию или символьную обработку проще реализовать на языке функционального программирования, а формализацию структуры предметной области — на объектно-ориентированном языке). Кроме того, необходимо принимать во внимание опыт работы программистов в команде разработчиков и тот язык программирования, на котором изначально создавалась система.

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

Рис. 1.1. Архитектурная схема Microsoft .NET Framework и Visual Studio .NET.

Кратко рассмотрим основные аспекты архитектурного решения Microsoft .NET Framework (рис. 1.1), отметив, прежде всего, то обстоятельство, что важную роль играет среда разработки Microsoft Visual Studio .NET, а первостепенное значение имеет среда выполнения программ — Common Language Runtime (CLR). Среда выполнения программ CLR реализует управление памятью, типами данных, межъязыковым взаимодействием, развертыванием (deployment) приложений.

Существенным преимуществом конструктивного решения .NET является компонентно-ориентированный подход к проектированию и реализации программного обеспечения, который будет подробнее рассмотрен в этом параграфе. Суть подхода состоит в принципиальной возможности создания независимых составляющих программного обеспечения с унифицированной интерфейсной частью для многократного повторного и распределенного использования. При этом продуктивность решения обусловлена многоязычностыо интегрируемых программных проектов (концепция .NET потенциально поддерживает произвольный язык программирования, в числе наиболее известных языков — С#, Visual Basic, F#, C++ и др.).

В ходе компиляции программа на .NET-совместимом языке программирования трансформируется в соответствии с заранее заданной обобщенной спецификацией языка Common Type System (CTS). Система типов CTS полностью описывает все типы данных, поддерживаемые средой выполнения, определяет их взаимосвязи и хранит их отображения в системе типов .NET.

Под Common Language Specification (или CLS) понимается набор правил, определяющих подмножество обобщенных типов данных, в отношении которых гарантируется, что они безопасны при использовании во всех языках .NET.

Интерфейсы реализуются посредством форм Windows и ASP.NET для веб-приложений.

Как уже упоминалось, среда выполнения программ CLR реализует управление памятью, типами данных, межъязыковым взаимодействием, развертыванием приложений. В ходе выполнения процедуры трансляции исходный текст программы (написанный на F#, С#, Visual Basic, C++ или любом другом языке программирования, который поддерживается .NET) преобразуется компилятором в так называемую сборку (assembly) и сохраняется в виде файла динамически присоединяемой библиотеки (Dynamically Linked Library, DLL) или исполняемого файла (Executable, EXE) (рис. 1.2).

Рис. 1.2. Схема компиляции Common Language Runtime.

Естественно, что для каждого компилятора (будь то компилятор языка С#, csc. exe или Visual Basic, vbc. exe) средой времени выполнения производится необходимое отображение используемых типов в типы CTS, а программного кода — в код «абстрактной машины» .NET — MSIL (Microsoft Intermediate Language).

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

Рис. 1.3. Схема выполнения CLR.

Рассмотрим достаточно обобщенный пример трансляции многокомпонентного гетерогенного программного проекта под управлением Microsoft .NET.

Предположим, что компоненты проекта написаны на трех языках программирования: уже знакомом нам языке F#, изучаемом языке С#, а также языке C++, который характеризуется возможностью создания потенциально небезопасного кода (в частности, динамического распределения памяти). Исходные тексты компонент проекта транслируются, соответственно, компиляторами с языков F#, C# и C++ в унифицированный MSIL-код и сохраняются в файлах в виде сборок.

В ходе компоновки и выполнения программного проекта Just-In-Time (JIT) компилятор среды CLR производит выполнение проекта с «ленивым» (по мере необходимости) означиванием оттранслированного промежуточного кода сборок.

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

Рис. 1.4. Универсальная схема типизации (CTS).

Существенным позитивным отличием Microsoft .NET от существующих аналогов на современном рынке программного обеспечения является универсальная система типизации. В ходе компиляции программа на. NETсовместимом языке программирования трансформируется в соответствии с заранее заданной обобщенной спецификацией языка Common Туре System (CTS). Система типов CTS полностью описывает все типы данных, поддерживаемые средой выполнения, определяет их взаимосвязи и хранит их отображения в систему типов .NET.

Система типизации Microsoft .NET представляет собой частично упорядоченное множество, которое на качественном уровне может пониматься как ISA-иерархия (аббревиатура ISA происходит от английских слов «is а», которые означают «является одним из»). Так, например, высказывание STUDENT ISA PERSON означает, что тип STUDENT является подтипом типа PERSON (здесь вполне уместна аналогия с множествами и вполне точна аналогия с доменами).

Таким образом, система типов Microsoft .NET образует иерархию с возрастанием общности снизу вверх (рис. 1.4), в которой явно выделяются две большие группы типов, а именно, типы-ссылки и типы-значения. Различие между последними определяется особенностями вызова в процедурах: по имени или по значению (call-by-name, CBN) и по ссылке (call-byreference, CBR). Заметим также, что система типизации Microsoft .NET помимо развитой иерархии предопределенных типов позволяет пользователю создавать собственные типы (как типы-ссылки, так и типы-значения) на основе уже существующих.

Рис. 1.5. Веб-сервисы в .NET.

Изложение важнейших аспектов Microsoft .NET было бы неполным, если бы мы не упомянули о таком существенном архитектурном принципе как веб-сервисы. Значение веб-сервисов заключается в распределении возможностей разработанных прикладных систем по каналам Internet. Заметим, что центральным блоком в схеме является .NET Framework, который можно рассматривать как библиотеку базовых объектов и операций над ними (рис. 1.5).

В качестве среды разработки прикладных систем целесообразно использовать Microsoft Visual Studio .NET, предоставляющую целый комплекс развитых средств создания, редактирования и отладки программного кода на различных языках программирования. В случае несложных задач можно ограничиться примитивными редакторами текста программ, подобных Notepad.

Интерфейсная часть прикладной программной системы в Internetархитектуре представлена так называемыми веб-формами, предназначенными для ввода и вывода данных в унифицированном формате. В качестве языка реализации может использоваться язык гипертекстовой разметки HTML (HyperText Markup Language). Взаимодействие между клиентом и приложением в простейшем случае осуществляется с использованием традиционного Internet-протокола передачи данных HTTP (HyperText Transfer Protocol). Структурированные данные хранятся в формате XML (вариант HTML с более строгим синтаксисом).

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

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

Как уже упоминалось ранее, именно веб-сервисы являются одной из важнейших составляющих идеологии .NET, центральной частью данной архитектуры, поскольку предназначены для реализации декларируемого Microsoft основополагающего принципа «программное обеспечение как сервис». Смысл использования веб-сервисов состоит в возможности распределения функций разработанных прикладных систем по глобальной сети. Для реализации этой задачи веб-сервисы надстраиваются на проверенных временем, традиционных, а также на развивающихся стандартах взаимодействия приложений в Internet, а именно:

• 1) HTTP — стандартный протокол обмена гипертекстовыми документами в Internet с возможностью передачи данных посредством веб-форм;
• 2) XML — формат хранения структурированных данных с возможностью обмена ими по Internet-каналам;
• 3) SOAP — стандартный протокол взаимодействия компонент (глобально) распределенного приложения (Simple Object Access Protocol);
• 4) UDDI — стандарт интеграции приложений (Universal Description, Discovery and Integration);
• 5) WSDL — универсальный язык описания веб-сервисов (Web Service Description Language);

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

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

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

В отличие от «традиционных» объектов ООП, компоненты обладают следующими характеристическими свойствами:

• • в целом компонент обладает более высоким уровнем абстракции по сравнению с объектом (если под последним понимается конструкция уровня языка программирования);
• • компоненты могут содержать в своем составе множественные классы;
• • компоненты с точки зрения пользователя являются инвариантами по отношению к тому языку программирования, на котором они реализованы.

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

Заметим, что попытки построения компонентных программных систем предпринимались и рядом других разработчиков программного обеспечени я (в частности, технология JavaBeans производства Sun Microsystems), а также международных ассоциаций, объединяющих усилия исследователей и практиков в области объектного программирования (например, стандарт брокеров объектных запросов CORBA организации Object Management Group, или OMG). В основе таких попыток лежали варианты объектных моделей. Один из подобных вариантов, детально проработанный с математической точки зрения, — модель двухуровневой концептуализации, которую нам предстоит рассмотреть далее. Пока же лишь кратко охарактеризуем основные отличительные особенности наиболее известных из представленных на рынке современного программного обеспечения объектных моделей.

Прежде всего, рассмотрим компонентную модель Microsoft, которая обычно обозначается в литературе аббревиатурой COM (Component Object Model). Компонентная объектная модель СОМ является основным стандартом Microsoft для компонентного проектирования и реализации программного обеспечения. На сегодня это самая развитая и, пожалуй, самая удачная в практическом плане модель, которая обеспечивает возможность инициализации и использования компонентов как внутри одного процесса, так и между процессами или между компьютерами независимо от языка реализации. COM-модель поддерживается в идеологии .NET для целого ряда языков программирования (С#, F#, Visual Basic, C++ и др.), является основой для ActiveX, OLE, а также для многих других технологий Microsoft.

В отличие от СОМ, модель Java Beans, базовый стандарт Sun Microsystems для компонент, оказывается зависимой от языка реализации. Исследовав основные особенности объектно-ориентированного и компонентного подходов к проектированию и реализации программного обеспечения, произведем краткий сравнительный анализ этих особенностей и подходов в целом. Прежде всего, перечислим основополагающие понятия, характеризующие каждый из подходов. Затем сопоставим эти подходы друг с другом с целью поиска аналогий между ними.

В объектно-ориентированном подходе ключевыми следует считать, в частности, понятия класса и интерфейса. Заметим, что в компонентноориентированном подходе эти понятия также являются системообразующими. При этом под классом понимается базовая сущность, определяемая как совокупность элементов. Под интерфейсом понимается набор семантически связанных абстрактных элементов. Для компонентно-ориентированного подхода понятие интерфейса имеет первостепенное значение, поскольку исключительно посредством этого механизма клиент в архитектуре с моделью СОМ может непосредственно осуществлять взаимодействие с COM-классом. Заметим, что интерфейсы повышают безопасность кода, так как взаимодействие с объектом происходит не непосредственно, а через указатель (ссылку). Понятия свойства (как атрибута объекта) и метода (как операции над объектом), как и механизма событий (соотнесений над объектами предметной области), свойственны обоим подходам. Принципиально новым является наличие в COM-модели сборок — самодостаточных единиц информации для инсталляции и распространения программных продуктов.

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

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

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

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

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

Несомненное качественное превосходство над существующими средствами автоматизированного проектирования и быстрой реализации прикладного программного обеспечения (в частности, Inprise Delphi и JBuilder, Oracle Developer, Microsoft Visual Studio и др.) достигается за счет следующих основных факторов:

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

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

Контрольные вопросы Вопрос 1.

Вариант 1: что означает название .NET?

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

Вариант 2: в чем заключается особенность вычислительной модели Microsoft .NET?

• а) используется структурный подход;
• б) компонентно-ориентированный подход (+);
• в) объектно-ориентированный подход.

Вариант 3 что отличает подход к программированию Microsoft .NET от других Internet-ориентированных подходов?

• а) высокая степень безопасности;
• б) высокая степень интерактивности;
• в) высокая степень интеграции приложений (+).

Вопрос 2.

Вариант 1: что отличает Microsoft .NET от предыдущих идеологий?

• а) безопасность и удобство использования;
• б) экономия сил и средств при создании приложений;
• в) предоставление программного обеспечения как сервиса (+).

Вариант 2: что отличает Microsoft .NET от других платформ разработки приложений?

• а) многоязыковая поддержка (+);
• б) удобство применения;
• в) соответствие современным стандартам.

Вариант 3: каков конечный продукт компиляции в Common Language Runtime?

• а) исходный текст;
• б) сборка (+);
• в) неуправляемый код.

Вопрос 3.

Вариант 1: в чем состоит особенность применения языков программирования для Microsoft .NET?

• а) нельзя использовать объектно-ориентированные языки;
• б) нельзя использовать ранние языки, такие как COBOL;
• в) можно использовать любые языки (+).

Вариант 2: какие компоненты входят в состав Microsoft ASP.NET?

• а) формы Microsoft Windows;
• б) веб-сервисы и веб-формы (+);
• в) базовые классы Microsoft .NET Framework.

Вариант 3: какие компоненты входят в состав Microsoft ADO.NET?

• а) формы Microsoft Windows;
• б) веб-сервисы и веб-формы;
• в) средства доступа к БД и поддержки XML-форматов (+).