【手続補正書】
【提出日】令和1年11月6日(2019.11.6)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
方法であって、
計算装置によって、イベントストリームを介して前記計算装置が受信した第１のイベントがパターンに対する第１のパターンマッチ候補を開始させると決定することと、
前記計算装置によって、前記第１のパターンマッチ候補についての第１の継続時間を計算することと、
前記計算装置によって、前記イベントストリームを介して受信した第２のイベントが前記パターンに対する第２のパターンマッチ候補を開始させると決定することと、
前記計算装置によって、前記第２のパターンマッチ候補についての第２の継続時間を計算することとを含み、前記第２の継続時間は前記第１の継続時間とは異なり、
前記第１のイベントについての前記第１の継続時間の経過後に、前記第１のパターンマッチ候補が前記パターンとマッチしているか否か決定することと、
前記第１のパターンマッチ候補が前記パターンとマッチしていると決定したときに、前記第１のパターンマッチ候補に対応するイベントなしの発生を示す情報をイベントシンクに出力することとを含む、方法。
【請求項２】
前記第１のイベントおよび前記第２のイベントは属性を含み、
前記第１の継続時間を計算することは、
前記第１のイベントの属性の第１の値を決定することと、
前記第１の値を用いて前記第１の継続時間を計算することとを含み、
前記第２の継続時間を計算することは、
前記第２のイベントの属性の第２の値を決定することを含み、前記第２の値は前記第１の値とは異なり、
前記第２の値を用いて前記第２の継続時間を計算することを含む、請求項１に記載の方法。
【請求項３】
前記第１のイベントおよび前記第２のイベントは属性を含み、
前記第１の継続時間を計算することは、
前記第１のイベントの属性の第１の値を決定することと、
前記第１の値を用いて式を評価することにより前記第１の継続時間を計算することとを含み、
前記第２の継続時間を計算することは、
前記第２のイベントの属性の第２の値を決定することを含み、前記第２の値は前記第１の値とは異なり、
前記第２の値を用いて式を評価することにより前記第２の継続時間を計算することを含む、請求項１に記載の方法。
【請求項４】
前記第１のイベントに関連付けられた第１の時間と前記第１の継続時間とに基づいて前記第１のパターンマッチ候補についての第１の終了時間を決定することと、
前記第１の終了時間を前記第１のパターンマッチ候補に関連付けることと、
前記第２のイベントに関連付けられた第２の時間と前記第２の継続時間とに基づいて前記第２のパターンマッチ候補についての第２の終了時間を決定することと、
前記第２の終了時間を前記第２のパターンマッチ候補に関連付けることとをさらに含む、請求項１〜３のいずれか一項に記載の方法。
【請求項５】
前記第１の終了時間を、前記第１のイベントに関連付けられた第１の時間に前記第１の継続時間を加算することによって決定することと、
前記第２の終了時間を、前記第２のイベントに関連付けられた第２の時間に前記第２の継続時間を加算することによって決定することとをさらに含む、請求項４に記載の方法。
【請求項６】
前記第１のパターンマッチ候補に関連付けられた前記第１の終了時間以降に、前記第１のパターンマッチ候補が前記パターンとマッチしているか否か決定することと、
前記第１のパターンマッチ候補が前記パターンとマッチしていると決定したときに、前記第１のパターンマッチ候補に対応するイベントなしの発生を示す情報を出力することとをさらに含む、請求項４に記載の方法。
【請求項７】
計算装置であって、
メモリと、
一組の処理部とを備え、前記一組の処理部のうちの１つ以上の処理部は、
イベントストリームを介して前記計算装置が受信した第１のイベントがパターンに対する第１のパターンマッチ候補を開始させると決定するように適合され、
前記第１のパターンマッチ候補についての第１の継続時間を計算するように適合され、
前記イベントストリームを介して受信した第２のイベントが前記パターンに対する第２のパターンマッチ候補を開始させると決定するように適合され、
前記第２のパターンマッチ候補についての第２の継続時間を計算するように適合され、前記第２の継続時間は前記第１の継続時間とは異なり、
前記一組の処理部のうちの１つ以上の処理部はさらに、
前記第１のイベントについての前記第１の継続時間の経過後に、前記第１のパターンマッチ候補が前記パターンとマッチしているか否か決定するように適合され、
前記第１のパターンマッチ候補が前記パターンとマッチしていると決定したときに、前記第１のパターンマッチ候補に対応するイベントなしの発生を示す情報をイベントシンクに出力するように適合される、計算装置。
【請求項８】
前記一組の処理部のうちの１つ以上の処理部は、
前記第１のイベントの属性の第１の値を決定するように適合され、
前記第１の値を用いて前記第１の継続時間を計算するように適合され、
前記第２のイベントの属性の第２の値を決定するように適合され、前記第２の値は前記第１の値とは異なり、
前記第２の値を用いて前記第２の継続時間を計算するように適合される、請求項７に記載の計算装置。
【請求項９】
前記一組の処理部のうちの１つ以上の処理部は、
前記第１のイベントの属性の第１の値を決定するように適合され、
前記第１の値を用いて式を評価することにより前記第１の継続時間を計算するように適合され、
前記第２のイベントの属性の第２の値を決定するように適合され、前記第２の値は前記第１の値とは異なり、
前記第２の値を用いて式を評価することにより前記第２の継続時間を計算するように適合される、請求項７に記載の計算装置。
【請求項１０】
前記一組の処理部のうちの１つ以上の処理部はさらに、
前記第１のイベントに関連付けられた第１の時間と前記第１の継続時間とに基づいて前記第１のパターンマッチ候補についての第１の終了時間を決定するように適合され、
前記第１の終了時間を前記第１のパターンマッチ候補に関連付けるように適合され、
前記第２のイベントに関連付けられた第２の時間と前記第２の継続時間とに基づいて前記第２のパターンマッチ候補についての第２の終了時間を決定するように適合され、
前記第２の終了時間を前記第２のパターンマッチ候補に関連付けるように適合される、請求項７〜９のいずれか一項に記載の計算装置。
【請求項１１】
前記一組の処理部のうちの１つ以上の処理部は、
前記第１の終了時間を、前記第１のイベントに関連付けられた第１の時間に前記第１の継続時間を加算することによって決定するように適合され、
前記第２の終了時間を、前記第２のイベントに関連付けられた第２の時間に前記第２の継続時間を加算することによって決定するように適合される、請求項１０に記載の計算装置。
【請求項１２】
前記一組の処理部のうちの１つ以上の処理部はさらに、
前記第１のパターンマッチ候補に関連付けられた前記第１の終了時間以降に、前記第１のパターンマッチ候補が前記パターンとマッチしているか否か決定するように適合され、
前記第１のパターンマッチ候補が前記パターンとマッチしていると決定したときに、前記第１のパターンマッチ候補に対応するイベントなしの発生を示す情報を出力するように適合される、請求項１０に記載の計算装置。
【請求項１３】
装置であって、
イベントストリームを介して計算装置が受信した第１のイベントがパターンに対する第１のパターンマッチ候補を開始させると決定するための手段と、
前記第１のパターンマッチ候補についての第１の継続時間を計算するための手段と、
前記イベントストリームを介して受信した第２のイベントが前記パターンに対する第２のパターンマッチ候補を開始させると決定するための手段と、
前記第２のパターンマッチ候補についての第２の継続時間を計算するための手段とを備え、前記第２の継続時間は前記第１の継続時間とは異なり、
前記第１のイベントについての前記第１の継続時間の経過後に、前記第１のパターンマッチ候補が前記パターンとマッチしているか否か決定するための手段と、
前記第１のパターンマッチ候補が前記パターンとマッチしていると決定したときに、前記第１のパターンマッチ候補に対応するイベントなしの発生を示す情報をイベントシンクに出力するための手段とを備える、装置。
【請求項１４】
請求項１〜７のいずれかに記載の方法をコンピュータに実行させるためのプログラム。