WWW.KNIGI.KONFLIB.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

 
<< HOME
Научная библиотека
CONTACTS

Pages:     | 1 |   ...   | 2 | 3 || 5 | 6 |   ...   | 8 |

«САМАРСКИЙ ИНСТИТУТ ИНЖЕНЕРОВ ЖЕЛЕЗНОДОРОЖНОГО ТРАНСПОРТА Кафедра телекоммуникаций на железнодорожном транспорте СОВРЕМЕННЫЕ ТЕХНОЛОГИИ РАЗРАБОТКИ И ТЕСТИРОВАНИЯ ...»

-- [ Страница 4 ] --

В предметной области, как правило, заранее уже определен терминологический словарь данных (параметров, переменных или констант). Так, например, в теории газотурбинных двигателей перечень параметров, их обозначение и содержание регламентировано государственными стандартами, которые во многом унифицированы с международными стандартами. Аналогичное положение дел имеет место в самолетостроении, ракетостроении, радиоэлектронике и т.д.

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

Поэтому программирование в рамках технологии ГСП начинается с утверждения и формирования, так называемого, словаря данных ПОП, который служит целям каталогизации данных ПОП, спецификации их семантики и областей значений.

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

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

Кроме словаря данных и каталога типов данных информационную среду определяют объекты ГСП. Под объектом понимается специальным образом построенный в рамках технологии ГСП программный модуль, выполняющий определенные действия над данными ПОП.

Одним из объектов технологии ГСП является актор. Актор формируется из базового модуля путем привязки абстрактных типов данных базового модуля к данным предметной области. По сути дела актор порождается в результате аппликации базового модуля к своим аргументам (операция конкретизации над типом базового модуля).

Актор производит те же действия, что и породивший его базовый модуль, но над конкретными данными ПОП. В отличие от базовых модулей, каждый актор является содержательным программным модулем, который выполняет понятные функции в рамках заданной предметной области. Акторы в технологии ГСП реализуют отображение над множеством данных предметной области:

Dk = {d1, d 2,..., d n } - множество выходных данных актора Ak. Множества D in и D out образуют в совокупности полное множество данных некоторой предметной области (словарь данных): D = D in U D out.

Один базовый модуль может породить множество акторов. В данном случае проявляется свойство параметрического полиморфизма базовых модулей технологии ГСП [26].

Между базовым модулем и актором осуществляется односторонняя связь типа “один ко многим”. Каждый актор имеет свой прототип в виде базового модуля, а на основании каждого базового модуля можно построить один или несколько акторов. Это свойство полиморфизма объектов позволяет избежать избыточности при порождении новых акторов, которые различаются между собой только привязкой по данным.

Другими словами, на основе одного отлаженного и оттестированного базового модуля за счет механизма автоматизированной привязки по данным можно построить несколько корректных акторов, что позволяет значительно повысить степень надежности программирования в ГСП.

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

Соответствие между базовым модулем Bi и актором Aj порождает соответствие между подмножеством типов Ti данных и подмножеством самих данных Dj предметной области:

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

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

Сформированное отношение (паспорт актора) оформляется как таблица БД (обозначим его P(t,d)) информационного фонда ГСП, содержащая перечень имен формальных параметров и соответствующих им имен данных ПО с указанием способа получения ими своих значений. По способу получения своих значений данные в паспорте делятся на три группы:

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

2) вычисляемые (экспортируемые) данные, которые впервые получают свои значения в процессе выполнения объекта;

3) модифицируемые (изменяемые) данные, которые образуются путем пересечения множеств инициируемых и вычисляемых данных.

При регистрации базового модуля в ПОП автоматически порождается дубликат базового модуля, имеющего стандартную форму информационного интерфейса:

имя объекта(указатель на массив адресов данных ПОП);

Тогда любой базовый модуль, разработанный на языке C++:

в процессе регистрации превращается в модуль стандартного вида:

{ return(B(тип t1P[0], тип t2P[1], тип tnP[n-1]));} Для стандартизованной формы базового модуля операция конкретизации типов данных сводится к процедуре формирования массива адресов данных P[ ], в котором номер элемента массива соответствует порядковому номеру типа данных в базовом модуле, а значение элемента указывает на данное предметной области. Массив P[ ] легко наполнить по паспортным данным актора, следовательно, базовый модуль в стандартной форме + наполненный массив P[ ] фактически определяют актор ПОП. На рис.2. показана схема порождения акторов расчета таких узлов авиационного двигателя, как вентилятор и компрессоры высокого и низкого давления путем привязки типов данных абстрактной вычислительной схемы, “заложенной” в соответствующем базовом модуле.

В процессе реализации алгоритма в рамках технологии ГСП передача управления между объектами осуществляется с помощью управляющих объектов-предикатов.

Формально предикат представляет собой отображение из множества данных предметной области на множество логических значений “истина” и “ложь”:

Отличие предиката от актора заключается в том, что предикат не может производить преобразование над данными, то есть все его данные являются входными:

(d1, d2,..., dm ) Din.

Технологически порождение предикатов ничем не отличается от процедуры порождения акторов. Первоначально строится базис абстрактных логических функций, действующих над типами данных. Множество предикатов ПОП строится из абстрактных логических функций в результате аппликации их типов данных к данным ПОП, т.е. в результате паспортизации типов данных логических функций. Рассмотрение акторов и предикатов, как различных категорий объектов ГСП, обусловлено не только особенностями реализуемых ими типов отображений, но и, что особенно важно, их ролевыми назначениями. Акторы, являясь локальными вычислимыми функциями, реализуют преобразование данных ПОП, в то время как предикаты, являясь функциями управления вычислениями, образуют базу знаний для всей предметной области, т.е. они общезначимы для любых программ, разрабатываемых в рамках ПОП.

Объекты (акторы или предикаты) являются исходным материалом для графического программирования. Результатом графического программирования являются агрегаты. Агрегат создается в форме графа, в котором объекты ПОП играют роль вершин и дуг. Дуги - предикаты, а вершины - акторы или агрегаты. Дуги графа определяют передачу управления от одной вершины к другой.

Формально агрегат представляет собой помеченный ориентированный граф с входной (корневой) и несколькими выходными (концевыми) вершинами:

где F = { A1, A2,..., An } - множество акторов, которые являются вершинами графа, = { 1, 2,..., m } - множество предикатов, которые представляют дуги графа, R отношение над множествами вершин и дуг графа, определяющее способ их связи.

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

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

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

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

Опыт эксплуатации первой версии системы GRAPH показал, что достаточно часто возникает необходимость порождения небольших объектов, состоящих из одного - двух операторов базового языка программирования. Это всевозможные счетчики типа I = I + 1, отладочные печати, простые логические условия типа AB, A=10 и т.д. Разработка соответствующих базовых модулей с последующей паспортизацией до уровня объекта дело неблагодарное. В связи с этим, в технологию ГСП была введена возможность порождения актора или предиката, минуя стадию разработки базовых модулей, которые получили название объектов типа “in line”. Все модули “in line” жестко привязаны к данным ПОП, а стандартизированная форма программного модуля автоматически компилируется в процессе его порождения.

Итак, в наиболее общем виде, программирование в технологии ГСП состоит из следующих этапов:

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

2.Разработка базовых модулей. Это этап традиционного текстового программирования, на котором программист работает с исходными текстами программ, с использованием требований стандарта ГСП к оформлению этих текстов.

3.Создание объектов ПО. Этот этап производится автоматически после привязки формальных параметров базовых модулей к фактическим данным предметной области.

4.Конструирование агрегатов. На этапе графического программирования пользователь может создать графовый образ новой программы.

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



Pages:     | 1 |   ...   | 2 | 3 || 5 | 6 |   ...   | 8 |
 


Похожие работы:

«ПЕРЕЧЕНЬ ДЕЙСТВУЮЩИХ НОТАМ Cледующие НОТАМ действуют по состоянию на 06 марта 2014 0500 UTC НОТАМ, не включенные в перечень, аннулированы, или срок их действия истек, или внесены в АИП книга 4 очередной Поправкой   СЕРИЯ Д  (Д0013/13 НОТАМН Щ)УЕЕЕ/ЩПИЬЬ/И/НБО/А/000/999/6022С13426В015 А)УЕМУ Б)1303070900 Ц)ПОСТ Е)ВМЕСТО КООРДИНАТ ТРЕТЬЕГО РАЗВОРОТА: N601205.3 E1341811.1 4ИТАТЬ N601252.9 E1342055.7. ВМЕСТО КООРДИНАТ 4ЕТВЕРТОГО РАЗВОРОТА: N601319.5 E1341258.8 4ИТАТЬ N601407.1 E1341543.3. ДЛЯ ВС СО...»

«ЧАСТЬ СИСТЕМЫ ПЛАНЕРА КНИГА 4 Гл9в а 36 КАТАЛОГ ДЕТАЛЕЙ И СБОРОЧНЫХ ЕДИНИЦ ПЕРЕЧЕНЬ ГЛАВ КАТАЛОГА Номер Наименование главы ВВЕДЕНИЕ Часть I - УКАЗАНИЯ ПО ОБЩЕМУ ОБСЛУЖИВАНИЮ Хранение самолета (наземное оборудование) 12 Часть 2 - ПЛАНЕР. Книга I Общие указания 20 21 Фюзеляж Часть 2 - ПЛАНЕР. Книга 2 Двери и люки 22 23 Окна Оперение 25 26 Пилоны • • Часть 2. - ПЛАНЕР. Книга 3 Крыло (включая раздел 24.43.00) 24 Часть 2 - ПЛАНЕР. Книга 4 Крыло (с раздела 24.51.00) 24 Часть 3 - СИСТЕМЫ ПЛАНЕРА....»

«Кафедра Управления работой флота Г.Я. Синицын МЕНЕДЖМЕНТ Методические указания по выполнению практических работ для студентов специальности 240100 Организация перевозок и управление на транспорте (водном) Новосибирск 2005 УДК 658.2 (07) Синицын Г.Я. Методические указания по выполнению практических работ по дисциплине Менеджмент для студентов очного и заочного факультета по специальности 240100 Организация перевозок и управление на транспорте (водном). – Новосибирск, 2005. - 72 с. Предложен...»

«Омск 2011 1 Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования Сибирская государственная автомобильно-дорожная академия (СибАДИ) Кафедра организации перевозок и управления на транспорте АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ УПРАВЛЕНИЯ КАК ИНСТРУМЕНТ ОПТИМИЗАЦИИ ПРОЦЕССОВ УПРАВЛЕНИЯ В ТРАНСПОРТНЫХ СИСТЕМАХ Задания и методические указания к выполнению лабораторных работ по дисциплине Информационные технологии на транспорте для студентов специальности...»

«rr.by СООБЩЕНИЯ. РАЗНОЕ Витебск 38 i КАК ПОДАТЬ ЧАСТНОЕ ОБЪЯВЛЕНИЕ В ГАЗЕТУ “ИЗ РУК В РУКИ”? ГАЗЕТА ЧАСТНЫХ ОБЪЯВЛЕНИЙ Условия приема на стр. 39 № 70(932) Витебск и Витебская область Рекламное издание СП “БЕЛПРОНТО”...»

«Положение о порядке проведения практики курсантов и студентов Ульяновского высшего авиационного училища гражданской авиации (института) Ульяновск 2012 Настоящее Положение о порядке проведения практики курсантов и студен­ тов Ульяновского высшего авиационного училища гражданской авиации (ин­ ститута) (далее - Положение о практике) определяет порядок организации, про­ ведения и руководства практикой, требования к содержанию и структуре про­ граммы практики, к отчетной документации по практике....»

«К АТАЛОГ Д ЕТАЛЕИ И СБОРОЧНЫХ Е ДИНИЦ ЧАСТЬ 3 СИСТЕМЫ ПЛАНЕРА КНИГА 3 Главы 34, 35 КАТАЛОГ ДЕТАЛЕЙ И СБОРОЧНЫХ ЕДИНИЦ ПЕРЕЧЕНЬ ГЛАВ КАТАЛОГА Номер Наименование главы ВВЕДЕНИЕ Часть I - УКАЗАНИЯ ПО ОБЩЕМУ ОБСЛУЖИВАНИЮ Хранение самолета (наземное оборудование) 12 Часть 2 - ПЛАНЕР. Книга I 20 Общие указания 21 Фюзеляж Часть 2 - ПЛАНЕР. Книга 2 Двери и люки 22 Окна 23 Оперение 25 26 Пилоны Часть 2. - ПЛАНЕР. Книга 3 Крыло (включая раздел 24.43.00) 24 Часть 2 - ПЛАНЕР. Книга 4 Крыло (с раздела...»

«АмплиСенс Федеральное бюджетное учреждение науки Центральный научно-исследовательский институт эпидемиологии, Российская Федерация, 111123, город Москва, улица Новогиреевская, дом 3а ОГЛАВЛЕНИЕ СПИСОК СОКРАЩЕНИЙ НАЗНАЧЕНИЕ ПРИНЦИП МЕТОДА ФОРМАТЫ И ФОРМЫ ВЫПУСКА НАБОРА РЕАГЕНТОВ АНАЛИТИЧЕСКИЕ ХАРАКТЕРИСТИКИ МЕРЫ ПРЕДОСТОРОЖНОСТИ ДОПОЛНИТЕЛЬНЫЕ МАТЕРИАЛЫ И ОБОРУДОВАНИЕ ВЗЯТИЕ, ТРАНСПОРТИРОВАНИЕ И ХРАНЕНИЕ ИССЛЕДУЕМОГО МАТЕРИАЛА. 8 ПОДГОТОВКА ИССЛЕДУЕМОГО МАТЕРИАЛА К ЭКСТРАКЦИИ ДНК ФОРМАТ FRT...»

«ТРУДЫ ПРОФЕССОРСКО-ПРЕПОДАВАТЕЛЬСКОГО СОСТАВА Библиографический указатель за 2012 год Москва 2013 ПРЕДИСЛОВИЕ Библиографический указатель трудов профессорско-преподавательского состава Российской открытой академии транспорта федерального государственного бюджетного образовательного учреждения высшего профессионального образования Московский государственный университет путей сообщения призван показать направления научноисследовательской деятельности, познакомить с новой учебной литературой,...»

«rr.by СООБЩЕНИЯ. РАЗНОЕ Витебск 45 i КАК ПОДАТЬ ЧАСТНОЕ ОБЪЯВЛЕНИЕ В ГАЗЕТУ “ИЗ РУК В РУКИ”? ГАЗЕТА ЧАСТНЫХ ОБЪЯВЛЕНИЙ Условия приема на стр. 46 № 38(1000) Витебск и Витебская область Рекламное издание СП “БЕЛПРОНТО”...»






 
© 2013 www.knigi.konflib.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.