Лаврищева Е.М., Грищенко В.Н. Сборочное программирование. Основы индустрии программных продуктов

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

361

Рис П1.2. Фрагмент онтологии аспекта “Semantic” домена “Деловодство”

Рис.П1.3. Меню функции "Словарь"

Рис.П1.4. Меню функции "Компоненты"

Меню функции “Компоненты” содержит

несколько строк (рис.11.4) и предназначена

для создания и накопления многоаспектных

образов компонентов ПОБ для их занесения

в директорий репозитария системы.

Допускается модификация старого ПОБ,

создание, хранение диаграмм классов и

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

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

разработке новых ПС.

Функция “Словарь” представлена

несколькими строками панели и

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

лизацию лексики в домене с

помощью операций “Выделить

концепты словаря” или “Концепты с

синонимами и определениями,

которые можно изменить, удалить

концепты или внести новые.

362

ПРИЛОЖЕНИЕ 2

АЛГОРИТМ РЕАЛИЗАЦИИ ВЕБ-ПРИЛОЖЕНИЯ НА ОСНОВЕ МЕНЕДЖЕРОВ

ИНФОРМАЦИОННЫХ РЕСУРСОВ

Веб-приложение строится методом интеграции менеджеров ИР. Менеджер

ресурсов описан (В.Н.Грищенко) как Java-компонент соответственно общей его

структуры (см. рис. 5.4). При этом использованы следующие условия для ресурсов.

Дескрипторы ресурсов подаются как XML-файлы, которые определяют

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

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

дескриптору, использует DOM-модель при описании XML-файлов.

Перечни всех ресурсов составляющих общую систему ИР также представлены

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

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

навигации и доступа к ИР. Каждый перечень определяет совокупность ресурсов,

связанных с конкретным сервером.

Унифицированный запрос определяется стандартным для веб-среды CGI-

механизмом. Формат ответа на унифицированный запрос – HTML-страница.

Структуры типизированных запросов к ИР и ответам на них зависят от типа

избранного менеджера ресурсов.

Менеджер ресурсов для веб-сайтов на основе унифицированного запроса

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

сайта и выполняет переадресацию согласно сформированному адресу. Типовой

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

<?xml version="1.0" encoding="WINDOWS-

1251"?>

<ir_manager_description>

<example_name> Web-Сайт ІПС

</example_ name>

<example_id>ir_manager_description_for_iss_site

</example_id>

<description> Web-Сайт Института программных

систем НАНУ</description>

<manager_type> web-site</manager_type>

<url>www.isofts.kiev.ua:80</url>

</location>

</ir_manager_description>

В этом дескрипторе приведено наиболее важные и наиболее употребляемые

характеристики описания ресурса:

– имя;

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

– назначение;

363

– тип менеджера;

– адрес и протокол доступа к менеджеру.

Менеджер ресурсов для веб-приложений на основе унифицированного запроса

отыскивает соответствующий дескриптор ресурса и описание метода доступа к

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

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

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

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

менеджеров ресурсов:

<?xml version="1.0" encoding="WINDOWS-

1251"?>

<ir_manager_description>

<example_name>Работа с Web-

приложением</example_name>

<example_id>ir_manager_description_for_app

</example_id>

<description>Моделирует работу с определенным

Web-Приложением</description>

<manager_type> web-application

</manager_type>

<url>www.server.isofts.kiev.ua:

8080/app/test</url>

</location>

<request_list>

<description>Построение дерева информационныхресурсов</description>

<parameter_list>

<parameter_name>name

</parameter_name>

<parameter_value>*

</parameter_value>

</parameter>

<parameter_name>object

</parameter_name>

<parameter_value>tree

</parameter_value>

</parameter>

<parameter_name>type

</parameter_name>

<parameter_value>tree

</parameter_value>

</parameter>

364

</parameter_list>

</request>

<description>Поиск ресурсов соответственно

поисковому слову</description>

<parameter_list>

<parameter_name>type

</parameter_name>

<parameter_value>search

</parameter_value>

</parameter>

<parameter_name>object

</parameter_name>

<parameter_value>*</parameter_value>

</parameter>

</parameter_list>

</request>

</request_list>

</ir_manager_description>

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

функции: построение дерева ИР и поиск ресурсов словом, которое входит в их

описание. Для каждой функции существует дескриптор запроса, который

определяет CGI-параметры и их значения.

Менеджер ресурсов для отдаленного доступа к БД на основе унифицированного

запроса отыскивает соответствующий дескриптор ресурса и описание метода

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

совокупностью параметров и их значений. На основе этих параметров формируется

SQL-запрос. Дескриптор ресурса содержит данные об JDBC-драйвер, который

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

соответствующей БД. Сформированный SQL-запрос передается JDBC-драйверу,

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

данных, которая описывает таблицу с результатами обработки SQL-запроса. На

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

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

имеет следующий вид:

<?xml version="1.0" encoding="WINDOWS-

1251"?>

<ir_manager_description>

<example_name>Доступ к БД

</example_name>

<example_id >ir_manager_description_for_app_db

</example_id>

<description>Моделирует работу по доступу к базам данных</description>

365

<manager_type> web-application-db

</manager_type>

<url>localhost:8080/app/test</url>

</location>

<db_connection_parameters>

<driver>com.mysql.jdbc.Driver</driver>

<url>jdbc:mysql://localhost:3306/test</url>

</db_connection_parameters>

<request_list>

<description>Запрос к БД</description>

<parameter_list>

<parameter_name>type

</parameter_name>

<parameter_value>db

</parameter_value>

</parameter>

<parameter_name>name

</parameter_name>

<parameter_value>ir_manager_

description_for_app_db

</parameter_value>

</parameter>

<parameter_name>statement

</parameter_name>

<parameter_value></parameter_value>

</parameter>

</parameter_list>

</request>

</request_list>

</ir_manager_description>

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

предыдущего случая. Дополнительно он описывает параметры JDBC-драйвера для

MySQL, т.е. целевая БД как ИР создана и поддерживается этой СУБД. При

необходимости может быть применена другая СУБД, например Oracle. В этом случае

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

поддерживает связь с Oracle. Другие компоненты менеджера доступа к ресурсам

изменений не требуют.

366

ПРИЛОЖЕНИЕ 3

ИНТЕРФЕЙС ВЗАИМОДЕЙСТВИЯ ПРОГРАММ В ЯЗЫКАХ

ПРОГРАММИРОВАНИЯ ДЕЛЬФИ И ПАСКАЛЬ

Дельфи (Delphi) – ЯП, производный от языка Турбо-Паскаль, он используется в

одноименной среде разработки. ЯП Дельфи и Паскаль были расширены объектно-

ориентированными свойствами и способами доступа к метаданным классов. Все

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

динамической памяти.

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

используют язык Ассемблера, который осуществляет:

– оптимизацию критичных к скорости участков программ в ЯП;

– создание ОС (например, версия Unix);

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

– написание трансляторов ЯП.

Программа в этом языке является интерфейсной программой и в ней

самостоятельно решаюся вопросы преобразования типов данных.

Рассматриваемые языки содержат простые, строковые, структурные,

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

типы данных. Остановимся на сопоставлении типов данных этих ЯП.

Простые типы данных

К ним относятся: порядковые, целые, символьные, булевы перечислимые,

поддиапазонные, действительные.

В Object Pascal простые типы данных разбиты на две группы: порядковые для

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

приближенные математические вычисления.

Порядковые типы. Из простых типов данных порядковые определяет

естественные отношения порядка между элементами. В Object Pascal определены

три группы порядковых типов и два типа, определяемых пользователем. К группам

относятся целые, символьные и булевы типы. Первый элемент любого

порядкового типа имеет номер 0, второй элемент – номер 1 и т.д.

Целые типы. Эти типы в Object Pascal подразделяются на физические

(фундаментальные) и логические (общие). В Object Pascal определены следующие

целые типы: integer, shortint, smallint, longint, byte, word, cardinal. Их список,

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

Тип Диапазон значении Физический формат

Shortint -128-127 8 бит, со знаком

Smallint -32 768-32 767 16 бит, со знаком

Longint -2 147 483 648-2 147 483 647 32 бит, со знаком

Byte 0-255 8 бит, без знака

Word 0-65 535 16 бит, без знака

367

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

микропроцессора и операционной системы, в которых выполняется программа.

Они не меняются (или, по крайней мере, не должны меняться) с изменением

реализации или версии Object Pascal.

Диапазоны значений логических целых типов (Integer и Cardinal) определяются

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

диапазонами соответствующих физических типов.

Тип Диапазон значений Физический формат

Integer -32 768-32 767 16 бит, со знаком (SmalIInt)

Integer -2 147 483 648-2 147 483 647 32 бит, со знаком (Longint)

Cardinal 0-65 535 16 бит, без знака (Word)

Cardinal 0-2 147483647 32 бит, без знака (Longint)

Символьные типы. Смысл символьных данных понятен, когда они выводятся

на экран или принтер. Тем не менее, определение символьного типа может зависеть

от того, что подразумевать под словом символ. Для совместимости со всеми этими

представлениями в Object Pascal определены два физических символьных типа и

один логический. Физические типы перечислены ниже.

AnsiChar

Однобайтовые символы, упорядоченные в соответствии с расширенным набором

символов ANSI

WideChar

Символы объемом в слово, упорядоченные в соответствии с международным

набором символов UNICODE. Первые 256 символов совпадают с символами ANSI

Символьные типы объемом в двойное слово (32 бит) отсутствуют.

Булевы типы. По аналогии с целыми и символьными типами,

подразделяющимися на физические и логические, естественно предположить, что

ByteBool, WordBool и LongBool – физические типы, Boolean – логический. Они

представлены в следующей таблице.

Тип Размер

Boolean 1 байт

ByteBool 1 байт

WordBool 2 байт (объем Word)

LongBool 4 байт (объем Longint)

Все четыре типа различны. Для Object Pascal предпочтителен тип Boolean,

остальные определены для обеспечения совместимости с другими ЯП и

операционными системами.

Переменным типа Boolean можно присваивать только значения True (истина) и

False (ложь). Переменные ByteBool, WordBool и LongBool могут принимать и

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

любом ненулевом значении.

Перечислимые типы. Тип последовательность состоит из набора имен,

задающих дискретные значения. Синтаксис определения имеет вид: Type enum

type = (first value, value2, value3, last value). Тип Boolean – простейший

перечислимый тип в Object Pascal. Булевы переменные могут принимать два

значения, выражаемые именами True и False, а сам тип определен в Object Pascal

следующим образом:

Type Boolean = (False, True).

368

С помощью типа Boolean в Object Pascal выполняют операции сравнения.

Большинство перечислимых типов - это списки уникальных имен или

идентификаторов, зарезервированных в конкретных целях.

Поддиапазонные типы. Переменные поддиапазонного типа содержат

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

исходного типа, представляющего любой порядковый тип. Синтаксис определения

поддиапазонного типа имеет следующий вид:

Type subrange type = low value...high value;

Поддиапазонные переменные сохраняют особенности исходного типа.

Единственное отличие состоит в том, что переменной поддиапазонного типа можно

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

Действительные типы. Данные типы, их пороги и значащие цифры в байтах

приведены в следующей таблице.

Тип Порог

Максимальное

значение

Количество значащих

цифр

Объем

(байт)

Real 2.9E-39 1.7Е38 11-12 6

Single 1.5E-45 3.4Е38 7-8 4

Double 5.0E-324 1.7Е308 15-16 8

Extended 3.4E-4932 1.IE4932 19-20 10

Comp 1.0 9.2Е18 19-20 8

Currency 0.0001 9.2Е14 19-20 8

Строковые типы

В языке Delphi поддерживается три физических строковых формата: короткий

(ShortString), длинный (LongString) и широкий (WideString). Их можно

комбинировать в операторах присваивания и выражениях. Все необходимые

преобразования выполняются автоматически. Они представляют динамически

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

AnsiString. При работе с международными наборами символов, такими как

UNICODE, удобнее использовать WideString.

Тип ShortString – массив Array [0..255] of char. Первый его элемент задает

динамическую длину строки, которая может принимать значения от 0 до 255

символов. Символы, составляющие строку, занимают места от 1 до 255.

Логический строковый тип – это тип String. Отнесение его к типу AnsiString или

ShortString задается командой $Н. По умолчанию задается { $Н+}, и String

совпадает с AnsiString. Если задать команду {$Н}, то String будет совпадать с

ShortString и иметь максимальную длину, равную 255 символам.

Структурные типы

К структурным типам относятся: записи, массивы, множества, файлы, классы,

указатели на классы.

При этом перечисленные типы являются не типами, а структурными типы

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

Записи. С помощью зарезервированного слова record (запись) в одном типе

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

выглядит следующим образом:

369

record

fieldnamel: fieldtypel;

fieldname2, fieldname3: fieldtype2;

case optional tagfield: required ordinal type of

1: variantnamel: varianttype3;

2, 3: variantname2: varianttype4;

end;

Данное описание состоит из фиксированной и вариантной частей. Однако не

обязательно вставлять в одно описание записи обе эти части. Обычно удобнее

работать с каждой из этих частей отдельно.

Фиксированные записи определяют одно или несколько независимых полей.

Каждому полю присваивается имя и тип:

record

fieldnamel: fieldtypel;

fieldname2, fieldname3: fieldtype2;

end;

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

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

полю наберите имя записи, точку и идентификатор поля, например

MyRec.Fieldnamel.

Для доступа ко всей записи указывается ее имя.

Вариантная запись – это вариантная часть типа record, которая дает

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

вариантами поля:

record

case optional tagfield: required ordinal type of

1: variantnamel: varianttype3;

2, 3: variantname2: varianttype4;

end;

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

примере:

array [ordinal_type] of type_definition;

array [ordinal typel, ordinal type2] of type definition;

Каждый массив содержит определенное количество элементов информации

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

элемента, заключенный в квадратные скобки. Число элементов массива в каждом

измерении задается порядковым типом (ordinal_type). Для этого используется

идентификатор некоторого типа (например, Boolean или AnsiChar). На практике

явно задается поддиапазон целых.

Количество элементов массива равно произведению количеств элементов во

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

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

определен следующим образом: var MyArray: Array [1..10] of Integer;

Тогда обращение к его третьему элементу будет выглядеть, как MyArray [3], и

выполняться, как к переменной Integer.

Множество. Слово set (множество) определяет множество не более, чем из 256

порядковых значений: Set of ordinal type.

370

Минимальный и максимальный порядковые номера исходного типа (на основе

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

255. Переменная множественного типа содержит (или не содержит) любое значение

исходного порядкового типа. Каждое значение из заданного диапазона может

принадлежать или не принадлежать множеству. Рассмотрим следующий пример.

Type CharSet = set of AnsiChar; // Тип множества символов. ANSI.

var MyAlphaSet: CharSet; // Переменная типа CharSet.

Переменная set может содержать все элементы множества или не содержать ни

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

множества (порядковые значения) указываются в квадратных скобках:

MyAlphaSet := ['А', 'Е', 'Г, 'О', 'U', 'Y']; // Все прописные гласные.

Пустые квадратные скобки задают пустое множество, не содержащее ни одного

элемента. Это относится ко всем множественным типам.

Файловый тип. Тип file представляет линейную последовательность

элементов, которые могут быть данными любого типа, кроме типов file и class.

Описание файлового типа аналогично объявлению массива, только без указания

числа элементов.

file of Typel // Файл определенного типа, содержащий

// записи фиксированной длины.

file // Файл без типа или "блочный".

textfile // Файл с записями переменной длины, разделенными символами CR

// и LF ("возврат каретки" и "новая строка").

Механизм ввода-вывода информации зависит от языка и реализации. В

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

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

передаче информации следует полностью полагаться на специальные процедуры.

Их реализация подобна «черному ящику». В basic файлы обозначаются числовыми

значениями – дескрипторами. В C/C++ программисты манипулируют указателями

на структуру FILE, а в Delphi файловая структура является переменной.

Указательные типы

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

переменную типа –адрес этой переменной.

pointer // Указатель без типа.

^typel // Указатель с типом.

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

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

Процедурный тип

Данный тип включает: тип Variant, вариантные значения, процедуры обработки

вариантных массивов, OLE Automation для изменения свойств объектов.

Тип Variant. Данный тип предназначен для представления значений, которые

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

фиксированы, то в переменные типа Variant можно вносить переменные других

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

изменяется или неизвестен в момент компиляции.