Meta-IV (язык спецификации) - Meta-IV (specification language)

В Мета-IV (произносится как «метафора») был ранней версией языка спецификации Венский метод развития формальный метод разработки компьютерных систем.

История

Одним из первых печатных изданий Meta-IV является «Программирование на метаязыке: учебник».[1]Dines Bjørner использовал его в самом начале своего урока как сноску

Этот документ представляет собой неформальное введение в «искусство» абстрактного определения программных архитектур с использованием VDM метаязык*.[2] Формальное рассмотрение семантики, а также конкретного синтаксиса, подобного BNF, большого подмножества метаязыка дается в [Jones 78a] после этой статьи.

Дух языка спецификации Meta-IV хорошо отражен в следующем отрывке.[3]

Мы подчеркиваем здесь ... что метаязык должен использоваться не для решения алгоритмических проблем (на компьютере), а для определения независимым от реализации способом архитектуры (или моделей) программного обеспечения. Вместо использования неформального английского языка, смешанного с техническим жаргоном, мы предлагаем вам «язык программирования» очень высокого уровня. Мы не предлагаем интерпретатор или компилятор для этого метаязыка. И у нас нет абсолютно никаких намерений когда-либо тратить время на механизацию этого метаязыка. Мы желаем, как мы делали в прошлом и как мы намерены продолжать делать в будущем, дальнейшего развития нотации и выражения понятий способами, для которых никогда не может быть предоставлена ​​никакая система механического интерпретатора.

VDM - это Метод. Meta-IV был Язык спецификации что сопровождало метод, и VDM-SL это текущая стандартизованная форма этого языка.

Поскольку VDM-SL стал стандартизированным, можно использовать Meta-IV для обозначения трех конкретных школ VDM.[4] которые существовали (и в некоторой степени все еще существуют) с 1970-х годов:

Краткое описание этих различных школ дано в тексте «Математические подходы к качеству программного обеспечения».[6]

Полная библиография VDM[7] также доступен.

Школы ВДМ

Датская школа

основан Dines Bjørner
Чтобы упомянуть:

Английская школа

основан Клифф Джонс (ученый-компьютерщик)
Чтобы упомянуть:

  • Манчестерский университет
  • Университет Ньюкасла

Ирландская школа

основал Мичел Мак ан Airchinnigh
Чтобы упомянуть:

  • Дублинский университет, Тринити-колледж

Впервые название «Ирландская школа VDM» встречается в докторской диссертации: Mac an Airchinnigh, Mícheál. Концептуальные модели и вычисления.[8] Кандидат наук. Тезис. Дублинский университет, Тринити-колледж, Дублин, 1990, стр. 41:

Существует существенное универсальное согласие относительно того, что составляет VDM. Тем не менее, в основном есть две основные школы VDM, которые в значительной степени отличаются нотационными различиями, используемыми в языке спецификации. Мета-IV - Датская школа и Английская школа ».

и далее на той же странице

Существует также Польская школа, которая находит свое выражение в проекте MetaSoft (Blikle 1987, 1988, 1990). Мне часто нужно будет отличать стиль обозначений и методы, которые я использую, от тех, которые используются в других школах VDM. я предполагать использовать фразу «ирландская школа VDM», чтобы провести это различие.

Диссертация доступна в Интернете.[9]

Другие существенные работы, связанные со Школой, также находятся в сети.[10]

VDM Europe

Три школы были объединены в единую организационную структуру под названием VDM Europe.[11] которая провела свою первую международную конференцию в Брюсселе, Бельгия, 23–26 марта 1987 года. В то время финансирование предоставлялось в рамках программы Esprit Европейского Союза. Встречи в основном проводились в зданиях Комиссии ЕС в Брюсселе, Бельгия.

VDM Europe в итоге распалась[12] в пользу Формальные методы Европа, основанная в 1992 году.[13] Протокол первого заседания предприятия доступен онлайн.[14]

Конференции

Список конференций VDM и FME (http://www.informatik.uni-trier.de/~ley/db/conf/fm/ )

Заметки

  1. ^ Бьёрнер и Джонс 1978, стр. 24.
  2. ^ * в просторечии известна как: МЕТА-IV, Бьёрнер и Джонс 1978, стр. 24.
  3. ^ Бьёрнер и Джонс 1978, стр. 33
  4. ^ «Архивная копия» (PDF). Архивировано из оригинал (PDF) на 2009-01-06. Получено 2008-05-05.CS1 maint: заархивированная копия как заголовок (ссылка на сайт)
  5. ^ Micheal Mac an Airchinnigh - страница профиля автора ACM
  6. ^ О'Реган 2006
  7. ^ Горм Ларсен, Питер
  8. ^ Фольга В архиве 2004-08-21 на Wayback Machine
  9. ^ Титульная страница
  10. ^ Ирландская школа VDM - Домашняя страница
  11. ^ VDM Europe 1987
  12. ^ «Архивная копия» (PDF). Архивировано из оригинал (PDF) на 2008-08-27. Получено 2008-05-05.CS1 maint: заархивированная копия как заголовок (ссылка на сайт)
  13. ^ Формальные методы Европа
  14. ^ «Архивная копия» (PDF). Архивировано из оригинал (PDF) на 2008-08-27. Получено 2008-05-05.CS1 maint: заархивированная копия как заголовок (ссылка на сайт)

Чтение ссылок

  1. Бьёрнер, Дайнс; Клифф Б. Джонс (1978). Венский метод разработки: метаязык, конспект лекций по информатике 61. Берлин, Гейдельберг, Нью-Йорк: Springer. ISBN  978-3-540-08766-3.
  2. О'Реган, Джерард (2006). Математические подходы к качеству программного обеспечения. Лондон: Спрингер. ISBN  978-1-84628-242-3.
  3. Клифф Б. Джонс, изд. (1984). Языки программирования и их определение - Х. Бекич (1936-1982). Конспект лекций по информатике. 177. Берлин, Гейдельберг, Нью-Йорк, Токио: Springer-Verlag. Дои:10.1007 / BFb0048933. ISBN  978-3-540-13378-0.

внешние ссылки