Meta-IV (lenguaje de especificación)

El Meta-IV (que se pronuncia como "metáfora") fue una versión temprana del lenguaje de especificación del método formal Vienna Development Method para el desarrollo de sistemas informáticos.

Una de las primeras apariciones impresas de Meta-IV parece ser "Programming in the Metal-language: A Tutorial". ^{[ 1 ]} Dines Bjørner lo utilizó al comienzo de su tutorial como nota al pie.

Este artículo proporciona una introducción informal al "arte" de especificar abstractamente arquitecturas de software utilizando el metalenguaje VDM ^* . ^{[ 2 ]} Un tratamiento formal de la semántica, así como una sintaxis concreta similar a BNF, de un gran subconjunto del metalenguaje se da en [Jones 78a] después de este artículo.

El espíritu del lenguaje de especificación Meta-IV queda bien reflejado en el siguiente pasaje ^{[ 3 ].}

Subrayamos aquí que el metalenguaje debe utilizarse no para resolver problemas algorítmicos (en un ordenador), sino para especificar, de forma independiente de la implementación, la arquitectura (o los modelos) del software. En lugar de utilizar un inglés informal mezclado con jerga técnica, les ofrecemos un lenguaje de programación de muy alto nivel. No ofrecemos un intérprete ni un compilador para este metalenguaje. Y no tenemos ninguna intención de perder el tiempo intentando mecanizarlo. Deseamos, como hemos hecho en el pasado y como pretendemos seguir haciendo en el futuro, seguir desarrollando la notación y expresar conceptos de maneras para las que ningún sistema intérprete mecánico pueda proporcionar jamás.

VDM es un método . Meta-IV era el lenguaje de especificación que acompañaba al método, y VDM-SL es la forma estandarizada actual de ese lenguaje.

Dado que el VDM-SL se ha estandarizado, se puede utilizar Meta-IV para denotar las tres escuelas específicas del VDM ^{[ 4 ]} que existieron (y en cierta medida todavía existen) desde la década de 1970 en adelante:

• La escuela danesa, fundada por Dines Bjørner
• La escuela inglesa — fundada por Cliff Jones
• La Escuela Irlandesa ^{[ 5 ]} — fundada por Mícheál Mac an Airchinnigh

En el texto "Enfoques matemáticos para la calidad del software" se ofrece una breve descripción de estas diferentes escuelas. ^{[ 6 ]}

También está disponible una bibliografía completa de VDM ^{[ 7 ] .}

Las tres escuelas se integraron bajo una estructura organizativa común denominada VDM Europe ^{[ 11 ]} , que celebró su primera conferencia internacional en Bruselas, Bélgica, del 23 al 26 de marzo de 1987. En aquel entonces, la financiación provenía del Programa Esprit de la Unión Europea. Las reuniones se celebraron principalmente en los edificios de la Comisión Europea en Bruselas, Bélgica.

VDM Europe finalmente se disolvió ^{[ 12 ]} en favor de Formal Methods Europe , fundada en 1992. ^{[ 13 ]} Las actas de la primera reunión de FME están disponibles en línea. ^{[ 14 ]}

Lista de conferencias VDM y FME ( http://www.informatik.uni-trier.de/~ley/db/conf/fm/ )

1. Bjørner, Dines; Cliff B. Jones (1978). El método de desarrollo de Viena: El metalenguaje, Lecture Notes in Computer Science 61. Berlín, Heidelberg, Nueva York: Springer. ISBN 978-3-540-08766-3.
2. O'Regan, Gerard (2006). Enfoques matemáticos para la calidad del software . Londres: Springer. ISBN 978-1-84628-242-3.
3. Cliff B. Jones, ed. (1984). Lenguajes de programación y su definición — H. Bekič (1936-1982) . Lecture Notes in Computer Science . Vol.  177. Berlín, Heidelberg, Nueva York, Tokio: Springer-Verlag. doi : 10.1007/BFb0048933 . ISBN 978-3-540-13378-0. S2CID 7488558 . 

• Gorm Larsen, Peter. "La bibliografía de VDM" . Consultado el 13 de agosto de 2008 .
• "Métodos Formales Europa" . Consultado el 13 de agosto de 2008 .