El Meta-IV (pronunciado como "metáfora") fue una versión temprana del lenguaje de especificación del método formal del Método de Desarrollo de Viena para el desarrollo de sistemas basados en computadora.
Historia
Una de las primeras apariciones de Meta-IV en forma impresa parece ser "Programación en el metalenguaje: un tutorial". [1] Dines Bjørner lo usó al comienzo de su tutorial como nota al pie.
Este documento proporciona una introducción informal al "arte" de especificar arquitecturas de software de forma abstracta 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] a continuación de este artículo.
El espíritu del lenguaje de especificación Meta-IV está bien capturado en el siguiente pasaje [3]
Hacemos hincapié aquí ... en que el metalenguaje no debe usarse para resolver problemas algorítmicos (en una computadora), sino para especificar, de manera independiente de la implementación, la arquitectura (o modelos) del software. En lugar de utilizar un inglés informal mezclado con jerga técnica, le ofrecemos un lenguaje de "programación" de muy alto nivel. No ofrecemos un intérprete o compilador para este metalenguaje. Y no tenemos absolutamente ninguna intención de perder el tiempo tratando de mecanizar este metalenguaje. Deseamos, como lo hemos hecho en el pasado, y tenemos la intención de seguir haciéndolo en el futuro, desarrollar aún más la notación y expresar las nociones en formas para las que nunca se puede proporcionar un sistema de interpretación mecánica.
VDM es un método . El Meta-IV fue el lenguaje de especificación que acompañó al método, y el VDM-SL es la forma estandarizada actual de ese lenguaje.
Dado que el VDM-SL se ha estandarizado, entonces se puede usar Meta-IV para denotar las tres Escuelas específicas del VDM [4] que existieron (y hasta cierto punto todavía lo hacen) desde la década de 1970 en adelante:
- La escuela danesa - fundada por Dines Bjørner
- The English School - fundada por Cliff Jones
- The Irish School [5] - fundada por Mícheál Mac an Airchinnigh [ enlace muerto permanente ]
En el texto "Enfoques matemáticos de 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 escuelas de VDM
La escuela danesa
fundada por Dines Bjørner
Para mencionar:
- Universidad Técnica de Dinamarca (DTU) en Lyngby
- Centro Dansk Datamatik (DDC)
La escuela inglesa
fundada por Cliff Jones (científico informático)
Para mencionar:
- Universidad de Manchester
- Universidad de Newcastle
La escuela irlandesa
fundada por Mícheál Mac an Airchinnigh
Para mencionar:
- Universidad de Dublín, Trinity College
La primera aparición del nombre "Escuela Irlandesa de la VDM" se produce en una Tesis Doctoral: Mac an Airchinnigh, Mícheál. Modelos conceptuales y computación. [8] Doctorado. Tesis. Universidad de Dublín, Trinity College, Dublín, 1990, pág. 41:
Existe un acuerdo universal esencial sobre lo que constituye el VDM. Sin embargo, hay básicamente dos Escuelas principales del VDM que se distinguen en gran medida por las diferencias de notación empleadas en el lenguaje de especificación Meta-IV : la escuela danesa y la escuela inglesa ".
y más abajo en la misma página
También está la Escuela Polaca, que encuentra expresión a través del proyecto MetaSoft (Blikle 1987, 1988, 1990). Con frecuencia necesitaré distinguir entre el estilo de notación y el método que utilizo de los de las otras escuelas del VDM. Yo presumo de usar la frase 'la Escuela irlandesa de la VDM' para dibujar esa distinción.
La tesis está disponible en línea. [9]
Otros trabajos importantes relacionados con la Escuela también están en línea. [10]
VDM Europa
Las tres escuelas se reunieron bajo una estructura organizativa común llamada VDM Europe [11], que celebró su primera conferencia internacional en Bruselas, Bélgica, del 23 al 26 de marzo de 1987. En ese momento, la financiación se proporcionó en el marco del Programa Esprit de la Unión Europea. Las reuniones se celebraron principalmente en los edificios de la Comisión de la UE en Bruselas, Bélgica.
VDM Europe finalmente se disolvió [12] a 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]
Conferencias
Lista de las conferencias VDM y FME ( http://www.informatik.uni-trier.de/~ley/db/conf/fm/ )
Notas
- ^ Bjørner y Jones 1978, p24.
- ^ * conocido coloquialmente como: META-IV , Bjørner & Jones 1978, p24.
- ^ Bjørner y Jones 1978, p33
- ^ "Copia archivada" (PDF) . Archivado desde el original (PDF) el 6 de enero de 2009 . Consultado el 5 de mayo de 2008 .CS1 maint: copia archivada como título ( enlace )
- ^ Micheal Mac an Airchinnigh - página de perfil de autor de ACM
- ^ O'Regan, 2006
- ↑ Gorm Larsen, Peter
- ^ Foilseacháin Archivado el 21 de agosto de 2004 en la Wayback Machine.
- ^ Página de título
- ^ Escuela irlandesa de VDM - Página de inicio
- ^ VDM Europa 1987
- ^ "Copia archivada" (PDF) . Archivado desde el original (PDF) el 27 de agosto de 2008 . Consultado el 5 de mayo de 2008 .CS1 maint: copia archivada como título ( enlace )
- ^ Métodos formales Europa
- ^ "Copia archivada" (PDF) . Archivado desde el original (PDF) el 27 de agosto de 2008 . Consultado el 5 de mayo de 2008 .CS1 maint: copia archivada como título ( enlace )
Enlaces de lectura
- Bjørner, Dines; Cliff B. Jones (1978). El método de desarrollo de Viena: el metalenguaje, notas de clase en informática 61 . Berlín, Heidelberg, Nueva York: Springer. ISBN 978-3-540-08766-3.
- O'Regan, Gerard (2006). Enfoques matemáticos de la calidad del software . Londres: Springer. ISBN 978-1-84628-242-3.
- Cliff B. Jones, ed. (1984). Lenguajes de programación y su definición - H. Bekič (1936-1982) . Apuntes de conferencias en Ciencias de la Computación . 177 . Berlín, Heidelberg, Nueva York, Tokio: Springer-Verlag. doi : 10.1007 / BFb0048933 . ISBN 978-3-540-13378-0.
enlaces externos
- Gorm Larsen, Peter. "La Bibliografía VDM" . Consultado el 13 de agosto de 2008 .
- "Métodos formales Europa" . Consultado el 13 de agosto de 2008 .