Система генерации общих типов данных в фундаментальных - davaiknam.ru o_O
Главная
Поиск по ключевым словам:
страница 1
Похожие работы
Название работы Кол-во страниц Размер
Программа фундаментальных исследований отделения физических наук... 1 111.87kb.
Информационная система основное 1 295.03kb.
Автоматизированная информационная система 1 199.8kb.
Информационная безопасность. Тема 10. Лекция 16 1 256.02kb.
Записка от 01. 07. 2013 1 55.08kb.
§ Понятие «система» Основные смысловые значения термина "система" 1 88.17kb.
Пояснительная записка к курсовой работе по дисциплине «Структуры... 7 774.24kb.
Лабораторная работа 3 Классы, содержащие массивы встроенных типов... 1 61.77kb.
Геомагнитные пульсации клейменова Н. Г 1 247.96kb.
Административно-плановая система рынок и его функции кругооборот... 1 57.58kb.
Статистические методы анализа языка как способ повышения эффективности... 1 90.42kb.
Иа «Татар-информ», 19 Апреля 2013 1 26.91kb.
Направления изучения представлений о справедливости 1 202.17kb.

Система генерации общих типов данных в фундаментальных - страница №1/1

СИСТЕМА ГЕНЕРАЦИИ ОБЩИХ ТИПОВ ДАННЫХ В ФУНДАМЕНТАЛЬНЫХ

Фундаментальные типы данных (Fundamental Data Types - FDT) определяют типы, операции над их значениями и формы представления их на современных компьютерах. Тип - это математическое понятие, обозначающее множество значений некоторых элементов. Базовый тип является элементарным типом (целое, действительное и др.), значение которого определяется аппаратурой, компиляторами программ из языков программирования (ЯП) и др.. Тип присваивается переменной в программе в ЯП, определяет класс значений, каждое из которых принадлежит одному и только одному типу. Операции над значениями типа - это аксиомы, которые превращают отображения значений одного типа в значения другого типа. FDT включают простые, структурные и сложные данные, множество операций и значений их типов данных, свойства и связи с другими типами данных. Простые типы - это перечисляемыми и числовые; структурные - это массивы, записи и т.п.; сложные - это множества, объединение, динамические объекты, списки, последовательности, стеки, деревья и др..

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



Общие типы данных - GDT (General Data Types), представленные в стандарте ISO / IEC 11404-1997, 2007 по номенклатуре и семантикой наборов типов данных, чаще всего используются в современных ЯП и интерфейсах взаимодействия с другими программами. Это LI-типы данных (LI - Language Independed) независимые от ЯП, они специфицированы, как примитивные (базовые, независимые от других) типы данных и не примитивные, полностью или частично определены через другие типы данных и составляют классы типов данных, реальные представители которых использованы в ЯП, основанные на концепции FDT. Механизмом обращения является вызов процедур с задачей интерфейс них параметров к каждому стандартного сервисного средства или некоторой системе.

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

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

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

 Типы данных GDT

 1. Примитивные типы данных

Тип данных, пространство значений которого определяется аксиоматически или путем перечисления, называется примитивным типом данных. Все примитивные LI-типы данных определяются в стандарте

 1.1 Логический (boolean) - это математический тип данных, связанный с использованием двузначной логики.

1.2 Состояние (state) - это семейсьво типов данных, каждый из которых включает конечное число различных, неупорядоченных значений.

1.3 Перечисляемый (еnumerated) - это семейство типов данных, каждый из которых допускает конечное число различных значений с присущим им порядком.

 1.4 Символьный (character) - это семейство типов данных, пространство значений которых есть набор символов.

 1.5 Порядковый (оrdinal) - это тип данных порядковых номеров отличается от значимых чисел (тип данных Целый (integer)). Порядковый - это тип данных бесконечного перечисления.

 1.6 Дата / время (Date-and-Time)-семейство типов данных, значения которых указывают время в различных, часто используемые представлениях: год, месяц, день, час, минута, секунда и ее части.

1.7 Целый (integer) - математический тип данных, описывающий только целые числа.

1.8 Рациональный (rational) - это математический тип данных, соответствующий рациональным (действительным) числам.

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

1.10 Действительный (real) - это семейство типов данных, которые являются вычислительными аппроксимациями по отношению к математическому типа данных соответствует действительным числам.

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

1.12 Пустой (void) - это тип данных, представляет объект с необходимыми синтаксическими и семантическими требованиями, но не несет никакой информации в этом конкретном случае.

      


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

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

2.1 Диапазон (range) создает подтип любого упорядоченного типа данных путем размещения новой верхней и / или нижней границы пространства значений.

2.2 Отбор (selecting) создает подтип любого точного типа данных путем нумерации значений пространства значений этого подтипа.

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

2.4 Размер (size) создает подтипы типов данных Sequence, Set, Bag или Table путем определения ограничения на количество элементов базового типа данных, которые они могут содержать.

2.5 Явно заданные подтипы (explicit) определяют тип данных как подтип базового типа данных и описывают процедуру конструирования пространства значений заданного подтипа в терминах LI-типы данных генераторов типов данных.

2.6 Расширенный (еxtended) создает тип данных, пространство значений которого содержит пространство значений базового типа данных в виде правильной подмножества.

3. Сгенерированные типы данных (generated datatypes) - это типы данных, полученные в результате применения генератора типов данных. Генератор типов данных - это концептуальная операция на одном или нескольких типах данных, создает новый тип данных. Генератор типов данных оперирует типами данных для создания нового типа данных, а не значениями для генерации значений. Типы данных, с которыми работает генератор, называются параметрические или компонентные типы данных. Генерируемый тип данных семантически зависит от параметрических типов данных, но имеет собственные характерные операции. Важной характеристикой всех генераторов типов данных является то, что генератор может применяться ко многим различным параметрических типов данных. Генераторы Указателя и Процедуры генерируют типы данных, значения которых атомарные, тогда как генератор выбора и агрегатных типов данных генерирует типы данных, значения которых позволяют производить их декомпозицию.

3.1 Выбор (СHOICE) генерирует тип данных, называется тип данных Выбор, каждое значение которого отдельным значением любого набора альтернативных типов данных. Альтернативные типы данных типа данных Выбор логично различать учитывая их соответствие значением другого типа данных, называется Признак (tag).

3.2 Указатель (pointer) генерирует тип данных, называемый указатель, каждое значение которого устанавливает средства ссылка на значение другого типа данных, специфицированного типом данных element-type. Эти значения типа данных указателя являются атомарными.

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

4. Агрегатные типы данных - это сгенерированный тип данных, каждое значение которого создано из типов данных компонентов. Генератор агрегатного типа генерирует тип данных с помощью:

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

 обеспечение набора характеристических операций, специфических для генератора.

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

 4.1 Запись (record) генерирует тип данных, значение которого составляют гетерогенные совокупности значений компонентов типов данных и каждая совокупность имеет одно значение для каждого компонента типа данных, специфицированного фиксированным идентификатором поля field-identifier.

4.2 Набор (set) генерирует тип данных Набор, пространство значений которого составляет набор всех поднаборов пространства значений типа данных Элемент с операциями, присущими математической множестве set.4.3 Портфель (bag) генерирует тип данных, значение которого составляют коллекции образцов значений типа данных Элемент. Многочисленные образцы того же значения могут подаваться в этой коллекции, а порядок, в котором они присутствуют в коллекции, несущественный.

4.4 Последовательность (sequence) генерирует тип данных, значениями которой являются упорядоченные последовательности значений типа данных Элемент. Благоустройство, поддерживаемого для значений, несвойственное этому типу данных одно и то же значение может встречаться многократно в этой последовательности.

4.5 Массив (array) генерирует тип данных, значение которого ассоциируются с произведением пространств одного или нескольких конечных типов данных, называемых индексные типы данных и пространством значений типа данных Элемент, так что каждому значению из пространства индексного типа данных соответствует только одно значение типа данных элемент.

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

 

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

Генерируемые типы данных (generated datatypes) - это типы данных, которые получат в результате применения генератора типов данных, как операции для создания нового типа из одного или нескольких типов данных, а не для генерации значений. Генерируемый тип данных семантически зависит от разных параметрических типов данных и имеет собственные характерные операции. Стандарт включает генераторы типов данных: выбор (СHOICE), указатель (pointer), процедура (procedure), запись (record), набор (set), портфель (bag), последовательность (sequence), массив (array), таблица (table) и тому подобное.

           

           ОТРАЖЕНИЕ ТИПОВ ДАННЫХ В СРЕДЕ ИТК

Отображение основывается на следующих базовых положениях относительно структуры компонентов в инфраструктуре подобной Grid:

- Каждый компонент, КПВ содержит описание свойств (имя, лицензия, URL репозитария и т.д.), глобального уникального идентификатора - ID соответствии стандарта WSDL, а также информацию о версии, связи с репозитарием, ID, виды платформ и связи этого идентификатора с глобальным в конфигурации СПС;

- КПИсодержит команды проверки скомпилированного элемента, тестовых команд и GUIDs, а также взаимосвязи с конфигурацией;

- Определение конфигурации и платформы для каждого объекта вызывает GUID, описание его свойства, среда выполнения и зависимости статические для взаимоотношений между двумя конфигурациями или динамические для взаимоотношений между конфигурацией и модулем.

Для реализации новых типов данных взят стандарт ISO / IEEE 11404 (General Data Types - GDT) с формальным описанием типов данных для обеспечения интероперабельности данных в различных программах по ЯП. Для этого предлагается новая схема генерации GDT <=> FDT).




Библиотека GDT

Общие типы данных (GDT)

Сгенерированные типы данных

Агрегатные типы данных

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



Промежуточная среда ФТД ↔- GDT



Библиотека функций отображения GDT ↔ ФТД



Среда исполнения

Фундаментальные типы данных (ФТД)

Библиотека GDT

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

Структурные типы данных

Сложные типы данных



…………

КПИ в ЯПn

КПИ в ЯП1

Компоненты повторного использования (КПИ)

Библиотека перестройки типов данных (ЯП1,….ЯП2)



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

Рисунок. Схема генерации GDT <=> FDT

Согласно спроектированной схемы генерации разрабатывается набор библиотек функций (процедур) в языке XML для применения их при отображении различных типов данных в программах по современным или будущими МП:

- Функций перестройки типов данных МП1 ..., МП n;

- Функций представления типов данных ФДТ;

- Функций представления GDT для обработки по апробированной схеме ФДТ;

- Функций отображения GDT <=> FDT.

 Для реализации указанного набора функций необходимо провезти:

1) создание библиотек функций для преобразования типов данных GDT (примитивных, агрегатных и генерируемых) до FDT типов данных (простым, структурным и сложным) МП, как необходимых элементов среды взаимодействия разноязычных компонентов, подсистем и проектов системы Grid;

2) спецификацию внешних типов данных компонентов, подсистем и систем в МП средствами языка GDT с накоплением их в одном из репозиториев среды фабрики;



3) разработка формата новых посредников подобно stub с операциями обращения к соответствующим функциям GDT <=> FDT в целях передачи взаимодействующих компонентов и обратно не релевантных и перестроенных типов данных.

Проблема сбора разнородных компонентов в новых МП с учетом архитектур платформ и сред в будущем наверняка будет решаться на вновь разработанных инструментах и ​​средствах по перестройке типов данных GDT <=> FDT.




Черного юмора не существует, потому что не бывает белого юмора. Моуз
ещё >>