特表2024-501045共通仕様書からの多くのプログラミング言語のための慣用語ソフトウェアドキュメンテーションの作成
(19)【発行国】日本国特許庁(JP)
(12)【公報種別】公表特許公報(A)
(11)【公表番号】
(43)【公表日】2024-01-10
(54)【発明の名称】共通仕様書からの多くのプログラミング言語のための慣用語ソフトウェアドキュメンテーションの作成
(51)【国際特許分類】
G06F 8/73 20180101AFI20231227BHJP
G06F 8/51 20180101ALI20231227BHJP
【ＦＩ】
G06F8/73
G06F8/51
【審査請求】未請求
【予備審査請求】未請求
(21)【出願番号】P 2023539765
(86)(22)【出願日】2021-12-27
(85)【翻訳文提出日】2023-08-18
(86)【国際出願番号】 US2021065236
(87)【国際公開番号】W WO2022146933
(87)【国際公開日】2022-07-07
(31)【優先権主張番号】17/135,817
(32)【優先日】2020-12-28
(33)【優先権主張国・地域又は機関】US
(81)【指定国・地域】
【公序良俗違反の表示】
（特許庁注：以下のものは登録商標）
１．ＤＯＣＫＥＲ
２．ＫＵＢＥＲＮＥＴＥＳ
３．ＳＷＩＦＴ
４．ＡＤＡ
５．ＡＲＭ
(71)【出願人】
【識別番号】523237350
【氏名又は名称】テンパー システムズ、インコーポレイテッド
(74)【代理人】
【識別番号】110000877
【氏名又は名称】弁理士法人ＲＹＵＫＡ国際特許事務所
(72)【発明者】
【氏名】サミュエル、マイケル ヴィンセント
(72)【発明者】
【氏名】ナグラ、ジャスビル
【テーマコード（参考）】
5B081
5B376
【Ｆターム（参考）】
5B081AA00
5B376BB12
5B376DA18
5B376FA06
(57)【要約】
コンピュータにより実施される技術は、共通仕様書プログラミング言語において記述された共通仕様書から多くのプログラミング言語のための慣用語ソフトウェアドキュメンテーションを作成することによるいくつかの課題を解決する。技術は、共通仕様書を、多くの異なるプログラミング言語ターゲットの各々のためのソフトウェアプログラミングインタフェースドキュメンテーションに翻訳する、ドキュメンテーションジェネレータコンピュータプログラムによって採用され得る。技術はまた、共通仕様書を異なるターゲット言語にコンパイルことに加えて、多くの異なるプログラミング言語ターゲットの各々のための共通仕様書からドキュメンテーションを生成する技術を組み込む、ソースツーソースコンパイラによって採用され得る。
【特許請求の範囲】
【請求項1】
ライブラリの共通仕様書からドキュメンテーションフラグメントを抽出することであって、前記共通仕様書は、ソースプログラミング言語におけるソースコードを含む、前記抽出することと、前記ドキュメンテーションフラグメントの中断されたテキスト内で第１の構造化されたテキストを識別することと、
前記第１の構造化されたテキストを第２のテキストに翻訳することと、
それぞれのターゲットプログラミング言語のためのドキュメンテーション出力を作成することであって、前記ドキュメンテーション出力は、前記第２のテキストを含む、前記作成することと、
を含む、コンピュータにより実施される方法。
【請求項2】
前記第１の構造化されたテキストを複数のテキストに翻訳することであって、前記第２のテキストは、前記複数のテキストの１つである、前記翻訳することと、複数のそれぞれのターゲットプログラミング言語のための複数のドキュメンテーション出力を作成することであって、各々のドキュメンテーション出力は、前記複数のテキストのそれぞれのテキストを含み、前記ドキュメンテーション出力は、前記複数のドキュメンテーション出力の１つである、前記作成することと、
を更に含む、請求項１に記載のコンピュータにより実施される方法。
【請求項3】
前記第１の構造化されたテキストを前記第２のテキストに翻訳することは、前記第１の構造化されたテキストが、前記共通仕様書の前記ソースプログラミング言語における前記ソースコード内で規定された値を参照すると判定することと、
前記共通仕様書の前記ソースプログラミング言語における前記ソースコード内の前記値を取得することと、
前記値に基づいて、前記第２のテキストを形成することと、
に基づいている、請求項１または２に記載のコンピュータにより実施される方法。
【請求項4】
前記値に基づいて、前記第２のテキストを形成することは、異なるが同等の値に前記値を翻訳することと、
前記異なるが同等の値を前記第２のテキストに含めることと、
に基づいている、請求項３に記載のコンピュータにより実施される方法。
【請求項5】
前記第１の構造化されたテキストを前記第２のテキストに前記翻訳することは、前記第１の構造化されたテキストが、前記共通仕様書の第１の命名されたタイプの構築ブロックを参照すると判定することに基づいており、前記第１の命名されたタイプの構築ブロックは、前記ソースプログラミング言語においてインタフェースを作るための前記ソースプログラミング言語によって提供され、
前記第２のテキストは、前記それぞれのターゲットプログラミング言語におけるソースコードの第２の命名されたタイプの構築ブロックへの参照を含み、前記それぞれのターゲットプログラミング言語における前記ソースコードの前記第２の命名されたタイプの構築ブロックは、前記共通仕様書の前記第１の命名されたタイプの構築ブロックに基づいて生成され、前記それぞれのターゲットプログラミング言語における前記第２の命名されたタイプの構築ブロックは、前記それぞれのターゲットプログラミング言語においてインタフェースを作るための前記それぞれのターゲットプログラミング言語によって提供される、請求項１に記載のコンピュータにより実施される方法。
【請求項6】
前記参照は、ハイパーリンクである、請求項５に記載のコンピュータにより実施される方法。
【請求項7】
前記ソースプログラミング言語においてインタフェースを作るための前記ソースプログラミング言語によって提供される前記第１の命名されたタイプの構築ブロックは、クラスである、請求項５または６に記載のコンピュータにより実施される方法。
【請求項8】
前記それぞれのターゲットプログラミング言語においてインタフェースを作るための前記それぞれのターゲットプログラミング言語によって提供される前記それぞれのターゲットプログラミング言語における前記第２の命名されたタイプの構築ブロックは、クラスのメンバ関数である、請求項５から７のいずれか一項に記載のコンピュータにより実施される方法。
【請求項9】
前記ドキュメンテーション出力からドキュメンテーションを生成するように、前記それぞれのターゲットプログラミング言語のためのドキュメンテーションジェネレータを自動で呼び出すことを更に含み、前記生成されたドキュメンテーションは、前記それぞれのターゲットプログラミング言語のためのコミュニティ内のプログラマの予想に従う、請求項１から８のいずれか一項に記載のコンピュータにより実施される方法。
【請求項10】
前記中断されたテキストは、第１の中断されたテキストであり、前記第１の構造化されたテキストは、前記第１の中断されたテキスト内の第１の位置を有し、
前記第２のテキストは、構造化されたテキストであり、
前記ドキュメンテーション出力は、第２の中断されたテキストを含み、
前記ドキュメンテーション出力は、前記第２のテキストが、前記第１の中断されたテキスト内の前記第１の構造化されたテキストの前記第１の位置とセマンティック的に同等である、前記第２の中断されたテキスト内の第２の位置を有するように作成される、請求項１から９のいずれか一項に記載のコンピュータにより実施される方法。
【請求項11】
前記第１の構造化されたテキストは、ドキュメンテーションフラグメント言語における第１の使用例を含み、前記第２のテキストは、前記第１の使用例と機能的に同等である、前記それぞれのターゲットプログラミング言語における第２の使用例を含む、請求項１から１０のいずれか一項に記載のコンピュータにより実施される方法。
【請求項12】
前記第１の使用例における共通概念を識別することと、前記第１の使用例における前記共通概念を、前記それぞれのターゲットプログラミング言語における機能的に同等の共通概念に翻訳するために、前記それぞれのターゲットプログラミング言語のための共通概念コーパスを使用することと、
前記機能的に同等の共通概念を前記第２の使用例における前記それぞれのターゲットプログラミング言語に含めることと、
を更に含む、請求項１１に記載のコンピュータにより実施される方法。
【請求項13】
前記共通仕様書は、第１の共通仕様書であり、前記第１の構造化されたテキストを前記第２のテキストに前記翻訳することは、前記第１の構造化されたテキストが、第２の共通仕様書の第１の命名されたタイプの構築ブロックを参照すると判定することに基づいており、前記第１の命名されたタイプの構築ブロックは、前記ソースプログラミング言語においてインタフェースを作るための前記ソースプログラミング言語によって提供され、
前記第２のテキストは、前記それぞれのターゲットプログラミング言語におけるソースコードの第２の命名されたタイプの構築ブロックへの参照を含み、前記ソースコードは、前記第２の共通仕様書から導出され、前記それぞれのターゲットプログラミング言語における前記ソースコードの前記第２の命名されたタイプの構築ブロックは、前記第２の共通仕様書の前記第１の命名されたタイプの構築ブロックに基づいて生成され、前記それぞれのターゲットプログラミング言語における前記第２の命名されたタイプの構築ブロックは、前記それぞれのターゲットプログラミング言語においてインタフェースを作るための前記それぞれのターゲットプログラミング言語によって提供される、請求項１から１２のいずれか一項に記載のコンピュータにより実施される方法。
【請求項14】
前記中断されたテキストは、第１の中断されたテキストであり、前記第１の中断されたテキストは、第１の人間の言語における第１のプローズを含み、
前記第１の構造化されたテキストは、前記第１のプローズに対する前記第１の中断されたテキスト内の第１の位置を有し、
前記第２のテキストは、構造化されたテキストであり、
前記ドキュメンテーション出力は、第２の中断されたテキストを含み、
前記方法は、前記第１のプローズを、第２の人間の言語における第２のプローズに翻訳することを更に含み、
前記ドキュメンテーション出力は、前記第２のテキストが、前記第１のプローズに対する前記第１の中断されたテキスト内の前記第１の構造化されたテキストの前記第１の位置とセマンティック的に同等である、前記第２のプローズに対する前記第２の中断されたテキスト内の第２の位置を有する、請求項１から１３のいずれか一項に記載のコンピュータにより実施される方法。
【請求項15】
命令を含むコンピュータプログラムであって、前記命令は、１つ以上のコンピューティングデバイスによって実行されるとき、前記１つ以上のコンピューティングデバイスに、ライブラリの共通仕様書からドキュメンテーションフラグメントを抽出することであって、前記共通仕様書は、ソースプログラミング言語におけるソースコードを含む、前記抽出することと、
前記ドキュメンテーションフラグメントの中断されたテキスト内で構造化されたテキストを識別することと、
前記構造化されたテキストを複数のターゲットプログラミング言語のための複数のテキストに翻訳することと、
前記複数のターゲットプログラミング言語のための複数のドキュメンテーション出力を作成することと、
を実行させる、コンピュータプログラム。
【請求項16】
前記１つ以上のコンピューティングデバイスによって実行されるとき、前記１つ以上のコンピューティングデバイスに、前記複数のターゲットプログラミング言語の少なくとも２つのターゲットプログラミング言語の各々のために、前記ターゲットプログラミング言語のために作成された前記ドキュメンテーション出力からドキュメンテーションを生成するように、前記ターゲットプログラミング言語のためのドキュメンテーションジェネレータを自動で呼び出すことを実行させる命令を更に含み、
前記生成されたドキュメンテーションは、前記ターゲットプログラミング言語のためのコミュニティ内のプログラマの予想に従う、請求項１５に記載のコンピュータプログラム。
【請求項17】
前記１つ以上のコンピューティングデバイスによって実行されるとき、前記１つ以上のコンピューティングデバイスに、第１の前記構造化されたテキスト内で、ドキュメンテーションフラグメント言語において表現された使用例を識別することと、
第１の前記構造化されたテキスト内で、前記使用例の予想された出力を識別することと、
前記複数のターゲットプログラミング言語の各々のために、前記共通仕様書の前記ソースプログラミング言語における前記ソースコードに基づいて、前記ターゲットプログラミング言語におけるソースコードを導出することと、
前記複数のターゲットプログラミング言語の各々のために、前記ターゲットプログラミング言語における前記ソースコードに基づいて、前記ターゲットプログラミング言語のためのライブラリを生成することと、
前記複数のターゲットプログラミング言語の少なくとも２つのターゲットプログラミング言語の各々のために、前記ドキュメンテーションフラグメント言語において表現された前記使用例に基づいて、前記ターゲットプログラミング言語において表現された使用例を導出することと、
前記複数のターゲットプログラミング言語の前記少なくとも２つのターゲットプログラミング言語の各々のために、前記ターゲットプログラミング言語において表現された前記使用例及び前記ターゲットプログラミング言語のための前記ライブラリに基づいて、前記ターゲットプログラミング言語のためのテストプログラムを生成することと、
前記複数のターゲットプログラミング言語の前記少なくとも２つのターゲットプログラミング言語の各々のために、前記ターゲットプログラミング言語のための前記テストプログラムを実行し、前記テストプログラムの実行の出力を前記予想された出力と比較し、前記比較した結果をユーザインタフェース、ファイル、またはデータベースに出力することと、
を実行させる命令を更に含む、請求項１５または１６に記載のコンピュータプログラム。
【請求項18】
前記複数のターゲットプログラミング言語は、以下のプログラミング言語：Ｃ、ＪＡＶＡ、ＰＹＴＨＯＮ（登録商標）、Ｃ＋＋、Ｃ＃、ＪＡＶＡＳＣＲＩＰＴ、ＰＨＰ、ＳＷＩＦＴ、Ｒ、ＬＩＳＰ、ＦＯＲＴＲＡＮ、ＡＤＡ、ＰＡＳＣＡＬ、ＧＲＯＯＶＹ、ＲＵＢＹ、ＧＯ、ＯＢＪＥＣＴＩＶＥ－Ｃ、ＤＡＲＴ、ＳＣＡＬＡ、またはＬＵＡ、のうちの少なくとも１つを含む、請求項１５に記載のコンピュータプログラム。
【請求項19】
ライブラリの共通仕様書からドキュメンテーションフラグメントを抽出することであって、前記共通仕様書は、ソースプログラミング言語におけるソースコードを含む、前記抽出することと、前記ドキュメンテーションフラグメントの第１の中断されたテキスト内で第１の構造化されたテキストを識別することと、
前記第１の構造化されたテキストを第２の構造化されたテキストに翻訳することと、
それぞれのターゲットプログラミング言語のためのドキュメンテーション出力を作成することであって、前記ドキュメンテーション出力は、第２の中断されたテキスト内で前記第２の構造化されたテキストを含む、前記作成することと、
を実行するように構成された１つ以上のコンピューティングデバイスを含む、システム。
【請求項20】
前記１つ以上のコンピューティングデバイスは、前記第１の構造化されたテキストを少なくとも８個の構造化されたテキストに翻訳することであって、前記第２の構造化されたテキストは、前記少なくとも８個の構造化されたテキストの１つである、前記翻訳することと、
少なくとも８個のターゲットプログラミング言語のための少なくとも８個のドキュメンテーション出力を作成することであって、各々のドキュメンテーション出力は、前記少なくとも８個の構造化されたテキストのそれぞれのテキストを含み、前記ドキュメンテーション出力は、前記少なくとも８個のドキュメンテーション出力の１つである、前記作成することと、
を実行するように更に構成される、請求項１９に記載のシステム。
【発明の詳細な説明】
【技術分野】
【0001】
本開示は、コンピュータプログラミング言語に関する。より具体的に、本開示は、共通仕様書から多くのプログラミング言語のための慣用語ソフトウェアドキュメンテーションを作成するコンピュータにより実施される技術に関する。
【背景技術】
【0002】
コンピュータは、多種多様なタスクを実行するための非常に強力なツールである。コンピュータプログラムは、コンピュータシステムを使用してカスタム処理タスクを達成するための一般的な機構である。典型的なプログラムは、実行可能形式にコンパイルされたプログラムされた命令（ソースコード）のセットである。実行可能形式は次いで、タスクを達成するようにコンピュータシステムによって実行される。例えば、Ｃプログラミング言語命令のセットは、ｘ８６プロセッサ－実行可能命令のセットにコンパイルされ得る。プロセッサ－実行可能命令のセットは次いで、処理タスクを達成するように、ｘ８６－互換プロセッサによって実行され得る。
【0003】
人間のコンピュータプログラマによってプログラムされたようなプログラムされた命令のセットと実行可能形式との間で、コンパイラは典型的には、トランスレータとして使用される。本質的に、コンパイラは、内在する実行可能形式の詳細をプログラマが知ること、またはケアすることからさえも隠す。典型的には、プログラマによって書かれた全てのプログラムされた命令は、コンパイラによって翻訳される。例えば、コンパイラは、基本的なコンパイラ実装のプログラマの知識なしに、データタイプチェック、シンボルテーブル構築、レジスタ割り当て、及び命令スケジューリングを実行し得る。このようにして、コンパイラは、プログラマに、高レベルプログラミング言語を使用してより高いレベルで処理タスクを推論及び表現するためのツールを提供し、高レベルプログラミング言語は、プログラマが、低レベルの実行の詳細に関して悩む認知負荷を軽減する。コンパイラの全体的な構築及びオペレーションは、本分野において周知である。例えば、Ａｈｏ，Ａ．，Ｓｅｔｈｉ，Ｒ．，ａｎｄ Ｕｌｌｍａｎ，Ｊ，、「Ｃｏｍｐｉｌｅｒｓ：Ｐｒｉｎｃｉｐｌｅｓ，Ｔｅｃｈｎｉｑｕｅｓ，ａｎｄ Ｔｏｏｌｓ，」Ｓｅｃｏｎｄ Ｅｄｉｔｉｏｎ，２００７を参照されたい。
【0004】
一部のコンパイラの１つの目的は、クロスコンパイルである。クロスコンパイラは、出力が入力よりも最終実行可能形式に近い、１つの入力から２つ以上の多くの出力を作成するコンパイラとして定義され得る。例えば、クロスコンパイラは、人間可読及びコンピュータ可読の両方であるソースプログラミング言語において記述されたソースコードを入力として受け付け得、ソースコードの複数の異なる実行可能形式を出力として作成し得る。例えば、Ｃプログラミング言語のためのクロスコンパイラを考える。そのようなクロスコンパイラは、Ｃソースコードから、ｘ８６実行可能（例えば、ＭＩＣＲＯＳＯＦＴ ＷＩＮＤＯＷＳ（登録商標）オペレーティングシステムにより構成されたコンピュータ上での実行のための）、ＡＲＭ実行可能（例えば、ＡＮＤＲＯＩＤ（登録商標）オペレーティングシステムにより構成されたモバイルコンピューティングデバイス上での実行のための）、及びＷＡＳＭ実行可能（例えば、ウェブブラウザアプリケーションによってサポートされる仮想スタックマシンでの実行のための）を作成し得る。
【0005】
ソースツーソースコンパイラも存在する。ソースツーソースコンパイラは、人間可読及びコンピュータ可読の両方であるソースプログラミング言語において記述されたソースコードを入力として受け入れ、その各々が人間可読及びコンピュータ可読の両方でもある１つ以上の複数の異なるプログラミング言語ターゲットのためのソースコードを出力する、コンパイラとして定義され得る。異なるプログラミングターゲットは次いで、それぞれのコンパイラによって実行可能形式に更にコンパイルされ得る。例えば、ＨＡＸＥコンパイラは、ＨＡＸＥプログラミング言語によって記述されたソースコードを、少数の構造的に類似のプログラミング言語ターゲットに翻訳することができる。ＨＡＸＥに関するより多くの情報は、インターネット上でｈａｘｅ．ｏｒｇインターネットドメイン内で利用可能である。
【0006】
異なるプログラミング言語コミュニティは、ソフトウェアプログラミングインタフェースのためのドキュメンテーションを生成するための異なるツールセットを使用する。例えば、ＪＡＶＡ（登録商標）プログラミング言語コミュニティは、ＪＡＶＡＤＯＣドキュメンテーションジェネレータを使用し、ＰＹＴＨＯＮ（登録商標）プログラミング言語コミュニティは、ＰＹＤＯＣドキュメンテーションジェネレータを使用し、Ｃ＋＋プログラミング言語コミュニティは、ＤＯＸＹＧＥＮドキュメンテーションジェネレータを使用する、などである。各々のドキュメンテーションジェネレータは、異なる形式においてドキュメンテーションを生成する。結果として、異なるコミュニティのメンバは、ソフトウェアプログラミングインタフェースドキュメンテーションが、手元の特定のプログラミング言語に応じて変化する異なる方法においてフォーマットされることを予想する。
【発明の概要】
【0007】
本明細書で開示される技術は、この問題及び他の問題に対処する。
【0008】
このセクションにおいて説明されるアプローチは、追及され得るアプローチであるが、必ずしも以前に認知または追及されたアプローチであるとは限らない。したがって、他に指示されない限り、このセクションにおいて説明されるアプローチのいずれかは、このセクションにそれらが含まれるおかげで、単なる従来技術として適格であると想定されるべきではない。
【0009】
添付図面の図では、技術が例として、且つ限定としてではなく例示され、添付図面では、同様の参照符号は、類似の要素を指す。
【図面の簡単な説明】
【0010】
【図1】共通仕様書から多くのプログラミング言語のための慣用語ソフトウェアドキュメンテーションを作成するソフトウェアドキュメンテーション生成システムの概略図である。
【図2】ソフトウェアドキュメンテーション生成システムのドキュメンテーションフラグメントトランスレータにおける翻訳のフェーズのフローチャートである。
【図3】共通仕様書から多くのプログラミング言語のための慣用語ソフトウェアドキュメンテーションを作成する処理のフローチャートである。
【図4】技術の実施態様において使用され得る例示的な基本的コンピューティングデバイスのブロック図である。
【発明を実施するための形態】
【0011】
概要
以下の詳細な説明の全体的な概要セクションは、共通仕様書から多くのプログラミング言語のための慣用語ソフトウェアドキュメンテーションを作成する技術の有用な概要を提供する。
以下の詳細な説明の全体的な概要セクションは、共通仕様書から多くのプログラミング言語のための慣用語ソフトウェアドキュメンテーションを作成する技術の有用な概要を提供する。
【0012】
以下の説明では、説明の目的のために、多数の特定の詳細が、技術の完全な理解を提供するように示される。しかしながら、それらの特定の詳細なしに技術が実践され得ることが明らかである。他の例では、公知の構造及びデバイスは、技術を不必要に曖昧にすることを回避するために、ブロック図の形式において示される。
【0013】
用語集
例示の目的のために、限定ではなく、技術の開示の理解を支援するために、以下の定義が提供される。
例示の目的のために、限定ではなく、技術の開示の理解を支援するために、以下の定義が提供される。
【0014】
明確に構造化されたテキスト：：用語「明確に構造化されたテキスト」は、特殊訓練を有さない人が解読することができるが、マシン解釈可能でもある構造化されたテキストである。例えば、以下の例では、マイクロブロギングサービスメッセージ「＠ｃａｔｌｏｖｅｒ，ｙｏｕｒ ｐｉｃｔｕｒｅｓ ｆｒｏｍ ２０２０－０９－３０ ａｒｅ ａｖａｉｌａｂｌｅ ａｔ ｈｔｔｐｓ：／／ｃａｔ．ｐｈｏｔｏｓ」、テキスト「＠ｃａｔｌｏｖｅｒ」、Ｉｎｄｕｓｔｒｙ Ｓｔａｎｄａｒｄｓ Ｏｒｇａｎｉｚａｔｉｏｎ（ＩＳＯ）の形式化された日、及びＵＲＬは、マシン及び最小の訓練を有さない人間の両方に有益である。
【0015】
クロスコンパイラ：：「クロスコンパイラ」は、１つの入力から２つ以上の多くの出力を作成するコンパイラである。
【0016】
コンパイラ：：「コンパイラ」は、例えば、共通仕様書プログラミング言語において記述されたコンピュータプログラムまたはコンピュータプログラムライブラリなど、人間及びマシン消費に適切な入力を消費し、例えば、ターゲットコンピュータプログラミング言語ランタイムのためのターゲットコンピュータプログラム実行可能、リンク可能、もしくはロード可能コンピュータプログラムライブラリ、またはターゲットコンピュータプログラミング言語におけるソースコードなど、マシン消費のためにより適切な出力を生成する。
【0017】
ドキュメンテーションジェネレータ：：「ドキュメンテーションジェネレータ」は、ハイパーテキストマークアップ言語（ＨＴＭＬ）、ＰＤＦ、またはＰＯＳＴＳＣＲＩＰＴなどのデータフォーマットにおいて人間可読ドキュメントを作成するコンピュータプログラムである。ドキュメンテーションジェネレータは、様々なソースからテキストのパッセージを分解し、相互インデックス付けし、再配列することによってドキュメンテーションを作成する。そのようなソース（本明細書では「ドキュメンテーション入力」とも呼ばれる）は、コンピュータプログラミング言語において記述されたソースコードファイル、マークダウンまたはＨＴＭＬなどのフォーマットにあるドキュメンテーション入力ファイル、ＳＶＧ及びＤＯＴのような画像のテキストの記述により、ＰＮＧ及びＪＰＥＧなどのバイナリ画像フォーマットを含む、図、ダイヤグラム、及び他の非テキストコンテンツをそれから導出することができるメディアファイル、チャプタのようなグループ化へのコンテンツの編成を支援するヒントを提供し、ドキュメント化されたソフトウェアによって使用される概念を説明する、別のプロジェクトから生成されたドキュメンテーションのような編成境界にわたってどのようにファイルを発見し及びファイルにリンクするかを説明するドキュメンテーションメタデータファイル、特定のフォントを使用してレンダリングされた各々の文字の形状（グリフス）を定義する、テキストの色及びフォントサイズ、ならびに印刷フォントファイルを制御することができる、Ｃａｓｃａｄｉｎｇ Ｓｔｙｌｅ Ｓｈｅｅｔ（ＣＳＳ）を含む、ドキュメンテーションがどのように見えるべきかを説明する文体ファイル、を含み得る。
【0018】
中断されたプローズ：：用語「中断されたプローズ」または「中断されたテキスト」は、それが包含する全ての不明確なフラグメントが、コンテキスト的に有効な明確に構造化されたテキストまたはプローズと置き換えられていた場合、プローズであるテキストのパッセージを指し得る。
【0019】
ライブラリ：：「ライブラリ」は、自動化可能形式にあるアルゴリズムまたはアルゴリズム（複数可）の表現として定義され得る。自動化可能形式の例は、プログラミング言語コードまたはそのコンパイルされたバージョン（例えば、バイトコード、バイナリ実行可能コードなど）であり得る。典型的には、プロセスまたはプロセス（複数可）として実行されるとき、ライブラリは、それが一部として実行するプロセス（複数可）を「保有」しない。代わりに、ライブラリは、特定の種類のアルゴリズムのタスクをライブラリに委任するより大規模なシステムと並行してまたはその一部として実行する。例えば、コンピュータネットワーク上でのマイクロサービスは、ライブラリとして見られ得る。マイクロサービスは、他のネットワークノードが特定のアルゴリズムのタスクを削除するために存在することが多い。
【0020】
プローズ：：用語「プローズ」は、プログラミング言語において記述されたプログラムとは反対に、主に人間による通信のために意味された人間言語におけるテキストを指す。
【0021】
ランタイム：：プログラミング言語のための「ランタイム」は、その言語において記述されたコンピュータプログラムの実行をサポートする計算機構を網羅する。例えば、プログラミング言語のためのランタイムは、その言語のコンピュータプログラムがコンパイルされるバイトコード命令を理解する仮想マシンを網羅し得る。ＪＡＶＡ（登録商標）仮想マシン（ＪＶＭ）は、そのようなランタイムの１つの例にすぎない。加えて、用語「ランタイム」またはフレーズ「ランタイムにおいて（ａｔ ｒｕｎｔｉｍｅ）」は、コンピュータプログラムが実行されるときの時間を指すために本明細書で使用される場合がある。
【0022】
ソースコード：：用語「ソースコード」は、コンピュータプログラミング言語において表現されたステートメント、表現、及びコマンドを網羅する構造化されたテキストを指し得る。
【0023】
構造化されたテキスト：：用語「構造化されたテキスト」は、マシン解釈可能であり、特殊訓練を有さない人が理解するのに苦労し得るテキストを指し得る。例えば、テキスト「Ｕｓｅ｛＠ｌｉｎｋ ＭｙＣｌａｓｓ＃ｍｅｔｈｏｄ（ｉｎｔ，ｉｎｔ）｝ ｔｏ ｄｏ ＸＹＺ」では、中括弧の間のテキストは、人間が復号するための専門知識を必要とする、パンクチュエーションデンスマイクロ言語に従って構造化される。
【0024】
ターゲット：：「ターゲット」は、コンパイラ出力に接続するためにクライアントによって使用される機構として定義され得る。プログラミング言語は、ターゲットであることができ、プログラマは、同一のメモリ空間にロードするライブラリに接続するコードを記述する。仮想マシン（ＶＭ）は、ターゲットであることができ、プログラマは、仮想マシンが稼働する種類のバイトコードにコンパイルするコードを記述することができ、インタフェースを介して使用をリンクするために、ＶＭに依存することができる。別のプログラムは、クライアントであり得る。したがって、プログラム間機構は、ターゲットであり、コードは、例えば、ネットワークサービスまたはマイクロサービスなど、クライアントプログラムのプロセスの外部で稼働する何かにメッセージを送信し、着信メッセージが応答を包含するときを認識するために、プロセス間通信（ＩＰＣ）、リモートプロシージャコール（ＲＰＣ）、またはＲＥＳＴｆｕｌネットワークプロトコルを使用し得る。
【0025】
全体概要
本明細書で開示されるコンピュータにより実施される技術は、共通仕様書プログラミング言語において記述された共通仕様書から多くのプログラミング言語のための慣用語ソフトウェアドキュメンテーションを作成することによるいくつかの課題を解決する。技術は、ドキュメンテーションジェネレータコンピュータプログラムによって採用され得、ドキュメンテーションジェネレータコンピュータプログラムは、多くの異なるプログラミング言語ターゲットの各々のためのソフトウェアプログラミングインタフェースドキュメンテーションに共通仕様書を翻訳する。技術はまた、ソースツーソースコンパイラによって採用され得、ソースツーソースコンパイラは、共通仕様書を異なるターゲット言語にコンパイルすることに加えて、共通仕様書から多くの異なるプログラミング言語ターゲットの各々のためのドキュメンテーションを生成する技術を組み込む。
本明細書で開示されるコンピュータにより実施される技術は、共通仕様書プログラミング言語において記述された共通仕様書から多くのプログラミング言語のための慣用語ソフトウェアドキュメンテーションを作成することによるいくつかの課題を解決する。技術は、ドキュメンテーションジェネレータコンピュータプログラムによって採用され得、ドキュメンテーションジェネレータコンピュータプログラムは、多くの異なるプログラミング言語ターゲットの各々のためのソフトウェアプログラミングインタフェースドキュメンテーションに共通仕様書を翻訳する。技術はまた、ソースツーソースコンパイラによって採用され得、ソースツーソースコンパイラは、共通仕様書を異なるターゲット言語にコンパイルすることに加えて、共通仕様書から多くの異なるプログラミング言語ターゲットの各々のためのドキュメンテーションを生成する技術を組み込む。
【0026】
本明細書で開示される技術によって解決される１つの課題は、ソフトウェアプログラミングインタフェースドキュメンテーションが単なるプローズではないことである。例えば、ドキュメンテーションは、ソースコード例を包含し得る。共通仕様書から多くの異なるターゲットプログラミング言語のためのソフトウェアプログラミングインタフェースドキュメンテーションを生成するとき、異なるドキュメンテーションのセットは、共通仕様書から、異なるプログラミング言語ターゲットのためのソースコードフラグメントに翻訳されたソースコードフラグメントを含むべきである。
【0027】
関連する課題は、ドキュメンテーションが、プローズと一致してプログラマによって書かれた、埋め込まれた構造化されたテキストを有し得ることである。例えば、以下の例の、プローズと一致した埋め込まれた構造化されたテキストを包含するマルチラインソースコードコメントブロックを考える。
【表1】
【0028】
この例では、コメントブロック、シンタックス「／＊＊」及び「＊／」は、コメントブロックの開始及び終了を示すために使用され、埋め込まれた構造化されたテキストは、文字列「［ｉｎｌｉｎｅ ＤＥＦＡＵＬＴ＿ＭＡＸ＿ＴＯＲＱＵＥ＿ＶＡＬＵＥ］」及び文字列「｛＠リンクＢｏｌｔＴｉｇｈｔｅｎｅｒ．ｓｅｔＭａｘＴｏｒｑｕｅ（）｝」である。プログラマは、埋め込まれた構造化されたテキストを、リンクまたは他のリッチなもしくは特別にフォーマットされたコンテンツと置き換えるコンパイラまたはドキュメンテーションジェネレータを予想し得る。現在の例では、プログラマは、埋め込まれた構造化されたテキスト「［ｉｎｌｉｎｅＤＥＦＡＵＬＴ＿ＭＡＸ＿ＴＯＲＱＵＥ＿ＶＡＬＵＥ］」を、可変名「ＤＥＦＡＵＬＴ＿ＭＡＸ＿ＴＯＲＱＵＥ＿ＶＡＬＵＥ」の共通仕様書のプログラミング言語における宣言の初期値と置き換えるコンパイラまたはドキュメンテーションジェネレータを予想し得る。加えて、プログラマは、埋め込まれた構造化されたテキスト「｛＠ｌｉｎｋ ＢｏｌｔＴｉｇｈｔｅｎｅｒ．ｓｅｔＭａｘＴｏｒｑｕｅ（）｝」を、ドキュメンテーション間ハイパーリンクと置き換えるコンパイラまたはドキュメンテーションジェネレータを予想し得る。プログラマは、コンパイラまたはドキュメンテーションジェネレータの他の機能を予想し得る。例えば、メトリックユーザのためのドキュメンテーションのバージョンでは、プログラマは、ニュートンメートルに翻訳されることになるトルク値を予想し得る。プログラマの予想を満たさない生成されたドキュメンテーションは、プログラマに不満を与え、関連するソフトウェアは、低品質のものとして認知され得る。
【0029】
多くの異なるプログラミング言語ターゲットのために解決される別の課題は、ドキュメンテーションのためのプログラミング言語コミュニティの異なる予想を満たしている。異なるプログラミング言語のための異なるドキュメンテーションジェネレータの非包括的なリストは、ＤのためのＤＤＯＣ、ＫＯＴＬＩＮのためのＤＯＫＫＡ、Ｃ＋＋のためのＤＯＸＹＧＥＮ、ＪＡＶＡ（登録商標）のためのＪＡＶＡＤＯＣ、ＪＡＶＡＳＣＲＩＰＴ（登録商標）のためのＪＤＯＣ、ＯＣＡＭＬのためのＯＣＡＭＬＤＯＣ、ＰＥＲＬのためのＰＥＲＬＤＯＣ、ＰＨＰのためのＰＨＰＤＯＣＵＭＥＮＴＯＲ、ＰＹＴＨＯＮ（登録商標）のためのＰＹＤＯＣ、及びＳＣＡＬＡのためのＳＣＡＬＡＤＯＣを含む。それらの異なるコミュニティ内のプログラマは、それらのドキュメンテーションジェネレータによって作成されたドキュメンテーションをどのように効率的にスキャンするかを学習することに時間を投資してきた。プログラミング言語コミュニティの好ましいドキュメンテーションジェネレータによって作成されたものとは文体的に及び編成的にはるかに異なるソフトウェアプログラミング言語ドキュメンテーションは、要約するのに不必要に難しく、より低い品質のものとして認知される。
【0030】
多くの異なるプログラミング言語ターゲットのために解決される更なる別の課題は、マシン（例えば、ソフトウェアプログラミングインタフェースドキュメンテーションを入力として受け付けるコンピュータデバイス上で実行するコンピュータプログラム）の予想を満たしている。コンピューティングデバイス上で実行する統合開発環境（ＩＤＥ）は、そのようなマシンの１つの例である。例えば、ＩＤＥを使用するプログラマがソースコード内のワードのポイントデバイスカーソルを移動させるとき、ＩＤＥは、そのワードに関連する生成されたドキュメンテーションのフラグメントを表示し得る。別の例として、プログラマが、ソースコードのワードのタイピングを始めるとき、ＩＤＥは、可能な完了ごとに関連するドキュメンテーションフラグメントによりワードのプリフィックスのための可能な完了を示唆し得る。例えば、ＩＤＥソースコードエディタに「ｉｓＲｅ」をタイプするプログラマを考える。それに応じて、ＩＤＥは、以下のオプションを可能な完了として提示し得る：
－「ｉｓＲｅａｄａｂｌｅ－読み出すためにそれが開示され、利用可能になった場合に真」
－「ｉｓＲｅａｄｙ－それが事前公開チェックを通る場合に真」
－「ｉｓＲｅａｄａｂｌｅ－読み出すためにそれが開示され、利用可能になった場合に真」
－「ｉｓＲｅａｄｙ－それが事前公開チェックを通る場合に真」
【0031】
上記課題に関連して、ＩＤＥが、共通して使用されるドキュメンテーションジェネレータからの出力により開発及びテストされた可能性が高かったそのアルゴリズムを使用して関連するドキュメンテーションフラグメントを抽出することができない場合、そのドキュメンテーションと結び付けられたソフトウェアライブラリは、学習するのがより難しく、正確に使用するのもより難しい。
【0032】
解決された更なる別の課題は、ドキュメンテーション内での相互参照をサポートすることである。上記のボルトを締め付ける例に戻り、コメントブロックが、プログラム要素を参照する埋め込まれた構造化されたデータを含むことを思い出されたい。プログラム要素は、テキスト「｛＠ｌｉｎｋ ＢｏｌｔＴｉｇｈｔｅｎｅｒ．ｓｅｔＭａｘＴｏｒｑｕｅ（）｝」を有するコメントブロック内で参照される。そのような構造化されたデータは、ハイパーリンクに変換され得る。ハイパーリンクに変換するとき、参照は、マシン解釈可能な参照に翻訳される必要がある。マシン解釈可能な参照の例は、参照を説明する生成されたドキュメンテーションの別の部分にリンクするＵｎｉｆｏｒｍ Ｒｅｓｏｕｒｃｅ Ｌｏｃａｔｏｒ（ＵＲＬ）である。加えて、ハイパーリンクに変換するとき、埋め込まれた構造化されたテキストは、「リンクテキスト」と置き換えられる必要がある。リンクテキストは、異なるプログラミング言語ターゲットに対して異なることが多い。例えば、コメントブロック内の「ｓｅｔＭａｘＴｏｒｑｕｅ」と命名された概念エンティティをＣ＋＋プログラマが参照し得る方法は、コメントブロック内のそのエンティティをＰＹＴＨＯＮ（登録商標）プログラマが参照する方法とは異なり得る。
【0033】
解決された更なる別の課題は、ターゲットプログラミング言語における仕様書内のパブリックソフトウェアプログラミング言語インタフェース要素が、共通仕様書プログラミング言語における共通仕様書内の要素に１対１で対応し得ないことである。特に、共通仕様書は、ターゲットプログラミング言語における仕様書内の単一の要素に対応しない要素の概念的グループ化を定義し得る。例えば、共通仕様書プログラミング言語における方位の概念の以下の定義を考える。
【表2】
【0034】
上記定義は、「ＣａｒｄｉｎａｌＤｉｒｅｃｔｉｏｎ」と命名された概念的グループ化を定義し、概念的グループ化内の４つの別個のエンティティに名前を与える。一部のターゲットプログラミング言語は、同様に概念的グループ化を定義し得ない。したがって、ターゲットプログラミング言語において定義されるような概念的グループ化に対するドキュメンテーション相互参照への、共通仕様書内の概念的グループ化に対するドキュメンテーション相互参照の１対１の翻訳が常に存在するとは限らない。
【0035】
例えば、概念的グループ化は、以下のように、ＰＥＲＬプログラミング言語において定義され得る：
【表3】
【0036】
ここで、概念的グループ化は、概念エンティティ名が、示される大文字及び下線形式にある概念的グループ化内の各々のエンティティの名前のプリフィックスである、広く受け入れられたＰＥＲＬプログラミングプラクティスに従って定義される。しかしながら、結果として、「ＣａｒｄｉｎａｌＤｉｒｅｃｔｉｏｎ」が参照し得るプログラミング言語構造が存在しない。
【0037】
別の例として、ＧＯプログラミング言語では、概念的グループ化は、以下のように定義され得る：
【表4】
【0038】
ここで、ＣａｒｄｉｎａｌＤｉｒｅｃｔｉｏｎに対する相互参照は、「ｔｙｐｅ ＣａｒｄｉｎａｌＤｉｒｅｃｔｉｏｎ」に翻訳することができる。しかしながら、慣習により、ＧＯプログラマは、その定義をその自身のソースコードファイルに置き、それ自体のタイプ定義の代わりに、ドキュメンテーション相互参照内のファイルを参照することが多い。
【0039】
また、ＪＡＶＡ（登録商標）プログラミング言語では、概念的グループ化は、以下のように定義され得る：
【表5】
【0040】
上記のＰＥＲＬ及びＧＯの例とは異なり、ＪＡＶＡ（登録商標）の例では、ドキュメンテーション相互参照を「ＣａｒｄｉｎａｌＤｉｒｅｃｔｉｏｎ」に直接翻訳することが可能である。
【0041】
更なる別の課題は、共通仕様書内のソースコードコメント内でプログラマによって書かれた使用例が、異なるターゲット言語において異なって表された共通概念を参照することができることである。そのような使用例は、以下のナラティブアークに準拠することが多い：
１．ライブラリに接続する。
２．一部の入力を作成する。
３．入力と共にライブラリの一部を使用する。
４．出力を説明する。
１．ライブラリに接続する。
２．一部の入力を作成する。
３．入力と共にライブラリの一部を使用する。
４．出力を説明する。
【0042】
共通仕様書内で定義され得る以下の使用例を考える：
【表6】
【0043】
ここで、日付は、共通概念である。ライン０１は、ライブラリに接続する。ライン０２は、入力を作成する。ライン０３は、入力と共に接続されたライブラリの一部を使用する。また、ライン０４は、出力を説明するコメントである。この使用例及びそれと同様のその他は、ターゲット言語に精通したプログラマが日付共通概念のインスタンスを表現するとして認識する使用例に、ターゲットプログラミング言語ごとに異なって翻訳されるべきである。例えば、ＪＡＶＡ（登録商標）における使用例は、ｊａｖａ．ｔｉｍｅパッケージに基づいて、共通仕様書からのフレーズ「Ｄａｔｅ（ｙｅａｒ：１７７６，ｍｏｎｔｈ：８，ｄａｙ：２）」を、テキストとおそらくは置き換えるはずである。また、或る慣習に準拠する文字列として日付を表すことが慣習的であるターゲットプログラミング言語では、日付フレーズは、例として、文字列「１７７６０８０２」と置き換えられ得る。
【0044】
更なる別の課題は、ドキュメンテーション相互参照が、共通仕様書に及び得ることである。例えば、２つの異なる共通仕様書は、異なるプログラマのチームによって別々に維持され得る。それにも関わらず、共通仕様書の１つは、他の共通仕様書に対するドキュメンテーション相互参照を包含し得る。この相互参照は、共通仕様書から生成されるために、ターゲットプログラミング言語ドキュメンテーション内で維持されるべきである。
【0045】
本明細書で開示される技術は、それらの課題の全てを解決し、それによって、共通仕様書から多くのプログラミング言語のための慣用語ソフトウェアドキュメンテーションを作成する、最新のコンピュータにより実施される技術における改善を提供する。
【0046】
ドキュメンテーション生成システム
図１は、共通仕様書から多くのプログラミング言語のための慣用語ソフトウェアドキュメンテーションを作成するソフトウェアドキュメンテーション生成システムの概略である。システムへの入力１０２は、共通仕様書１０４を含む。共通仕様書１０４は、少なくとも２つのタイプの印刷可能コンテンツ：（１）共通仕様書プログラミング言語においてプログラムされたプログラミング言語ステートメント及び表現（ソースコード）と、（２）ソースコードコメント（ドキュメンテーションフラグメント）と、を網羅し得る。コメントは、プローズ、埋め込まれた構造化されたテキスト、及びソースコード使用例を含み得る。
図１は、共通仕様書から多くのプログラミング言語のための慣用語ソフトウェアドキュメンテーションを作成するソフトウェアドキュメンテーション生成システムの概略である。システムへの入力１０２は、共通仕様書１０４を含む。共通仕様書１０４は、少なくとも２つのタイプの印刷可能コンテンツ：（１）共通仕様書プログラミング言語においてプログラムされたプログラミング言語ステートメント及び表現（ソースコード）と、（２）ソースコードコメント（ドキュメンテーションフラグメント）と、を網羅し得る。コメントは、プローズ、埋め込まれた構造化されたテキスト、及びソースコード使用例を含み得る。
【0047】
共通仕様書１０４は、１つ以上のファイルまたは１つ以上の他の適切なデータコンテナとしてコンピュータ記憶媒体に記憶され得る。１つ以上のデータコンテナは、ソースコードを包含する１つ以上のデータコンテナを網羅し得、ソースコードは、ソースコードコメントをも包含し得る。しかしながら、ソースコードを包含するデータコンテナが、ソースコードのためのソースコードコメントを包含する別のデータコンテナに対する参照またはリンク（例えば、ハイパーリンク）を包含することも可能である。したがって、ソースコード及びソースコードコメントが同一のデータコンテナに記憶され得るが、それらは代わりに、別々のデータコンテナに記憶され得、別々のデータコンテナでは、ソースコードデータコンテナ内からソースコードコメントデータコンテナを参照するためにテキストリンクまたは参照が使用される。
【0048】
例えば、以下の可能な共通仕様書１０４のスニペットを考える。ライン０１～０８０６は、ドキュメンテーションフラグメントを網羅する。ライン０１における文字シーケンス「／＊＊」は、ドキュメンテーションフラグメントの開始を示す。ライン０８０６における文字シーケンス「＊／」は、ドキュメンテーションフラグメントの終了を示す。ライン０２は、プローゼである。ライン０３～０７０５は、ＸＭＬのようなマークアップタグ＜ｅｘａｍｐｌｅ＞＜／ｅｘａｍｐｌｅ＞内で囲まれた使用例を表す。また、ライン０９０７は、非ドキュメンテーションプログラミング言語命令ソースコードを表し、非ドキュメンテーションプログラミング言語命令ソースコードでは、明確な例を提供することを目的として例において提供されない更なる詳細を表すために「...」が使用される。
【表7】
【0049】
上記例では、ＸＭＬのようなタグは、使用例を網羅するものとして、コメントブロックの部分を指定するために使用されるが、他の実施態様では他のシンタックスが使用される。例えば、ＸＭＬのようなタグの代わりに、使用例は、まさに１つの可能性として、別々のライン上で２つのバッククォート「''」で囲まれ得る。
【0050】
共通仕様書１０４は、ドキュメンテーションフラグメントエクストラクタ１０６及びコンパイラ１１８の両方への入力であり得る。ドキュメンテーションフラグメントエクストラクタ１０６は、共通仕様書１０４または共通仕様書１０４によって参照される１つ以上のファイルからドキュメンテーションフラグメントを抽出し得、コンパイラ１１８は、共通仕様書１０４からソースコードを抽出し得る。そのような抽出は、ライン再構築、事前処理、語彙分析（トークン化）、シンタックス分析（構文解析）、及びセマンティック分析など、コンパイラフロントエンドによって実行されるオペレーションを伴い得る。概して、共通仕様書１０４から抽出されたドキュメンテーションフラグメントは、共通仕様書１０４内のソースコードコメントに対応し得、共通仕様書１０４から抽出されたソースコードは、コメントではない共通仕様書の他のテキストに対応し得る。他のテキストは、共通仕様書プログラミング言語のステートメント及び表現を網羅し得る。
【0051】
いくつかの実施態様では、ドキュメンテーションフラグメントの一部または全ては、共通仕様書１０４のソースコードファイル内のソースコードと一致して含まれるが、ドキュメンテーションフラグメントの一部または全ては、共通仕様書１０４のソースコードファイル内のソースコードと一致するテキストリンク（例えば、ハイパーリンク）によって参照されるファイルから取得される。よって、ドキュメンテーションフラグメントの全ては、ソースプログラミング言語においてソースコードを包含する共通仕様書１０４のソースコードファイルから抽出され得、ドキュメンテーションフラグメントの全ては、共通仕様書１０４のソースコードファイル内のテキストリンクによって参照される別々のファイルから抽出され得、またはドキュメンテーションフラグメントの一部は、共通仕様書１０４のソースコードファイルから抽出され得、ドキュメンテーションフラグメントの一部は、共通仕様書１０４のソースコードファイル内のテキストリンクによって参照される別々のファイルから抽出され得る。共通仕様書１０４からドキュメンテーションフラグメントを抽出することは、それらのタイプの抽出のいずれかを網羅し得る。
【0052】
コンパイラ１１８はまた、共通仕様書１０４のソースコードの中間表現に対してオペレーションを実行し得る。中間表現は、共通仕様書１０４のソースコードに対して実行されたフロントエンドオペレーションの結果としてコンパイラ１１８によって生成され得る。いくつかの実施態様では、参照によってその内容全体が本明細書に組み込まれる、２０２０年１２月３３日に出願された「Ｄｅｒｉｖｉｎｇ Ｍａｎｙ Ｉｄｉｏｍａｔｉｃ Ｐｒｏｇｒａｍｍｉｎｇ Ｌａｎｇｕａｇｅ Ｉｎｔｅｒｆａｃｅｓ」と題する関連する米国特許出願第１７／１３１，５７４号において説明されるように、中間表現は、言語間定義的要素のセットに基づいている。
【0053】
コンパイラ１１８は、中間表現に対して様々なオペレーションを実行し得る。コンパイラ１１８が中間表現に対して実行し得る一部の分析オペレーションは、データフロー分析、依存性分析、エイリアス分析、ポインタ分析、エスケープ分析、またはコンパイラのミドルエンドによって実行され得る他の適切な分析オペレーションを含み得る。コンパイラ１１８が中間表現に対して実行し得る一部の最適化オペレーションは、インライン展開、デッドコード除去、定数伝播、ループ転換、またはコンパイラのミドルエンドによって実行され得る他の適切な最適化オペレーションを含み得る。
【0054】
コンパイラ１１８の出力は、コードジェネレータ１２０に入力され得る。コードジェネレータ１２０は、特定のプログラミング言語ターゲットのためのコンパイラバックエンドに対応する。システムは、多くの異なるプログラミング言語ターゲットのための多くのコードジェネレータを網羅し得る。図１の例では、簡易化のために１つのコードジェネレータ１２０のみが示される。いくつかの実施態様では、システムは、多くの異なるプログラミング言語ターゲットのための多くのコードジェネレータを網羅する。例えば、システムは、以下のプログラミング言語ターゲット：Ｃ、ＪＡＶＡ（登録商標）、ＰＹＴＨＯＮ（登録商標）、Ｃ＋＋、Ｃ＃、ＪＡＶＡＳＣＲＩＰＴ（登録商標）、ＰＨＰ、ＳＷＩＦＴ、Ｒ、ＬＩＳＰ、ＦＯＲＴＲＡＮ、ＡＤＡ、ＰＡＳＣＡＬ、ＧＲＯＯＶＹ、ＲＵＢＹ、ＧＯ、ＯＢＪＥＣＴＩＶＥ－Ｃ、ＤＡＲＴ、ＳＣＡＬＡ、及びＬＵＡ、の各々のための別個のコードジェネレータを網羅し得る。
【0055】
ドキュメンテーションフラグメント言語
ドキュメンテーションフラグメントエクストラクタ１０６によって共通仕様書１０４から抽出されたドキュメンテーションフラグメントのソースコード使用例は、ドキュメンテーションフラグメントプログラミング言語に従い得る。ドキュメンテーションフラグメント言語は、共通仕様書プログラミング言語、共通仕様書プログラミング言語のサブセット、またはドキュメンテーションにおけるソースコード使用例を承認するために専門化されたプログラミング言語であり得る。
ドキュメンテーションフラグメントエクストラクタ１０６によって共通仕様書１０４から抽出されたドキュメンテーションフラグメントのソースコード使用例は、ドキュメンテーションフラグメントプログラミング言語に従い得る。ドキュメンテーションフラグメント言語は、共通仕様書プログラミング言語、共通仕様書プログラミング言語のサブセット、またはドキュメンテーションにおけるソースコード使用例を承認するために専門化されたプログラミング言語であり得る。
【0056】
ドキュメンテーションフラグメント言語は、共通仕様書１０４内のソースコードコメントの一部としてソースコード使用例を書くための様々な能力を提供し得る。ドキュメンテーションフラグメント言語は、ステップのシーケンスを規定することを可能にすることができる。例えば、以下の例では、ライン０１における第１のステップ、次いで、ライン０２における次のステップ、及びライン０３における最後のステップを有するシーケンス内で３つのステップが存在する：
【表8】
【0057】
ドキュメンテーションフラグメント言語は、変数名の宣言を可能にすることができる。例えば、上記ライン０２では、変数名「ｉｎｄｅｐｅｎｄｅｎｃｅＤａｙ」を宣言するために、キーワード「ｌｅｔ」が使用される。
【0058】
ドキュメンテーションフラグメント言語は、共通概念コーパス１１２を介して、値を作ることを可能にすることができる。例えば、上記ライン０２では、１７７６年８月２日を表す値Ｄａｔｅ（ｙｅａｒ：１７７６，ｍｏｎｔｈ：８，ｄａｙ：２）は、共通概念コーパス１１２を介して作られる。
【0059】
ドキュメンテーションフラグメント言語は、値が変数名と関連付けられることを可能にすることができる。例えば、上記ライン０２では、共通概念コーパス１１２を介して作成された値と変数名「ｉｎｄｅｐｅｎｄｅｎｃｅＤａｙ」とを関連付けるために、等号（「＝」）が使用される。
【0060】
ドキュメンテーションフラグメント言語は、結果として値を取得するために、名前または値を有するドキュメント化されたライブラリのアプリケーションプログラミングインタフェースの一部を使用することを可能にすることができる。例えば、上記ライン０３では、変数名「ｄａｙＣｏｕｎｔ」と関連付けられた結果として値を取得するために、変数名「ｉｎｄｅｐｅｎｄｅｎｃｅＤａｙ」と共に、「ｄｏｃｕｍｅｎｔｅｄＬｉｂｒａｒｙ」と命名されたライブラリのインタフェースが使用される。
【0061】
ドキュメンテーションフラグメント言語は、どのインタフェース要素を使用するかを区別するために十分な相互参照シンタックスをサポートし得る。例えば、上記ライン０３では、ライブラリ名「ｄｏｃｕｍｅｎｔｅｄＬｉｂｒａｒｙ」をインタフェース要素「ｄａｙｓＳｉｎｃｅ」から区別するために、ピリオド（「．」）が使用される。
【0062】
ドキュメンテーションフラグメント言語は、プロシージャコールにおいて値のグループ化が送信する（渡す）ことを可能にするプロシージャコールシンタックスをサポートし得る。例えば、上記ライン０３では、プロシージャコールにおいて渡す値を規定するために、インタフェース要素名「ｄａｙｓＳｉｎｃｅ」に続く開括弧及び閉括弧が使用される。
【0063】
ドキュメンテーションフラグメント言語は、或るステップが何を行うのかをプローズで説明するのをサポートし得る。例えば、ドキュメンテーションフラグメント言語は、例えば、「／＊ｓｏｍｅ ｐｒｏｓｅ＊／」など、インタースティシャルプログラミング言語コメントをサポートし得る。
【0064】
ドキュメンテーションフラグメント言語は、プログラマがソースコード使用例内で異なる戦略をどのように組み合わせるかを示すことを可能にするために、ｉｆ－ｔｈｅｎ－ｅｌｓｅ及びｗｈｉｌｅループステートメントなどの構造化されたプログラミング言語ステートメントの使用をサポートし得る。
【0065】
ドキュメンテーションフラグメント言語は、更なる議論の価値があるいずれかの結果または結果（複数可）の識別をサポートし得る。例として：ドキュメンテーションフラグメント言語は、結果が値と同等であること（例えば、「ｒｅｓｕｌｔ＝＝４２」）をプログラマが示すことを可能にするシンタックスを提供し得る。ドキュメンテーションフラグメント言語は、ソースコード使用例によって表される（例えば、「ｐｒｉｎｔ（ｒｅｓｕｌｔ）／＊ ｗｏｕｌｄ ｐｒｉｎｔ ４２ ＊／」プログラムをそれらが稼働させていたようにリーダが見るものを示すために、プローズによるイディオムの使用を可能にし得る。ドキュメンテーションフラグメント言語は、メタデータと関連付けられたテキストが、それらがプログラムを稼働させていたようにリーダが見るものを規定することをリーダに対して明確にするために、メタデータがフォーマットされたプログラムをそれらが稼働させていたようにリーダが見るものを規定するために、メタデータの使用を可能にし得る。例えば、テキスト「Ｈｅｌｌｏ， Ｗｏｒｌｄ！"」が、プログラムの標準出力デバイスに出力されることを規定するために、テキスト「／／ｓｔｄｏｕｔ："Ｈｅｌｌｏ， Ｗｏｒｌｄ！"」が使用され得、テキスト「／／ｓｔｄｏｕｔ：」は、そのように規定するためのメタデータである。
【0066】
ドキュメンテーションフラグメント言語は、別のプロシージャの内部に現れる入れ子プロシージャの表現を可能にし得る。
【0067】
ステートメントと表現との間の区別
多くのプログラミング言語ターゲットは、ステートメントと表現との間で区別する。ステートメントは、遂行されることになる一部のアクションを規定するソースコードの単位である。ステートメントの例は、ａｓｓｅｒｔｉｏｎステートメント、ａｓｓｉｇｎｍｅｎｔステートメント、ｇｏｔｏステートメント、ｒｅｔｕｒｎステートメント、ｃａｌｌステートメント、ｂｌｏｃｋステートメント、ｄｏ－ｌｏｏｐステートメント、ｆｏｒ－ｌｏｏｐステートメント、ｉｆ－ｔｈｅｎ－ｅｌｓｅステートメント、ｓｗｉｔｃｈステートメント、ｗｈｉｌｅ－ｌｏｏｐステートメント、ｗｉｔｈ－ステートメントなどを含む。表現は、その値を判定するために評価されるソースコードの単位である。多くのケースでは、ステートメントは、表現を包含することができるが、表現は、ステートメントを包含しない。これに対する例外は、入れ子プロシージャである。要するに、表現は、値を作成し、場合によっては、サイドエフェクトを有するが、ステートメントの唯一の目的は、サイドエフェクトを有することである。
多くのプログラミング言語ターゲットは、ステートメントと表現との間で区別する。ステートメントは、遂行されることになる一部のアクションを規定するソースコードの単位である。ステートメントの例は、ａｓｓｅｒｔｉｏｎステートメント、ａｓｓｉｇｎｍｅｎｔステートメント、ｇｏｔｏステートメント、ｒｅｔｕｒｎステートメント、ｃａｌｌステートメント、ｂｌｏｃｋステートメント、ｄｏ－ｌｏｏｐステートメント、ｆｏｒ－ｌｏｏｐステートメント、ｉｆ－ｔｈｅｎ－ｅｌｓｅステートメント、ｓｗｉｔｃｈステートメント、ｗｈｉｌｅ－ｌｏｏｐステートメント、ｗｉｔｈ－ステートメントなどを含む。表現は、その値を判定するために評価されるソースコードの単位である。多くのケースでは、ステートメントは、表現を包含することができるが、表現は、ステートメントを包含しない。これに対する例外は、入れ子プロシージャである。要するに、表現は、値を作成し、場合によっては、サイドエフェクトを有するが、ステートメントの唯一の目的は、サイドエフェクトを有することである。
【0068】
一部のプログラミング言語は、ステートメントと表現との間で区別しない。例えば、一部の機能的プログラミング言語は、この区別を行わない。ステートメントと表現との間で区別しないプログラミング言語におけるソースコードを、それを行う別のプログラミング言語におけるソースコードに翻訳することが可能である。そのように行うことは典型的には、一時（使い捨て）変数を導入することを伴う。そのような変数は、値を一時的に保持する役割を果たすが、人間にとって有益でない変数名を使用することが多い。結果として、読み出すことが意味されたターゲットプログラミング言語におけるソースコード使用例にソースコード使用例を翻訳するために一時変数を導入することは、低品質ドキュメンテーションにつながる。よって、ドキュメンテーションフラグメント言語は、共通仕様書１０４内のソースコード使用例において各々の種類を使用することができる場所についてのルールを有することを含む、表現とステートメントとの間で区別を行い得る。このようにして、有益でない名前を有する一時変数を使用することなく、この区別をもサポートするターゲットプログラミング言語におけるソースコード使用例に、共通仕様書１０４内のソースコード使用例を翻訳することができる。
【0069】
入れ子プロシージャ
一部のターゲットプログラミング言語は、入れ子プロシージャを許容しない。入れ子プロシージャは、別のプロシージャ内で定義されたプロシージャである。入れ子プロシージャを許容するターゲットプログラミング言語と、入れ子プロシージャを許容しないターゲットプログラミング言語とへの両方の翻訳をサポートするために、ドキュメンテーションフラグメント言語は、名前が共通仕様書１０４内のソースコード使用例において言及されないときでさえ、入れ子プロシージャが記述的名を与えられることを必要とし得る。そのようにすることによって、入れ子プロシージャをサポートしないターゲットプログラミング言語のために、所与の記述的名によってコールすることができるターゲット言語における非入れ子プロシージャに、入れ子プロシージャを変換することができる。例えば、メタデータを使用することなどによって、共通仕様書１０４内のソースコード使用例において記述的名を明示的に言及することができる。代わりに、共通仕様書１０４内の命名されていない入れ子プロシージャを検出すると、記述的名を提供するように、ユーザ入力に対してユーザを促すことができる。
一部のターゲットプログラミング言語は、入れ子プロシージャを許容しない。入れ子プロシージャは、別のプロシージャ内で定義されたプロシージャである。入れ子プロシージャを許容するターゲットプログラミング言語と、入れ子プロシージャを許容しないターゲットプログラミング言語とへの両方の翻訳をサポートするために、ドキュメンテーションフラグメント言語は、名前が共通仕様書１０４内のソースコード使用例において言及されないときでさえ、入れ子プロシージャが記述的名を与えられることを必要とし得る。そのようにすることによって、入れ子プロシージャをサポートしないターゲットプログラミング言語のために、所与の記述的名によってコールすることができるターゲット言語における非入れ子プロシージャに、入れ子プロシージャを変換することができる。例えば、メタデータを使用することなどによって、共通仕様書１０４内のソースコード使用例において記述的名を明示的に言及することができる。代わりに、共通仕様書１０４内の命名されていない入れ子プロシージャを検出すると、記述的名を提供するように、ユーザ入力に対してユーザを促すことができる。
【0070】
共通概念コーパス
共通仕様書１０４から抽出されたドキュメンテーションフラグメント内のフレーズから所与のターゲットプログラミング言語のための同等のフレーズに外部概念を翻訳するための共通概念コーパス１１２がシステムにおいて提供され得る。例えば、ＪＡＶＡＳＣＲＩＰＴ（登録商標）について、共通概念コーパス１１２は、ＪＡＶＡＳＣＲＩＰＴ（登録商標）のために、上記例から「ｎｅｗ Ｄａｔｅ（１７７６，７，２）」に「Ｄａｔｅ（ｙｅａｒ：１７７６，ｍｏｎｔｈ：８，ｄａｙ：２）」を翻訳し得る。
共通仕様書１０４から抽出されたドキュメンテーションフラグメント内のフレーズから所与のターゲットプログラミング言語のための同等のフレーズに外部概念を翻訳するための共通概念コーパス１１２がシステムにおいて提供され得る。例えば、ＪＡＶＡＳＣＲＩＰＴ（登録商標）について、共通概念コーパス１１２は、ＪＡＶＡＳＣＲＩＰＴ（登録商標）のために、上記例から「ｎｅｗ Ｄａｔｅ（１７７６，７，２）」に「Ｄａｔｅ（ｙｅａｒ：１７７６，ｍｏｎｔｈ：８，ｄａｙ：２）」を翻訳し得る。
【0071】
共通概念コーパス１１２は、抽象化トークンのためのトランスレータとして実装され得る。例えば、機械学習に基づくトランスレータまたは文法駆動トランスレータが使用され得る。例えば、共通概念コーパス１１２は、「Ｄａｔｅ（ｙｅａｒ：１７７６，ｍｏｎｔｈ：８，ｄａｙ：２）」から、以下の抽象化トークンのシーケンスを作成し得る。
【表9】
【0072】
上記例の抽象化トークンのシーケンスは、フォーマットされた拡張可能マークアップ言語（ＸＭＬ）のようなものである。しかしながら、特定の抽象化トークンシーケンスフォーマットは必要とされず、１つの可能なフォーマットの単なる例として、ＸＭＬのようなフォーマットが使用される。他の構造化されたテキストフォーマットまたはバイナリフォーマットが可能である。
【0073】
共通概念コーパス１１２は、共通仕様書１０４から抽出されたドキュメンテーションフラグメント内の共通概念の抽象化トークンシーケンス形式を、ターゲット言語のためのトークンシーケンスに翻訳するために、文法駆動トランスレータを使用し得る。例えば、共通概念コーパス１１２は、ターゲットプログラミング言語ごと、及び概念ごとの翻訳文法を網羅し得る。例えば、ＪＡＶＡＳＣＲＩＰＴ（登録商標）のための翻訳文法及び日付概念は、Ａｕｇｍｅｎｔｅｄ Ｂａｃｋｕｓ－Ｎａｕｒ Ｆｏｒｍ（ＡＢＮＦ）において以下のように表現され得る：
【表10】
【0074】
別の例として、ＪＡＶＡ（登録商標）のための翻訳文法及び日付概念は、ＡＢＮＦにおいて以下のように再度表現され得る：
【表11】
【0075】
上記例の文法では、引用されたトークンが、不変の出力に含まれる。事後処理パスの間の処理にために「ｐｏｓｔｐｒｏｃｅｓｓ：」によりマークされない限り、入力に対して山括弧の間のトークン「＜...＞」が必要とされる。「／...／」の間の文法コンテンツは、山括弧の間でない入力トークンに一致させるために、正規表現シンタックスを使用する。
【0076】
例をウォークスルーするために、共通仕様書１０４から抽出されたドキュメンテーションフラグメントにあり得る以下の例のソースコード使用例を考える：
【表12】
【0077】
共通概念テキスト「Ｄａｔｅ（ｙｅａｒ：１７７６，ｍｏｎｔｈ：８，ｄａｙ：２）」は次いで、以下の抽象化トークンシーケンスに変換され得る：
【表13】
【0078】
次いで、日付概念のための例のＪＡＶＡＳＣＲＩＰＴ（登録商標）文法が上記抽象化トークンシーケンスに適用される場合、ＪＡＶＡＳＣＲＩＰＴ（登録商標）言語のための以下の抽象化トークンシーケンスが生成される：
【表14】
【0079】
最終的に、ＪＡＶＡＳＣＲＩＰＴ（登録商標）慣習に従って、山括弧トークンを取り除き、ホワイトスペースを挿入した後、上記抽象化トークンシーケンスから以下のＪＡＶＡＳＣＲＩＰＴ（登録商標）ソースコードが生成される。
【表15】
【0080】
事後処理
時に、翻訳の一部は、プログラムの別の部分にフラグメントを追加することを必要とする。例えば、ＪＡＶＡ（登録商標）のコアｊａｖａ．ｔｉｍｅパッケージ内のタイプを参照するために、用語「ＤａｔｅＴｉｍｅ」を使用する前に、ＪＡＶＡ（登録商標）プログラミング言語は、ソースファイルの最上部の近くの「ｉｍｐｏｒｔ ｊａｖａ．ｔｉｍｅ．ＬｏｃａｌＤａｔｅ；」のようなインポート命令を必要とする。そのような使用をサポートするために、ターゲット言語のための翻訳文法は、ホイスト命令を含み得る。ホイスト命令は、関連するステートメントをソースファイル内の適切な位置に移動させる事後処理パスをシグナリングする。例えば、日付概念のための上記ＪＡＶＡ（登録商標）文法は、共通概念テキスト「Ｄａｔｅ（ｙｅａｒ：１７７６，ｍｏｎｔｈ：８，ｄａｙ：２）」を表す初期抽象化トークンシーケンスから、以下の抽象化トークンシーケンスを作成する：
時に、翻訳の一部は、プログラムの別の部分にフラグメントを追加することを必要とする。例えば、ＪＡＶＡ（登録商標）のコアｊａｖａ．ｔｉｍｅパッケージ内のタイプを参照するために、用語「ＤａｔｅＴｉｍｅ」を使用する前に、ＪＡＶＡ（登録商標）プログラミング言語は、ソースファイルの最上部の近くの「ｉｍｐｏｒｔ ｊａｖａ．ｔｉｍｅ．ＬｏｃａｌＤａｔｅ；」のようなインポート命令を必要とする。そのような使用をサポートするために、ターゲット言語のための翻訳文法は、ホイスト命令を含み得る。ホイスト命令は、関連するステートメントをソースファイル内の適切な位置に移動させる事後処理パスをシグナリングする。例えば、日付概念のための上記ＪＡＶＡ（登録商標）文法は、共通概念テキスト「Ｄａｔｅ（ｙｅａｒ：１７７６，ｍｏｎｔｈ：８，ｄａｙ：２）」を表す初期抽象化トークンシーケンスから、以下の抽象化トークンシーケンスを作成する：
【表16】
【0081】
上記例では、ライン０１～０６は、ライン０２及び０５における関連するｉｍｐｏｒｔステートメントを、ＪＡＶＡ ｉｍｐｏｒｔステートメントを包含するためのソースコードファイル内の適切な位置（例えば、ソースコードファイルの最上部の近く）に移動させる（ホイストする）ための事後処理パスのためのホイスト命令を包含する。
【0082】
エンベロープ
一部のソースコード使用例は、不必要な詳細を削除する。例えば、ソースコード使用例の著者は、完全なプログラムにそれを変えるために、提供された使用例の上及び下の共通定型文をどのように追加するかをリーダが知ることを想定し得る。この定型文は、本明細書で、ソースコード使用例の「エンベロープ」と称される。ターゲットプログラミング言語におけるソースコード使用例に翻訳された、共通仕様書１０４内のソースコード使用例のエンベロープは、ソースコードが稼働することが必要であるが、リーダに対して可視である場合、著者が作ることを試みるポイントから目を逸らす、ソースコード使用例の表示された部分の前及び後のコンテンツである。
一部のソースコード使用例は、不必要な詳細を削除する。例えば、ソースコード使用例の著者は、完全なプログラムにそれを変えるために、提供された使用例の上及び下の共通定型文をどのように追加するかをリーダが知ることを想定し得る。この定型文は、本明細書で、ソースコード使用例の「エンベロープ」と称される。ターゲットプログラミング言語におけるソースコード使用例に翻訳された、共通仕様書１０４内のソースコード使用例のエンベロープは、ソースコードが稼働することが必要であるが、リーダに対して可視である場合、著者が作ることを試みるポイントから目を逸らす、ソースコード使用例の表示された部分の前及び後のコンテンツである。
【0083】
いくつかの実施態様では、生成されたドキュメンテーションは、エンベロープを含むが、それが可視である方法においての文体とされる。加えて、「ｃｏｐｙ ｔｏ ｃｌｉｐｂｏａｒｄ」オペレーションまたは「ｏｐｅｎ ｉｎ ｓｏｕｒｃｅ ｃｏｄｅ ｅｄｉｔｏｒ」オペレーションがソースコード使用例の可視部分に適用されるときにエンベロープが含まれる。
【0084】
ターゲットプログラミング言語への共通仕様書１０４内のソースコード使用例の翻訳は、関係のあるコンテンツからエンベロープコンテンツを区別するための抽象化トークンを含み得る。抽象化トークンは、エンベロープコンテンツの始め及び終わりをマークし得る。例えば、エンベロープコンテンツを有するが、上記議論された共通日付概念のみのＪＡＶＡ（登録商標）翻訳は、上記議論されたホイスト命令を事後処理した後であり得る。
【表17】
【0085】
上記例では、テキスト「／／ＢＥＧＩＮ ＥＮＶＥＬＯＰＥ」及びテキスト「／／ＥＮＤ ＥＮＶＥＬＯＰＥ」は、エンベロープコンテンツの始め及び終わりを表すために使用される抽象化トークンである。
【0086】
エンベロープは、他の理由により有用である。例えば、ソースコード使用例の翻訳がターゲット言語におけるスタンドアロンプログラムを結果としてもたらすとき、それがエラーを生むかどうかを判定するために、プログラムをコンパイル及び実行することができる。これは、翻訳におけるエラー及び著者による誤った想定を検出するための容易な方法を提供する。
【0087】
更に、ソースコード使用例内またはソースコード使用例に隣接する構造化されたテキストは、例の予想された出力を示し得る。プログラムの出力が予想された出力に一致するかどうかをテストするために、ターゲット言語へのエンベロープを有するソースコード使用例の翻訳をコンパイル及び実行することができる。どのようにして何かをプログラムしないかを例示するためにソースコード使用例が提供されるときなど、予想された出力がエラーまたはスローされた例外である可能性があることに留意されよう。このケースでは、プログラムは、それが予想されたエラーコードを生成し、または予想された例外をスローするかどうかをテストするために実行され得る。
【0088】
エンベロープは、ターゲットプログラミング言語ごとなどに別々に規定され得る。代わりに、エンベロープは、ドキュメンテーションフラグメントトランスレータ１１４によって自動で生成及び出力され得る。
【0089】
エンベロープ及びテストする例
前の例に戻り、共通仕様書１０４の以下の可能なコンテンツを考える：
前の例に戻り、共通仕様書１０４の以下の可能なコンテンツを考える：
【表18】
【0090】
ドキュメンテーションフラグメントエクストラクタ１０６は、始めの「／＊＊」コメントブロックマーカ及び終わりの「＊／」コメントブロックマーカによって、ソースコードコメントブロックとしてライン０１～０８０６を識別し得る。この識別に基づいて、ドキュメンテーションフラグメントエクストラクタ１０６は、ドキュメンテーションフラグメントとしてライン０２～－７０５を抽出し得る。一方、コンパイラ１１８は、共通ブロックの一分として囲まれず、コンパイルされることになるソースコードとして、ライン０９０７を識別し得る。ドキュメンテーションフラグメントエクストラクタ１０６は、ドキュメンテーションフラグメントトランスレータ１１４に、抽出されたドキュメンテーションフラグメントを渡し得る。
【0091】
この例におけるドキュメンテーションフラグメントは、共通仕様書１０４の上記例のライン０４０３及び０５０４においてソースコード使用例を包含する。ドキュメンテーションフラグメントがソースコード使用例を包含するとき、ドキュメンテーションフラグメントトランスレータ１１４は、特定のターゲットプログラミング言語におけるエンベロープされたソースコード使用例に、ソースコード使用例を翻訳するように構成され得る。エンベロープされたソースコード使用例は次いで、テストソースコードファイル１２４に出力され得る。例えば、現在の例について、ターゲット言語がＪＡＶＡ（登録商標）である場合、テストソースコードファイル１２４は、以下のＪＡＶＡ（登録商標）ソースコードを包含し得る：
【表19】
【0092】
この例では、ＪＡＶＡ（登録商標）ソースコードのライン０５及び０６は、共通仕様書１０４の上記例のライン０４０３及び０５０４から直接導出される。ＪＡＶＡ（登録商標）ソースコードの残りのラインは、ドキュメンテーションフラグメントトランスレータ１１４によって自動で生成されたエンベロープの一部である。
【0093】
この例におけるドキュメンテーションフラグメントは、共通仕様書１０４の例のライン０６０５において、予想された出力インジケータ「／／ｓｔｄｏｕｔ：」を包含する。ドキュメンテーションフラグメントが予想された出力インジケータを包含するとき、ドキュメンテーションフラグメントトランスレータ１１４は、予想された出力ファイル１２２に予想された出力を出力するように構成され得、予想された出力ファイル１２２は、ファイルシステムファイルまたは標準出力「ファイル」であり得る。例えば、現在の例について、予想された出力ファイル１２２は、以下のコンテンツを包含し得る：
【表20】
【0094】
コンパイラ１１８は、コードジェネレータ１２０に、共通仕様書１０４内のソースコードの中間表現（例えば、抽象化トークンシーケンス）を渡し得る。加えて、ドキュメンテーションフラグメントトランスレータ１１４は、コードジェネレータ１２０に、ドキュメンテーションフラグメントの中間表現（例えば、抽象化トークンシーケンス）を渡し得る。コードジェネレータ１０２は、特定のターゲット言語（例えば、ＪＡＶＡ（登録商標））のためであり得る。入力中間表現から、コードジェネレータ１０２は、ターゲット言語においてライブラリソースコードファイル１２６を作成する。ライブラリソースコードファイル１２６は、ターゲット言語への共通仕様書１０４内のソースコードの翻訳と、ターゲット言語へのドキュメンテーションフラグメントの翻訳との両方を包含する。例えば、現在の例について、ターゲット言語がＪＡＶＡ（登録商標）である場合、ライブラリソースコードファイル１２６は、以下のコンテンツを包含し得る：
【表21】
【0095】
上記例では、ライン０１～０３及びライン２０～２１は、共通仕様書１０４の例のソースコードのＪＡＶＡ（登録商標）翻訳を表し、ライン０４及び１９は、ドキュメンテーションフラグメントの例のＪＡＶＡ（登録商標）翻訳を表す。ＪＡＶＡ（登録商標）ドキュメンテーションフラグメントが、共通仕様書１０４の例から抽出されたドキュメンテーションフラグメントのソースコード使用例の翻訳を包含することに留意されるべきである。ソースコード使用例のＪＡＶＡ（登録商標）翻訳は、ＸＭＬのようなマークアップによって描かれたエンベロープを含む。＜ｓｐａｎ＞タグがハイパーテキストマークアップ言語（ＨＴＭＬ）または同様のものとして処理される場合、ソースコードエディタ、ウェブブラウザ、または他のコンピュータアプリケーションなどによる、グラフィカルユーザインタフェース内のライブラリソースコードファイル１２６のデフォルトの提示内でエンベロープのコンテンツを隠蔽するために、Ｃａｓｃａｄｉｎｇ Ｓｔｙｌｅ Ｓｈｅｅｔ（ＣＳＳ）または同様のものにおける「エンベロープ」クラスの定義を使用することができる。例えば、デフォルトで、ライブラリソースコードファイル１２６のコンテンツは、以下のように、不可視のエンベロープコンテンツと共に表示され得る：
【表22】
【0096】
ターゲット言語コンパイラ１３０は、ターゲットライブラリ１３８にライブラリソースコードファイル１２６をコンパイルし得る。例えば、ターゲットがＪＡＶＡ（登録商標）である場合、ターゲット言語コンパイラ１３０は、従来のＪＡＶＡ（登録商標）ソースコードコンパイラまたは第三者ＪＡＶＡ（登録商標）ソースコードコンパイラであり得る。
【0097】
ターゲット言語ドキュメンテーションジェネレータ１３４は、ライブラリソースコードファイル１２６からターゲットドキュメンテーション１４０を生成し得る。例えば、ターゲットがＪＡＶＡ（登録商標）である場合、ターゲット言語ドキュメンテーションジェネレータ１３４は、コンピュータプログラムまたは同様のもののためのＪＡＶＡＤＯＣを生成し得る。
【0098】
テストランナ１２８は、稼働可能コンピュータプログラムにテストソースコードファイル１２４をコンパイルするために、ターゲット言語コンパイラ１３０を使用し得る。テストランナ１２８は次いで、コンピュータプログラムを稼働し得、予想された出力１２２との比較のために出力をキャプチャし得る。稼働するとき、テストコンピュータプログラムは、ライブラリソースコード１２６から生成されたターゲットライブラリ１３８をロードし呼び出し得る。テストランナ１２８によってキャプチャされたテストコンピュータプログラムの出力が予想された出力１２２に一致しない場合、テストランナ１２８は、テスト結果データ１３６においてテスト失敗を示し得る。そのようなテスト結果は、共通仕様書１０４内で書かれたソースコード使用例が、バグもしくは他のプログラミングエラーを包含することを示し得、またはソースコード使用例をターゲット言語に翻訳する際のドキュメンテーションフラグメントトランスレータ１１４における課題を示し得る。その一方で、テストランナ１２８によってキャプチャされたテストコンピュータプログラムの出力が予想された出力１２２に一致する場合、テストランナ１２８は、テスト結果データ１３６においてテスト成功を示し得る。
【0099】
テスト結果１３６、ターゲット言語ライブラリ１３８、及びターゲット言語ドキュメンテーション１４０を含むシステムの出力１３４は、１つ以上のコンピュータ記憶媒体に記憶され得る。
【0100】
システムは、他のターゲット言語のための、他のドキュメンテーションフラグメントトランスレータ１１４、他のコードジェネレータ１２０、他のターゲット言語コンパイラ１３０、及び他のターゲット言語ドキュメンテーションジェネレータ１３２を含み得る。このようにして、システムは、共通仕様書１０４から多くのプログラミング言語ターゲットのための慣用語ソフトウェアドキュメンテーションを作成することができる。共有コンポーネント１０８は、外部相互インデックスフェッチャ１１０を含み、共通概念コーパス１１２は、多くの異なるプログラミング言語ターゲットにわたってシステム内で共有され得る。
【0101】
ドキュメンテーションフラグメントトランスレータ
ドキュメンテーションフラグメントトランスレータ１１４は、共通仕様書１０４から抽出されたドキュメンテーションフラグメントを、特定のターゲットプログラミング言語に精通したプログラマにとって有益であるフォーマットに翻訳するように構成され得る。ターゲットプログラミング言語のためのソースコード１２６に、ドキュメンテーションフラグメントトランスレータ１１４の出力を埋め込むことができる。次いで、ソースコード１２６のドキュメンテーション１４０を生成するために、ターゲット言語ドキュメンテーションジェネレータ１３２にソースコードを入力することができる。代わりに、ドキュメンテーションフラグメントトランスレータ１１４は、生成するためにターゲットプログラミング言語特有ツールを必要としない、ＨＴＭＬまたはＰＤＦまたは同様のもののような特定のフォーマットにおいて直接、ターゲット言語ドキュメンテーションフラグメントトランスレータ１１４及び出力ドキュメンテーション１４０をバイパスし得る。
ドキュメンテーションフラグメントトランスレータ１１４は、共通仕様書１０４から抽出されたドキュメンテーションフラグメントを、特定のターゲットプログラミング言語に精通したプログラマにとって有益であるフォーマットに翻訳するように構成され得る。ターゲットプログラミング言語のためのソースコード１２６に、ドキュメンテーションフラグメントトランスレータ１１４の出力を埋め込むことができる。次いで、ソースコード１２６のドキュメンテーション１４０を生成するために、ターゲット言語ドキュメンテーションジェネレータ１３２にソースコードを入力することができる。代わりに、ドキュメンテーションフラグメントトランスレータ１１４は、生成するためにターゲットプログラミング言語特有ツールを必要としない、ＨＴＭＬまたはＰＤＦまたは同様のもののような特定のフォーマットにおいて直接、ターゲット言語ドキュメンテーションフラグメントトランスレータ１１４及び出力ドキュメンテーション１４０をバイパスし得る。
【0102】
共通仕様書１０４から抽出されたドキュメンテーションフラグメントは、中断されたプローズ、ドキュメンテーションフラグメント言語におけるソースコード使用例、または相互参照を含み得る。ドキュメンテーションフラグメントトランスレータ１１４は、翻訳するためのドキュメンテーションフラグメントに加えて、追加の入力を受信し得る。特に、ドキュメンテーションフラグメントトランスレータ１１４は、それに対して共通仕様書１０４から導出されたターゲットライブラリ１３８内で明らかな参照に対してドキュメンテーション１４０が生成される、共通仕様書１０４内で定義された参照に関連する相互インデックス１１６を受信し得る。相互インデックス１１６も、他の共通仕様書から導出されたライブラリのための相互インデックスを含み得、そのような相互インデックスは、それに対してドキュメンテーションフラグメントトランスレータ１１４によってドキュメンテーション１４０が生成される、共通仕様書１０４によって使用される入力、出力、またはオペレータを定義し得る。
【0103】
ドキュメンテーションフラグメントトランスレータ１１４への他の入力は、それが必要とする相互インデックスをフェッチするために、ドキュメンテーションフラグメントトランスレータ１１４が外部相互インデックスフェッチャ１１０を使用することを可能にするメタデータ、例えば、ＵＲＬによって規定されたネットワーク位置など、ドキュメンテーション１４０が利用可能にされもしくは公開される場所を記述するメタデータ、入力ドキュメンテーションフラグメント内でプローズのロケール（複数可）もしくはヒューマン言語（複数可）を記述するメタデータ、ドキュメンテーション１４０のリーダが好むロケール（複数可）もしくはヒューマン言語（複数可）を記述するメタデータ、ドキュメンテーションフラグメントのソースコード使用例が有効な例であるか、もしくはそのように行わないものを説明することを意味されているかどうかを記述するメタデータ、ドキュメンテーションフラグメントのソースコード使用例の計算結果を記述するメタデータ、または翻訳されたソースコード使用例に基づいて人がテストコンピュータプログラムを稼働させるもの及び適切なエンベロープが見るべきものを記述するメタデータ、を含み得る。
【0104】
ドキュメンテーションフラグメントトランスレータ１１４は、１つのヒューマン言語から別のヒューマン言語に、共通仕様書１０４から抽出されたドキュメンテーションフラグメント内のプローズを翻訳し、その結果、出力ライブラリソースコードファイル１２６がターゲットヒューマン言語におけるポーズを含むように構成され得る。
【0105】
ドキュメンテーションフラグメントトランスレータ１１４は、ドキュメンテーションフラグメント言語内のソースコード使用例を、ターゲット言語における同等のソースコード使用例に翻訳し得る。それを行う際に、ドキュメンテーションフラグメントトランスレータ１１４は、ターゲット言語における同等のソースコード使用例のためのターゲットプログラミング言語におけるエンベロープを生成及び導入し得る。
【0106】
ドキュメンテーションフラグメントトランスレータ１１４は、ターゲット言語におけるソースコード使用例のエンベロープされたバージョンからコンパイルされたテストコンピュータプログラムの実際の結果または実際の出力に対して、ソースコード使用例のいずれかの予想された結果または予想された出力をチェックすることを有効にするために、追加の出力を作成し得、次いで、実際の結果または実際の出力を生成するように稼働し得る。加えて、または代わりに、ドキュメンテーションフラグメントトランスレータ１１４は、内部で品質制御チェックを実行し得、追加の出力としてそれらの結果を出力し得る。
【0107】
翻訳のフェーズ
図２をここで参照して、ドキュメンテーションフラグメントトランスレータ１１４は、共通仕様書１０４から抽出されたドキュメンテーションフラグメントに適用されるパーサを使用し得る。パーサは、中断されたテキスト内で構造化されたテキストを取り出すために使用され得る。要素２４２は、埋め込まれた構造化されたテキストを有する中断されたプローズを包含する共通仕様書から抽出された例のドキュメンテーションフラグメントを記述する。要素２４２では、埋め込まれた構造化されたテキストがイタリック体で表示される。
図２をここで参照して、ドキュメンテーションフラグメントトランスレータ１１４は、共通仕様書１０４から抽出されたドキュメンテーションフラグメントに適用されるパーサを使用し得る。パーサは、中断されたテキスト内で構造化されたテキストを取り出すために使用され得る。要素２４２は、埋め込まれた構造化されたテキストを有する中断されたプローズを包含する共通仕様書から抽出された例のドキュメンテーションフラグメントを記述する。要素２４２では、埋め込まれた構造化されたテキストがイタリック体で表示される。
【0108】
ドキュメンテーションフラグメントトランスレータ１１４は次いで、構造化されたテキストプレースホルダを有するが、中断されたプローズを分離し得、構造化されたテキストプレースホルダは、中断されたプローズから（例えば、要素２４６にある）隔離された構造化されたテキスト部分から、構造化されたテキスト（例えば、要素２４４にある）を再度組み込む場所を示す。要素２４４は、構造化されたテキストプレースホルダを有するが、要素２４２の中断されたプローズを示し、構造化されたテキストプレースホルダは、構造テキストを再度組み込む場所を示す。要素２４６は、プレースホルダを分離された構造化されたテキストに関連付ける。
【0109】
その埋め込まれた構造化されたテキストから別々の中断されたプローズへのパーサを使用するドキュメンテーションフラグメントトランスレータ１１４の代替として、ドキュメンテーションフラグメントトランスレータ１１４は、事前分離されたドキュメンテーションフラグメントエクストラクタ１０６から、それらのコンポーネントを受信し得る。例えば、要素２４２のような組み込まれた形式においてドキュメンテーションフラグメントをドキュメンテーションフラグメントトランスレータ１１４に入力するドキュメンテーションフラグメントエクストラクタ１０６の代わりに、ドキュメンテーションフラグメントエクストラクタ１０６は、事前に分離された形式の要素２４４及び２４６のようなドキュメンテーションフラグメントを入力することができる。
【0110】
ドキュメンテーションフラグメントトランスレータ１１４は、埋め込まれたプレースホルダを有する中断されたプローズを、埋め込まれたプレースホルダを有する、翻訳された、中断されたプローズに翻訳することができる。それを行う際、プレースホルダテキストは、翻訳される必要がない。例えば、要素２４８は、要素２４４の英語の中断されたプローズのスペイン語翻訳を表す。要素２４８の翻訳された、中断されたプローズはなお、同一のセマンティック位置にプレースホルダを包含することに留意されよう。
【0111】
要素２４６の「ｃｒｏｓｓ＿ｒｅｆｅｒｅｎｃｅ＿２」などの相互インデックス付けフレーズを翻訳することは、ドキュメンテーションフラグメントトランスレータ１１４が、相互インデックステーブル内のフレーズの全体または一部を検索することを伴い得る。短縮された名前がコンテキスト内でより大きなスタンドアロンの名前と同一であるとき、より大規模なプログラム内で既に発見及び処理された、命名されたエンティティと、それらを識別するための使用されるルールとをコンパイラ１１８が有し得るので、共通仕様書１０４のコンパイルの間に、それらのテーブルを構築することが便利であり得る。コンパイラ１１８はまた、第三者によって書かれたソースファイル内で定義されたプログラミング言語構造を参照する名前を頻繁に扱い得、よって、コンパイラ１１８が、相互インデックスを作成することが便利であることが多く、相互インデックスは、関連する相互インデックスフレーズを、共通仕様書１０４外で定義されたがそれによって参照されるプログラミング言語要素に関連付けることを可能にする。
【0112】
要素２４６は、要素２４２によって表されるドキュメンテーションフラグメントのソースコード使用例への参照「ｃｏｄｅ＿ｓａｍｐｌｅ＿１」を包含する。要素２５０では、ソースコード使用例は、ターゲット言語においてエンベロープされたソースコード使用例に翻訳されてきた。また、要素２５０では、「ｃｒｏｓｓ＿ｒｅｆｅｒｅｎｃｅ＿２」値＃Ｒａｉｎｂｏｗは、特定の対応するＵＲＬに翻訳されてきた。ドキュメンテーションフラグメントトランスレータ１１４は次いで、翻訳された、中断されたプローズを、要素２４８によって表される埋め込まれたプレースホルダと再度組み合わせ、要素２５０によって表される構造化されたテキストに翻訳された関連するプレースホルダを、要素２５２によって表されるようなエンドユーザツールにとって有益なヒントをフォーマットすることによる明確な、準構造化されたテキストと再度組み合わせる。そのようなエンドユーザツールは、ターゲット言語コンパイラ１３０、ターゲット言語ドキュメンテーションジェネレータ１３２、及び生成されたドキュメンテーション１４０を見るためのツール（例えば、ウェブブラウザ、ＩＤＥ、またはソースコードエディタ）を含み得る。
【0113】
要素２４２では、イタリック体で表示されたテキストは、埋め込まれた構造化されたテキストを表す。要素２４４では、イタリック体で表示されたテキストは、埋め込まれたプレースホルダテキストを表す。要素２４８２４６では、イタリック体で表示されたテキストは、埋め込まれたプレースホルダテキストを表す。要素２５２では、イタリック体で表示されたテキストは、エンドユーザツールにとって有益なヒントをフォーマットすることによる準構造化されたテキストを表す。
【0114】
ドキュメンテーション生成のためのプロセス
図３は、共通仕様書から多くのプログラミング言語ターゲットのための慣用語ソフトウェアドキュメンテーションを作成する処理のフローチャートである。オペレーション３５４及び３５６は、多くのプログラミング言語ターゲットに対して１回実行され得る。オペレーション３５８～３７２は、プログラミング言語ターゲットごとに実行され得る。
図３は、共通仕様書から多くのプログラミング言語ターゲットのための慣用語ソフトウェアドキュメンテーションを作成する処理のフローチャートである。オペレーション３５４及び３５６は、多くのプログラミング言語ターゲットに対して１回実行され得る。オペレーション３５８～３７２は、プログラミング言語ターゲットごとに実行され得る。
【0115】
オペレーション３５４において、共通仕様書から抽出されたドキュメンテーションフラグメントのソースコード使用例のテキストは、メタデータにより増補され得る。テキストは、テキスト内で言及され得るが、典型的には簡潔さのために削除される暗黙的な構造を追加するために、テキストに対するドキュメンテーションフラグメント言語のためのコンパイラによって、１つ以上のパスに基づいて増補され得る。例えば、ソースコード使用例のテキスト「ｌｅｔ ｎ ＝ １２３；」は、例えば、「ｌｅｔ ｎ：ｎｕｍｂｅｒ ＝ １２３；」としてなど、データタイプ情報により増補され得、テキスト「：ｎｕｍｂｅｒ」は、ストリング、ユーザにより定義されたデータタイプ、または他のデータタイプとは反対に、それが数字データタイプを表すことを示すために、変数「ｎ」を増補する。他のコンパイラに基づく増補が可能であり、特定の増補のセットが必要とされない。
【0116】
オペレーション３５６において、増補テキストは、抽象化トークンの第１のシーケンスに変換され、抽象化トークンの第１のシーケンスは、いずれかの特定のターゲットプログラミング言語とは独立した中間形式にある増補されたテキストを表す。変換は、機械学習処理または文法駆動処理に従って行われ得る。抽象化トークンの第１のシーケンスとして使用され得る、増補テキストを言語間定義的要素のシーケンスに変換するための文法駆動アプローチは、参照によってその内容が以下に組み込まれる、２０２０年１２月２２日に出願された「Ｄｅｒｉｖｉｎｇ Ｍａｎｙ Ｉｄｉｏｍａｔｉｃ Ｐｒｏｇｒａｍｍｉｎｇ Ｌａｎｇｕａｇｅ Ｉｎｔｅｒｆａｃｅｓ」と題する、関連する米国特許出願第１７／１３１，５７４号において説明される。
【0117】
オペレーション３５８において、抽象化トークンの第１のシーケンスは、所与のターゲット言語のために事前処理される。例えば、ターゲット言語が入れ子関数をサポートせず、ソースコード使用例が入れ子関数を伴う場合、クロージャ変換が実行され得る。
【0118】
オペレーション３６０において、所与のターゲット言語のためのドキュメンテーションフラグメントトランスレータは、ドキュメンテーションフラグメントトランスレータのコーパスから選択される。
【0119】
オペレーション３６２において、選択されたドキュメンテーションフラグメントトランスレータは、所与のターゲット言語に構造においてより近い第２の抽象化トークンシーケンスを生成するために、第１の抽象化トークンシーケンスに適用される。翻訳は、機械学習ベースまたは文法駆動であり得る。
【0120】
オペレーション３６４において、事後処理が第２の抽象化トークンシーケンスに対して実行される。例えば、第２のシーケンス内の一連のトークンが、それが相互参照であることを示すマーカによって囲まれるとき、相互参照転換が実行され得、転換は、第２のシーケンス内の一連のトークンを置き換えるために、第２のシーケンスに適用される。別の例として、第２のシーケンス内の一連のトークンが、一連のトークンがホイストされる必要があることを示すマーカによって囲まれるとき、エンベロープ内にあり得る第２のシーケンス内のその規定された宛先に一連のトークンを移動させる。
【0121】
オペレーション３６６において、第２のシーケンス内の不必要なトークンが取り除かれる。そのような不必要なトークンは、テキストに貢献せず、または、例えば、エンベロープ境界など、翻訳に固執する必要がある境界を識別しないトークンを含み得る。
【0122】
オペレーション３６８において、ターゲット特有ソースコードフォーマッタは、人間がそれを配置することをリーダが予想するホワイトスペースを挿入するために、抽象化トークンの第２のシーケンスに適用される。ほとんどのターゲットについて、
１．エンベロープ境界マーカなどの非テキスト出力トークンを発見し、それらの順序場所に注意し、
２．各々の間の単一のスペースを有するテキストトークンに参加し、
３．例えば、参加したテキストをフォーマットするために所与のターゲット言語に対して適切な、見事なプリンタなど、コードフォーマッタを使用し、
４．所与のターゲット言語に対して適切な語彙アナライザを使用して、ホワイトスペーストークンを含むトークンにフォーマットされたテキストを分割し、
５．挿入されたスペーストークンをカウントしないように考慮して、順序場所に非テキストトークンを再挿入する、
ことに十分であり得る。
１．エンベロープ境界マーカなどの非テキスト出力トークンを発見し、それらの順序場所に注意し、
２．各々の間の単一のスペースを有するテキストトークンに参加し、
３．例えば、参加したテキストをフォーマットするために所与のターゲット言語に対して適切な、見事なプリンタなど、コードフォーマッタを使用し、
４．所与のターゲット言語に対して適切な語彙アナライザを使用して、ホワイトスペーストークンを含むトークンにフォーマットされたテキストを分割し、
５．挿入されたスペーストークンをカウントしないように考慮して、順序場所に非テキストトークンを再挿入する、
ことに十分であり得る。
【0123】
オペレーション３７０において、所与のターゲット言語のツールチェーンに適切なエンベッダが選択される。例えば、ＪＡＶＡＤＯＣは、ＪＡＶＡ（登録商標）のために選択され得、ＤＯＫＫＡは、ＫＯＴＬＩＮのために選択され得、両方のエンベッダは、ＨＴＭＬをソースコードコメントに埋め込むことを可能にする。ＨＴＭＬエンベッダは、テキストトークンを、そのテキストコンテンツを表示するＨＴＭＬフレーズに変え、エンベロープ境界をメタデータタグと置き換え、メタデータタグは、リーダからエンベロープコンテンツを隠蔽するが、エンベロープコンテンツを、エンベロープコンテンツを使用することができるスクリプト及びオペレーションに対して利用可能にする、ことの両方である。そのようなオペレーションは、クリップボードへのコピー操作またはエディタオペレーションにおけるオープンを含み得る。
【0124】
オペレーション３７２において、エンベッダは、翻訳されたテキストフラグメントを作成するために、トークンストリームに適用され、翻訳されたテキストフラグメントは、場合によっては、ターゲット特有ドキュメンテーションジェネレータによる更なる処理の後に、ターゲットに精通した人にとって有益な明確に構造化されたテキストである。
【0125】
基本的コンピューティングデバイス
技術は、少なくとも１つのコンピューティングデバイスによって実装され得る。１つ以上のコンピューティングデバイスによる場合、技術は、パケットデータネットワークなどのネットワークを使用して、共に結合されたコンピューティングデバイスの組み合わせを使用して、全体的または部分的に実装され得る。技術の実施態様において使用されるコンピューティングデバイスは、技術の一部もしくは全てを実行するために配線接続され得、または技術の一部もしくは全てを実行するように永続的にプログラムされた、少なくとも１つの特定用途向け集積回路（ＡＳＩＣ）もしくはフィールドプログラマブルゲートアレイ（ＦＰＧＡ）などのデジタル電子デバイスを含み得、またはファームウェア、メモリ、他の記憶装置、もしくは組み合わせにおいてプログラム命令に従って技術の一部もしくは全てを実行するようにプログラムされた少なくとも１つの汎用ハードウェアプロセッサを含み得る。技術の実施態様において使用されるコンピューティングデバイスはまた、技術の一部または全てを達成するために、カスタム配線接続されたロジック、ＡＳＩＣ、またはＦＰＧＡを、カスタムプログラミングと組み合わせ得る。技術の実施態様において使用されるコンピューティングデバイスは、サーバコンピューティングデバイス、ワークステーションコンピューティングデバイス、パーソナルコンピューティングデバイス、ポータブルコンピューティングデバイス、ハンドヘルドコンピューティングデバイス、モバイルコンピューティングデバイス、または技術の一部もしくは全てを実装するように配線接続されたロジックもしくはプログラムロジックを組み込むいずれかの他のコンピューティングデバイスであり得る。
技術は、少なくとも１つのコンピューティングデバイスによって実装され得る。１つ以上のコンピューティングデバイスによる場合、技術は、パケットデータネットワークなどのネットワークを使用して、共に結合されたコンピューティングデバイスの組み合わせを使用して、全体的または部分的に実装され得る。技術の実施態様において使用されるコンピューティングデバイスは、技術の一部もしくは全てを実行するために配線接続され得、または技術の一部もしくは全てを実行するように永続的にプログラムされた、少なくとも１つの特定用途向け集積回路（ＡＳＩＣ）もしくはフィールドプログラマブルゲートアレイ（ＦＰＧＡ）などのデジタル電子デバイスを含み得、またはファームウェア、メモリ、他の記憶装置、もしくは組み合わせにおいてプログラム命令に従って技術の一部もしくは全てを実行するようにプログラムされた少なくとも１つの汎用ハードウェアプロセッサを含み得る。技術の実施態様において使用されるコンピューティングデバイスはまた、技術の一部または全てを達成するために、カスタム配線接続されたロジック、ＡＳＩＣ、またはＦＰＧＡを、カスタムプログラミングと組み合わせ得る。技術の実施態様において使用されるコンピューティングデバイスは、サーバコンピューティングデバイス、ワークステーションコンピューティングデバイス、パーソナルコンピューティングデバイス、ポータブルコンピューティングデバイス、ハンドヘルドコンピューティングデバイス、モバイルコンピューティングデバイス、または技術の一部もしくは全てを実装するように配線接続されたロジックもしくはプログラムロジックを組み込むいずれかの他のコンピューティングデバイスであり得る。
【0126】
図４は、技術の実施態様において使用され得る例示的な基本的コンピューティングデバイスのブロック図である。図４の例では、ハードウェア、ソフトウェア、またはハードウェア及びソフトウェアの組み合わせにおいて技術の一部または全てを実装するためのコンピューティングデバイス４００及び命令は、コンピュータアーキテクチャ及びコンピューティングデバイスの実装に関して通信するための、本開示が関連する当業者によって一般に使用される同一のレベルの詳細において、例えば、ボックス及び円として、概略的に表される。
【0127】
コンピューティングデバイス４００は、入力／出力（Ｉ／Ｏ）サブシステム４０２を含み、Ｉ／Ｏサブシステム４０２は、電子信号パスを通じてコンピューティングデバイス４００のコンポーネントの間で情報または命令を通信するためのバスまたは他の通信機構を含み得る。Ｉ／Ｏサブシステム４０２は、Ｉ／Ｏコントローラ、メモリコントローラ、及び少なくとも１つのＩ／Ｏポートを含み得る。電子信号パスは、例えば、線、片方向矢印、または双方向矢印として、図面において概略的に表される。
【0128】
少なくとも１つのハードウェアプロセッサ４０４は、情報及び命令を処理するためのＩ／Ｏサブシステム４０２に結合される。ハードウェアプロセッサ４０４は、埋め込みシステムまたはグラフィックスプロセシングユニット（ＧＰＵ）またはデジタルシグナルプロセッサまたはＡＲＭプロセッサなど、例えば、汎用マイクロプロセッサまたはマイクロコントローラまたは特殊目的マイクロプロセッサを含み得る。プロセッサ４０４は、統合算術ロジックユニット（ＡＬＵ）を含み得、または別々のＡＬＵに結合され得る。
【0129】
コンピューティングデバイス４００は、データ及びプロセッサ４０４によって実行されることになる命令を電子的にデジタルに記憶するためのＩ／Ｏサブシステム４０２に結合されたメインメモリなど、メモリ４０６の１つ以上のユニットを含む。メモリ４０６は、様々な形式のランダムアクセスメモリ（ＲＡＭ）または他の動的記憶装置などの揮発性メモリを含み得る。メモリ４０６はまた、プロセッサ４０４によって実行されることになる命令の実行の間に一時変数または他の中間情報を記憶するために使用され得る。そのような命令は、プロセッサ４０４にアクセス可能な非一時的記憶媒体に記憶されるとき、コンピューティングデバイス４００を特殊目的マシンにレンダリングすることができ、特殊目的マシンは、命令において規定されたオペレーションを実行するためにカスタマイズされる。
【0130】
コンピューティングデバイス４００は更に、リードオンリメモリ（ＲＯＭ）４０８、またはプロセッサ４０４のための情報及び命令を記憶するためのＩ／Ｏサブシステム４０２に結合された他の静的記憶装置など、不揮発性メモリを含む。ＲＯＭ４０８は、消去可能ＰＲＯＭ（ＥＰＲＯＭ）または電気的消去可能ＰＲＯＭ（ＥＥＰＲＯＭ）など、様々な形式のプログラム可能ＲＯＭ（ＰＲＯＭ）を含み得る。永続的記憶装置４１０のユニットは、フラッシュメモリ、あるいはソリッドステート記憶装置、磁気ディスク、またはＣＤ－ＲＯＭもしくはＤＶＤ－ＲＯＭなどの光学ディスクなど、様々な形式の不揮発性ＲＡＭ（ＮＶＲＡＭ）を含み得、情報及び命令を記憶するためのＩ／Ｏサブシステム４０２に結合され得る。記憶装置４１０は、プロセッサ４０４によって実行されるとき、コンピュータにより実施される方法に、技術の一部または全てを実行させる命令及びデータを記憶するために使用され得る非一時的コンピュータ可読媒体の例である。
【0131】
メモリ４０６、ＲＯＭ４０８、または記憶装置４１０内の命令は、モジュール、メソッド、オブジェクト、関数、ルーチン、またはコールとして編成された１つ以上の命令セットを含み得る。命令は、１つ以上のコンピュータプログラム、オペレーティングシステムサービス、またはモバイルａｐｐを含むアプリケーションプログラムとして編成され得る。命令は、オペレーティングシステムまたはシステムソフトウェア、マルチメディア、プログラミング、または他の関数をサポートするための１つ以上のライブラリ、ＴＣＰ／ＩＰ、ＨＴＴＰ、または他の通信プロトコルを実装するためのデータプロトコル命令またはスタック、ＨＴＭＬ、ＸＭＬ、ＪＰＥＧ、ＭＰＥＧ、またはＰＮＧを使用して符号化されたファイルを解釈及びレンダリングするためのファイル処理命令、グラフィカルユーザインタフェース（ＧＵＩ）、コマンド－ラインインタフェース、またはテキストユーザインタフェースのためのコマンドをレンダリング及び解釈するためのユーザインタフェース命令、オフィススイート、インターネットアクセスアプリケーション、設計及び製造アプリケーション、グラフィックスアプリケーション、音声アプリケーション、ソフトウェアエンジニアリングアプリケーション、教育アプリケーション、ゲームまたは多岐にわたるアプリケーションなどのアプリケーションソフトウェア、を含み得る。命令は、ウェブサーバ、ウェブアプリケーションサーバ、またはウェブクライアントを実装し得る。命令は、構造化クエリ言語（ＳＱＬ）もしくはＮｏＳＱＬ、オブジェクトストア、グラフデータベース、フラットファイルシステム、または他のデータ記憶装置を使用して、関係データベースシステムなど、プレゼンテーションレイヤ、アプリケーションレイヤ、及びデータストレージレイヤとして編成され得る。
【0132】
コンピューティングデバイス４００は、Ｉ／Ｏサブシステム４０２を介して、少なくとも１つの出力デバイス４１２に結合され得る。出力デバイス４１２は、デジタルコンピュータディスプレイであり得る。使用され得るディスプレイの例は、タッチスクリーンディスプレイまたは発光ダイオード（ＬＥＤ）ディスプレイまたは液晶ディスプレイ（ＬＣＤ）または電子ペーパディスプレイを含む。コンピューティングデバイス４００は、ディスプレイデバイスの代わりにまたはそれに加えて、他のタイプの出力デバイス４１２を含み得る。他の出力デバイス４１２の例は、プリンタ、チケットプリンタ、プロッタ、プロジェクタ、サウンドカードもしくはビデオカード、スピーカ、ブザーまたは圧電デバイスまたは他の可聴デバイス、ランプまたはＬＥＤまたはＬＣＤインジケータ、触覚デバイス、アクチュエータまたはサーボを含む。
【0133】
入力デバイス４１４は、信号、データ、コマンド選択、またはジェスチャをプロセッサ４０４に通信するためのＩ／Ｏサブシステム４０２に結合され得る。入力デバイス４１４の例は、タッチスクリーン、マイクロフォン、静止及びビデオデジタルカメラ、英数字及び他のキー、キーパッド、キーボード、グラフィックタブレット、画像スキャナ、ジョイスティック、クロック、スイッチ、ボタン、ダイヤル、スライド、または力センサ、動きセンサ、熱センサ、加速度計、ジャイロスコープ、及び慣性測定ユニット（ＩＭＵ）センサなどの様々なタイプのセンサ、セルラもしくはＷｉ－Ｆｉ（登録商標）などの無線機、無線周波数（ＲＦ）もしくは赤外線（ＩＲ）送受信機及びグローバルポジショニングシステム（ＧＰＳ）送受信機などの様々なタイプの送受信機を含む。
【0134】
別のタイプの入力デバイスは、制御デバイス４１６であり、制御デバイス４１６は、ディスプレイスクリーン上でのグラフィカルインタフェース内で、カーソル制御またはナビゲーションなどの他の自動制御機能を実行し得、代わりに、または追加で入力機能を実行し得る。制御デバイス４１６は、方向情報及びコマンド選択をプロセッサ４０４に通信し、ディスプレイ４１２上でのカーソルの移動を制御するための、タッチパッド、マウス、トラックボール、またはカーソル方向キーであり得る。入力デバイスは、デバイスが平面内で位置を規定することを可能にする、２つの軸、第１の軸（例えば、ｘ）及び第２の軸（例えば、ｙ）内で少なくとも２つの自由度を有し得る。別のタイプの入力デバイスは、ジョイスティック、ワンド、コンソール、ステアリングホイール、ペダル、ギアシフト機構、または他のタイプの制御デバイスなど、有線、無線、または光学制御デバイスである。入力デバイス４１４は、ビデオカメラ及び深度センサなど、複数の異なる入力デバイスの組み合わせを含み得る。
【0135】
コンピューティングデバイス４００は、出力デバイス４１２、入力デバイス４１４、及び制御デバイス４１６のうちの１つ以上が省略されたモノのインターネット（ＩｏＴ）デバイスまたは他のコンピューティングアプライアンスを含み得る。入力デバイス４１４は、１つ以上のカメラ、動き検出器、サーモメータ、マイクロフォン、地震検出器、他のセンサまたは検出器、測定デバイスまたはエンコーダを含み得、出力デバイス４１２は、単一ラインＬＥＤまたはＬＣＤディスプレイなどの特殊目的ディスプレイ、１つ以上のインジケータ、ディスプレイパネル、メータ、バルブ、ソレノイド、アクチュエータ、またはサーボを含み得る。
【0136】
コンピューティングデバイス４００がモバイルまたはポータブルコンピューティングデバイスであるとき、入力デバイス４１４は、グローバルポジショニングシステム（ＧＰＳ）モジュールに結合されたＧＰＳ受信機を含み得、ＧＰＳモジュールは、複数のＧＰＳサテライトを三角測量し、コンピューティングデバイス４００の地球物理学的位置についての緯度－経度値など、地理的位置またはポジションを判定及び生成する能力を有する。出力デバイス４１２は、ホスト４２４もしくはサーバ４３０に向かって向けられた、単独でまたは他のアプリケーション特有データとの組み合わせで、ポジション報告パケット、通知、パルスもしくはハートビート信号、またはコンピューティングデバイス４００のポジションを規定する他の繰り返しデータ送信を生成するためのハードウェア、ソフトウェア、ファームウェア、及びインタフェースを含み得る。
【0137】
コンピューティングデバイス４００は、コンピューティングデバイス４００との組み合わせでロード及び使用または実行されるとき、コンピューティングデバイス４００に特殊目的マシンとして動作させ、または特殊目的マシンとして動作するようにコンピューティングデバイス４００をプログラムする、カスタマイズされた配線接続ロジック、少なくとも１つのＡＳＩＣまたはＦＰＧＡ、ファームウェアまたはプログラム命令もしくはロジックを使用して、技術の一部または全てを実装し得る。
【0138】
コンピューティングデバイス４００によって実行される技術は、プロセッサ４０４がメインメモリ４０６に包含された少なくとも１つの命令の少なくとも１つのシーケンスを実行することに応答して実行され得る。そのような命令は、記憶装置４１０などの別の記憶媒体からメインメモリ４０６に読み出され得る。メインメモリ４０６に包含された命令のシーケンスの実行は、プロセッサ４０４に、技術の一部または全てを実行させる。ソフトウェア命令の代わりに、またはソフトウェア命令との組み合わせで、配線接続回路が使用され得る。
【0139】
本明細書で使用される用語「記憶媒体」は、マシンに特定の方式で動作させるデータまたは命令を記憶するいずれかの非一時的コンピュータ可読媒体を指す。そのような記憶媒体は、不揮発性媒体または揮発性媒体を含み得る。不揮発性媒体は、例えば、記憶装置４１０など、光学ディスクまたは磁気ディスクを含む。揮発性媒体は、メモリ４０６などの動的メモリを含む。記憶媒体の一般形式は、例えば、ハードディスク、ソリッドステートドライブ、フラッシュドライブ、磁気データ記憶媒体、いずれかの光学データ記憶媒体もしくは物理データ記憶媒体、またはメモリチップなどを含む。
【0140】
記憶媒体は、送信媒体とは異なるが、送信媒体と共に使用され得る。送信媒体は、記憶媒体の間で情報を転送することに参加する。例えば、送信媒体は、Ｉ／Ｏサブシステム４０２のバスを含むワイヤを含む、同軸ケーブル、銅線、及び光ファイバを含む。送信媒体はまた、無線波及び赤外線データ通信の間に生成されたものなど、音響波または光波の形式をも取ることができる。
【0141】
様々な形式の媒体は、実行のために、少なくとも１つの命令の少なくとも１つのシーケンスをプロセッサ４０４に搬送することに関与し得る。例えば、命令は、リモートコンピュータの磁気ディスクまたはソリッドステートドライブ上で最初に搬送され得る。リモートコンピュータは、その動的メモリに命令をロードすることができ、モデムを使用して、光ファイバまたは同軸ケーブルまたは電話線などの通信リンクを通じて命令を送信することができる。コンピューティングデバイス４００にローカルなモデムまたはルータは、通信リンク上でデータを受信することができ、コンピューティングデバイス４００によって読み出されることになるデータを変換することができる。例えば、無線周波数アンテナまたは赤外線検出器などの受信機は、無線信号または光信号において搬送されたデータを受信することができ、適切な回路は、バス上でデータを配置するなど、データをＩ／Ｏサブシステム４０２に提供することができる。Ｉ／Ｏサブシステム４０２は、データをメモリ４０６に搬送し、メモリ４０６から、プロセッサ４０４は、命令を取り出し及び実行する。メモリ４０６によって受信された命令は、任意選択で、プロセッサ４０４による実行の前または後のいずれかで、記憶装置４１０に記憶され得る。
【0142】
コンピューティングデバイス４００はまた、バス４０２に結合された通信インタフェース４１８を含む。通信インタフェース４１８は、ネットワーク４２２またはインターネット上のパブリックもしくはプライベートクラウドなど、少なくとも１つの通信ネットワークに直接または間接的に接続されたネットワークリンク４２０への双方向データ通信結合を提供する。例えば、通信インタフェース４１８は、イーサネット（登録商標）ネットワーキングインタフェース、統合サービスデジタルネットワーク（ＩＳＤＮ（登録商標））カード、ケーブルモデム、サテライトモデム、または対応するタイプの通信ライン、例えば、いずれかの種類のもしくは光ファイバラインもしくは電話線のイーサネット（登録商標）ケーブルもしくはメタルケーブルへのデータ通信接続を提供するためのモデムであり得る。ネットワーク４２２は、ローカルエリアネットワーク（ＬＡＮ）、ワイドエリアネットワーク（ＷＡＮ）、キャンパスネットワーク、インターネットワーク、またはいずれかのそれらの組み合わせを広義に表す。通信インタフェース４１８は、互換性を有するＬＡＮへのデータ通信接続を提供するためのＬＡＮカード、またはセルララジオ電話無線ネットワーキング標準に従ってセルラデータを送信もしくは受信するために配線接続されたセルララジオ電話インタフェース、またはサテライト無線ネットワーキング標準に従ってデジタルデータを送信もしくは受信するために配線接続されたサテライト無線インタフェースを含み得る。いずれかのそのような実施態様では、通信インタフェース６１８は、様々なタイプの情報を表すデジタルデータストリームを搬送する信号パスを通じて、電気信号、電磁気信号、または光信号を送信及び受信する。
【0143】
ネットワークリンク４２０は典型的には、例えば、サテライト、セルラ、Ｗｉ－Ｆｉ（登録商標）、またはＢＬＵＥＴＯＯＴＨ（登録商標）技術を使用して、他のデータデバイスへの直接のまたは少なくとも１つのネットワークを通じた電気データ通信、電磁気データ通信、または光データ通信を提供する。例えば、ネットワークリンク４２０は、ホストコンピュータ４２４へのネットワーク４２２を通じた接続を提供し得る。
【0144】
更に、ネットワークリンク４２０は、ネットワーク４２２を通じた接続、またはインターネットサービスプロバイダ（ＩＳＰ）４２６によって操作されるインターネットワーキングデバイス及び／またはコンピュータを介した他のコンピューティングデバイスへの接続を提供し得る。ＩＳＰ４２６は、インターネット４２８として表されるワールドワイドパケットデータ通信ネットワークを通じてデータ通信サービスを提供する。サーバコンピュータ４３０は、インターネット４２８に結合され得る。サーバ４３０は、ハイパーバイザ、またはＤＯＣＫＥＲもしくはＫＵＢＥＲＮＥＴＥＳなどの集中化プログラムシステムを実行するコンピュータにより、またはそれらなしに、いずれかのコンピュータ、データセンタ、仮想マシン、または仮想コンピューティングを広義に表す。サーバ４３０は、電子デジタルサービスを表し得、電子デジタルサービスは、１つよりも多いコンピュータまたはインスタンスを使用して実装され、送信ウェブサービス要求、ＨＴＴＰペイロードにおけるパラメータを有するユニフォームリソースロケータ（ＵＲＬ）ストリング、ＡＰＩコール、ａｐｐサービスコール、または他のサービスコールによってアクセス及び使用される。
【0145】
コンピューティングデバイス４００及びサーバ４３０は、分散コンピューティングシステムの要素を形成し得、分散コンピューティングシステムは、他のコンピュータ、処理クラスタ、サーバファーム、あるいはタスクを実行し、またはアプリケーションもしくはサービスを実行するように協調する他のコンピュータの編成を含む。サーバ６３０は、モジュール、メソッド、オブジェクト、関数、ルーチン、またはコールとして編成された１つ以上の命令セットを含み得る。命令は、１つ以上のコンピュータプログラム、オペレーティングシステムサービス、及び／またはモバイルａｐｐを含むアプリケーションプログラムとして編成され得る。命令は、オペレーティングシステム及び／またはシステムソフトウェア、マルチメディア、プログラミング、または他の関数をサポートするための１つ以上のライブラリ、ＴＣＰ／ＩＰ、ＨＴＴＰ、または他の通信プロトコルを実装するためのデータプロトコル命令またはスタック、ＨＴＭＬ、ＸＭＬ、ＪＰＥＧ、ＭＰＥＧ、またはＰＮＧを使用して符号化されたファイルを解釈及びレンダリングするためのファイルフォーマット処理命令、グラフィカルユーザインタフェース（ＧＵＩ）、コマンド－ラインインタフェース、またはテキストユーザインタフェースのためのコマンドをレンダリング及び解釈するためのユーザインタフェース命令、オフィススイート、インターネットアクセスアプリケーション、設計及び製造アプリケーション、グラフィックスアプリケーション、音声アプリケーション、ソフトウェアエンジニアリングアプリケーション、教育アプリケーション、ゲームまたは多岐にわたるアプリケーションなどのアプリケーションソフトウェア、を含み得る。サーバ４３０は、構造化クエリ言語（ＳＱＬ）もしくはＮｏＳＱＬ、オブジェクトストア、グラフデータベース、フラットファイルシステム、または他のデータ記憶装置を使用して、関係データベースシステムなど、プレゼンテーションレイヤ、アプリケーションレイヤ、及びデータストレージレイヤをホストするウェブアプリケーションサーバを含み得る。
【0146】
コンピューティングデバイス４００は、ネットワーク、ネットワークリンク４２０、及び通信インタフェース４１８を通じて、メッセージを送信することができ、プログラムコードを含む、データ及び命令を受信することができる。インターネットの例では、サーバ４３０は、インターネット４２８、ＩＳＰ４２６、ローカルネットワーク４２２、及び通信インタフェース４１８を通じて、アプリケーションプログラムのための要求されたコードを送信し得る。受信されたコードは、それが受信され、または後の実行のために、記憶装置４１０もしくは他の不揮発性記憶装置に記憶されるように、プロセッサ４０４によって実行され得る。
【0147】
基本的ソフトウェアシステム
図５は、図４のコンピューティングデバイス４００のオペレーションを制御するために採用され得る例示的な基本的ソフトウェアシステム５００のブロック図である。それらの接続、関係、及び関数を含む、ソフトウェアシステム５００及びそのコンポーネントは、例としてのみ意味され、技術の実施態様を限定することを意味しない。技術を実装するために適切な他のソフトウェアシステムは、異なる接続、関係、及び関数を有するコンポーネントを含む、異なるコンポーネントを有し得る。
図５は、図４のコンピューティングデバイス４００のオペレーションを制御するために採用され得る例示的な基本的ソフトウェアシステム５００のブロック図である。それらの接続、関係、及び関数を含む、ソフトウェアシステム５００及びそのコンポーネントは、例としてのみ意味され、技術の実施態様を限定することを意味しない。技術を実装するために適切な他のソフトウェアシステムは、異なる接続、関係、及び関数を有するコンポーネントを含む、異なるコンポーネントを有し得る。
【0148】
ソフトウェアシステム５００は、コンピュータシステム４００のオペレーションを命令するために提供される。システムメモリ（ＲＡＭ）４０６及び固定記憶装置（例えば、ハードディスクまたはフラッシュメモリ）４１０に記憶され得るソフトウェアシステム５００は、カーネルまたはオペレーティングシステム（ＯＳ）５１０を含む。
【0149】
ＯＳ５１０は、５０２－１、５０２－２、５０２－３…５０２－Ｎとして表される処理の実行、メモリ割り当て、ファイル入力及び出力（Ｉ／Ｏ）、ならびにデバイスＩ／Ｏを管理することを含む、コンピュータオペレーションの低レベル態様を管理する。１つ以上のアプリケーションプログラムは、システム５００による１つ以上の処理として、実行のために「ロードされる」（例えば、固定記憶装置４１０からメモリ４０６に転送される）。コンピューティングデバイス４００上での使用のために意図されたアプリケーションまたは他のソフトウェアも、例えば、インターネットロケーション（例えば、ウェブサーバ、ａｐｐストア、または他のオンラインサービス）からダウンロード及びインストールするための、ダウンロード可能コンピュータ実行可能命令のセットとして記憶され得る。
【0150】
アプリケーションプログラム命令の実行は、実行されており、プログラムコード及びその現在の活動を構成するコンピュータプログラムのインスタンスの形式にあるプロセス（例えば、５０２－２）を実装し得る。オペレーティングシステム（ＯＳ）に応じて、プロセス（例えば、５０２－３）は、命令を同時に実行する実行の複数のスレッドから成り得る。このコンテキストでは、コンピュータプログラムは、命令の受動的集合であるが、プロセス（例えば、５０２－１）は、それらの命令の実際の実行であり得る。いくつかのプロセス（例えば、５０２－１及び５０２－２）は、同一のプログラムと関連付けられ得、例えば、同一のプログラムのいくつかのインスタンスを開始することは、１つよりも多いプロセスが実行されることを意味することが多く、単一のプロセスとして最初に起動するプログラムは、その後追加のプロセスをスポーンし得る（例えば、ｆｏｒｋ）。
【0151】
ＯＳ５１０は、プロセス５０２－１、５０２－２、５０２－３…５０２－Ｎがプロセッサ４０４を共有することを可能にするようにマルチタスキングを実装し得る。各々のプロセッサ４０４またはプロセッサのコアは、単一のタスクを一度に実行するが、コンピューティングデバイス４００は、各々のタスクが終了することを待つ必要なしに、各々のプロセッサが実行されているタスクの間で切り替えることを可能にするようにマルチタスキングを実装するためにプログラムされ得る。タスクが入力／出力オペレーションを実行するとき、タスクがそれを切り替えることができることを示すとき、またはハードウェアが中断するとき、切り替えが実行され得る。コンテキスト切り替えを迅速に実行することによって対話式ユーザアプリケーションのための素早い応答が、同時の複数のプロセスの同時実行の出現を提供することを可能にするように、タイムシェアリングが実装され得る。セキュリティ及び信頼性のために、ＯＳ５１０は、独立したプロセスの間の直接通信を防止し得、厳格に調停及び制御されたプロセス間通信機能性を提供する。
【0152】
いくつかのインスタンスでは、プロセス５０２－１、５０２－２、５０２－３…５０２－Ｎ及びそれらが実装するアプリケーションプログラムは、アプリケーションコンテナ５４０内で実行し得る。アプリケーションコンテナは概して、ＯＳ５１０のオペレーションのモードであり、そのモードでは、ＯＳ５１０は、複数の隔離されたユーザ空間インスタンスの存在が、ＯＳ５１０上で稼働することを可能にする。アプリケーションコンテナ５４０は、１つのそのようなインスタンスの例である。代わりに、インスタンス自体は時に、ゾーン、仮想プライベートサーバ、パーティション、仮想環境、仮想カーネル、またはジェイルと称される。アプリケーションコンテナは、それによって、ＣＰＵ時間及び記憶媒体空間などの有限ハードウェアコンピューティングリソースをインスタンスの中で割り当てることができる機構を提供する。
【0153】
ソフトウェアシステム５００は、グラフィカル（例えば、「ポイントアンドクリック」または「タッチジェスチャ」）形式においてユーザコマンド及びデータを受信するためのグラフィカルユーザインタフェース（ＧＵＩ）５１５を含む。それらの入力は次いで、オペレーティングシステム５１０またはプロセス５０２－１、５０２－２、５０２－３…５０２－Ｎからの命令に従って、システム５００によって作用し得る。ＧＵＩ５１５は、ユーザが追加の入力を供給し、またはセッションを終了する（例えば、ログオフする）とすぐに、ＯＳ５１０及びプロセス５０２－１、５０２－２、５０２－３…５０２－Ｎからのオペレーションの結果を表示する役割をも果たす。
【0154】
ＯＳ５１０は、コンピューティングデバイス４００のベアハードウェア５２０（例えば、プロセッサ４０４）上で直接実行することができる。代わりに、ハイパーバイザまたは仮想マシンモニタ（ＶＭＭ）５３０は、ベアハードウェア５２０とＯＳ５１０との間で介入され得る。この構成では、ＶＭＭ５３０は、コンピューティングデバイス４００のＯＳ５１０とベアハードウェア５２０との間のソフトウェア「クッション」または仮想化レイヤとして作用する。
【0155】
ＶＭＭ５３０は、１つ以上の仮想マシンインスタンス（「ゲストマシン」）をインスタンス化し及び稼働させる。各々のゲストマシンは、ゲストオペレーティングシステム上で実行するように設計された、ＯＳ５１０などの「ゲスト」オペレーティングシステム、及びアプリケーション５０２などの１つ以上のアプリケーションを含む。ＶＭＭ５３０は、ゲストオペレーティングシステムに仮想オペレーティングプラットフォームを提示し、ゲストオペレーティングシステムの実行を管理する。
【0156】
いくつかのインスタンスでは、ＶＭＭ５３０は、ゲストオペレーティングシステムが、それがコンピューティングデバイス４００のベアハードウェア５２０上で直接稼働しているかのように稼働することを可能にし得る。それらのインスタンスでは、ベアハードウェア５２０上で実行するように構成された同一のバージョンのゲストオペレーティングシステムも、修正または再構成なしに、ＶＭＭ５３０上で実行し得る。言い換えると、ＶＭＭ５３０は、いくつかのインスタンスにおいて、完全ハードウェア及びＣＰＵ仮想化をゲストオペレーティングシステムに提供し得る。
【0157】
他のインスタンスでは、ゲストオペレーティングシステムは、ＶＭＭ５３０上で実行するように特別に設計または構成され得る。それらのインスタンスでは、ゲストオペレーティングシステムは、それが仮想マシンモニタ上で実行することを「認識する」。言い換えると、ＶＭＭ５３０は、いくつかのインスタンスにおいて、準仮想化をゲストオペレーティングシステムに提供し得る。
【0158】
クラウドコンピューティング
技術は、「クラウドコンピューティング」環境内で実装され得る。用語「クラウドコンピューティング」は概して、コンピューティングモデルを記述するために本明細書で使用され、コンピューティングモデルは、コンピュータネットワーク、サーバ、ソフトウェアアプリケーション、及びサービスなど、コンピューティングリソースの共有プールへのオンデマンドアクセスを有効にし、最小の管理エフォートまたはサービスプロバイダ対話により、リソースの迅速なプロビジョニング及びリリースを可能にする。
技術は、「クラウドコンピューティング」環境内で実装され得る。用語「クラウドコンピューティング」は概して、コンピューティングモデルを記述するために本明細書で使用され、コンピューティングモデルは、コンピュータネットワーク、サーバ、ソフトウェアアプリケーション、及びサービスなど、コンピューティングリソースの共有プールへのオンデマンドアクセスを有効にし、最小の管理エフォートまたはサービスプロバイダ対話により、リソースの迅速なプロビジョニング及びリリースを可能にする。
【0159】
異なる要件に最良に適合する様々な異なる方法において、クラウドコンピューティング環境（時に、クラウド環境、またはクラウドと称される）を実装することができる。例えば、パブリッククラウド環境内で、下層コンピューティングインフラストラクチャは、そのクラウドサービスを他の組織または一般大衆に利用可能にする組織によって保有される。対照的に、プライベートクラウド環境は概して、単一の組織による使用、または単一の組織内での使用のためにのみ意図される。コミュニティクラウドは、コミュニティ内のいくつかの組織によって共有されることが意図されるが、ハイブリッドクラウドは、データ及びアプリケーションポータビリティによって共に結び付けられる２つ以上のタイプのクラウド（例えば、プライベート、コミュニティ、またはパブリック）を含む。
【0160】
概して、クラウドコンピューティングモデルは、消費者による使用のために（クラウドのパブリック／プライベートの性質に従って、組織内または組織の外部のいずれかで）、組織の自身の情報技術部門によって以前に提供されていた可能性がある、それらの責任の一部を、代わりに、クラウド環境内のサービスレイヤとして移されることを有効にする。特定の実施態様に応じて、各々のクラウドサービスレイヤによってまたは各々のクラウドサービスレイヤ内で提供されるコンポーネントまたは特徴の簡潔な定義は、可変であることができるが、共通例は、クラウドインフラストラクチャ上で稼働しているソフトウェアアプリケーションを消費者が使用する、ソフトウェアアズアサービス（ＳａａＳ）を含むが、ＳａａＳプロバイダは、下層クラウドインフラストラクチャ及びアプリケーションを管理または制御する。プラットフォームアズアサービス（ＰａａＳ）では、それら自身のアプリケーションを開発し、展開し、他に制御するために、ＰａａＳプロバイダによってサポートされるソフトウェアプログラミング言語及び開発ツールを消費者が使用することができるが、ＰａａＳプロバイダは、クラウド環境の他の態様（例えば、ランタイム実行環境の下のあらゆるもの）を管理または制御する。インフラストラクチャアズアサービス（ＩａａＳ）では、任意のソフトウェアアプリケーション、及び／またはプロビジョン処理、記憶、ネットワーク、及び他の根本的なコンピューティングリソースを消費者が展開し、稼働させることができるが、ＩａａＳプロバイダは、下層物理クラウドインフラストラクチャ（例えば、オペレーティングシステムレイヤの下のあらゆるもの）を管理または制御する。データベースアズアサービス（ＤＢａａＳ）では、クラウドインフラストラクチャ上で稼働しているデータベースサーバまたはデータベース管理システムを消費者が使用するが、ＤｂａａＳプロバイダは、１つ以上のデータベースサーバを含む、下層クラウドインフラストラクチャ、アプリケーション、及びサーバを管理または制御する。
【0161】
開示の他の態様
文脈上特に明記されていない限り、用語「ｏｒ」は、包含的な意味で（排他的な意味ではなく）先述の明細書及び添付の特許請求の範囲において使用され、その結果、例えば、要素のリストを接続するために使用されるとき、用語「または」は、リスト内の要素の１つ、一部、または全てを意味する。
文脈上特に明記されていない限り、用語「ｏｒ」は、包含的な意味で（排他的な意味ではなく）先述の明細書及び添付の特許請求の範囲において使用され、その結果、例えば、要素のリストを接続するために使用されるとき、用語「または」は、リスト内の要素の１つ、一部、または全てを意味する。
【0162】
文脈上特に明記されていない限り、用語「ｃｏｍｐｒｉｓｉｎｇ（含む）」、「ｉｎｃｌｕｄｉｎｇ（含む）」、「ｈａｖｉｎｇ（有する）」、「ｂａｓｅｄ ｏｎ（に基づく）」、及び「ｅｎｃｏｍｐａｓｓｉｎｇ（包含する）」などは、前述の明細書及び添付の特許請求の範囲においてオープンエンドで使用され、追加の要素、特徴、行動、またはオペレーションを排除しない。
【0163】
文脈上特に明記されていない限り、フレーズ「ａｔ ｌｅａｓｔ ｏｎｅ ｏｆ Ｘ，Ｙ，ａｎｄ Ｚ（Ｘ、Ｙ、及びＺのうちの少なくとも１つ）」などの接続的言語は、項目、用語などがＸ、Ｙ、もしくはＺ、またはそれらの組み合わせのいずれかであり得ることを伝えるものと理解されるべきである。したがって、そのような接続的言語は、各々に対してＸのうちの少なくとも１つ、Ｙのうちの少なくとも１つ、及びＺのうちの少なくとも１つが存在することのデフォルト暗示によって必要とすることが意図されない。
【0164】
文脈上特に明記されていない限り、前述の詳細な説明及び添付の特許請求の範囲において使用されるように、単数形「ａ」、「ａｎ」、及び「ｔｈｅ」は、複数形をも含むことが意図される。
【0165】
文脈上特に明記されていない限り、前述の詳細な説明及び添付の特許請求の範囲では、第１の、第２のなどという用語は、いくつかのインスタンスでは、様々な要素を記述するために本明細書で使用され、それらの要素は、それらの用語によって限定されるべきではない。それらの用語は、１つの要素を別の要素から区別するためにのみ使用される。例えば、第１のコンピューティングデバイスは、第２のコンピューティングデバイスと呼ばれ得、同様に、第２のコンピューティングデバイスは、第１のコンピューティングデバイスと呼ばれ得る。第１のコンピューティングデバイス及び第２のコンピューティングデバイスは両方、コンピューティングデバイスであるが、それらは、同一のコンピューティングデバイスではない。
【0166】
前述の明細書では、実施態様ごとに変化し得る多数の特定の詳細を参照して技術が説明されてきた。したがって、明細書及び図面は、限定的な意味ではなく、例示的な意味で考えられるべきである。
【図1】
【図2】
【図3】
【図4】
【図5】
【国際調査報告】