ゾノン

Zonnonは、 Pascal、Modula、Oberonなどの先行言語の系統またはファミリーに属する汎用プログラミング言語です。^[1]作者はJürg Gutknechtです。 ^[2]

その概念モデルは、オブジェクト、定義、実装、およびモジュールに基づいています。そのコンピューティング モデルは並行であり、構文制御ダイアログを介して対話するアクティブ オブジェクトに基づいています。この言語は、ETH チューリッヒコンピュータ システム研究所の Jürg Gutknecht 教授によって開発されています。Zonnon は、コンピュータ プログラム内で現実世界の並行オブジェクトを表すために使用される「アクティブ オブジェクト」の概念を導入しています。Zonnon 言語レポートは、 Gutknecht (ETH、チューリッヒ) および Eugene Zueff (Евгений Зуев) (モスクワ国立大学) と共同で、Brian Kirk (Robinsons Associates のディレクター) と David Lightfoot (オックスフォード ブルックス大学) によって作成されました。

ゾンノンに関する最初の本は、ニジニ・ノヴゴロド国立ロバチェフスキー大学（別名ニジニ・ノヴゴロド国立大学）によって出版されました。^[3]

Zonnon は Pascal 言語ファミリーの 1 つで、2 つの利点があります。a) 汎用言語であること、b) Pascal、Modula-2、Oberon を使用したことがあるプログラマーにはすぐに使い慣れていることです。アルゴリズムとデータ構造の領域のほとんどの Pascal プログラムは、いくつかの小さな変更を加えるだけで Zonnonコンパイラーで正常にコンパイルされます。ただし、大規模なプログラミングの観点から見ると、Zonnon は以前のバージョンに比べてはるかに複雑です。Zonnon には、オブジェクト、モジュール、定義、実装という 4 種類のプログラム ユニットがあります。最初の 2 つは実行時にインスタンス化され、3 つ目はコンパイル時の抽象化ユニット、4 つ目は合成ユニットです。以下に簡単な特徴を示します。

• オブジェクトは、自己完結型のランタイム プログラム コンポーネントです。プログラム制御下で任意の多重度で動的にインスタンス化できます。
• モジュールは、システムによって作成が制御されるシングルトン オブジェクトと見なすことができます。さらに、モジュールは、論理的に接続された抽象データ型、演算子、およびランタイム環境の構造単位のコンテナーとして機能する場合があります。インポート関係と組み合わせることで、モジュール構造は強力なシステム構造化ツールになります。
• 定義とは、ある特定の観点から見たオブジェクト (またはモジュール) の抽象的な見方です。これはオブジェクトの一面、言い換えれば、そのオブジェクトの 1 つ以上のサービスの抽象的な表現です。
• 実装は通常、対応する定義の部分的なデフォルト実装を提供します。これは、コンパイル時または実行時にオブジェクト (またはモジュール) の状態空間に集約される再利用および構成の単位です。

Zonnon は、集約に基づく構成継承モデルを使用します。通常、オブジェクト (またはモジュール) は複数の機能コンポーネントで構成され、各コンポーネントは抽象定義の形式でクライアントに提示されます。定義のセットとオブジェクトの固有のインターフェイス (つまり、オブジェクトのすべてのパブリック要素のセット) が、オブジェクトとそのクライアント間のインターフェイスを構成します。

Zonnon を使用すると、オブジェクト (およびモジュール) に動作を追加できます。この目的のために、アクティブ オブジェクトの概念が Active Oberon 言語からインポートされ、階層アクティビティの統一モデルに向けて一般化されました。アクティビティは、ローカル アクティビティとエージェント アクティビティの 2 種類のカプセル化されたスレッドです。

ローカル アクティビティは、固有のオブジェクト ダイナミクスを表現します。典型的なコンテキストは、一連の相互に独立したアクティビティの「起動ロジック」を表すステートメントのブロックであり、ブロックの終了は、すべてのアクティビティが終了するまで通過できないバリアとして機能すると想定されています。

エージェント アクティビティは、正式なダイアログの観点からオブジェクトの相互運用性を制御します。「呼び出し先」オブジェクト内の各エージェント アクティビティは、呼び出し元と呼び出し先の間の正式なダイアログのテンプレートとして機能します。エージェント アクティビティは通常、2 つの通信パートナー間の一種の契約を構成する定義済み構文のパーサーを実装します。正式なダイアログは、非同期メソッド呼び出しの一般化です。これは、通常のメソッド呼び出しから借用された構文の形式で反映されます。

• Gutnecht、Jürg、Eugene Zueff (スイス連邦工科大学チューリッヒ校コンピュータ システム研究所)。 「Zonnon for .NET - 言語とコンパイラの実験」。 (アーカイブ、Springer へのリンク): Böszörményi、László、Peter Schojer (編集者)。モジュラー プログラミング言語: ジョイント モジュラー言語会議、JMLC 2003、クラーゲンフルト、オーストリア、2003 年 8 月 25 ～ 27 日、議事録。Springer、2003 年 9 月 29 日。ISBN 3540407960、9783540407966。 

独立した情報源

• （ロシア語で）カシャノフ、ヴィクトル・ニコラエヴィチ（Виктор Николаевич Касьянов）。Язык программирования Zonnon: учебное пособие (「Zonnon プログラミング言語。学生向けマニュアル」)。ノボシビルスク州立大学(НГУ)、2010 年。ISBN 5943568859 、 9785943568855。Googleブックスのエントリ、カタログのエントリ、7 ページに記載 (アーカイブ (アーカイブ)) 
• （ロシア語で）カシャノワ、エレナ・ヴィクトロヴナ（Елена Викторовна Касьянова）。 「プログラミングにおける遠隔教育をサポートするための適応的な方法とツール」 ("АДАПТИВНЫЕ МЕТОДЫ И СРЕДСТВА ПОДДЕРЖКИ ДИСТАНЦИОННОГО ОБУЧЕНИЯ ПРОГРАММИРОВАНИЮ") (アーカイブ。" ("АДАПТИВНЫЕ МЕТОДЫ И СРЕДСТВА ПОДЕРЖКИ ДИСТАНЦИОННОГО (アーカイブ)ロシア科学アカデミーAP エルショフ情報学システム研究所シベリア部門(Институт cистем информатики им. А.П. СО РАН による英語の要約 (アーカイブ (アーカイブ))
• (ロシア語) Kasyanova、EV 「.NET Framework 用のプログラミング言語 Zonnon」。 ("ЯЗЫК ПРОГРАММИРОВАНИЯ Zonnon ДЛЯ ПЛАТФОРМЫ .NET" "The Zonnon Programming Language for the .NET Platform") (アーカイブ。" ("ЯЗЫК ПРОГРАММИРОВАНИЯ Zonnon ДЛЯ ПЛАТФОРМЫ .NET" "The Zonnon Programming Language for the .NET Platform") (アーカイブ) AP エルショフ情報学システム研究所、ロシア科学アカデミー、シベリア支部。英語要約 (アーカイブ)
• (ロシア語) Kasyanova、EV「Zonnon 言語に基づくプログラミング入門コース」。 (ВВОДНЫЙ КУРС ПРОГРАММИРОВАНИЯ НА БАЗЕ ЯЗЫКА Zonnon) (アーカイブ。」 (ВВОДНЫЙ КУРС ПРОГРАММИРОВАНИЯ НА БАЗЕ ЯЗЫКА Zonnon) (アーカイブ) AP エルショフ情報学システム研究所の英語概要 (アーカイブ)。
• (ロシア語)「От Паскаля к языку Zonnon: реализация новых идей на платформе .NET」 (「パスカルからゾンノンへ: .NET プラットフォームでの新しいアイデアの実装」) (アーカイブ。) (「パスカルからゾンノンへ: .NET プラットフォームでの新しいアイデアの実装」) (アーカイブ) PC World ( Мир ПК )。 2003、No. 9。Otkrytye Sistemy (Открытые) で入手可能「オープン システム」)、代替リンク、アーカイブ、アーカイブ。

著者および/または寄稿者からの出典

• Gutknecht、Jürg、Vladimir Romanov、Eugene Zueff。「Zonnon プロジェクト: .NET 言語とコンパイラの実験」(アーカイブ)。(アーカイブ)「.NET Technologies 2005 カンファレンス プロシーディングス」Copyright UNION Agency – Science Press、Plzeň 、チェコ共和国。ISBN 80-86943-01-1。 
• Zouev, Eugene. 「プロジェクト Zonnon: 言語、コンパイラ、環境」(アーカイブ)。 (アーカイブ) ベルゲン言語設計研究所。ベルゲン大学。2010 年 5 月 19 日。
• Gutknecht, Jürg および Roman R. Mitin。「Project Zonnon: 分散コンピューティング用構成言語」。IEEE Computer Society Xplore。構成ベースのソフトウェア システム、2008 年。ICCBSS 2008。第 7 回国際構成ベースのソフトウェア システム会議 (ICCBSS 2008)。マドリード、スペイン。2008 年 2 月 25 ～ 29 日。p. 148 - 153。印刷ISBN 978-0-7695-3091-8。DOI 10.1109/ICCBSS.2008.10。INSPEC アクセッション番号 9905083。 
• Gutknecht, Jürg および Eugene Zueff (編集者: Brian Kirk および David Lightfoot)。「Zonnon 言語レポート」(アーカイブ)。 (アーカイブ)スイス連邦工科大学チューリッヒ校。2005 年 12 月。
• Gutknecht、Jürg、Roman Mitin、Nikolai Zolotykh、Nina Gonova。「.NET 上で数学的データ型を実装する」(アーカイブ)。(アーカイブ)
• Gutknecht、Jürg、Eugene Zueff。「Zonnon 言語実験、または .NET 用の非従来型オブジェクト モデルの実装方法」(アーカイブ)。(アーカイブ)
• Kirk、Brian、David Lightfoot、Jürg Gutknecht。「Zonnon の概念: モジュール、オブジェクト、並行性を備えたシステム エンジニアリング用言語」(アーカイブ)。(アーカイブ)
• （ロシア語で）ミティン、RO（Р.О. Митин）「ЯЗЫК ПРОГРАММИРОВАНИЯ Zonnon（ОСНОВЫ）」。 (「Zonnon プログラミング言語 (概要)。学生用マニュアル」) (アーカイブ。」 (「Zonnon プログラミング言語 (概要)。学生用マニュアル」) (アーカイブ) NI ロバチェフスキー州立大学、2004 年。
• (ロシア語) Zueff, Eugene A. ロシア語版 PowerPoint スライド: Zonnon Compiler: Architecture, Integration, Technology。Microsoft Conference、2003 年 6 月 15 ～ 17 日、モスクワ。(アーカイブ: Zonnon Compiler: Architecture, Integration, Technology。Microsoft Conference、2003 年 6 月 15 ～ 17 日、モスクワ。(アーカイブ))

• 公式サイト
• (ロシア語で)「Введение в методы программирования на основе технологий Microsoft .NET」ニジニ・ノヴゴロド国立ロバチェフスキー大学。