(57)【要約】【課題】信号送受を行う各々のプログラムのもつ状態遷移に基づき、信号送受信の順序や仕様誤り等を検出し、入力された通信サービス動作仕様からサービスソフトウェアを効果的に生成する。【解決手段】仕様検証手段１３０は、通信サービスの動作仕様として、入力された送受信信号に対し、各々のもつ状態遷移情報に基づき、インタラクティブ等に状態遷移をシミュレートして、入力された送受信信号の正常性を検証する手段を備える。仕様入力手段１１０は、通信サービスの動作仕様として選択可能な送受信信号を入力支援する手段と、該通信サービスの動作仕様として選択可能な送受信信号の入力支援を行うかどうか選択する手段と、通信サービスの動作仕様として、入力された送受信信号に対し、各々のもつ現状態を表示する手段等を備える。【選択図】　　　　図１
2004078448.tif 000002
【特許請求の範囲】
【請求項１】
通信サービスの動作仕様を図表現を用いて視覚的に入力することが可能な仕様入力手段と、入力された通信サービスの動作仕様を検証する仕様検証手段と、入力された通信サービスの動作仕様を通信サービスソフトウェアに変換する仕様変換手段を有するプログラム自動生成装置において、
仕様検証手段は、通信サービスの動作仕様としてあらかじめ定義された信号送受を行う各々のプロセスのもつ状態遷移情報に基づき、通信サービスの動作仕様として入力された送受信信号の状態遷移をチエックして、該入力された送受信信号の正常性を検証することを特徴とするプログラム自動生成装置。
【請求項２】
請求項１記載のプログラム自動生成装置において、仕様入力手段は、通信サービスの動作仕様としてあらかじめ定義された信号送受を行う各々のプロセスのもつ状態遷移情報に基づき、選択可能な送信信号のみを表示し、入力を支援することを特徴とするプログラム自動生成装置。
【請求項３】
請求項２記載のプログラム自動生成装置において、仕様入力手段は、入力を支援するかどうか選択することが可能であることを特徴とするプログラム自動生成装置。
【請求項４】
請求項２、３記載のプログラム自動生成装置において、仕様入力手段は、通信サービスの動作仕様として、入力された送受信信号に対し、各々のもつ現状態を表示することを特徴とするプログラム自動生成装置。
【請求項５】
請求項３記載のプログラム自動生成装置において、仕様検証手段は、入力支援が選択されない場合は、通信サービスの動作仕様として、送受信号を入力するごとに、インタラクティブに状態遷移チエックを実施し、入力支援が選択された場合は、通信サービスの動作仕様として入力された一連の送受信信号について一括して状態遷移チエックを実施することを特徴とするプログラム自動生成装置。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
本発明は、通信サービスの動作仕様を入力し通信サービスソフトウエアのプログラムを生成するプログラム自動生成装置に関し、詳しくは、通信サービス動作仕様を視覚的にフローチャートを用いて記述し、その記述内容をプログラム言語に変換するために、各々の状態遷移に基づき信号送受信の順序や仕様誤り等を検出し、プログラム作成時の手戻りを防止し、プログラムを効率的に生成するプログラム自動生成装置に関する。
【０００２】
【従来の技術】
従来のこの種のプログラム自動生成装置では、ＰＳＴＮ網（Ｐｕｂｌｉｃ　Ｓｗｉｔｈｅｄ　Ｔｅｌｅｐｈｏｎｅ　Ｎｅｔｗｏｒｋ：公衆電話交換網）を前提とした通信サービス動作仕様に基づき、メッセージシーケンス図を用いて定義し、現在呼状態に基づき、前後の呼状態を抽出するための呼状態遷移図を規定し、信号送受信の順序や仕様誤り等の検出および、検出結果の表示を実現していた。
【０００３】
【発明が解決しようとする課題】
当今、ＰＳＴＮ網だけでなく、ＩＰ網やモバイル網上での通信サービスを定義できるプログラム自動生成装置が必要になり、これに伴いオブジェクト指向言語への対応として、信号送受を行う各々のプロセスのもつ状態遷移に基づく、検証を行う必要がでてきた。また、信号送受を行う各々のプロセスのもつ現状態により、選択できる送受信信号が決まるが、従来のプログラム自動生成装置では現状態の表示や選択可能な送受信信号のみを表示する機能はなかった。
【０００４】
本発明の目的は、信号送受を行う各々のプロセスのもつ状態遷移に基づき、信号送受信の順序や仕様誤り等を検出し、プログラム作成時の手戻りを防止し、通信サービスプログラムを効率的に生成するプログラム自動生成装置を提供することにある。
【０００５】
【課題を解決するための手段】
本発明は、通信サービスの動作仕様を図表現を用いて視覚的に入力することが可能な仕様入力手段、入力された通信サービスの動作仕様を検証する仕様検証手段、入力された通信サービスの動作仕様をサービスソフトウェアに変換する仕様変換手段を有するプログラム自動生成装置において、仕様検証手段は、通信サービスの動作仕様として、入力された送受信信号に対し、各々のもつ状態遷移情報に基づき、インタラクティブ等に状態遷移をシミュレートして、入力された送受信信号の正常性を検証する手段を備え、仕様入力手段は、通信サービスの動作仕様として選択可能な送受信信号を入力支援する手段と、該通信サービスの動作仕様として選択可能な送受信信号の入力支援を行うかどうか選択する手段と、通信サービスの動作仕様として、入力された送受信信号に対し、各々のもつ現状態を表示する手段等を備えることを特徴とする。
【０００６】
【発明の実施の形態】
以下、本発明の実施例を図面により詳細に説明する。
図１は、本発明のプログラム自動生成装置の一実施例を示す機能ブロック図である。図１において、本プログラム自動生成装置１００は、本発明に係る構成として、対話形式でユーザからの通信サービス動作仕様１０の入力を受け付ける仕様入力手段１１０、入力された通信サービス動作仕様１０を通信サービスソフトウエア（ソースプログラム）２０に変換する仕様変換手段１２０、入力及び変換時パラメータチェックや状態遷移情報に基づき、状態遷移検証等、サービス仕様の検証を行う仕様検証手段１３０を有する。なお、プログラム自動生成装置１００は、入力されたサービス仕様の途中履歴や検証結果の状態履歴等を保持する作業記憶手段（ワークメモリ）等も具備するが、図１では省略してある。
【０００７】
図２は、仕様検証手段１３０の構成例を示している。仕様検証手段１３０は、入力された通信サービス動作仕様１０を検証するロジックである検証制御部１３１と、該検証制御部１３１がサービス仕様を検証するために利用する送受信信号への設定パラメータや状態遷移情報等が定義されている検証情報知識ベース１３２からなる。後述するように、検証情報知識ベース１３２は仕様入力手段１１０からも利用可能である。
【０００８】
図３は、仕様入力手段１１０の構成例を示している。ここで、入力要素選択部１１１は、ユーザが通信サービス動作仕様の作成に利用するクラス選択やメソッド選択等のための入力要素選択画面を実現する。入力支援部１１２は検証情報知識ベース１３２に定義された状態遷移情報に基づき、選択可能な送受信信号を抽出し、一覧表示して、ユーザの通信サービス動作仕様の入力支援を実現する。検証表示部１１３は、通信サービス仕様検証の結果表示、および各々クラスのもつ現状態等の表示を実現する。
【０００９】
図４は、通信サービスソフトウェア２０の構成例、および各々の状態遷移情報をメッセージシーケンスを用いて示したものである。この例では、ＯｐｅｎＡＰＩ（Ａｐｐｌｉｃａｔｉｏｎ　Ｐｒｏｇｒａｍｍｉｎｇ　Ｉｎｔｅｒｆａｃｅ）の一つであるＰａｒｌａｙＡＰＩ（ｈｔｔｐ：／／ｗｗｗ．ｐａｒｌａｙ．ｏｒｇ）に基づく、送受信信号（メソッド）を選択した場合を示している。２１１は制御ロジックであり、通信サービスの動作仕様に基づき、通信サービスを実現するためのクラス群である。２１２はＰａｒｌａｙ　ＡＰＩで規定されているＰａｒｌａｙサービスクラスであり、制御ロジック２１１はこれらのクラスのもつ送受信メソッドを選択し、利用する。２１３は制御ロジック２１１の状態遷移を示す。この例の場合、４つの状態を保有している。２１４は仕様書に規定されているＰａｒｌａｙサービスクラス２１２の状態遷移である。２１５は仕様書に規定されているＰａｒｌａｙサービスクラス２１２の送受信メソッドであり、Ｐａｒｌａｙ　ＡＰＩと呼ばれている。
【００１０】
図５、図６は本プログラム自動生成装置１００の一連の処理動作例を示している。以下では、図４の通信サービスソフトウェアを例に処理の流れを説明する。
【００１１】
プログラム自動生成装置１００の立上げを行うと（Ｓ１）、サービス仕様作業画面が表示される。ユーザは、画面上の入力支援ボタンやキーボード上のキー操作等により、入力支援を行うかどうか選択する（Ｓ２）。
【００１２】
ユーザが入力支援を選択しなかった場合、入力要素選択部１１１は通常通りクラス選択、メソット選択画面を表示する。図７はＰａｒｌａｙ　ＡＰＩ選択時のクラス選択、メソット選択画面例である。ユーザは、まず、所定送受信信号の該当Ｐａｒｌａｙサービスクラス（例えば、ＩｐＣａｌｌ）を選択する（Ｓ３）。次に、ユーザは、該Ｐａｒｌａｙサービスクラスにおける送受信メソッド（例えば、ｒｏｕｔｅ　Ｒｅｑ）を選択し、表示されたパラメータ設定画面によりパラメータ値を設定する（Ｓ４）。図８にパラメータ設定画面例（ｒｏｕｔｅ　Ｒｅｇの場合）、図９にその時点の入力画面例を示す。
【００１３】
検証制御部１３１は、選択されたＰａｒｌａｙサービスクラスにおける送受信メソッドに対し、検証情報知識ベース１３２の検証情報に基づき、制御ロジックの状態遷移チエツクやＰａｒｌｅｙサービスクラスの状態遷移チエツク、設定パラメータの形式チエック等を行い、選択された送受信メソッドを検証する（Ｓ５）。図１０は、Ｐａｒｌａｙ　ＡＰＩで規定されている状態遷移に基づいた検証情報（ＩＰＣａｌｌ）の一例である。例えば、ＰａｒｌａｙサービスクラスとしてＩＰＣａｌｌが選択され、ｒｏｕｔｅ　Ｒｅｑの送信メソッド（送信信号）が選択された場合、それまでの状態遷移履歴から現状態が例えばｓｔａｒｔだったならば、図１０より、ｒｏｕｔｅ　Ｒｅｑの選択は誤りと検証される。検証表示部１１３は、検証結果および各々のクラスのもつ現状態の表示を行う（Ｓ６）。
【００１４】
以下、ユーザが終了を選択するまで、ステップＳ３〜Ｓ６を繰り返し、通信サービスの動作仕様入力、検証がインタライティブに行われる。そして、ユーザが終了を選択した場合（Ｓ７）、入力された通信サービスの動作仕様について、仕様変換手段１２０がサービスソフトウエアの生成を実行する（Ｓ８）。
【００１５】
一方、ステップＳ２でユーザが入力支援を選択した場合には、先の入力支援を選択しなかった場合と同様に、ユーザは、まず、クラス選択、メソッド選択画面から所定送受信信号の該当Ｐａｒｌａｙサービスクラス（例えば、Ｉｐ　Ｃａｌｌ）を選択するが（Ｓ１１）、次に、入力支援部１１２が、検証情報知識ベース１３２を参照して、選択されたＰａｒｌａｙサービスクラスにおける検証情報の現状態から、前後状態を抽出し、選択可能な送受信メソッド一覧を表示する（Ｓ１２）。すなわち、クラス選択、メソッド選択画面での選択可能なメソッドが現状態により、制限されて表示される。これにより、ユーザが間違ったメソッドを選択するのを防止できる。例えば、図７を例に説明すると、Ｉｐ　Ｃａｌｌの場合、図１０より、現状態がＮｏ　Ｐａｒｔｉｅｓでは、Ｉｐ　ＣａｌｌクラスのメソッドはｒｏｕｔＲｅｑとｇｅｔＣａｌｌ　ＩｎｆｏｒＲｅｑのみ表示される。ユーザは、選択可能な送受信メソッド一覧から該当メソッド（例えば、ｒｏｕｔＲｅｑ）を選択し、表示されたパラメータ設定画面（図８）によりパラメータ値を設定する（Ｓ１３）。
【００１６】
以下、ユーザが終了を選択するまで、ステップＳ１１〜Ｓ１３を繰り返し、通信サービス動作仕様の入力を行う。そして、ユーザが終了を選択した場合（Ｓ１４）、検証制御部１３１が、検証情報知識ベース１３２の検証情報に基づき、入力された通信サービス動作仕様について、制御ロジックの状態遷移チエックや設定パラメータの形式チエック等をまとめて実施し（Ｓ１５）、検証表示部１１３にて検証結果およば各々のクラスの状態表示を行う（Ｓ１６）。その後、仕様変換手段１２０が、この入力された通信サービス動作仕様について、サービスソフトウェアの生成を行うことになる（Ｓ８）。
【００１７】
なお、図１で示した装置における各部の一部もしくは全部の処理機能をコンピュータのプログラムで構成し、そのプログラムをコンピュータを用いて実行して本発明を実現することができること、あるいは、図５、図６で示した処理手順をコンピュータのプログラムで構成し、そのプログラムをコンピュータに実行させることができることは言うまでもない。また、コンピュータでその処理機能を実現するためのプログラム、あるいは、コンピュータにその処理手順を実行させるためのプログラムを、そのコンピュータが読み取り可能な記録媒体、例えば、ＦＤやＭＯ、ＲＯＭ、メモリカード、ＣＤ、ＤＶＤ、リムーバブルディスクなどに記録して、保存したり、提供したりすることができるとともに、インターネット等のネットワークを通してそのプログラムを配布したりすることが可能である。
【００１８】
【発明の効果】
本発明によれば、信号送受を行う各々のプロセスのもつ状態遷移に基づき、信号送受信の順序や仕様誤り等を検出し、プログラム作成時の手戻りを防止し、入力された通信サービス動作仕様から通信サービスソフトウェアを効率的に生成するプログラム自動生成装置を提供することが可能になる。
【図面の簡単な説明】
【図１】本発明のプログラム自動生成装置の一実施例を示す機能ブロック図である。
【図２】図１中の仕様検証手段の構成例を示す図である。
【図３】図１中の仕様入力手段の構成例を示す図である。
【図４】本発明で対象とする通信サービスソフトウェアの構成例を示す図である。
【図５】本発明のプログラム自動生成装置の処理フロー例を示す図である。
【図６】同じく本発明のプログラム自動生成装置の処理フロー例を示す図である。
【図７】クラス選択、メソッド選択画面例を示す図である。
【図８】パラメータ設定画面例を示す図である。
【図９】入力画面例を示す図である。
【図１０】検証情報知識ベースの検証情報例を示す図である。
【符号の説明】
１０　　通信サービス動作仕様
２０　　通信サービスソフトウェア
１００　　プログラム自動生成装置
１１０　　仕様入力手段
１１１　　入力要素選択部
１１２　　入力支援部
１１３　　検証表示部
１２０　　仕様変換手段
１３０　　仕様検証手段
１３１　　検証制御部
１３２　　検証情報知識ベース
【図１】
2004078448.tif 000003
【図２】
2004078448.tif 000004
【図３】
2004078448.tif 000005
【図４】
2004078448.tif 000006
【図５】
2004078448.tif 000007
【図６】
2004078448.tif 000008
【図７】
2004078448.tif 000009
【図８】
2004078448.tif 000010
【図９】
2004078448.tif 000011
【図１０】
2004078448.tif 000012