Лекция 7

структуры программной системы в терминологии классов объектно-ориентированного программирования.

Разработка диаграммы классов

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

имеют общие характеристики.

Характеристика – понятие, предназначенное для спецификации особенностей структуры

и поведения экземпляров классификаторов.

Структурная характеристика является типизированной характеристикой классификатора, которая специфицирует структуру его экземпляров.

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

спецификации характеристик, ограничений и семантики.

Активный класс – класс, каждый экземпляр

которого имеет свою собственную нить управления.

Пассивный класс – класс, каждый экземпляр которого выполняется в контексте некоторого другого объекта.

Имя класса

Имя класса

на диаграмме классов.

Пример простого имени класса:
SqlConnection

Квалифицированное имя класса:
::..

::<Имя пакета N>::<Имя класса>

Пример квалифицированного имени класса:
System::Data::Sql::SqlConnection

Имя абстрактного класса записывается курсивом

свойства, которое является общим для всех объектов данного класса.

Описание атрибута:

::= [<видимость>] [‘/’] <имя> [ ‘:’ <тип>]
[ ‘[’ <кратность> ‘]’ ] [ ‘=’ <значение по умолчанию>]
[ ‘{’ <модификатор атрибута> [ ‘,’ < модификатор атрибута >]* ‘}’ ]

Виды видимости:
‘-’ – закрытый,
‘#’ – защищенный,
‘+’ – общедоступный,
‘~’ – пакетный.

Статические атрибуты выделяются подчеркиванием строки описания атрибута

значения модели.

::= [ ‘{’ [ ‘,’ ]

‘}’ ]
<диапазон-кратности> ::= [<нижняя-граница> ‘..’ ] <верхняя-граница>
<нижняя-граница> ::= <целое-число> | <спецификация-значения>
<верхняя-граница> ::= ‘*’ | <спецификация-значения>
<указатель-упорядоченности> ::= ‘ordered’ | ‘unordered’
<указатель-уникальности> ::= ‘unique’ | ‘nonunique’

Примеры:
+ имяСотрудника: String {readOnly}
# / возрастСотрудника: Integer
+ номерТелефона: Integer [*] {unique}
- заработнаяПлата: Currency = $500

является общей для всех объектов данного класса.

::=
[]

<имя-операции> ‘(’ [<список-параметров>] ‘)’
[ ‘:’ <тип-результата>] [ ‘{’ <свойство-операции>
[ ‘,’ <свойство-операции>] ‘}’ ]

<список-параметров> ::= <параметр> [ ‘,’ <параметр>]*

<параметр> ::= [<направление>] <имя> ‘:’ <тип> [ ‘[’ <кратность> ‘]’ ]
[ ‘=’ <значение-по-умолчанию>] [ ‘{’ <свойсвто-параметра>
[ ‘,’ <свойсвто-параметра> ]* ‘}’ ]

Направления параметров: in, inout, out, return

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

in заработнаяПлата: Currency)
+ создать () : Boolean

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

Видимость

конца ассоциации специфицирует возможность доступа к соответствующему концу ассоциации с других ее концов.

Кратность конца ассоциации специфицирует возможное количество экземпляров соответствующего класса, которое может соотносится с одним экземпляром класса на другом конце ассоциации.

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

Символ

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

Многоугольник

Линия

Содержит

1

3..*

+сторона

и класса, и предназначенный для спецификации дополнительный свойств ассоциации в

форме атрибутов и, возможно, операций классов.

предком) и более специальным классификатором (дочерним или потомком)

отношения обобщения.

Ограничения множества обобщений:
{complete, disjoint} – данное множество обобщения является

покрывающим и его специальные классы не имеют общих классификаторов.
{incomplete, disjoint} – данное множество обобщения не является покрывающим и его специальные классы не имеют общих экземпляров.
{complete, overlapping} – данное множество обобщения является покрывающим и его специальные классы имеют общие экземпляры.
{incomplete, overlapping} – данное множество обобщения не является покрывающим и его специальные классы имеют общие экземпляры.

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

включает в себя в качестве составных частей другие сущности.

отношения «часть-целое», при которой с уничтожением объекта класса-контейнера уничтожаются и

все объекты, являющиеся его составными частями.

или множеству элементов модели требуются другие элементы модели для своей

спецификации или реализации.

из которых представляет некоторую спецификацию (поставщик), а другой представляет его

реализацию (клиент).

и обязанностей.

параметров.

::=
[ ‘:’ ] [ ‘=’

<по-умолчанию>]

<подстановка-параметар-шаблона> ::=
<имя-параметра-шаблона> ‘->’ <действительный-параметр-шаблона>