Создание методики и прототипа инструментальной системы автоматизации проектирования проблемно-ориентированных систем обработки информации тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Пантелеев, Петр Анатольевич

• Пантелеев, Петр Анатольевич
• кандидат технических наук
• 1998

Оглавление диссертации кандидат технических наук Пантелеев, Петр Анатольевич

Оглавление

Введение 7.

Основные определения 11.

Глава 1. Обзор литературы по методам и инструментальным

системам разработки 13.

1.1. Структура и задачи главы 13.

1.2. Структурное программирование 13.

1.3. Модульное программирование 15.

1.4. Объектно-ориентированное программирование 16.

1.4.1. Объектно-ориентированные языки 18.

1.4.2. Ограничения объектно-ориентированного подхода 20.

1.5. Компонентное программирование 21.

1.5.1. СОИВА 2 3.

1.5.1.1. Язык определения интерфейсов 23.

1.5.1.2. Хранилище интерфейсов 24.

1.5.1.3. Хранилище реализаций

1.5.2. ЗОМ/ББОМ 24.

1.5.3. Технология СОМ 2 5.

1.5.4. ^лгаБеапэ 25.

1.6. Сборочная технология программирования 26.

1.6.1. Анализ требований 27.

1.6.2. Разработка спецификаций 27.

1.6.3. Разработка модулей и сборка системы 31.

1.6.4. Метрики программной системы 33.

1.6.4.1. Модель проекта 33.

1.6.4.2. Нормы макроуровня 35.

1.6.4.3. Нормы микроуровня 3 6 .

1.7. Инструментальные системы поддержки разработки 38.

1.7.1. Формальное направление 38.

1.7.2. Прагматическое направление 39.

1.7.3. CASE-технология 40.

1.7.3.1. Общие понятия 40.

1.7.3.2. Структура CASE-систем 41.

1.7.3.3. Классификация CASE-систем 41.

1.7.3.4. Обзор CASE-систем 43.

1.7.4. RAD-системы 45.

1.7.4.1. Visual Age 46.

1.7.4.2. Microsoft Visual Studio 47.

1.7.4.3. Delphi 48.

1.7.4.4. Общие свойства существующих RAD-систем 49.

1.8. Выводы 50.

Глава 2. Модель сборочной технологии компонентного

программирования 52.

2.1. Структура и задачи главы 52.

2.2. Модель активного модуля сборочной технологии 52.

2.2.1. Модуль "один вход - один выход" 53.

2.2.2. Модуль "один вход - много выходов" 54.

2.2.2.1. ДСП-алгебра 58.

2.2.2.2. Определение оператора 59.

2.2.2.3. Аксиомы фундаментальности оператора 59.

2.2.2.4. Экспликатор многовыходных модулей 60.

2.3. Композиция модулей 62.

2.3.1. Композиция операторов 63.

2.3.2. Циклирование оператора 64.

2.3.3. Операция прополки многовыходного модуля 67.

2.4. Многовходной модуль 68.

2.5. Композиция многовходных модулей 70.

2.6. Выводы 70.

Глава 3. Методика автоматизации проектирования программных

проектов по визуальной компонентной технологии 72.

3.1. Структура и задачи главы 72.

3.2. Основные определения 72.

3.3. Методика визуального проектирования 73.

3.3.1. Пункты методики проектирования 73.

3.3.2. Разработка спецификаций 74.

3.3.3. Реализация модулей 75.

3.3.4. Сборка программной системы 7 6.

3.3.5. Оценка характеристик программной системы 77.

3.3.6. Требования к разработчику 78.

3.4. Свойства методики проектирования 80.

3.4.1. Использование алгебры сборки 80.

3.4.2. Применение визуальной техники 81.

3.4.3. Переиспользование компонент 81.

3.5. Принципы построения инструментальной системы 83.

3.5.1. Терминология 83.

3.5.2. Компонента сборки 84.

3.5.2.1. Базовый класс 86.

3.5.2.2. Составной класс 89.

3.5.2.3. Интерфейс 90.

3.5.2.4. Методы класса 90.

3.5.2.5. Поля класса 91.

3.5.2.6. Графическое представление 91.

3.5.2.7. Текстовое описание 92.

3.5.3. Библиотека информационных объектов 92.

3.5.3.1. Библиотека 93.

3.5.3.2. Папка 94.

3.5.3.3. Ссылка 94.

3.5.3.4. Устройство 95.

3.5.3.5. Типы объектов 95.

3.5.4. Навигатор 96. 3.5.4.1. Операции над объектами 97.

3.5.4.2. Операции drag-and-drop 97.

3.5.4.3. Действия над объектами 98.

3.5.4.4. Контекстное меню 99.

3.5.5. Типы данных 9 9.

3.5.5.1. Арифметические типы данных 9 9.

3.5.5.2. Строковый тип 100.

3.5.5.3. Перечислимый тип 101.

3.5.5.4. Запись 101.

3.5.6. Редактор составной спецификации 101.

3.5.6.1. Фиксация интерфейса 102.

3.5.6.2. Размещение элементов 102.

3.5.6.3. Соединение элементов 103.

3.5.7. Редактор внешнего представления 103.

3.5.7.1. Зона соединения 104.

3.5.7.2. Индикаторы 10 4.

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

3.5.8.1. Загрузка проекта 105.

3.5.8.2. Исполнение 107.

3.5.8.3. Отладка 108.

3.6. Выводы 110.

Глава 4. Оценки методики визуального компонентного

проектирования 112.

4.1. Структура и задачи главы 112.

4.2. Применение методики проектирования 112.

4.3. Метрики разработки проекта 113.

4.3.1. Метрики трудоемкости 113.

4.3.2. Объем приложения 113.

4.3.3. Производительность 115.

4.3.4. Экспериментальные измерения 116.

4.4. Проект 1 117.

4.4.1. Описание блоков 117.

4.4.1.1. Календарь событий 117.

4.4.1.2. Логическое ядро симулятора 118.

4.4.1.3. Исполнитель событий 119.

4.4.2. Реализация базовых элементов 120.

4.4.2.1. Next_Time 12 0.

4.4.2.2. Do_Step 121.

4.4.2.3. Start 121.

4.4.2.4. Timer 122.

4.4.2.5. Min 122.

4.4.2.6. MultiOutput 122.

4.4.3. Метрики проекта 123.

4.5. Проект 2 12 4.

4.5.1. Структура проекта 12 6.

4.5.2. Блок формирования параметров 12 6.

4.5.3. Блок расчета начальной точки поиска 12 6.

4.5.4. Блок расчета траектории 12 7.

4.5.5. Блок вывода результатов 128.

4.5.6. Применение методики в проекте 12 9.

4.6. Результаты исследований 12 9.

4.6.1. Трудоемкость 130.

4.6.2. Издержки по памяти 132.

4.6.3. Издержки по производительности 133.

4.6.4. Оптимизация характеристик приложения 134 .

4.7. Выводы 137. Заключение 138. Литература 142.

Введение диссертации (часть автореферата) на тему «Создание методики и прототипа инструментальной системы автоматизации проектирования проблемно-ориентированных систем обработки информации»

Введение

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

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

Анализ требований

Проектирование

Разработка

Поставка

Сопровождение

Рис. 0.1. Жизненный цикл программного обеспечения

этапы создания программного продукта согласно этой модели. В России модель жизненного цикла определена стандартом (ГОСТ 34.601-90), который вводит следующие этапы:

• формирование требований к программной системе;

• разработка концепции системы;

• разработка технического задания;

• эскизный проект;

• технический проект;

• рабочая документация;

• ввод в действие;

• сопровождение.

Так как эти модели во многом схожи, в дальнейшем будем опираться на первую модель (рис. 0.1), как наиболее полную и распространенную во всем мире.

Различные этапы жизненного цикла поддержаны инструментальными средствами в различной степени. Наиболее поддержанным является этап разработки, чему способствует наличие большого числа трансляторов, оптимизаторов, средств автотестирования. В последние годы появились

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

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

Целью работы является создание методики и инструментальных средств поддержки проектирования

программного продукта в рамках сборочной технологии

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

1. Снижение трудоемкости разработки спецификаций и проектирования.

2. Реализация продукта фиксированного уровня надежности, достигаемая за счет контроля корректности продукта в период разработки.

3. Увеличение производительности разработки, то есть гарантия сроков окончания отдельных этапов и всего проекта в целом.

Для достижения поставленных целей необходимо решить следующие задачи:

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

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

3. Дать обоснование разрабатываемой методики.

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

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

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

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

Основные определения

Приведем базовые определения согласно стандарту IEEE [66] (в алфавитном порядке):

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

Метрика. Количественная оценка характеристики (атрибута) системы, ее компоненты или процесса.

Модуль. Логически независимая часть программы. В данном значении также часто употребляется термин "компонент". Использование этих терминов в настоящее время не стандартизовано.

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

Программный продукт. Компьютерная программа,

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

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

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

CASE (Computer-Aided Software Engineering).

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

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

DFD (Data Flow Diagram). Диаграмма потоков данных. Диаграмма, на которой изображаются источники данных, прохождение данных и процессы преобразования данных в качестве узлов и логический поток данных в качестве связей между узлами.

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Пантелеев, Петр Анатольевич

Основные результаты работы докладывались и обсуждались на международной научно-технической конференции

Информационные технологии в моделировании и управлении" (Санкт-Петербург, 1996), на семинарах кафедры

Информационные и управляющие системы" СПбГТУ, а также на симпозиуме по моделированию в г. Финикс, США.

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

На защиту выносятся:

1. Формальная модель корректного многовходного модуля.

2. Формальное обоснование композиции многовходных модулей.

3. Методика конструирования надежных спецификаций на базе алгебры многовходных-многовыходных компонентов с использованием визуальной техники и автоматической сборки программной системы на базе разработанных спецификаций.

4. Разработанный прототип инструментальной системы поддержки методики.

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

Заключение

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

Для достижения поставленной цели в работе было сделано следующее:

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

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

3. Для обоснования разрабатываемой методики сделано следующее:

• определена модель активного элемента сборочной технологии программирования;

• сформулированы принципы построения корректных элементов;

• определена модель композиции корректных элементов, посредством которой можно строить корректные составные элементы;

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

4. Разработана методика проектирования программного обеспечения.

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

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

7. Проведены исследования по применению методики на 4 проектах с использованием разработанного прототипа инструментальной системы.

Научную новизну представляют предложенные автором:

1. Формальная модель корректного многовходного модуля.

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

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

4. Методика автоматической сборки программной системы на базе разработанных спецификаций.

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

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

Разработанные методы и средства автоматизации проектирования программного обеспечения внедрены в СПП при Президиуме РАН, НПФ "Юпитер" (Санкт-Петербург), ЗАО "СевероЗападная Лаборатория" (Санкт-Петербург) и в учебном цикле "Технология программирования" кафедры "Информационные и управляющие системы" СПбГТУ.

Общий объем разработанного программного обеспечения, вошедшего в прототип инструментальной системы автоматизации проектирования, составил 67К строк исходного кода на языке С++, объем документации на прототип - более 120 страниц.

Список литературы диссертационного исследования кандидат технических наук Пантелеев, Петр Анатольевич, 1998 год

Литература

1. Агафонов В.Н. Языки и средства спецификации программ (обзор) // Сборник статей "Требования к спецификации в разработке программ". - М.: Мир, 1984.

2. Агафонов В.Н. Спецификация программ: понятийные средства и их организация. - Новосибирск: Наука, 1987.

3. Агафонов В.Н. Объектно-ориентированное программирование и абстрактные типы данных. // Программирование. - 19 90. -№6. - С. 27-32.

4. Берс A.A. Об объектной ориентации и организации архитектуры программных систем. // Актуальные вопросы технологии программирования. - Л.: ЛИИАН, 1989.

5. Боэм К. У. Инженерное проектирование программного обеспечения. - М.: Радио и связь, 1985.

6. Вирт Н. Систематическое программирование. Введение. -М.: Мир, 1977.

7. Вирт Н. Программирование на языке Модула-2. - М.: Мир, 1987 .

8. Вирт Н. Модула 2 и объектно-ориентированное программирование // Системная информатика. Вып. 2. Системы программирования. Теория и приложения. -Новосибирск: ВО "Наука", 1993.

9. Глушков В.М. Теория автоматов и неформальные преобразования программ // Кибернетика. - 1965. - №5. -С. 1-6.

10. Дал У., Дейкстра Э., Хоор К. Структурное программирование. - М.: Мир, 1975.

11. Джехани Н. Язык Ада. - М.: Мир, 1988.

12. Дробинцев Д.Ф.г Котляров В.П. Использование протокольных выражений в спецификациях ПО встроенных микроэвм для повышения надежности в функционировании программных модулей // Программные средства как продукция производственно-технического назначения. Тез. докл. Всес. научно-технической конф. - Калинин. - 1985.

13. Евстигнеев В.А., Кожевникова Г.П. Сложность программ: топологические меры, не использующие понятия управляющего графа / Отчет № АТИ-ПГ 362/04. -Новосибирск: НФИТМ и ВТ. - 1985.

14. Евстигнеев В.А., Кожевникова Г.П. Топологические меры сложности программ. / Препринт АН СССР. НФИТМ и ВТ. -1985.

15. Ершов А.П. Отношение методологии и технологии программирования // Технология программирования. Тез. докл. II Всес. конф. - Киев: ИК АН УССР, 1986, с. 10-12.

16. Иткин В.Э. Алгебра смешанного выполнения программ // ДАН СССР, т. 275, N6, 1984, с. 1332-1336

17. Иткин В.Э. К алгебре и аксиоматике параллелизма программ // Теория программирования и параллельных распределенных систем. - Новосибирск: ВЦ СОАН, 1985, с. 38-53

18. Иткин В.Э.г Котляров В.П. Вопросы конструирования устойчивых алгоритмов на базе многовыходных модулей. // Актуальные вопросы технологии программирования. - JI.: ЛИИАН, 1989.

19. Кальянов Г.Н. CASE: Компьютерное проектирование программного обеспечения. - М.: НЦИЭ ИнтерЭВМ, 1990.

20. Кожевникова Г.П. Структуры данных и проектирование эффективной вычислительной среды. - Львов: Вища шк. Изд-во Львовского ун-та, 1986.

21. Кожевникова Г.П., Стогний A.A. Фасетная классификация мер качества программ // Кибернетика. - 1989. - № 2.

22. Колмогоров А.Н. , Успенский В.А. К определению алгоритма. // Успехи математических наук. - 1958. - т.13, вып.4 (82). - С.3-28

23. Котляров В.П. Фрагменто-модульная технология программирования для микроэвм управляющих применений. // Вопросы технологии программирования. - Л.: ЛИИАН, 1988.

24. Котляров В.П. Метрика программного проекта, ориентированная на управление проектированием расширяемых систем. // Проблемы технологии программирования. - СПб.: СПИИРАН, 1992.

25. Котляров В.П. CASE-технология и возможности современных CASE-средств в поддержке этапов проектирования программного продукта // Системная информатика. Вып. 4: Методы теоретического и системного программирования. -Новосибирск: ВО "Наука", 1995. - С. 272-303.

26. Котляров В.П., Киреев С.П., Морозов Н.Б. , Линде A.B. Управление эффективностью ПО встроенных микро-ЭВМ в сборочной системе программирования // Средства связи. -М.: ЦООНТИ «Экое», 1987, вып. 3, с. 31-34

27. Котляров В.П., Морозов Н.Б. Особенности алгоритмов смешанных вычислений для управляющих программ микро-ЭВМ // Трансляция и преобразование программ. - Новосибирск: ВЦ СОАН, 1984, с. 94-107

28. Котляров В.П., Питько А.Е. Инструментальная система

поддержки фрагменто-модульной технологии программирования - JI.: ЛИИАН, 1988, с. 88-103

29. Котляров В.П., Розман М.М. Подход к спецификации программного обеспечения управляющих применений микроЭВМ // Инструментальные средства поддержки программирования. - Л.: ЛИИАН, 1988, с. 143-152

30. Котляров В.П., Розман М.М. Средства поддержки проектирования программного обеспечения на ранних стадиях его разработки // Актуальные вопросы технологии программирования. - Л.: ЛИИАН, 1989, с. 183-193.

31. Лаврентьев М.А., Люстерник Л. А. Курс вариационного исчисления. - М.: Госиздат, 1950.

32. Лингер Р., Миллс XУитт Б. Теория и практика структурного программирования. - М.: Мир, 1982.

33. Липаев В.В., Потапов А.П. Оценка затрат на разработку программных средств. - М.: Финансы и статистика, 1988.

34. Майерс Г. Надежность программного обеспечения. - М. : Мир, 1980.

35. Непомнящий В.А., Рякин Я.М. Прикладные методы верификации программ. - М.: Радио и связь, 1988.

36. Пантелеев П.А., Питько А.Е. Объектно-ориентированный подход в проектировании моделирующих систем обработки информации // Тез. докладов Международной научно-технической конференции "Информационные технологии в моделировании и управлении". - С.Пб.: СПбГТУ, 1996

37. Ремерович Я., Кнут Е.г Разо П. Автоматизированные методы спецификации. - М.: Мир, 1989.

38. Роджерсон Д. Основы СОМ. - М.: Издательский отдел "Русская редакция" ТОО "Channel Trading Ltd.", 1997.

39. Розман М.М. Методы и средства поддержки ранних стадий проектирования программного обеспечения в расширяемых системах автоматизации программирования контроллеров. Диссертация на соискание ученой степени к.т.н. по специальности 05.13.11. - Л.: 1990.

40. Самохвалов К.Ф. Об аксиоматическом представлении эмпирических теорий // Эмпирическое предсказание и распознавание образов / Вычислительные системы. -Новосибирск: ИМ СОАН, вып. 76, с. 15-25.

41. Токарев М.В. Создание прототипа интегрированного пакета оценки трудоемкости программного обеспечения. Диссертация на соискание ученой степени к.т.н. по специальности 05.13.11. - СПб.: 1995.

42. ТыугуЭ.Х. Объектно-ориентированное программирование //

Программирование. - 1990. - №6.

43. Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения. - М.: Наука, 1987.

44. Фокс Дж. Программное обеспечение и его разработка. - М. : Мир, 1985.

45. Фути К., Судзуки Н. Языки программирования и схемотехника СБИС. - М.: Мир, 1988

46. Хьюз, Мичтом Структурный подход к программированию.-М.: Мир, 1980

47. Эллис М. , Строуструп Б. Справочное руководство по языку программирования С++ с комментариями. - М.: Мир, 19 92.

48. Янг С. Алгоритмические языки реального времени: конструирование и разработка. - М.: Мир, 1985.

49. Arnold К., Gosling J. The Java Programming Language. -Addison-Wesley, 1996.

50. Bardzin J.M. The problem of reachability and verification of programs // Lect. Notes in Сотр. Sci., 1979, N74, pp 13-25.

51. Birtwistle G.M., Dahl 0., Myhrtag В., Nygaard K. Simula Begin. - Philadelphia: Auerbach-Press, 1973.

52. Boehm C.r Jacoplni G. Flow diagrams Turing machines and languages with only two formation rules // CACM, V.9, May. 1966, pp 366-371.

53. Cox B.J. Message/Object Programming: An Evolutionary Change in Programming Technology // IEEE Software. -1984. - January. - P.50-61.

54. Cox B. Object-Oriented Programming: An Evolutionary Approach. - Reading: Addison-Wesley, 1986.

55. Cristian F. Correct and robust programs // IEEE Tr. of SE, V.SE-10, N2, 1984, pp 163-174.

56. Dahl O.-J., Nygaard K. Simula: An Algol-Based Simulation Language // CommACM. - 1966. - Vol.9, №9.- P.671-678 .

57. Dljkstra E.W. Go to statement considered harmful // CommACM. - 1968. - Vol.11, №3.

58. Ershov A.P. On the partial computation principle // Information processing letters, V.6, Apr., N2, 1977, pp 38-41.

59. Flanagan D. Java in a Nutshell. - O'Reilly & Ass., Inc., 1997 .

60. Forte G., Norman R.J. CASE: A Self Assesment by the Software Engineering Community // CommACM. - 1992. - Vol. 35, №4. - P. 28-32.

61. Goldberg ARobson D. Smalltalk-80: The Language and its Implementation. - New York: Addison-Wesley, 1983.

62. Halbert D.C., O'Brien P.D. Using Types and Inheritance in Object-Oriented Languages // Lecture Not. Comp. Sci. -1987. - V. 276. - P. 20-31.

63. Hamphry H.U. Managing The Software Process. - Addison Wesley, 1989.

64. Harrison W. Software Complexity Metrics: A Bibliography and Category Index. // SIGPLAN Notices. - 1984. - V. 19. - № 2. - P. 17-27.

65. Horstmann C.S., Cornell G. Core Java. - Sun Microsystems Press, 1997.

66. IEEE Software Engineering Standards Collection. - N-Y.: Edition IEEE Inc., 1997.

67. Itkin V.E. An algebra and axiomatization system of mixed computatuion // IFIP TC-2 Sponsored workshop on partial evaluation and mixed computation. - Denmark, Oct., 1987, P. 171-180.

68. Jordan E.W., Machesku Y.Y. System Development Requirements, Evaluation, Design and Implementation. - Boston, 1990.

69. Knuth D.E. Literate Programming // The Computer Journal. - 1984. - № 2, Vol. 27, P.97-111.

70. Kotlyarov V., Panteleyev P. Visual Component Programming Technology // Simulation and Modeling for 10X Cycle Time Reduction Symposium. - Plantation, Florida, 1998.

71. Kotlyarov V., Panteleyev P. An Approach to the Component Design of the Robust Software Systems // Motorola Technical Bulletin. - 1998.

72. Liskov B., Zilles S. Programming With Abstract Data Types // SIGPLAN Notices. - 1974. - V.9, № 4, P. 50-59.

73. McClure C. The CASE Experience. - Byte, 1989.

74. Meyer B. Reusability: The Case for Object-Oriented Design // IEEE Software. - 1987. - March.

75. Micaleff J. Encapsulation, Reusability and Extensibility in Object-Oriented Programming Languages // Object-Oriented Programming. - 1988. - April-May, P. 12-35.

76. Pascoe G.A. Elements of Object-Oriented Programming //

Byte. - 1986. - August. - P.139-144.

77. A Discussion of the Object Management Architecture, 1997. - http://www.omg.org/library/oma/oma-all.pdf.

78. Borland International, http://www.borland.com

79. IBM Corporation, http://www.ibm.com

80. Microsoft Corporation, http://www.microsoft.com

81. Object Management Group, http://www.omg.org

82. Sun Microsystems, http://www.sun.com

ЗАО « Северо - Западная Лаборатория Лтд.»

196084, Россия, г.Санкт-Петербург, ул. Черниговская, д. 8

тел./факс [phone]

ИНН 7810698450 р/с 40702810155230107691 в Центральном ОСБ 1991/0243 банка Сбербанка РФ по С-Петербургу МФО 044030653, к/с 30101810500000000653 ОКПО- 44327593, ОКОНХ - 95120 суб.кор.сч.30301810955000605523

УТВЕРЖДАЮ

Генеральный директор

АКТ

Результаты диссертационной работы Пантелеева Петра Анатольевича и созданная им инструментальная система автоматизации проектирования проблемно-ориентированных систем обработки информации внедрены в ЗАО "Северо-Западная Лаборатория" при создании прикладного программного обеспечения системы автоматизации управления производством абонентских комплектов учрежденческих АТС.

Внедрение системы в эксплуатацию позволяет снизить затраты производственного процесса на 8 %.

Эффект от внедрения основывается на обеспечении оперативной адаптации проблемного программой) обеспечения АСУ при внесении изменений в технологический процесс в соответствии с требованиями заказчика.

Начальник отдела АСУ ЗАО "Северо-Западная Лабораг Полянская Н.Е.

ЗАКРЫТОЕ АКЦИОНЕРНОЕ ОБЩЕСТВО "НАУЧНО-ПРОИЗВОДСТВЕННАЯ ФИРМА

"ЮПИТЕР"

Россия, 191123, г.Санкт-Петербург,

Манежный пер.19, о.28

для корреспонденции а/я 140

тел.

тел. [phone]

тел./факс [phone]

АКТ

Результаты диссертационной работы Пантелеева Петра Анатольевича и созданная им инструментальная система автоматизации проектирования проблемно-ориентированных систем обработки информации внедрены в научно-производственной фирме "Юпитер" для разработки проблемно-ориентированных программных комплексов управления очистными сооружениями.

Эффект от внедрения заключается в снижении сроков адаптации проблемно-ориентированных управляющих комплексов на 10-12% за счет сокращения сроков переработки программного обеспечения управляющих комплексов.

Генеральный директор рЗФ^*ГОпитер" Никифоров Г.И.

и

, ^ fï (t ,Гцх

РОССИЙС1 ТУ" т

r, JjS 'р., Т1Г « Q-

Aj £ JU. j£JL ¿>A.

ШШКЛ/ 1'Г ^ * < ?

СшгЛетчйяишв «¡'(-деление

» vF- о цг i > ¿\ m» HA-ÎMJ ibnv'K ¡C ! Г*" C> 1 brU О

отделе

, w

po^c-FV

PAN

II 1 II ¡Л V ч иош

¿3

Su

1998 г.

í

t« / "s • *

jVs

4-V

л-.

В, Подкосов

АКТ

* À M A л^йлккД^Дй^ з. Ma^wC^sJ á «•¿uJûll'Â Xjia¡4itl ü Wji^^öeü i .¿v iíím ¿^lijfS'il

••»!"»•' «»••ю- <4f"S» íHnn5-ie-*>«fi-mi"í""t-ч-«* «• истенмии^1; ' 5 i

». Ult . « lip I i .Л i t2 V iV.Í- f ri»""}

Ре^оштагш диссертационной p&6(ym Пашшеева H.A.:

Wij.^4-.-W-K.Í, i. íifjlíX/UiiíLi

uúi. л i«- -ш. на базе сборочной шшолспш

* •н^'чн>«иим »чиии* untMW.» «у«-» ьшй евстемы автоматизации нрое.гшрч>ванш,

p^JCt.^i-lXJa.JL*---- .1.5 1' WX-S- Y AV iíJLW JL4-Í ^jp-'AiV V .

TT!

шлдержлваювдш моуагп rv и \ > «m» i »» ч-*»!*^ fv ww i»t(

r T, in ** -FT yr ~~ — —ir ^ji ~ -ЧГ --л - ~

...................................................... ............ .W . ....... .L ........................................~ Ji. .1 Л _

M, J I i, i ) " I" »1IC fv >. 11 ■ f >«» 1 >• i» >«» > 1 > I « M. И >■> ji j <

KUIVI I (»HifJiMli i к. i (r ft i Í n i> t I O vi i », <v Г > Í, U Ji. t I Vi У(|\1Ц1 1, o hu 4 I ! ill ii « 4 1ft f t ».

Эффект от Br.vf^irw '/f^Tioü^er'^ г »«

СШдаШЯНроблШВОКЛ>и^»1С*|{л»мОюи<ЫА '-ft ^ ti i t «t«iu i-ий u и» А»

Член ' * nil»* ^'"'¡ч i* fiii' •«4V tr>v» j iwf чпл1р

ЖВМ&* <4 t» in «А 1><чи(|<«1< ГЧГ1X M г ГЧИ (tujui1! I«n.l

Н..КДШЕ1ЛОВ

> H« Ihilcu I U<-_> < пц И» "1' VI uyf ill t ■ M V I i 1-Л\

A.Ceprvi?im:e.B

УТВЕРЖДАЮ

Вице-Президент СПбГТУ .учной работе

ашкарёв А.Я. с^и^&А^ 1998 г.

АКТ О ВНЕДРЕНИИ РЕЗУЛЬТАТОВ ДИССЕРТАЦИОННОЙ РАБОТЫ.

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

1. Вид внедряемых результатов: методическое и программное обеспечение и документация.

2. Публикации: 6 статей.

Заведующий кафедрой ИУС д.т.н., проф. Черноруцкий И.Г.

Научный руководитель к.т.н., проф. Котляров В.П.