Характеристика стандартов ISO

Стандарт ISO/IEC U404-GDT

В 1996 г. вышел стандарт «Информационные технологии — ЯП, среды и системные интерфейсы ПО — Языки ТД».

Начиная с 1996 г. он применяется для обеспечения общей семантики ТД ЯП, БД и других систем, которые используют ТД. Стандарт был пересмотрен через 7 лет под названием «Информационные технологии — GDT для стандартизации и обеспечения совместимости данных».

Согласно стандарту ISO/IEC 11 404 GDT ТД состоит из трех основных понятий: пространство значений, набор свойств и характеристические операции.

Пространство значений включает набор значений для каждого ТД, которые имеют определение:

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

Каждый ТД содержит свойства из следующих характеристик:

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

Например, вещественные числа могут быть приближенными на любой платформе компьютера.

Другой особенностью ТД являются характеристические операции над значениями из пространства значений. Например, ТД целое число стандарта ISO/IEC 11 404 GDT имеет следующие характеристические операции:

• • Equal (x, у: integer) — boolean is true if x and у определяют одно и то же значение и false в противном случае;
• • Add (x, y: integer) — является операцией integer;
• • Multiply (x, у: integer) — является математической мультиоперацией integer;
• • Ncgatc (x: integer) — является значением у в такой операции Add (x, у) = = 0 как integer;
• • NonNegative (x: integer): boolean есть true if x = 0 or x может быть разработан путем итерации 1, т. е. if х = Add (l, Add (l, … Add (l, Add (1,0)) …)) else false;
• • InOrder (x, y: integer): boolean = NonNegative (Add (x, Negate (y)));
• • Quotient (x, y: integer) — integer, где 0 < у, является верхней границей множества всех integers z, таких, что Multiply (y, z) < х;
• • Remainder (x, у: integer) — integer, where 0 < x and 0 < y, = Add (x, Negate (Multiply (y, Quotient (x, y))).

Стандарт предоставляет богатую библиотеку генераторов ТД (например, запись, массив и т. д.), которые могут быть использованы для создания сложных структур данных (поддерживаемых многими ЯП). Ниже приведен простой пример использования нотации стандарта ISO/IEC 11 404:2007:

type employee_record = new.

record.

(name: characterstring, // employee name marital_status: state (single, married),.

exemptions: integer, // number of exemptions for tax deduction pay_rates: array (0.20) of pay_rate_type, // an array of records) ,.

type pay_rate_type = new record (.

code: characterstring, // pay code.

wage: scaled (10,4), // hourly wages to 4 decimal digits.

) ,.

Стандарт изменения данных (Data interchange standards).

Consensus-Building Process.

Этот стандарт содержит следующие разделы:

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

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

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

Functionality. Функциональность помогает разграничить и содержать в рамках стандарта характеристики элементов.

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

Semantics. Семантика понятий описывается отдельно от концептуальной модели и привязки. Результатом является семантика взаимосвязи и (или) спецификация повышения степени интероперабельности.

Encodings. Привязки «стандарта поведения» (семантики) к конкретным кодировкам, форматам, интерфейсам и протоколам выполнения.

В рассмотренных стандартах приведены фундаментальные, общие и неструктурированные ТД, а также определен новый подход к работе с неструктурированными ТД, основанный на механизмах генерации FDT и GDT.

Контрольные вопросы и задания

• 1. Дайте представление о фундаментальных ТД в ЯП.
• 2. Опишите простые и сложные ТД в FDT.
• 3. Приведите формальный общий синтаксис GDT.
• 4. Расскажите про генерацию сложных ТД GDT к простым.
• 5. Дайте определение неструктурных ТД.
• 6. Какие имеются подходы к решению проблемы обмена ТД?
• 7. Назовите некоторые операции преобразования ТД.
• 8. Опишите сущность подхода к генерации FDT GDT.
• 9. Сформулируйте подходы к реализации разнородных ТД.
• 10. Назовите средства поддержки работы с Big Data.
• 11. Расскажите, какие стандарты есть в области ТД.