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

Если есть желание можно обсудить как у них проектируется класс.

http://sql.ru/forum/actualthread.aspx?tid=417722&pg=1&hl=guttag

в с++ тоже компилируется.
Дело не в синтаксисе языка а методе проектирования абстрактного типа

там передача обьектов как параметры проблема.
В функции нельзя передавать.
дело не в этом. Дело в методе проектирования абстрактного типа данных (читай класса) через алгебраическое описание функций..
Которй Гуттаг засветил первый в первый раз.

они его взяли на щит

John Guttag Abstract Data Types and the Development of Data Structures
( 853 -rw-rw-rw- 1 user group 872708 Feb 7 19:28 p396-guttag.pdf)
http://agp.hx0.ru/oop/p396-guttag.pdf

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

ой. скорее болтов

модПро АТД. Тип данных - это множество. А абстрактный ТД - это что ? По сути АТД - это обычный программный модуль, но тогда непонятно зачем водить новое понятие. Простой пример: куда отнести функцию вида: (АТД1,АТД2)->АТД3 (в какой АТД ее включить ?)
ПМСМ любая программа должна состоять только из модулей, состоящих из деклараций типов данных, переменных (простых и коллекций) разных типов и процедур-функций. Никаких классов, объектов и прочей ерунды. Компоновка модулей произвольна и зависит только от разработчика (Майерс как раз и занимается выработкой рекомендаций-критериев по компоновке модулей). Вот в RLS и есть две очень существенные вещи: конструирование типов как множеств и построение иерархии модулей.

Считать, тип данных это множество, удобно. АТД отличается от типа данных, отсуствием конструктивного определения. Из контекста, который использовали Гуттаг, Бертран, Джорж и
т.д.

первая версия Можно считать, что атд - неконстуктивно заданное множество.
Но при алгебраическом проектировании много уделяется внимания функциям.
Тогда атд = это пара множество значений + функции, тоесть абстрактный автомат.

вторая версия
тип - это множество значений, атд множество значений + функции - ничем от класса не отличается.

--
http://citforum.ru/programming/theory/adt/oop_2.shtml
Определение: класс

Класс - это абстрактный тип данных, снабженный некоторой (возможно частичной) реализацией

Таким образом, чтобы получить класс, мы должны построить АТД и решить, как его реализовывать. АТД - это математическое понятие, а реализация - это его версия, ориентированная на компьютер. Приведенное определение, однако, утверждает, что реализация может быть частичной. Введенные ниже термины позволяют отделить этот случай от полностью реализованного класса:

Определение: отложенный и эффективный классы

Полностью реализованный класс называется эффективным (effective). Класс, который реализован лишь частично или совсем не реализован, называется отложенным (deferred). Всякий класс является либо отложенным, либо эффективным.



В отличие от этого болтолога Буча, Бертран нравится

автор(Майерс как раз и занимается выработкой рекомендаций-критериев по компоновке модулей)

да. Но с модулем трудности с обьявлением несколько одинаковых модулей.
В RSL можно. Там объекты типа модуль есть. И существуют параметризованные модули.

БертранСпецификация АТД предоставит эту информацию. Она состоит из четырех разделов, разъясняемых в следующих разделах:

* ТИПЫ
* ФУНКЦИИ
* АКСИОМЫ
* ПРЕДУСЛОВИЯ

Для спецификации АТД в этих разделах будут использоваться простая математическая нотация.

Эту нотацию - математический формализм - не надо путать с программной нотацией в остальной части книги, даже если для согласования она использует тот же стиль синтаксиса. У нее нет специального имени, и она не является нотацией языка программирования. Она могла бы послужить отправной точкой для формального языка спецификаций, но мы удовлетворимся использованием не требующих объяснения соглашений для однозначной спецификации АТД.
Специфицирование типов

В разделе ТИПЫ указываются специфицируемые типы. В общем случае, может оказаться удобным определять одновременно несколько АТД, хотя в нашем примере имеется лишь один тип STACK(СТЕК). Между прочим, что такое тип? Ответ на этот вопрос объединит все положения, развиваемые далее в этой лекции: тип - это совокупность объектов, характеризуемая функциями, аксиомами и предусловиями. Не будет большой ошибкой рассматривать пока тип как множество объектов в математическом смысле слова "множество" - тип STACK как множество всех возможных стеков, тип INTEGER как множество всех целых чисел и т.д.

>куда девать F(Т1,,,Тn)->Tk
относить можно к тому, к которому програмист решит
согласно
>Компоновка модулей произвольна

--

>По сути АТД - это обычный программный модуль, но тогда непонятно зачем водить новое понятие.

програмный модуль - это уже готовый текст на языке реализации.
у Бертрана атд - спецификация.
Хотя можно не пререкаться, пусть будет модуль.
Главный вопрос в том, что Бертран и Гуттаг не рассказывают как выбирать набор аксиом,
хотя рассматривают вопрос о достаточной полноте набора аксиом,
а в RSL методе дается конкретная процедура

приятно отдохнуть.