Введение в формальные методы описания бизнес-процессов. Кулябов Д.С - 59 стр.

UptoLike

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

Рубрика:

6.2. Методика IDEF4. Объектно-ориентированные методы … 59

–– диаграмму наследования;

–– диаграмму типов;

–– диаграмму протоколов;

–– диаграмму экземпляров.

Подмодель методов декомпозируется на следующие диаграммы:

–– диаграмму таксономий методов;

–– диаграмму клиентов.

6.2.2. Синтаксис и семантика моделей IDEF4

6.2.2.1. Подмодель классов IDEF4

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

Диаграммы наследования описывают порядок наследования классов. На-

пример, класс Filled-Rectangle наследует структуру и поведение непосред-

ственно от классов Rectangle и Filled-Object, которые, в свою очередь, насле-

дуют классу Object (рис. 6.2). Диаграммы наследования уточняются с помо-

щью таблиц инвариантов классов.

Диаграммы экземпляров связаны с диаграммами типов и используются с

целью их уточнения (например, если между ними существуют сложные вза-

имосвязи) (рис. 6.3).

Диаграммы протоколов описывают типы аргументов классов при вызо-

ве методов. На рис. 6.4 дана диаграмма протоколов для объекта Fill-Closed-

Object. Он воспринимает экземпляр класса Polygon в качестве первичного ар-

гумента и экземпляр класса Color — в качестве второго, и возвращает экзем-

пляр себя классу Polygon.

6.2.2.2. Подмодель методов IDEF4

Диаграмма таксономий методов классифицирует методы по подобности

поведения. На рис. 6.5 метод Print выражает контракт, что состояние метода