Métodos formais - Especificação algébrica vs objeto orientado para objeto

Question

Eu estou no meio de alguma pesquisa e não consegui encontrar muita literatura para ajudar, quero comparar as dependências da plataforma dos dois métodos formais;Especificação algébrica e orientação de objetos.Qual idioma eles usariam?

Alguém tem algum conhecimento disso ou poderia me apontar para a direção certa?Obrigado

Answer 1

Eu sei o que "especificação algébrica" significa (Giyf: ver http://en.wikipedia.org/Wiki / Álgebraic_Specification ) Como minha empresa construiu tal sistema e usou a prática industrial.A "linguagem" é a dos tipos de dados abstratos, assinaturas de função e axiomas que descrevem quais as funções, com adtos, assinaturas e axiomas, muitas vezes embaladas em "álgebras" parametrizadas que podem ser combinadas para formar álgebras mais complexas.

Não tenho certeza do que você quer dizer com "orientada a objetos" (especificação).A maioria dos "designs" de OO são simplesmente conjuntos de aulas (que implicitamente representam os tipos de dados) e assinaturas, sem semântica anexa.Eu dificilmente chamaria essas "especificação";em vez disso, eles são "esboço".

Answer 2

Perdoe-me, mas as especificações, por definição, são independentes da plataforma.Se você estiver procurando por um idioma de especificação que suporta modelagem orientada a objetos, suponho que o VDM ++ é um bom ajuste.

Answer 3

Eu acho que este papel pode ajudá-lo.Está disponível online (Google it), no entanto, não tenho certeza se é publicado ou não.Nada sobre isso nos autores dblp.

"Comparação de métodos formais orientados a objetos", por Nicolas Guel, Olivier Biberstein, Didier Buchs, Ercument Cancer, Marie-Claude Gaudel, Friedrich von Henke, Detlef Schwier.