Формальные методы - алгебраическая спецификация против объектно-ориентированного

Question

Я занимаюсь некоторыми исследованиями и не смог найти много литературы, чтобы помочь, я хочу сравнить зависимости платформы двух формальных методов; алгебраическая спецификация и объектно-ориентированный. Какой язык они будут использовать?

Кто-нибудь знает об этом или может указать мне правильное направление? Спасибо

Answer 1

Я знаю, что означает «алгебраическая спецификация» (GIYF: см. http://en.wikipedia.org/wiki/Algebraic_specification), поскольку моя компания создала такую ​​систему и использовала ее в промышленной практике. «Язык» - это язык абстрактных типов данных, сигнатур функций и аксиом описание того, что делают функции, с ADT, сигнатурами и аксиомами, часто упакованными в параметризованные «алгебры», которые могут быть объединены в более сложные алгебры.

Я не уверен, что вы подразумеваете под "объектно-ориентированным" (спецификация). Большинство ОО «конструкций» - это просто наборы классов (которые неявно представляют типы данных) и сигнатур без привязанной семантики. Я бы вряд ли назвал их «спецификацией»; скорее, они "зарисовка".

Answer 2

Я думаю, что эта статья может вам помочь. Он доступен в Интернете (Google), однако я не уверен, опубликован он или нет. Ничего об этом в авторах DBLP.

«Сравнение объектно-ориентированных формальных методов», Николя Гель, Оливье Биберштейн, Дидье Бух, Эркумент Канвер, Мари-Клод Годель, Фридрих фон Хенке, Детлеф Швиер.

Answer 3

Простите, но спецификации по определению не зависят от платформы. Если вы ищете язык спецификации, который поддерживает объектно-ориентированное моделирование, я думаю, что VDM ++ подойдет.