Перебудова загальних типів даних до фундаментальних для МП

Сутність проблеми. Поняття «тип даних» виник ще в 70-роках 20 сторіччя, як формальний механізм опису і тлумачення даних, з якими працює кожна програма. Сформувалась аксіоматика фундаментальних типів даних, яка використовується і зараз. Програмування в МП пов’язано з типами даних, які необхідні для вирішення задач і отримання результатів. Тип – це математичне поняття, що позначає множину значень елементів. Тип даних – це набір різних значень з певними властивостями та виконуваними над цими значеннями операціями. Базовий тип даних є елементарним типом (ціле, дійсне, символьне та ін.), значення якого визначається апаратурою, компіляторами з МП та ін. Тип присвоюється змінній у програмі в МП для завдання класу значень, кожне з яких належить одному і тільки одному типу. Операції над значеннями типу є аксіоми, що виконують функції відображення значень одного типу в значення іншого типу [3, 4].

Кожне значення типу будується за допомогою кінцевого числа операцій (наприклад, операція «+» має різну семантику для змінної, матриць і т.п.) і в пам'яті машини це значення – кінцеве. Типи призначені для опису функцій і програм в МП, реалізуються системами програмування на різних платформах комп'ютерів у вихідному коді, який служить джерелом не лише для виконання програми на цій МП, але і для забезпечення інтераперабельності в різноманітних сучасних середовищах, що відрізняються між собою. Кожна реалізована програма відображає використовуваний тип даних конкретної МП, значення якого може передаватися іншій програмі за допомогою апарату виклику (звернень, повідомлень) і використовується при обчисленні програми [1].

Операції над типом – це операції перетворення чи відображення значень одного типу в значення іншого типу за допомогою функцій селектора, яка забезпечує вибір елементів даних із структурного або складного типу.

Головним питанням даної проблеми є теоретичні і прикладні аспекти використання даних у МП і необхідного перетворення фундаментальних типів даних (Fundamentals data types – FDT) нееквівалентних між собою даних в МП (вирішених міжмовним і між модульним інтерфейсом у [4]) та генерації загальних типів даних (General Data Types – GDT) нового стандарту ISO/IEC 11404 –2007 до типів даних FDT в МП, а саме:

– аналіз властивостей FDT, що широко використовуються у всіх мовах програмування (МП) для їх оброблення у відповідному середовищі;

– розгляд особливостей загальних типів даних GDT стандарту ISO/IEC 11404 та механізмів генерації примітивних і складних типів даних (портфель, контейнер тощо);

– розроблення підходу до перебудови GDT <=> FDT,

– співставлення загальних типів даних з ФДТ МП С++, Java і побудови примітивів чи функцій перетворення несумісних типів даних цих мов для сучасних середовищ;

– розробка посередника на прикладі програм в С++ та Java для перебудови не релевантних типів даних, що можуть передаватися між цими програмами.

Поряд з теорією FDT виникло поняття загальних типів даних для опис даних у різних сферах інформаційній обробки. Розроблено стандарт ISO/IEC 11404 –2007 (перша версія 1996), який запропонував не тільки нові загальні типи даних, але і засоби генерації їх до фундаментальних і зовсім нових.

Підхід до реалізації засобів стандарту для генерації GDT<=>FDT.З практичної точки зору загальні типи даних GDT можливо генерувати до фундаментальних типів даних FDT за допомогою спеціального набору процедур (функцій), який специфічний для різних комп’ютерних систем. Запропонована схема генерації GDT<=>FDT (рис.1) [6].

Рис.1.. Загальна схема перебудови ФДТ <=> GDT

Основні функції для генерації типів даних GDTВідповідно спроектованої нами схеми генерації необхідно розробити набір бібліотек функцій (процедур) у загально прийнятій мові Java, XML для застосування їх при відображенні різних типів даних у програмах в сучасних або в майбутніх МП. Це такі функції:

– перебудови типів даних МП₁, …, МП_n;

– подання типів даних FDT;

– представлення GDT для оброблення з апробованої схеми ФДТ;

– відображення GDT<=>FDT.

Теорія подання ФДТ була нами розроблена і реалізована у вигляді бібліотеки функцій перебудови між собою типів даних FDT для класу МП 4GL [4, 5]. Для реалізації даного набору функцій для ФДТ <=> GDT і GDT<=>FDT необхідно провести:

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

2) специфікацію зовнішніх типів даних компонентів, підсистем і систем в МП засобами мови GDT із накопиченням їх в одному з репозитарієв середовища розроблення програмних продуктів (наприклад, на деякої фабрики);

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

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

Проведена апробація набору примітивних функцій трансформації складних типів даних (масив, черга, стек, комплексне число, вектор) до простих FDT на технологічної лінії інструментально-технологічного комплексу (ІТК) веб-сайта (http://sestudy.edu-ua.net). та на студентської фабрики програм КНУ (http://programsfactory.univ.kiev.ua), що підтримує концепцію зборочного конвеєра академіка Глушкова і сучасних фахівців (Дж.Грінфілда, Г.Ленца, І.Бейю, М.Фаулера і др.) [7]. Приклади трасфломації типів даних містяться у ІТК, які можна дивитися у розділі 4.

Читайте також:

<== попередня сторінка	\|	наступна сторінка ==>
Баові поняття стандарту з типів даних	\|	Підходи і методи доказу програм

Не знайшли потрібну інформацію? Скористайтесь пошуком google:

Генерація сторінки за: 0.019 сек.