【手続補正書】
【提出日】平成29年4月21日(2017.4.21)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
コンピューティングシステムによって実行されるタスクを制御するための方法であって、
データ記憶システムにグラフに基づくプログラムの仕様に関するデータ構造を記憶するステップであって、前記グラフに基づくプログラムの仕様が、タスクを表す複数のノードを含み、前記グラフに基づくプログラムの仕様が、前記ノードによって表される複数のタスクの間の少なくとも部分的な順序を規定するノードの間の有向辺を含む、ステップと、
前記グラフに基づくプログラムの仕様によって規定されたプログラムを少なくとも１つのプロセッサを用いて実行するステップとを含み、
前記実行するステップが、
第１のタスクに対応する第１のサブルーチンを実行することであって、前記第１のサブルーチンが、前記第１のタスクを実行するための第１のタスクセクションを含む、実行すること、
前記第１のタスクセクションが前記第１のタスクを実行するのを待っている保留状態、及び前記第１のタスクセクションが前記第１のタスクを実行することを抑制された抑制状態を含む１組のあり得る状態から選択される前記第１のタスクの状態を示す状態情報を記憶すること、並びに
第２のタスクに対応する第２のサブルーチンを実行することであって、前記第２のサブルーチンが、前記第２のタスクを実行するための第２のタスクセクション、及び前記記憶された状態情報によって示された前記第１のタスクの前記状態に少なくとも部分的に基づいて前記第２のタスクセクションの実行を制御する制御セクションを含む、実行することを含む、
前記方法。
【請求項２】
上流のノードから下流のノードへの有向辺が、部分的な順序で、上流のノードによって表されるタスクが下流のノードによって表されるタスクに先行することを示す、請求項１に記載の方法。
【請求項３】
１組のあり得る状態が、第１のタスクセクションが第１のタスクを実行した完了状態、第１のタスクセクションが第１のタスクを実行するのを待っている保留状態、及び第１のタスクセクションが第１のタスクを実行することを抑制された抑制状態を含む、請求項１又は２に記載の方法。
【請求項４】
１組のあり得る状態が、第１のタスクセクションが第１のタスクを実行する過程にあるアクティブ状態を含む、請求項３に記載の方法。
【請求項５】
制御セクションが、第２のタスクセクションが呼び出されるか否かを判定する論理を含む、請求項１〜４のいずれかに記載の方法。
【請求項６】
論理が、フラグの値に基づいて第２のタスクセクションが呼び出されるか否かを判定する、請求項５に記載の方法。
【請求項７】
論理が、第２のタスクを表すノードへの有向辺によって接続されるノードによって表されるすべてのタスクの状態に少なくとも部分的に基づいて第２のタスクセクションが呼び出されるか否かを判定する、請求項５に記載の方法。
【請求項８】
論理が、第２のタスクを表すノードへの有向辺によって接続されるノードによって表されるすべてのタスクが抑制状態にある場合、第２のタスクセクションが呼び出されないと判定する、請求項７に記載の方法。
【請求項９】
論理が、第２のタスクを表すノードへの有向辺によって接続されるノードによって表される少なくとも１つのタスクが完了状態であり、前記第２のタスクを表すノードへの有向辺によって接続されるノードによって表されるタスクのいずれも保留状態にない場合、第２のタスクセクションが呼び出されると判定する、請求項７又は８に記載の方法。
【請求項１０】
タスクを制御するための、コンピュータ可読記憶媒体に記憶されるコンピュータプログラムであって、コンピューティングシステムに、
グラフに基づくプログラムの仕様に関するデータ構造を記憶させ、前記グラフに基づくプログラムの仕様が、タスクを表す複数のノードを含み、前記グラフに基づくプログラムの仕様が、前記ノードによって表される複数のタスクの間の少なくとも部分的な順序を規定するノードの間の有向辺を含み、
前記グラフに基づくプログラムの仕様によって規定されたプログラムを実行させるための命令を含み、前記実行させることが、
第１のタスクに対応する第１のサブルーチンを実行することであって、前記第１のサブルーチンが、前記第１のタスクを実行するための第１のタスクセクションを含む、実行すること、
前記第１のタスクセクションが前記第１のタスクを実行するのを待っている保留状態、及び前記第１のタスクセクションが前記第１のタスクを実行することを抑制された抑制状態を含む１組のあり得る状態から選択される前記第１のタスクの状態を示す状態情報を記憶すること、並びに
第２のタスクに対応する第２のサブルーチンを実行することであって、前記第２のサブルーチンが、前記第２のタスクを実行するための第２のタスクセクション、及び前記記憶された状態情報によって示された前記第１のタスクの前記状態に少なくとも部分的に基づいて前記第２のタスクセクションの実行を制御する制御セクションを含む、実行することを含む、
前記コンピュータプログラム。
【請求項１１】
タスクを制御するためのコンピューティングシステムであって、
グラフに基づくプログラムの仕様に関するデータ構造を記憶するデータ記憶システムであって、前記グラフに基づくプログラムの仕様が、タスクを表す複数のノードを含み、前記グラフに基づくプログラムの仕様が、前記ノードによって表される複数のタスクの間の少なくとも部分的な順序を規定するノードの間の有向辺を含む、データ記憶システムと、
前記グラフに基づくプログラムの仕様によって規定されたプログラムを実行するように構成された少なくとも１つのプロセッサとを含み、前記実行することが、
第１のタスクに対応する第１のサブルーチンを実行することであって、前記第１のサブルーチンが、前記第１のタスクを実行するための第１のタスクセクションを含む、実行すること、
前記第１のタスクセクションが前記第１のタスクを実行するのを待っている保留状態、及び前記第１のタスクセクションが前記第１のタスクを実行することを抑制された抑制状態を含む１組のあり得る状態から選択される前記第１のタスクの状態を示す状態情報を記憶すること、並びに
第２のタスクに対応する第２のサブルーチンを実行することであって、前記第２のサブルーチンが、前記第２のタスクを実行するための第２のタスクセクション、及び前記記憶された状態情報によって示された前記第１のタスクの前記状態に少なくとも部分的に基づいて前記第２のタスクセクションの実行を制御する制御セクションを含む、実行することを含む、
前記コンピューティングシステム。
【請求項１２】
タスクを制御するためのコンピューティングシステムであって、
グラフに基づくプログラムの仕様に関するデータ構造を記憶するための手段であって、前記グラフに基づくプログラムの仕様が、タスクを表す複数のノードを含み、前記グラフに基づくプログラムの仕様が、前記ノードによって表される複数のタスクの間の少なくとも部分的な順序を規定するノードの間の有向辺を含む、手段と、前記グラフに基づくプログラムの仕様によって規定されたプログラムを実行するための手段とを含み、前記実行することが、
第１のタスクに対応する第１のサブルーチンを実行することであって、前記第１のサブルーチンが、前記第１のタスクを実行するための第１のタスクセクションを含む、実行すること、
前記第１のタスクセクションが前記第１のタスクを実行するのを待っている保留状態、及び前記第１のタスクセクションが前記第１のタスクを実行することを抑制された抑制状態を含む１組のあり得る状態から選択される前記第１のタスクの状態を示す状態情報を記憶すること、並びに
第２のタスクに対応する第２のサブルーチンを実行することであって、前記第２のサブルーチンが、前記第２のタスクを実行するための第２のタスクセクション、及び前記記憶された状態情報によって示された前記第１のタスクの前記状態に少なくとも部分的に基づいて前記第２のタスクセクションの実行を制御する制御セクションを含む、実行することを含む、
前記コンピューティングシステム。
【請求項１３】
制御セクションが、１又は２以上の他のタスクに抑制状態を伝播するように記憶された状態情報を判定する論理を備える、請求項１に記載の方法。