Концептуальное представление структуры системы

2.1.Концептуальное представление структуры системы

Анализируя задачу в области ее определения, обычно выделяют группы элементов со сходными свойствами – например, сотрудников компании удобно определить общим названием «сотрудники». Далее можно говорить о типе «сотрудники», представляющем множество всех сотрудников компании. Это означает, что одни элементы будут обладать свойством принадлежности к типу сотрудников, чего нельзя сказать о других. Иными словами, одни элементы будут входить в это множество, а другие – нет. В результате получится следующие определение типа:

Тип – это название, присвоенное множеству элементов, обладающих некоторым общим свойством.

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

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

Операции определяются с точки зрения их синтаксиса и семантики.

 Синтаксис операции – это те сведения, которые необходимы для ее выполнения, например:

1•Имя операции.

2•Параметры – это данные, над которыми операция выполняется.

3•Результат выполнения операции.

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

Семантика операции – это описание действий, которые выполняются над параметрами данной операции для получения ее результата.

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

Набор операций, определяющих абстрактный тип данных, называется его интерфейсом (Рис.2.1).

Рис.2.1.     Интерфейс абстрактного типа данных «Счет».

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

Друзья! Приглашаем вас к обсуждению. Если у вас есть своё мнение, напишите нам в комментарии.