Я нахожусь в середине некоторого исследования и не смог найти много литературы, чтобы помочь, я хочу сравнить платформенные зависимости двух формальных методов; алгебраическая спецификация и объектно-ориентированный. Какой язык они будут использовать?
Кто-нибудь знает об этом или может указать мне правильное направление? Спасибо
Я знаю, что означает «алгебраическая спецификация» (GIYF: см. http://en.wikipedia.org/wiki/Algebraic_specification), так как моя компания построила такую систему и использовала ее на практике. «Язык» - это язык абстрактных типов данных, сигнатур функций и аксиом, описывающих, что делают функции, с АТД, сигнатурами и аксиомами, часто упакованными в параметризованные «алгебры», которые можно комбинировать для формирования более сложных алгебр.
Я не уверен, что вы подразумеваете под «объектно-ориентированным» (спецификация). Большинство «проектов» ОО представляют собой просто наборы классов (которые неявно представляют типы данных) и сигнатур без какой-либо связанной семантики. Я бы вряд ли назвал это «спецификацией»; скорее, они являются «набросками».
Прошу прощения, но спецификации по определению не зависят от платформы. Если вы ищете язык спецификаций, поддерживающий объектно-ориентированное моделирование, я полагаю, что VDM++ вам подойдет.
Я думаю, что эта бумага может помочь вам. Он доступен в Интернете (погуглите), однако я не уверен, опубликован он или нет. Ничего об этом у авторов DBLP.
«Сравнение объектно-ориентированных формальных методов» Николя Гуэля, Оливье Биберштейна, Дидье Букса, Эркумента Канвера, Мари-Клод Годель, Фридриха фон Хенке, Детлефа Швира.
