Зоннон
![]() | Эта статья включает список общих ссылок , но в ней отсутствуют достаточные соответствующие встроенные цитаты . ( июнь 2018 г. ) |
Парадигмы | Императивный , структурированный , модульный , объектно-ориентированный |
---|---|
Семья | Вирт Оберон |
Разработано | Юрг Гуткнехт |
Разработчик | ETH Цюрих |
Впервые появился | 2013 год |
Дисциплина набора текста | Сильный , гибридный ( статический и динамический ) |
Объем | Лексический |
Под влиянием | |
Оберон , Паскаль |
Zonnon общего назначения, — язык программирования принадлежащий к семейству предыдущих языков Pascal , Modula и Oberon . [1] Юрг Гуткнехт . Автор [2]
Его концептуальная модель основана на объектах, определениях, реализациях и модулях. Его вычислительная модель является параллельной и основана на активных объектах, которые взаимодействуют через диалоги, управляемые синтаксисом. Язык разрабатывается в Цюрихском институте компьютерных систем профессором Юргом Гуткнехтом. Зоннон вводит концепцию «активных объектов», которые используются для представления параллельных объектов реального мира в компьютерных программах. Отчет о языке Zonnon был написан Брайаном Кирком (директором Robinsons Associates) и Дэвидом Лайтфутом ( Оксфордский университет Брукса ) в сотрудничестве с Гуткнехтом (ETH, Цюрих) и доктором Юджином Зуевом (Евгений Зуев) ( Московский государственный университет ).
Первую книгу о Зонноне опубликовал Нижегородский государственный университет имени Н.И. Лобачевского (он же Нижегородский государственный университет). [3]
Обзор
[ редактировать ]Зоннон является членом семейства языков Паскаль, что имеет два полезных последствия: а) это язык общего назначения и б) он сразу знаком программистам, которые использовали Паскаль, Модулу-2 и Оберон. Большинство программ на языке Паскаль из области алгоритмов и структур данных успешно компилируются компилятором Zonnon после нескольких незначительных модификаций. Однако с точки зрения программирования в целом Zonnon гораздо более сложен по сравнению со своими предшественниками. Zonnon имеет четыре различных типа программных модулей: объекты, модули, определения и реализации. Первые два создаются во время выполнения , третий — это единица абстракции времени компиляции , а четвертый — единица композиции. Вот краткая характеристика:
- Объект — это автономный компонент программы, работающий во время выполнения. Его экземпляр может быть создан динамически под управлением программы в произвольной кратности.
- Модуль можно рассматривать как одноэлементный объект, создание которого контролируется системой. Кроме того, модуль может выступать в качестве контейнера логически связанных абстрактных типов данных , операторов и структурных единиц среды выполнения. В сочетании с отношением импорта конструкция модуля является мощным инструментом структурирования системы.
- Определение — это абстрактный взгляд на объект (или модуль) с определенной точки зрения. Это грань объекта или, другими словами, абстрактное представление одной или нескольких его услуг.
- Реализация обычно обеспечивает, возможно, частичную реализацию по умолчанию соответствующего определения. Это единица повторного использования и композиции, которая агрегируется в пространство состояний объекта (или модуля) либо во время компиляции, либо во время выполнения.
Композиционная модель
[ редактировать ]Зоннон использует композиционную модель наследования, основанную на агрегации. Обычно объект (или модуль) состоит из нескольких функциональных компонентов, каждый из которых представляется клиентам в виде абстрактного определения. Набор определений плюс внутренний интерфейс объекта (то есть набор всех общедоступных элементов объекта) составляют интерфейс между объектом и его клиентами.
Модель параллелизма
[ редактировать ]Zonnon позволяет добавлять поведение к объектам (и модулям). Для этого понятие активного объекта было импортировано из языка Активного Оберона и обобщено до единой модели иерархической деятельности. Действия представляют собой инкапсулированные потоки, которые бывают двух видов: локальные действия и действия агента.
Местная деятельность
[ редактировать ]Локальные действия выражают внутреннюю динамику объекта. Типичный контекст — это блок операторов, представляющий «логику запуска» для набора взаимно независимых действий, при этом предполагается, что конец блока действует как барьер, который невозможно преодолеть до завершения всех действий.
Агентская деятельность
[ редактировать ]Действия агента контролируют совместимость объектов с точки зрения формальных диалогов. Каждое действие агента внутри объекта «вызываемый» служит шаблоном формального диалога между некоторым вызывающим абонентом и вызываемым. Действия агента обычно реализуют анализатор некоторого предопределенного синтаксиса, который представляет собой своего рода контракт между двумя партнерами по связи. Формальные диалоги — это обобщение асинхронных вызовов методов. Это отражено в форме синтаксиса, заимствованного из обычных вызовов методов.
Примечания
[ редактировать ]- ^ Гутнехт и Зуефф, с. 132 .
- ^ «Зоннон» . ETH Цюрих. 2010. Архивировано из оригинала 9 августа 2014 года . Проверено 18 января 2021 г.
- ^ " Книга о зоннонском языке (на русском языке) ". ( Архивировано 30 октября 2012 г. в Wayback Machine ) Нижегородский государственный университет им. Н.И. Лобачевского . Проверено 30 мая 2013 г.
Ссылки
[ редактировать ]- Гутнехт, Юрг и Юджин Зуефф (Институт компьютерных систем, ETH Цюрих , Швейцария). « Zonnon для .NET — эксперимент с языком и компилятором ». ( Архив , ссылка на Springer ) в: Бёсёрменьи, Ласло и Петер Шойер (редакторы). Модульные языки программирования: Совместная конференция по модульным языкам, JMLC 2003, Клагенфурт , Австрия , 25–27 августа 2003 г., Труды . Спрингер , 29 сентября 2003 г. ISBN 3540407960 , 9783540407966.
Дальнейшее чтение
[ редактировать ]- Независимые источники
- (на русском языке) Касьянов, Виктор Николаевич (Виктор Николаевич Касьянов). Язык программирования Zonnon: учебное пособие («Язык программирования Zonnon. Руководство для учащихся»). Новосибирский государственный университет (НГУ), 2010. ISBN 5943568859 , 9785943568855. Запись в Google Книгах , запись в каталоге, указанная на странице 7 ( Архив ( Архив )
- (in Russian) Kasyanova, Elena Viktorovna (Елена Викторовна Касьянова). " ADAPTIVE METHODS AND TOOLS FOR SUPPORT OF DISTANCE EDUCATION IN PROGRAMMING ." ("АДАПТИВНЫЕ МЕТОДЫ И СРЕДСТВА ПОДДЕРЖКИ ДИСТАНЦИОННОГО ОБУЧЕНИЯ ПРОГРАММИРОВАНИЮ") ( Archive ." ("АДАПТИВНЫЕ МЕТОДЫ И СРЕДСТВА ПОДДЕРЖКИ ДИСТАНЦИОННОГО ОБУЧЕНИЯ ПРОГРАММИРОВАНИЮ") ( Archive ) Siberian Division of the Russian Academy of Sciences A. P. Ershov Institute of Informatics Systems (Институт cистем информатики им. А.П. Ершова СО РАН). Edited by prof. V. N. Kasyanov. English summary ( Archive ( Archive )
- (на русском языке) Касьянова Е.В. « Язык программирования Zonnon для .NET Framework ». («ЯЗЫК ПРОГРАММИРОВАНИЯ Zonnon ДЛЯ ПЛАТФОРМЫ .NET» «Язык программирования Zonnon для платформы .NET») ( Архив .) («ЯЗЫК ПРОГРАММИРОВАНИЯ Zonnon ДЛЯ ПЛАТФОРМЫ .NET» «Язык программирования Zonnon для платформы .NET») ( Архив ) ) Институт систем информатики им. А.П. Ершова СО РАН . Английское резюме ( Архив )
- (in Russian) Kasyanova, E.V. " Introductory Course of Programming Based on the Zonnon Language ." (ВВОДНЫЙ КУРС ПРОГРАММИРОВАНИЯ НА БАЗЕ ЯЗЫКА Zonnon) ( Archive ." (ВВОДНЫЙ КУРС ПРОГРАММИРОВАНИЯ НА БАЗЕ ЯЗЫКА Zonnon) ( Archive ) A. P. Ershov Institute of Informatics Systems. English summary ( Archive )
- (in Russian) " От Паскаля к языку Zonnon: реализация новых идей на платформе .NET ." ("From Pascal to Zonnon: Implementation of New Ideas on the .NET Platform") ( Archive ." ("From Pascal to Zonnon: Implementation of New Ideas on the .NET Platform") ( Archive ) PC World ( Мир ПК ). 2003, No. 9. Available at Otkrytye Sistemy ( Открытые системы , "Open Systems"). Alternate link , Archive , Archive
- Источники от автора и/или участников
- Гуткнехт, Юрг, Владимир Романов и Евгений Зуев. « Проект Zonnon: эксперимент с языком .NET и компилятором ». ( Архив .) ( Архив ) «Материалы конференции .NET Technologies 2005». Copyright Агентство UNION – Science Press, Пльзень , Чешская Республика. ISBN 80-86943-01-1 .
- Зуев, Евгений. « Проект Зоннон: язык, компилятор, среда ». ( Архив .) ( Архив ) Бергенская лаборатория языкового дизайна. Бергенский университет . 19 мая 2010 г.
- Гуткнехт, Юрг и Роман Р. Митин. « Проект Zonnon: композиционный язык для распределенных вычислений ». IEEE Computer Society Xplore . Программные системы на основе композиции, 2008. ICCBSS 2008. Седьмая международная конференция по программным системам на основе композиции (ICCBSS 2008). Мадрид, Испания. 25–29 февраля 2008 г. с. 148 - 153. Печать ISBN 978-0-7695-3091-8 . ДОИ 10.1109/ICCBSS.2008.10. Регистрационный номер INSPEC 9905083.
- Гуткнехт, Юрг и Юджин Зуефф (редакторы: Брайан Кирк и Дэвид Лайтфут). « Отчет о языке Зоннон ». ( Архив .) ( Архив ) Швейцарский федеральный технологический институт, Цюрих . Декабрь 2005 г.
- Гуткнехт, Юрг, Роман Митин, Николай Золотых и Нина Гонова. « Реализация математических типов данных поверх .NET ». ( Архив ." ( Архив )
- Гуткнехт, Юрг и Юджин Зуэфф. « Языковой эксперимент Zonnon, или Как реализовать нетрадиционную объектную модель для .NET ». ( Архив ." ( Архив )
- Кирк, Брайан, Дэвид Лайтфут и Юрг Гуткнехт. « Концепции Zonnon. Язык системного проектирования с модулями, объектами и параллелизмом ». ( Архив ." ( Архив )
- Митин Р.О. (Р.О. Митин) " ЯЗЫК ПРОГРАММИРОВАНИЯ Zonnon (ОСНОВЫ) ". («Язык программирования Zonnon (обзор). Учебное пособие для студентов») ( Архив . («Язык программирования Zonnon (обзор). Учебное пособие для студентов») ( Архив ) Государственный университет имени Н. И. Лобачевского , 2004 г.
- (на русском языке) Зуефф, Юджин А. Русскоязычные слайды PowerPoint из книги: Zonnon Compiler: Архитектура, Интеграция, Технология. Конференция Microsoft, 15–17 июня 2003 г., Москва. ( Архив из журнала: Zonnon Compiler: Architecture, Integration, Technology. Конференция Microsoft, 15–17 июня 2003 г., Москва. ( Архив )