ゾノン

ゾノン
パラダイム命令型、構造化、モジュール型、オブジェクト指向
家族ヴィルト・オベロン
デザイン：ユルグ・グットクネヒト
開発者チューリッヒ工科大学
初登場2013年; 12年前 （2013年）
タイピングの規律強力、ハイブリッド（静的および動的）
範囲語彙
影響を受けた
オベロン、パスカル

Zonnonは、Pascal、Modula、Oberonといった先行言語の系統に属する汎用プログラミング言語です。[1]作者はJürg Gutknechtです。 [2]

その概念モデルは、オブジェクト、定義、実装、そしてモジュールに基づいています。そのコンピューティングモデルは並行性を持ち、構文制御されたダイアログを介して相互作用するアクティブオブジェクトに基づいています。この言語は、ETHチューリッヒコンピュータシステム研究所のユルグ・グートクネヒト教授によって開発されています。Zonnonは、コンピュータプログラム内で現実世界の並行オブジェクトを表現するために使用される「アクティブオブジェクト」の概念を導入しています。Zonnon言語レポートは、ブライアン・カーク（ロビンソンズ・アソシエイツ社ディレクター）とデビッド・ライトフット（オックスフォード・ブルックス大学）によって執筆され、グートクネヒト教授（ETHチューリッヒ校）およびエフゲニー・ユエフ博士（モスクワ国立大学）と共同で作業しました。

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

概要

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

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

構成モデル

Zonnonは集約に基づく構成的継承モデルを採用しています。通常、オブジェクト（またはモジュール）は複数の機能コンポーネントで構成され、各コンポーネントは抽象定義の形でクライアントに提示されます。これらの定義の集合とオブジェクトの固有インターフェース（つまり、オブジェクトのすべての公開要素の集合）が、オブジェクトとクライアント間のインターフェースを構成します。

並行性モデル

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

地域活動

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

エージェントの活動

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

注記

  1. ^ GutnechtとZueff、132ページ。
  2. ^ “Zonnon”. ETH Zurich. 2010年. 2014年8月9日時点のオリジナルよりアーカイブ。 2021年1月18日閲覧。
  3. ^ 「ゾノン語に関する本（ロシア語）」（Wayback Machineに2012年10月30日アーカイブ）NIロバチェフスキー国立大学ニジニ・ノヴゴロド校。2013年5月30日閲覧。

参考文献

  • 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カンファレンス議事録」著作権 UNION Agency – Science Press, Plzeň , Czech Republic. ISBN 80-86943-01-1。
  • ゾエフ、ユージン. 「プロジェクト・ゾノン：言語、コンパイラ、環境」（アーカイブ）. ベルゲン言語設計研究所.ベルゲン大学. 2010年5月19日.
  • Gutknecht, Jürg、Roman R. Mitin. 「Project Zonnon：分散コンピューティングのための構成言語」IEEE Computer Society Xplore . Composition-Based Software Systems, 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.
  • グートクネヒト、ユルグ、ユージン・ツエフ（編集者：ブライアン・カーク、デイヴィッド・ライトフット）。「ゾノン言語レポート」（アーカイブ）スイス連邦工科大学チューリッヒ校。2005年12月。
  • Gutknecht, Jürg, Roman Mitin, Nikolai Zolotykh, Nina Gonova. 「.NET 上での数学データ型の実装」（アーカイブ）
  • Gutknecht, Jürg、Eugene Zueff. 「Zonnon言語実験、あるいは.NETにおける非従来型オブジェクトモデルの実装方法」（アーカイブ）
  • ブライアン・カーク、デイビッド・ライトフット、ユルグ・グットクネヒト。「Zonnonの概念：モジュール、オブジェクト、並行性を備えたシステムエンジニアリング言語」（アーカイブ）
  • （ロシア語で）ミティン、RO（Р.О. Митин）「ЯЗЫК ПРОГРАММИРОВАНИЯ Zonnon（ОСНОВЫ）」。 (「Zonnon プログラミング言語 (概要)。学生用マニュアル」) (アーカイブ。」 (「Zonnon プログラミング言語 (概要)。学生用マニュアル」) (アーカイブ) NI ロバチェフスキー州立大学、2004 年。
  • (ロシア語) Zueff, Eugene A. ロシア語版PowerPointスライド、Zonnon Compiler: Architecture, Integration, Technology. Microsoft Conference, June 15–17, 2003, Moscow. (アーカイブ、Zonnon Compiler: Architecture, Integration, Technology. Microsoft Conference, 15–17 June 2003, Moscow. (アーカイブ))
「https://en.wikipedia.org/w/index.php?title=Zonnon&oldid=1320902278」から取得