Métodos formales - Especificación algebraica vs Objeto orientado

Question

Estoy en medio de algunas investigaciones y no he podido encontrar mucha literatura para ayudar, quiero comparar las dependencias de la plataforma de los dos métodos formales;Especificación algebraica y orientado a objetos.¿Qué idioma usarían?

¿Alguien tiene algún conocimiento de esto o podría apuntarme a la dirección correcta?Gracias

Answer 1

Sé que significa "Especificación algebraica" significa (GIYF: consulte http://en.wikipedia.org/Wiki / algebraic_specification ) Como mi empresa ha construido un sistema de este tipo y la utilizó la práctica industrial.El "idioma" es el de los tipos de datos abstractos, las firmas de la función y los axioms que describen cuáles son las funciones, con ADT, firmas y axiomas a menudo empaquetados en "Álgebras" parametrizados que pueden combinarse para formar álgebras más complejas.

No estoy seguro de lo que quiere decir con "Orientación de objetos" (especificación).La mayoría de las "diseños" de OO son simplemente conjuntos de clases (que representan implícitamente los tipos de datos) y las firmas, sin semántica adjunta.Apenas había llamado a esas "especificación";Más bien, son "Sketch".

Answer 2

Perdóname, pero las especificaciones, por definición, son independientes de la plataforma.Si está buscando un lenguaje de especificación que admite el modelado orientado a objetos, supongo que VDM ++ es un buen ajuste.

Answer 3

Creo que este artículo puede ayudarlo.Está disponible en línea (Google IT), sin embargo, no estoy seguro de si se publica o no.Nada al respecto en los autores DBLP.

"Comparación de métodos formales orientados a objetos", por Nicolas Guel, Olivier Biberstein, Didier Buchs, Ercument Canver, Marie-Claude Gaudel, Friedrich von Henke, Detlef Schwier.