(57)【要約】      （修正有）【課題】文章内の動作シーケンスを抽出し図示する方法の提供。【解決手段】文章に対し、文章を構成する文を、時間条件語と句読点とに基づいて節に分節し、節ごとに節と節を示す第１の識別子と節を包含する文を示す第２の識別子と時間条件語とを含む構造データを作成する構造データ生成ステップと、構造データから時間条件語を抽出し、時間条件語と時間条件語に対応する遷移方向と時間条件語に対応する第１の識別子とを含む時間条件データを作成する時間条件抽出ステップと、時間条件データから時間条件語を抽出し、構造データから時間条件語に対応する第２の識別子と同一の第２の識別子を持つ節に対応する第１の識別子を抽出し、第２の識別子について、時間条件語に対応する第１の識別子と、第２の識別子を有する節の第１の識別子と、時間条件語に対応する時間方向と、を含む動作シーケンスデータを作成するシーケンス抽出ステップと、を有する順序抽出方法。【選択図】図１
2015028701.tif 000002
【特許請求の範囲】
【請求項１】
コンピュータを用いて文の順序を抽出する方法であって、
前記コンピュータが有するプロセッサが、解析対象の文章に対し、前記文章を構成する文を処理手順の遷移方向をしめす時間条件語と句読点に基づいて節に分節し、前記節ごとに前記節と前記節を示す第１の識別子と前記節を包含する文を示す第２の識別子と、更に前記節が時間条件語を含む場合は、前記時間条件語と、を含む構造データを前記コンピュータが有する記憶部に記憶させる構造データ生成ステップと、
前記プロセッサが、前記構造データから時間条件語を抽出し、前記時間条件語と、前記時間条件語に対応する遷移方向と、前記時間条件語に対応する第１の識別子と、を含む時間条件データを作成する時間条件抽出ステップと、
前記プロセッサが、前記時間条件データから時間条件語を抽出し、前記構造データから前記時間条件語に対応する第２の識別子と同一の第２の識別子を持つ節に対応する第１の識別子を抽出し、前記第２の識別子について、前記時間条件語に対応する第１の識別子と、前記第２の識別子を有する節の前記第１の識別子と、前記時間条件語に対応する時間方向と、を含む動作シーケンスデータを作成するシーケンス抽出ステップと、
を有する順序抽出方法。
【請求項２】
請求項１に記載の順序抽出方法であって、
さらに、
前記プロセッサが、前記第２の識別子を同一とする節間の状態遷移について、予め状態遷移方向を定めた文字列（状態遷移語）を抽出し、前記状態遷移語を含む節について、第１の識別子と第２の識別子と、前記状態遷移方向とを含む状態遷移ＩＤ対応データを作成する状態遷移抽出ステップと、
を有する順序抽出方法。
【請求項３】
解析対象の文章に対し、前記文章を構成する文を処理手順の遷移方向をしめす時間条件語と句読点に基づいて節に分節し、前記節ごとに前記節と前記節を示す第１の識別子と前記節を包含する文を示す第２の識別子と、更に前記節が時間条件語を含む場合は、前記時間条件語と、を含む構造データを作成する構造解析ステップと、
前記構造データから時間条件語を抽出し、前記時間条件語と、前記時間条件語に対応する遷移方向と、前記時間条件語に対応する第１の識別子と、を含む時間条件データを作成する時間条件抽出ステップと、
前記時間条件データから時間条件語を抽出し、前記構造データから前記時間条件語に対応する第２の識別子と同一の第２の識別子を持つ節に対応する第１の識別子を抽出し、前記第２の識別子について、前記時間条件語に対応する第１の識別子と、前記第２の識別子を有する節の前記第１の識別子と、前記時間条件語に対応する時間方向と、を含む動作シーケンスデータを作成する順序抽出ステップと、
を有する順序抽出プログラム。
【請求項４】
請求項３に記載の順序抽出プログラムであって、
さらに、
前記第２の識別子を同一とする節間の状態遷移について、予め状態遷移方向を定めた文字列（状態遷移語）を抽出し、前記状態遷移語を含む節について、第１の識別子と第２の識別子と、前記状態遷移方向とを含む状態遷移ＩＤ対応データを作成する状態遷移抽出ステップと、
を有する順序抽出プログラム。
【請求項５】
解析対象の文章に対し、前記文章を構成する文を処理手順の遷移方向をしめす時間条件語と句読点に基づいて節に分節し、前記節ごとに前記節と前記節を示す第１の識別子と前記節を包含する文を示す第２の識別子と、更に前記節が時間条件語を含む場合は、前記時間条件語と、を含む構造データを作成する構造データ生成部と、
前記構造データから時間条件語を抽出し、前記時間条件語と、前記時間条件語に対応する遷移方向と、前記時間条件語に対応する第１の識別子と、を含む時間条件データを作成する時間条件抽出部と、
前記時間条件データから時間条件語を抽出し、前記構造データから前記時間条件語に対応する第２の識別子と同一の第２の識別子を持つ節に対応する第１の識別子を抽出し、前記第２の識別子について、前記時間条件語に対応する第１の識別子と、前記第２の識別子を有する節の前記第１の識別子と、前記時間条件語に対応する時間方向と、を含む動作シーケンスデータを作成する順序抽出部と、
を有する順序抽出装置。                                                                                
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、シーケンス抽出にかかる方法、プログラム及び装置に関する。
【背景技術】
【０００２】
ＬＳＩ（Ｌａｒｇｅ  Ｓｃａｌｅ  Ｉｎｔｅｇｒａｔｉｏｎ）の開発・設計において、設計者はＬＳＩをＩＣ（Ｉｎｔｅｇｒａｔｅｄ  Ｃｉｒｃｕｉｔ）の規格や仕様の通りに設計する。検証者は設計者の設計が規格や仕様の通りに設計されているかを検証する。近年技術開発の高度化に伴い、ＬＳＩの多機能化に伴いＩＣの規格や仕様が複雑化している。一方で、ＬＳＩの開発から製造までの期間は短くなっている。設計者は、短期間で膨大な量の規格や仕様が書かれた規格書や仕様書を読み込み規格や仕様を満たす設計をする。検証者は、短期間で規格や仕様を満たすか検証するため検証環境やテストパターンを構築する。しかしながら、前述の規格や仕様の複雑化により、設計者が規格や仕様を分析して機能を抽出し、完全に理解した上で設計を行うことが困難になっている。また、検証者は、設計者の設計が規格や仕様を満たすか否かを検証するための検証環境やテストパターンを構築することが非常に困難になっている。
【０００３】
設計の基礎となる規格書や仕様書は自然言語で書かれることが一般的である。自然言語で書かれた文章は、例えばＬＳＩの内部の動作の条件や順番など動作シーケンスを文字で表現する。設計者や検証者は動作の条件や順番を膨大な文章の中から把握しなければならず、見落としが発生することが多い。そこで、動作の条件や順番を網羅的に抽出することが望まれている。
【０００４】
動作の条件や順番などの情報を自然言語で書かれた文章から抽出するために、自然言語解析が適用される。例えば特許文献１には、自然言語解析により、入力された複数の文の相互の意味的な対応関係を自動的に解釈する技術が開示されている。また、特許文献１には、複数の文の時制を解釈することで時系列関係を解析する技術が開示されている。さらに、非特許文献１には、自然言語で書かれたＷｅｂページなどの文章からキーワードを抜き出し、文章と時間帯との関連性を抽出する技術が開示されている。
【先行技術文献】
【特許文献】
【０００５】
【特許文献１】特開２００６−１９０１０１
【非特許文献】
【０００６】
【非特許文献１】野呂太一、外３名、「テキスト中のイベントの生起時間帯判定」、情報処理学会論文誌、２００７年１０月、Ｖｏｌ．４８  Ｎｏ．１０、ｐ．３４０５―３４１４
【発明の概要】
【発明が解決しようとする課題】
【０００７】
しかしながら、上述した従来技術では、文章内のイベントの時系列は抽出出来ても、規格書や仕様書に表されるＬＳＩ等の動作シーケンスや状態遷移を抽出することは困難である。
【０００８】
本発明は、上述した従来技術による問題点を解消するため、文章内の動作シーケンスや状態遷移を抽出し、設計者や検証者に図示する方法、プログラム及び装置を提供することを目的とする。
【課題を解決するための手段】
【０００９】
上述した課題を解決し、目的を達成するため、本発明の一側面によれば、解析対象の文章に対し、前記文章を構成する文を、時間や条件の要素をもつ節を導く時間条件語と句読点とに基づいて節に分節し、前記節ごとに前記節と前記節を示す第１の識別子と前記節を包含する文を示す第２の識別子と、更に前記節が時間条件語を含む場合は、前記時間条件語と、を含む構造データを作成する構造データ生成ステップと、前記構造データから時間条件語を抽出し、前記時間条件語と、前記時間条件語に対応する遷移方向と、前記時間条件語に対応する第１の識別子と、を含む時間条件データを作成する時間条件抽出ステップと、前記時間条件データから時間条件語を抽出し、前記構造データから前記時間条件語に対応する第２の識別子と同一の第２の識別子を持つ節に対応する第１の識別子を抽出し、前記第２の識別子について、前記時間条件語に対応する第１の識別子と、前記第２の識別子を有する節の前記第１の識別子と、前記時間条件語に対応する時間方向と、を含む動作シーケンスデータを作成するシーケンス抽出ステップと、を有する順序抽出方法、プログラム及び装置が提案される。
【発明の効果】
【００１０】
本発明の一側面によれば、文章内の動作シーケンスや状態遷移を抽出し、設計者や検証者に図示することができる。設計者は、図示された動作シーケンスや状態遷移を参照することにより、規格や仕様を完全に理解した上で設計することができる。また、検証者は、図示された動作シーケンスや状態遷移を参照することにより、設計者の設計が規格や仕様を満たすか否かを検証するための検証環境やテストパターンを構築することが容易となるという効果を奏する。
【図面の簡単な説明】
【００１１】
【図１】図１は、本実施の形態にかかる順序抽出装置の構成を示す説明図である。
【図２】図２は、既存の構造解析ツールによる出力イメージ図である。
【図３】図３は、本実施の形態にかかる入出力のイメージ図である。
【図４】図４は、順序抽出装置のハードウェア構成の一例を示すブロック図である。
【図５】図５は、ファイルを読み込んでから構造データを生成するまでの全体のフローチャートである。
【図６】図６は、構造データを生成するためのフローチャートである。
【図７】図７は、構造データを生成するために文を節に分割するためのフローチャートである。
【図８】図８は、構造データを生成するために文を節に分割するためのフローチャートである。
【図９】図９は、シーケンスを抽出するためのフローチャートである。
【図１０】図１０は、状態遷移を抽出するためのフローチャートである。
【図１１】図１１は、関連する節を抽出するためのフローチャートである。
【図１２】図１２は、特定の単語の時間条件方向を表すＴＣ辞書のデータである。
【図１３】図１３は、文ＤＢ１１１の内容を示す一例である。
【図１４】図１４は、状態遷移データの内容を示す一例である。
【図１５】図１４は、状態遷移を抽出し、検証者に図示するイメージ図である。
【発明を実施するための形態】
【００１２】
以下に添付図面を参照して、開示の順序抽出装置、方法、およびプログラムの実施の形態を詳細に説明する。
【００１３】
図１は、本実施の形態にかかる順序抽出装置の構成を示す説明図である。本実施の形態にかかる順序抽出装置１００は、文章の中から順序を抽出し視覚化する装置である。順序抽出装置１００は、構造データ生成部１０１、時間・情報解析部１０２、時間条件抽出部１０２、状態遷移抽出部１０４を含み、データベースとしてＴＣ辞書１１０、文ＤＢ１１１、状態遷移ＩＤ対応データ１１２を有する。抽出の対象となる自然言語で書かれた規格書や仕様書は、文章ＤＢ１２０に保管されている。
ＴＣ辞書１１０は、時間条件語（ＴＣ語）と、時間条件方向を組みにしたデータベースである。時間条件語とは、“Ａｆｔｅｒ”や“Ｗｈｅｎ”など、時間（Ｔｉｍｅ）や条件（Ｃｏｎｄｉｔｉｏｎ）の要素を持った単語のことである。時間条件語は、文法用語で言えば、「時の副詞節を導く接続詞」である。解析対象が規格書や仕様書である文章の例にあてはめると、時間条件語は、ＬＳＩの内部の動作の実行時期や実行条件を記述する副詞節を導く接続詞である。
【００１４】
図２は、既存の構造解析ツールによって仕様書に書かれた文章を解析した出力イメージ図である。仕様書に書かれた文章として、例えば式１の文章を入力する。
【００１５】
【数１】
2015028701.tif 000003
【００１６】
既存の構造解析ツールは、式１の構造を解析して図２を得る。図２では、Ｓ（ｓｅｎｔｅｎｃｅ）２０１や２０３は節を示し、ＰＮ（Ｐｕｎｃｔｕａｔｉｏｎ）２０２は読点を示す。式２は読点２０２で２つの節に分割される。既存の構造解析ツールは、節２０１、２０２について、それぞれ、単語レベルに至るまで構造を解析する。
図３は、順序抽出装置が仕様書にかかれた文章を解析し、順序を抽出するイメージ図である。式１の文章に対し、順序抽出装置の動作を説明する。図３では、図解の視認性向上のために「Configure Endpoint Command」を「CEC」と表示し、「SET＿CONFIGURATION」を「SC」と表示する。
【００１７】
構造データ生成部１０１は、式１の文章の形態素解析や係り受け解析を行う。形態素解析や係り受け解析は既存の技術であるため詳細を省略する。係り受け解析の結果、単語“ｒｅｑｕｅｓｔ”はＣＥＣ３０１とＳＣ３０２にかかっていることが判明する。グループ３０４はＣＥＣ３０１とＳＣ３０２についての状態遷移の要件をまとめる。
【００１８】
グループ３０７はグループ３０４の条件が満たされたときに遷移する先である。グループ３０４の時間条件語“Ａｆｔｅｒ”３０３が示すとおり、グループ３０４が完了（ｃｏｍｐｌｅｔｅ）したら、グループ３０７に遷移する。グループ３０７は動作主体であるｓｏｆｔｗａｒｅ３０５と動作対象であるＴＤｓ３０６にかかる単語ｓｏｆｔｗａｒｅとＴＤｓを保存する。
【００１９】
図４は、順序抽出装置１００のハードウェア構成の一例を示すブロック図である。図４において、順序抽出装置１００は、Ｃｅｎｔｒａｌ  Ｐｒｏｃｅｓｓｉｎｇ  Ｕｎｉｔ（ＣＰＵ）４０１と、Ｒｅａｄ‐Ｏｎｌｙ  Ｍｅｍｏｒｙ（ＲＯＭ）４０２と、Ｒａｎｄｏｍ  Ａｃｃｅｓｓ  Ｍｅｍｏｒｙ（ＲＡＭ）４０３と、を含む。また、順序抽出装置１００は、記憶装置４０４と、インターフェイス４０８と、を含む。また、順序抽出装置１００は、ディスプレイ３０５と、キーボード４０６と、マウス４０７と、を含む。また、ＣＰＵ４０１〜インターフェイス４０８はバス４００によってそれぞれ接続されている。
【００２０】
ＣＰＵ４０１は、順序抽出装置４００の全体の制御を司る演算処理装置である。ＲＯＭ４０２は、ブートプログラムなどのプログラムを記憶する不揮発性メモリである。ＲＡＭ４０３は、ＣＰＵ４０１のワークエリアとして使用される揮発性メモリである。
【００２１】
記憶装置４０４は、記憶媒体を内部に保持する内部記憶装置４０９と記憶媒体が外部に取り出せる外部記憶装置４１０を含んでいる。また、記憶装置４０４はＣＰＵ４０１の制御にしたがって内部記憶媒体４１１または外部記憶媒体４１２に対するデータのリードおよびライトを制御する制御装置である。内部記憶装置４０９には、内部記憶媒体４１１の種類に応じて磁気ディスクドライブやソリッドステートドライブ（ＳＳＤ）を選択することができる。外部記憶装置４１０は、たとえば、磁気テープ装置、磁気ディスクドライブ、光磁気ディスクドライブ、光ディスクドライブ、ＳＤＤなどである。外部記憶媒体４１２は、外部記憶装置４１０の制御で書き込まれたデータを記憶する不揮発性メモリである。たとえば外部記憶装置４１０が磁気ディスクドライブである場合、外部記憶媒体４１２は、磁気ディスクである例えばフレキシブルディスク（ＦＤ）である。また、外部記憶装置４１０が光ディスクドライブである場合、外部記憶媒体４１２は、光ディスクである例えばＣｏｍｐａｃｔ  Ｄｉｓｃ  Ｒｅｃｏｒｄａｂｌｅ（ＣＤ−Ｒ）である。また、外部記憶装置がＳＤＤである場合、外部記憶媒体は、半導体素子メモリである。
【００２２】
ディスプレイ４０５は、カーソル、アイコンあるいはツールボックスをはじめ、文書、画像、機能情報などのデータ表示する装置である。ディスプレイ４０５は、たとえば、Ｃａｔｈｏｄｅ  Ｒａｙ  Ｔｕｂｅ（ＣＲＴ）、Ｔｈｉｎ  Ｆｉｌｍ  Ｔｒａｎｓｉｓｔｏｒ（ＴＦＴ）液晶ディスプレイ、プラズマディスプレイ、有機エレクトロルミネッセンスディスプレイなどである。
【００２３】
キーボード４０６は、文字、数字、各種指示などの入力のためのキーを有し、データの入力を行う装置である。また、キーボード４０６は、タッチパネル式の入力パッドやテンキーなどであってもよい。マウス４０７は、カーソルの移動や範囲選択、あるいはウィンドウの移動やサイズの変更などを行う装置である。マウス４０７は、ポインティングデバイスとして同様に機能を有するものであれば、トラックボールやジョイスティックなどであってもよい。
【００２４】
インターフェイス４０８は、ネットワーク２２０と接続し、外部装置からのデータの入出力を制御する制御装置である。インターフェイス４０８は、接続するネットワーク４２０の種類に対応する。インターフェイス４０８は、例えば有線ＬＡＮや無線ＬＡＮのＮｅｔｗｏｒｋ  Ｉｎｔｅｒｆａｃｅ  Ｃａｒｄ（ＮＩＣ）である。
【００２５】
図５は本願発明の全体フローである。構造データ生成部１０１は、文章ＤＢに格納されたファイルを読み込む（ステップＳ５０１）。構造データ生成部１０１は、ファイルの中の文章のうち、文がいくつあるか数を取得する（ステップＳ５０２）。構造データ生成部１０１は、ファイルの中の文章の最初の文から最後の文それぞれについて、ステップＳ５０４〜Ｓ５０７の処理を行う（ステップＳ５０３乃至ステップＳ５０８）。構造データ生成部１０１は、文に対し一意の識別子（文ＩＤ）を付与する（ステップＳ５０４）。次に構造データ生成部１０１は、文について形態素解析（ステップＳ５０５）、構造解析（ステップＳ５０６）を行う。ここで形態素解析（ステップＳ５０５）、構造解析（ステップＳ５０６）は既存の自然言語解析技術を利用することができる。続いて構造データ生成部１０１は、構造データを生成する（ステップＳ５０７）。構造データについては後述する。構造データ生成部１０１は、最後の文が終了するまでステップＳ５０４〜Ｓ５０７の処理を行う（ステップＳ５０８）。
【００２６】
図６は構造データ生成（ステップＳ５０７）のフローである。最初に構造データ生成部１０１は、文についてカンマが含まれるか判定する（ステップＳ６０１）。文にカンマが含まれる場合、構造データ生成部１０１は、文頭からカンマ前までを第１の節、カンマからピリオド前までを第２の節として抽出する（ステップＳ６０２）。次に構造データ生成部１０１は、第１の節、第２の節両方に対してステップＳ６０４、ステップＳ６０５の処理を行う（ステップＳ６０３乃至ステップＳ６０６）。構造データ生成部１０１は、節に対し、一意の識別子（節ＩＤ）を付与する（ステップＳ６０４）。節ＩＤは、文ＩＤを接頭辞として、節の順番を子番号として付すことができる。一例として、文ＩＤを“ＡＡＡ”としたときに、第１の節の節ＩＤを“ＡＡＡ．１”、第２の節の節ＩＤを“ＡＡＡ．２”と付すことができる。その後、構造データ生成部１０１は、節を細分化する節細分化１を行う（ステップＳ６０５）。構造データ生成部１０１は、最後の節が終わるまで、ステップＳ６０４、Ｓ６０５の処理を行う（ステップＳ６０６）。
【００２７】
構造データ生成部１０１は、文にカンマが含まれないと判定したときは、次に文に時間条件語があるか否かを判定する（ステップＳ６１０）。構造データ生成部１０１は、文に時間条件語が含まれない時は終了する。構造データ生成部１０１は、文に時間条件語が含まれると判断した時は、かかる時間条件語が文頭にあるか否かを判定する（ステップＳ６１１）。構造データ生成部１０１は、文頭に時間条件語がある時は終了する。構造データ生成部１０１は、文頭に時間条件語がない場合、文頭から時間条件語前までを第３の節、時間条件語からピリオド前までを第４の節として抽出する（ステップＳ６１２）。次に構造データ生成部１０１は、第３の節と第４の節に対してそれぞれステップＳ６１４の処理を行う（ステップＳ６１３、ステップＳ６１５）。構造データ生成部１０１は、節に対し、一意の識別子を付与する（ステップＳ６１４）。かかる識別子は、ステップＳ６０４で説明した方法で付すことができる。構造データ生成部１０１は、最後の節が終わるまで、ステップＳ６１４の処理を行う（ステップＳ６１５）。
【００２８】
図７はステップＳ６０５で述べた、文を節に細分化する節細分化１のフローである。構造データ生成部１０１は、節の中に時間条件語があるか否かを判定する（ステップＳ７０１）。構造データ生成部１０１は、節に時間条件語が含まれない時は終了する。構造データ生成部１０１は、節に時間条件語が含まれると判断した時は、かかる時間条件語が節の頭にあるか否かを判定する（ステップＳ７０２）。構造データ生成部１０１は、節の頭に時間条件語がないと判定した時は、節の頭から時間条件語の前までと、時間条件語から節の末尾までを新たな節として分割する（ステップＳ７０３）。構造データ生成部１０１は、節の頭に時間条件語があるときは、節に文頭を表すフラグを付与する（ステップＳ７０４）。構造データ生成部１０１は、文頭の時間条件語から節の末尾までを節として抽出し（ステップＳ７０５）、節ＩＤ、時間条件語、文頭フラグを文ＤＢ１１１に保存する（ステップＳ７０６）。
【００２９】
図８は式１の文８０１に対して、図５〜７のフローを経た文と節の関係を具体例で示したものである。構造データ生成部１０１は、式１の文８０１に文ＩＤ“ＡＡＡ”を付与し（ステップＳ５０４）、形態素解析（ステップＳ５０５）、構造解析（ステップＳ５０６）を行った後、図６の構造データ生成フローに記載する処理を行う。
【００３０】
構造データ生成部１０１は、文８０１についてカンマが含まれるか判定する（ステップＳ６０１）。ここで式１にはカンマが含まれるため、構造データ生成部１０１は、文頭からカンマ前までの節８０２と、カンマからピリオドまでの節８０３をそれぞれ抽出する（ステップＳ６０２）。次に、構造データ生成部１０１は、節８０２と節８０３の両方に対し以下の処理を行う（ステップＳ６０３〜ステップＳ６０６）。構造データ生成部１０１は、節８０２に文８０１の文ＩＤ“ＡＡＡ”を接頭辞とする節ＩＤ“ＡＡＡ．１”を付与する（ステップＳ６０４）。ここで、「．１」なる子番号は、文頭から近い順に、昇順で付与される。次に構造データ生成部１０１は、節８０２の細分化を試みる（ステップＳ５０５）。
【００３１】
構造データ生成部１０１は、節８０２に時間条件語が含まれるか判定する（ステップＳ７０１）。節８０２には時間条件語である“Ａｆｔｅｒ”が存在するため、次に、構造データ生成部１０１は、節８０２の節頭に時間条件語があるか判定する（ステップＳ７０２）。時間条件語“Ａｆｔｅｒ”は節８０２の節頭に存在するため、構造データ生成部１０１は、節８０２に文頭フラグを付与する（ステップＳ７０４）。次に、構造データ生成部１０１は、時間条件語から節末までを節として抽出する（ステップＳ７０５）。言い換えれば、文頭の“Ａｆｔｅｒ”から節末まで、すなわち節８０２そのものを節として抽出する。構造データ生成部１０１は、節８０２について節ＩＤである“ＡＡＡ．１”及び時間条件語“Ａｆｔｅｒ”、文頭フラグ関連付けて文ＤＢ１１１に保存する（ステップＳ７０６）。
【００３２】
図９は時間条件を抽出するフローである。時間条件時間条件抽出部１０２は、文ＤＢ１１１から一行を選択する（ステップＳ９０１）。時間条件抽出部１０２は、選択された行の中から時間条件語を選択する（ステップＳ９０２）。次に、時間条件抽出部１０２は、選択された行の中に文頭フラグが付されているか判定する（ステップＳ９０３）。文頭フラグが付されていないと判定した場合、時間条件抽出部１０２は、ＴＣ辞書を探索し、選択した時間条件語の方向を取得し（ステップＳ９０４）、終了する。文頭フラグが付されていると判定した場合、時間条件抽出部１０２は、ＴＣ辞書を探索して選択した時間条件語が文頭に存在する場合の方向を取得し（ステップＳ９０５）、文ＤＢ１１１の選択した行に方向を記録する（ステップＳ９０６）。
【００３３】
時間条件語は文頭に存在する場合と文頭以外に存在する場合がある。式１の文８０１では“Ａｆｔｅｒ”という時間条件語が文頭に存在する。この場合は、時間条件語“Ａｆｔｅｒ”を含む節８０２の内容の後に後半の節８０３の内容が発生する。一方、時間条件語“Ａｆｔｅｒ”が文頭にない式２の場合を説明する。
【００３４】
【数２】
2015028701.tif 000004
【００３５】
式２の文に対し、図５〜７の処理を行うと、文頭から時間条件語“Ａｆｔｅｒ”の前までの節と、時間条件語“Ａｆｔｅｒ”を含む節とに分割される。時間条件語“Ａｆｔｅｒ”を含む節の内容が先にあり、文頭から時間条件語“Ａｆｔｅｒ”の前の節の内容が後に発生する。即ち、同じ単語で表される時間条件語でも、文頭に存在するか否かで文の構造の時間・条件の方向が変化する。文ＤＢ１１１に文頭フラグがある場合は、時間条件語が文頭に存在する場合の方向を文ＤＢ１１１へ格納する（ステップＳ９０６）。
【００３６】
図１０は状態遷移を抽出するフローである。状態遷移抽出部１０４は、文ＤＢ１１１のすべての行に対し以下の処理を行う（ステップＳ１００１、ステップＳ１００６）。状態遷移抽出部１０４は、文ＤＢ１１１の１行を選択し、当該行に保存されている節を第一の実体とする（ステップＳ１００２）。状態遷移抽出部は、第１の実体と一致する節があるか否か文ＤＢ１１１の検索を行う（ステップＳ１００３）。一致する節がある場合、状態遷移抽出部１０４は、関連情報を抽出し（ステップＳ１００４）、状態遷移データに保存する（ステップＳ１００５）。すべての行に対し処理が終わったら、状態遷移抽出を終了する（ステップＳ１００６）。
【００３７】
図１１は、関連情報の抽出についてのフローである。状態遷移抽出部１０４は、前述の第１の実体と一致した節（第２の実体）の属する行の節ＩＤから、文ＩＤと子番号を付した回数による階層情報を取得する（ステップＳ１１０１）。次に、状態遷移抽出部は、階層情報が１以上であるか判定する（ステップＳ１１０２）。階層情報が１以上であれば、状態遷移抽出部は、文ＤＢから同一の文ＩＤで同一の階層情報を持つ行の節（第３の実体）を探索する（Ｓ１１０３）。次に状態遷移抽出部は、第２の実体と第３の実体が時間条件語で接続されるか判定する（ステップＳ１１０４）。具体的には、第２の実体の行に属する「方向」と、第２の実体の節ＩＤと第３の実体の節ＩＤの先後関係とで判断する（ステップＳ１１０４）。第２の実体の行に属する「方向」が、「右」であり、かつ第３の実体の節ＩＤが第２の実体の節ＩＤの後であるとき、第２の実体の節ＩＤをポイント先として接続されると判断し、第３の実体を取得する（ステップＳ１１０５）。第２の実体の行に属する「方向」が、「左」であり、かつ第３の実体の節ＩＤが第２の実体の節ＩＤの前であるとき、第２の実体の節ＩＤをポイント先として接続されると判断し、第３の実体を取得する（ステップＳ１１０６）。これら以外のときはそのまま終了する。
【００３８】
図１２は時間条件語と、時間条件方向を組みにしたデータベースであるＴＣ辞書１２００の一例を示したものである。例えば、時間条件語１２０２毎に時間の経過方向や、条件の成立による関係を示す時間条件方向１２０１を記録する。時間条件語１２０２が“Ａｆｔｅｒ（文頭）”である行１２０３に着目すると、時間条件方向は「右」となっている。文頭に時間条件語“Ａｆｔｅｒ”がある節は、右側の節、即ちその節に続く節との間に関係を有していることを示す。一方で、時間条件語１２０２が“ａｆｔｅｒ”である行１２０４に着目すると、時間条件方向は「左」となっている。afterがある節は、左側の節、即ちその節の前の節との関係を有していることを示す。
【００３９】
図１３は文ＤＢ１１１の内容を表す例である。文ＤＢ１３００は、構成要素として節ＩＤ１３０１、時間条件語１３０２、文頭フラグ１３０３、節の実体１３０４及び方向１３０５を有する。
行１３０６に着目すると、節ＩＤ１３０１として、“ＡＡＡ．１”が記録されている。ここから行１３０６の節は、文ＩＤが“ＡＡＡ”である文の一部であることが分かる。時間条件語１３０２には、“Ａｆｔｅｒ”が記録されている。そして、方向１３０５には右と記録され、文頭フラグ１３０３には１が記録されている。これらのことから、行１３０６の節は、文頭に時間条件語“Ａｆｔｅｒ”が存在し、右側の節、即ち節ＩＤが“ＡＡＡ．１”の節に続く節との間に関係を有している節であることが分かる。節の実体１３０４には「After the CEC and SC request complete successfully」が記録されている。
【００４０】
行１３０７に着目すると、時間条件語１３０２“ａｆｔｅｒ”が記録されている。そして、方向１３０５には左と記録され、文頭フラグ１３０３には０が記録されている。これらのことから、行１３０７の節は、文頭ではない時間条件語“ａｆｔｅｒ”が存在し、左側の節、即ち節ＩＤが“ＢＢＢ．２”の節の前の“ＢＢＢ．１”の節との間に関係を有している節であることが分かる。節の実体１３０４には「after the CEC request complete successfully」が記録されている。
【００４１】
図１４は状態遷移データの例である。状態遷移データ１４００には、節ＩＤ１４０１、節の実体１４０２、ポイント先の節ＩＤ１４０３、時間条件語１４０４が記録されている。ポイント先節ＩＤ１４０３は、今の節がどの節の実体に遷移するか遷移先を示したものである。時間条件語１４０４には、遷移に関係する時間条件語を保存する。
行１４０５の節に着目すると、節ＩＤ１４０１は“ＡＡＡ．１”を記録する。節の実体１４０２には「After the CEC and SC request complete successfully」が記録されている。時間条件語１４０４には、時間条件語“Ａｆｔｅｒ”が記録されている。ポイント先節ＩＤ１４０３には、節の実体が“ＡＡＡ．２”の節の実体に遷移することを示している。
【００４２】
行１４０６の節に着目すると、節ＩＤ１４０１は“ＢＢＢ．２”を記録する。節の実体１４０２には「after the CEC request complete successfully」が記録されている。時間条件語１４０４には、時間条件語“ａｆｔｅｒ”が記録されている。ポイント先節ＩＤ１４０３には、節の実体が“ＢＢＢ．１”の節の実体に遷移することを示している。時間条件語“ａｆｔｅｒ”は“ＢＢＢ．１”の節の実体への遷移に影響する。
【００４３】
図１５は本願発明における実施に際し、表示される実行結果のイメージ図である。出力イメージ１５００は、式１の状態遷移を視覚化したものである。オブジェクト１５０１は式１の節８０２の実体である。オブジェクト１５０２は、式１の節８０３の実体である。方向１５０３はオブジェクト１５０１とオブジェクト１５０２との遷移の関係を示す。
【００４４】
このように、本発明の第一の実施の形態について、式１の文８０１の遷移関係を表示するまでを説明したが、この開示の一部をなす論述及び図面は本発明を限定するものではない。
【符号の説明】
【００４５】
１００  設計支援装置
１０１  構造データ生成部
１０２  時間・情報抽出部
１０３  時間条件抽出部
１０４  状態遷移抽出部
１１０  ＴＣ辞書
１１１  文ＤＢ
１１２  状態遷移ＩＤ対応データ
１２０  文章ＤＢ
１２００  ＴＣ辞書
１３００  文ＤＢ構成
１４００  状態遷移データ例
１５００  実行結果イメージ
【図１】
2015028701.tif 000005
【図２】
2015028701.tif 000006
【図３】
2015028701.tif 000007
【図４】
2015028701.tif 000008
【図５】
2015028701.tif 000009
【図６】
2015028701.tif 000010
【図７】
2015028701.tif 000011
【図８】
2015028701.tif 000012
【図９】
2015028701.tif 000013
【図１０】
2015028701.tif 000014
【図１１】
2015028701.tif 000015
【図１２】
2015028701.tif 000016
【図１３】
2015028701.tif 000017
【図１４】
2015028701.tif 000018
【図１５】
2015028701.tif 000019