Мета-IV (язык спецификации)

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

История

Одним из первых упоминаний Мета-IV в печати, по-видимому, является «Программирование на метаязыке: Учебное пособие». ^[1] Динес Бьорнер использовал его в самом начале своего урока в качестве сноски.

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

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

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

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

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

Датская школа, основанная Динесом Бьёрнером.
Английская школа, основанная Клиффом Джонсом.
Ирландская школа ^[5] - основан Мишеалом Маканом Арчиннигом. ^{[ постоянная мертвая ссылка ]}

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

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

Школы ВДМ

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

основан Динесом Бьорнером
Чтобы упомянуть:

Технический университет Дании (DTU) в Люнгбю
Датский центр обработки данных (DDC)

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

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

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

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

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

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

Впервые название «Ирландская школа VDM» встречается в докторской диссертации: Мак ан Эйрчинни, Майкл. Концептуальные модели и вычисления. ^[8] доктор философии Диссертация. Дублинский университет, Тринити-колледж, Дублин, 1990, с. 41:

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

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

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

Диссертация доступна онлайн. ^[9]

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

ВДМ Европа

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

VDM Europe в конечном итоге была распущена. ^[12] в пользу компании Formal Methods Europe , основанной в 1992 году. ^[13] Протокол первого заседания ФМЭ доступен онлайн. ^[14]

Конференции

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

Примечания

^ Бьорнер и Джонс 1978, стр. 24.
^ * в просторечии известный как: META-IV , Bjørner&Jones 1978, стр. 24.
^ Бьорнер и Джонс 1978, стр. 33.
^ «Архивная копия» (PDF) . Архивировано из оригинала (PDF) 6 января 2009 г. Проверено 5 мая 2008 г. {{cite web}}: CS1 maint: архивная копия в заголовке ( ссылка )
^ Майкл Маккинни - страница профиля автора ACM
^ О'Риган, 2006 г.
^ Горм Ларсен, Питер
^ Публикации , заархивированные 21 августа 2004 г. в Wayback Machine.
^ Титульный лист
^ Ирландская школа VDM - Домашняя страница
^ ВДМ Европа 1987
^ «Архивная копия» (PDF) . Архивировано из оригинала (PDF) 27 августа 2008 г. Проверено 5 мая 2008 г. {{cite web}}: CS1 maint: архивная копия в заголовке ( ссылка )
^ Формальные методы Европы
^ «Архивная копия» (PDF) . Архивировано из оригинала (PDF) 27 августа 2008 г. Проверено 5 мая 2008 г. {{cite web}}: CS1 maint: архивная копия в заголовке ( ссылка )

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

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

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

Горм Ларсен, Питер. «Библиография ВДМ» . Проверено 13 августа 2008 г.
«Формальные методы Европы» . Проверено 13 августа 2008 г.

[Bjørner&Jones-1978-1] Бьорнер и Джонс 1978, стр. 24.

[2] * в просторечии известный как: META-IV , Bjørner&Jones 1978, стр. 24.

[3] Бьорнер и Джонс 1978, стр. 33.

[4] «Архивная копия» (PDF) . Архивировано из оригинала (PDF) 6 января 2009 г. Проверено 5 мая 2008 г. {{cite web}}: CS1 maint: архивная копия в заголовке ( ссылка )

[5] Майкл Маккинни - страница профиля автора ACM

[6] О'Риган, 2006 г.

[7] Горм Ларсен, Питер

[8] Публикации , заархивированные 21 августа 2004 г. в Wayback Machine.

[9] Титульный лист

[10] Ирландская школа VDM - Домашняя страница

[11] ВДМ Европа 1987

[12] «Архивная копия» (PDF) . Архивировано из оригинала (PDF) 27 августа 2008 г. Проверено 5 мая 2008 г. {{cite web}}: CS1 maint: архивная копия в заголовке ( ссылка )

[13] Формальные методы Европы

[14] «Архивная копия» (PDF) . Архивировано из оригинала (PDF) 27 августа 2008 г. Проверено 5 мая 2008 г. {{cite web}}: CS1 maint: архивная копия в заголовке ( ссылка )

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]