Рубрики


The RAISE Method Group: Алгебраическое проектирование класса

Значительная часть документ представляет собой перевод разделов 2.2, 2.3, 2.5, 2.6 из монографии К.Джоржа (Chris George) и др. (The RAISE Development Group, далее RDG) The RAISE Development Method.

В документе рассматривается техника алгебраического проектировани абстрактного типа данных, широко используемая в методе формальных
спецификацей RAISE. Одним из первых, кто предложил такой подход был John Guttag, также см. Библиографические замечания к лекции Абстрактные типы данных Бертрана.

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

Далее, хотя Бертран, Гуттаг и RDG аксиомами описывают поведение функций класса, только RDG описывает конкретную процедуру выбора таких аксиом для описания поведения пар функций, вырабатывающих значение типа (generator) и извлекающи данные из значения типа (observer).

ключевые слова:
алгебраическое проектирование, проектирование класса, класс, объектно
ориентированный,


Бертран, Гуттаг, John Guttag, RAISE, Chris George.



Автор: Chris George

перевод: Пискунов А.Г.


ClassDesign.pdf



Опубликовал admin
12 Авг, Воскресенье 2007г.



Программирование для чайников.