Современные технологии разработки и тестирования программного обеспечения (ПО). Часть 1. Коварцев А.Н. - 14 стр.

UptoLike

Составители: 

В технологии ГСП исходные, модифицируемые данные и результаты вычислений
базовых модулей размещаются в списке типов данных реализуемой функции, поэтому
тип базового модуля определим как отображение типов данных из области определения
на область их значений
BT T T T T T
ii i j j j
nm
: , ,..., , ,...,
12 1 2
, которые реализуются в
соответствии с принятыми в
B операциями над типами данных.
2.5 Объекты технологии ГСП
В технологии ГСП в качестве программных единиц рассматриваются
объекты. По
способу порождения и функциональному назначению различают три типа объектов:
акторы, агрегаты и предикаты. Все они имеют конкретный содержательный смысл и
действуют в рамках предметной области программирования (ПОП).
Под предметной областью программирования будем понимать некоторую среду
программирования, имеющую
общую цель - разработку программного обеспечения
автоматизации расчетов в некоторой области практических интересов (авиационные
двигатели, бизнес, медицинские приборы и т.д.),
общую область данных и общую
область знаний
. Понятие предметной области является понятием сферы деятельности
программиста и одновременно его средой программирования.
В предметной области, как правило, заранее уже определен терминологический
словарь данных (параметров, переменных или констант). Так например, в теории
газотурбинных двигателей перечень параметров, их обозначение и содержание
регламентировано государственными стандартами, которые во многом унифицированы с
международными стандартами.
Аналогичное положение дел имеет место в
самолетостроении, ракетостроении, радиоэлектронике и т.д.
Под
предметной областью программирования в дальнейшем понимается среда
программирования, состоящая из общего набора данных (словарь данных) и набора
программных модулей (словарь и библиотека программных модулей).
Поэтому программирование в рамках технологии ГСП начинается с утверждения и
формирования, так называемого,
словаря данных ПОП, который служит целям
каталогизации данных ПОП, спецификации их семантики и областей значений.
Словарь данных представляет собой таблицу, в которой каждому данному
присвоено уникальное имя, задан тип, начальное значение данного и краткий
комментарий его назначения в ПОП.
Технология ГСП поддерживает жесткие стандарты на описание и
документирование программных модулей, представление и
поддержку
информационного обеспечения программных модулей предметной области. Таким
образом, для каждой предметной области строится единая информационная среда,
позволяющая унифицировать проектирование написание программных модулей разными
разработчиками.
Кроме словаря данных и каталога типов данных информационную среду
определяют объекты ГСП. Под объектом понимается специальным образом построенный
в рамках технологии ГСП программный модуль, выполняющий определенные
действия
над данными ПОП.
2.5.1. Акторы