API-微積分

API 計算は、デバイス内のオペレーティング システムを使用して計算問題を解くプログラムです。1989 年に、PI 計算はロビン ミルナーによって作成され、長年にわたって大きな成功を収めました。PI 計算は、処理とステートメントの作成に特化した代数言語を備えたツールであるプロセス代数 CCS の拡張です。^[1]システムのモデリングとその動作の推論に関する正式な理論を提供します。PI 計算には、名前とプロセスという 2 つの特定の変数があります。^[2] 2002 年に、シャーラム ラヒミは PI 計算のアップグレード バージョンを作成することを決定し、それを API 計算と名付けました。ミルナーは、API 計算の詳細な特性は「コミュニケーション能力、協力能力、推論と学習能力、適応行動、信頼性」であると主張しました。^[3]

このモバイル アドバンスを作成する主な目的は、タスクを完了しながら他のオペレーターとのネットワークと通信を改善することです。残念ながら、API Calculus は完璧ではなく、セキュリティ システムに問題があります。この言語に は、 PI Calculusにはないデバイス内で作成された 7 つの機能があります。このプログラムは、ソフトウェアの作成方法とプログラムで提供されるさまざまな機能により非常に高度なため、さまざまなデバイスや他のコンピューティング言語で使用できるように、他のプログラミング言語に変換する必要があります。API Calculus は現在、さまざまな他のプログラミング言語で使用されていますが、API Calculus のセキュリティがユーザーに問題を引き起こしているため、変更がまだ行われています。

API Calculusの主な用途は、エージェントベースシステムにおける移行、インテリジェンス、自然なグループ化、セキュリティのモデリングです。^[4]この微積分プログラミング言語は、通常、Javaなどのさまざまなプログラム言語で使用されます。^[5] IBM、TCS、Googleなどのさまざまな企業で使用されている有名なプログラミング言語であるJavaでは、API Calculusは、微積分を含む方程式やプログラムを解くためによく使用されます。

API Calculus には、 PI Calculusに類似した機能を含むさまざまな機能がありますが、次のような新しい機能や改良された機能もあります。

• 通信リンクを介して渡されるプロセスを受け入れる
• モバイルプロセスの自然なグループ化が扱われる
• 微積分辞書の機能
• 環境が含まれます。環境とは、単一のモバイルエージェント（コンピュータソフトウェアとデータの組み合わせで、独立して1台のコンピュータから別のコンピュータに転送でき、データが最後に転送されたコンピュータでも動作できるもの）とデバイス全体との間の抽象化レベルです。これは、コンピュータベースの問題を解決するために密接に連携して動作する、ゼロまたは多数のエージェントまたはその他の環境を含む非常に制限された環境です。^[6]
• 類似したホスト（物理ノード、接続ポイント、またはソフトウェアプログラム）とプロセス（実行中のコンピュータプログラム）をグループ化する機能
• さまざまなプログラミング言語が含まれています
• 知識単位

API Calculusプログラム全体で使用されるソフトウェア言語は、他の2つの異なる言語に翻訳されます。最初にAPI Calculus構文からATEL/ATLに翻訳され、次にMOCHAに翻訳されます。翻訳モジュールの結果は、前述のステップと同様です。^[5]

1. 入力モジュール（API 計算モデルを受信）
2. モデルの翻訳 (API 構文を ATEL/ATL 構文に変換)
3. モデル検証 (MOCHA)
4. 表示モード

API 構文を ATEL/ATL に転送するには、正常に転送するためのコーディング変換の知識が必要です。

API プログラムには、プログラムをスムーズに実行するための独自の構文があります。プログラムは、用語、プロセス、知識単位、環境などの 4 つの主要なカテゴリに分類されます。用語は、プログラムの変数名に割り当てられる名前、用語、事実、ルール、または関数です。プロセスは、微積分の問題または方程式を解くためにプログラム内で使用される式のリストです。知識単位、または一般にパラメーターと呼ばれるものは、プログラムを解くために使用できる事実とルールです。最後に、環境は、コンピューター データと情報を 1 台のコンピューターから別のコンピューターに独立して転送する機能です。^[6]

API Calculus の唯一の欠点は、ラップトップなどのモバイル デバイスのセキュリティ システムをサポートできないことです。問題は、API Calculus では信頼できるソースであることを証明する必要があるため、外部ソースがこの環境に侵入しようとしても、侵入が許可されないことです。