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

Question

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

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

Answer 1

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

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

Answer 2

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

Answer 3

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

"Сравнение объектно-ориентированных формальных методов", Николас Гуль, Оливье Биберстоин, Дидье Бючс, Каривер Ercument, Marie-Claude Gaudel, Фридрих фон Генке, Detlef Schwier.