JP2008134938A - プログラム変換装置及びプログラム - Google Patents

Abstract

【課題】プラットフォームに依存しないシステム設計情報から、特定のプラットフォームに依存するシステム設計情報に変換する。
【解決手段】情報変換装置１は、プラットフォームに依存しない図式の変換前システム設計情報２７を記憶する変換前記憶手段１７と、プラットフォーム無依存情報と特定プラットフォーム依存情報との対応関係を含む図式の変換プロファイル３５を記憶する変換プロファイル記憶手段１９と、図式の変換前システム設計情報２７を計算機言語式の変換前システム設計情報に変換し、図式の変換プロファイル３５を計算機言語式の変換プロファイルに変換する図式・言語変換手段７と、計算機言語式の変換プロファイルに基づいて、計算機言語式の変換前システム設計情報を、特定プラットフォーム依存の計算機言語式の変換後システム設計情報に変換する変換処理手段１４と、計算機言語式の変換後システム設計情報を記憶する変換後記憶手段を具備する。
【選択図】図１

Description

本発明は、プラットフォームに依存しない情報を、特定のフラットフォームに依存する情報に変換する情報変換装置及びプログラムに関する。

ＭＤＡ（Model Driven Architecture）は、ＯＭＧ（Object Management Group）が推進しているシステムの開発手法である。ＭＤＡの概念で、プラットフォームの違いに左右されない設計はＰＩＭ（Platform-Independent Model）と呼ばれる。ＰＩＭでは、ビジネスをどのようにサポートするかの視点からシステムがモデリングされる。

ＰＩＭから変換してプラットフォームに特化・最適化された設計はＰＳＭ（Platform-Specific Model）と呼ばれる。

図２５は、一般的なＰＩＭからＰＳＭへの変換機構の一例を示すブロック図である。

一般的に、ＰＩＭからＰＳＭへの変換では、市販又は自作のツールが利用される。自作のツールは、モデルコンパイラと呼ばれる。変換ルールセットにしたがってＰＩＭからＰＳＭへの変換が変換ツールによって実行され、ＰＩＭからＰＳＭが生成される。

ＰＩＭからＰＳＭへ変換するためには、ＰＩＭが指定された設計規約に準拠して作成されている必要がある。また、変換されたＰＳＭは、対象としている設計規約を満たしている必要がある。

図２６は、ＰＩＭ及びＰＳＭの一般的な検証機構の一例を示すブロック図である。

ＰＩＭ及びＰＳＭの検証では、ツールの検証ツールが、検証ルールセットにしたがって、ＰＩＭ及びＰＳＭの中から、設計規約に準拠していない設計情報を検出し、誤った設計箇所を表示する。

上記図２５及び図２６の変換及び検証においては、特定の設計情報にあわせた変換ルールセット及び検証ルールセットを用意する必要がある。

このように、ＭＤＡという開発プロセスを導入することによって、以下の観点において種々の効果が期待される。例えば、「ソフトウェアの生産性」という観点では、特定のプラットフォームに依存しないシステムのモデリングや対象のソフトウェアのソースコードを自動的に生成することができる。

また、「ソフトウェアの品質」という観点では、ＭＤＡという開発プロセスの中で使用されるモデルコンパイラ（上記ＰＩＭからＰＳＭに変換するためのコンパイラ）の中に備わっている検証機能により、設計情報のミスを確認することができ、人手によるコーディング結果に含まれる誤りコーディングがなくなる。

また、「技術者の分業化」という観点では、技術者の作業を「システムのモデリング作業」、「ＰＩＭからＰＳＭへの変換ルールを作成する作業」、「ＰＳＭから対象のソフトウェアのソースコードをコーディングする作業」というように分業することができる。

また、「再利用」という観点では、モデリングした業務モデルや特定のプラットフォームを記述した変換ルールを用いて他のシステムモデリングなどに再利用することができる。

図式によるプログラム編集については、例えば、特許文献１（特開平０５−１１９９６号公報）、特許文献２（特開平０８−５５０１９号公報）に記載されている。
特開平０５−１１９９６号公報 特開平０８−５５０１９号公報

従来のＰＩＭ及びＰＳＭに関する検証ルール及び変換ルールの開発では、検証ルールの仕様及び変換ルールの仕様が文書形式で定義され、ルール開発者によるハンドコーディングが行われる。このため、ルールのバリエーションを増やす場合に、現状の把握などが必要であり、労力及び時間がかかり、コストが大きくなる。

また、機能改善、不具合による検証ルール又は変換ルールの変更が必要な場合、仕様書又はソースの修正などの変更のために労力及び時間がかかり、コストが大きくなる。

変換ルールの開発では、変換前の設計情報の把握、及び変換後の設計情報の把握が困難であり、開発者は柔軟なルール開発を行うことが困難である。

本発明は、以上のような実情に鑑みてなされたもので、プラットフォームに依存しない変換前システム設計情報から、特定のプラットフォームに依存する計算機言語式の変換後システム設計情報に変換する機構の開発労力及び開発時間を削減し、開発コストを軽減する情報変換装置及びプログラムを提供することを目的とする。

上記課題は、プラットフォームに依存しない図式の変換前システム設計情報を記憶する変換前情報記憶手段と、プラットフォームに依存しないシステム設計情報と、特定のプラットフォームに依存するシステム設計情報との対応関係を含む変換ルールを示す図式の変換プロファイルを記憶する変換プロファイル記憶手段と、変換前情報記憶手段に記憶されている図式の変換前システム設計情報を計算機言語式の変換前システム設計情報に変換し、変換プロファイル記憶手段に記憶されている図式の変換プロファイルを計算機言語式の変換プロファイルに変換する図式・言語変換手段と、計算機言語式の変換プロファイルに基づいて、計算機言語式のシステム設計情報を、特定のプラットフォームに依存する計算機言語式の変換後システム設計情報に変換する変換処理手段と、計算機言語式の変換後システム設計情報を記憶する変換後情報記憶手段とを具備する情報変換装置により、解決される。

なお、上記の態様は、装置として表現されている。しかしながら、これに限らず、上記の態様は、方法、プログラム、コンピュータ読み取り可能な記録媒体などで表現されるとしてもよい。

本発明により、プラットフォームに依存しない変換前システム設計情報から、特定のプラットフォームに依存する計算機言語式の変換後システム設計情報に変換する機構の開発労力及び開発時間を削減し、開発コストを軽減することができる。

以下、図面を参照しながら本発明の実施の形態について説明する。なお、以下の各図において略同一の部分については同一の符号を付して説明を省略する。

（第１の実施の形態）
本実施の形態においては、変換前システム設計情報に加えて、変換ルール及び検証ルールについても図式（プロファイル）で定義可能な情報変換装置について説明する。

図１は、本実施の形態に係る情報変換装置の構成の一例を示すブロック図である。

情報変換装置１は、モデルコンパイラ２、モデリング部３、作成部４、プロファイル処理機構５を具備する。

モデルコンパイラ２、モデリング部３、作成部４、プロファイル処理機構５は、記録媒体に記録されているプログラムが計算機によって読み出され、計算機のプロセッサがプログラムにしたがって動作することにより実現されるとしてもよい。

情報変換装置１は、複数の計算機が互いに連携して実現されるとしてもよい。例えば、情報変換装置１は、モデルコンパイラ２及びプロファイル処理機構５として機能する計算機、モデリング部３として機能する計算機、作成部４として機能する計算機が、ネットワークにより接続されて構成されるとしてもよい。

さらに、プロファイル処理機構５は、定義部６、図式・言語変換部７と言語・図式変換部８とを含む形式変換部９、検証解析部１０及び変換解析部１１を含む解析部１２、検証処理部１３及び変換処理部１４を含む処理部１５、エラー検出部１６を具備する。

情報変換装置１は、変換前情報記憶装置１７、検証プロファイル記憶装置１８、変換プロファイル記憶装置１９、検証ライブラリ記憶装置２０、変換ライブラリ記憶装置２１、検証ライブラリマップ記憶装置２２、変換ライブラリマップ記憶装置２３、変換後情報記憶装置２４、エラー記憶装置２５を具備する。

なお、本実施の形態において、モデルコンパイラ２とプロファイル処理機構５との間でのデータのやり取りは、記憶装置への書き込みと読み出しとにより行われるとしてもよい。また、形式変換部９、解析部１２、処理部１５、エラー検出部１６の間でのデータのやり取りについても、記憶装置への書き込みと読み出しとにより行われるとしてもよい。

本実施の形態において、モデルコンパイラ２は、プロファイル処理機構５と連携して動作する。

モデリング部３は、図式によるＰＩＭ作成ツールであり、ＰＩＭ作成ユーザ２６によって作成された図式のシステム設計情報である図式ＰＩＭ２７を変換前情報記憶装置１７に記憶する。

ここで、システム設計情報は、オブジェクトの内容、データ構造の内容、プログラムの内容などを特定する各種の設計情報を含む。

作成部４は、検証処理部１３の検証処理で用いられる検証プログラムを含む検証ライブラリ２８、及び、変換処理部１４の変換処理で用いられる変換プログラムを含む変換ライブラリ２９の作成ツールであり、プログラム作成ユーザ３０によって作成された検証ライブラリ２８を検証ライブラリ記憶装置２０に記憶し、変換ライブラリ２９を変換ライブラリ記憶装置２１に記憶する。

検証ライブラリ２８及び変換ライブラリ２９は、例えば、ＸＳＬＴ（XML Stylesheet Language Transformations）などで書かれたＸＭＬ（Extensible Markup Language）データを処理するための実行プログラムを含むとする。検証ライブラリ２８の検証プログラムは、検証ルールにそって作成されている。変換ライブラリ２９の変換プログラムは、変換ルールにそって作成されている。

検証ライブラリ２８は、入力された言語式ＰＩＭ及び言語式ＰＳＭの検証を行う検証プログラムを含み、変換ライブラリ２９は、入力された言語式ＰＩＭを、言語式ＰＳＭに変換するための変換プログラムを含む。

作成部４は、プロファイル処理機構５の検証処理部１３から呼び出される検証ライブラリ２８の検証プログラム間の依存関係や、検証対象となる設計情報などを保持する検証ライブラリマップ３１の作成ツールとして機能し、プログラム作成ユーザ３０によって作成された検証ライブラリマップ３１を検証ライブラリマップ記憶装置２２に記憶する。

さらに、作成部４は、プロファイル処理機構５の変換処理部１４から呼び出される変換ライブラリ２９の変換プログラム間の依存関係や、変換対象となる設計情報などを保持する変換ライブラリマップ３２の作成ツールとして機能し、プログラム作成ユーザ３０によって作成された変換ライブラリマップ３２を変換ライブラリマップ記憶装置２３に記憶する。

プロファイル処理機構５は、入力した検証プロファイル３３及び変換プロファイル３５を解析し、検証・変換を行う。

プロファイル処理機構５の定義部８は、ＰＩＭ及びＰＳＭの記述において満たされるべき条件を含む設計ルール・設計規約を示す図式の検証プロファイル３３の定義ツールであり、プロファイル定義ユーザ３４によって定義された図式の検証プロファイル３３を検証プロファイル記憶装置１８に記憶する。

さらに、定義部８は、プラットフォームに依存しないＰＩＭと特定のプラットフォームに特化したＰＳＭとの対応関係を含む変換ルール・変換仕様を示す図式の変換プロファイル３５の定義ツールであり、プロファイル定義ユーザ３４によって定義された図式の変換プロファイル３５を変換プロファイル記憶装置１９に記憶する。

形式変換部９の図式・言語変換部７は、図式ＰＩＭ２７、図式で描かれた検証プロファイル３３、図式で描かれた変換プロファイル３５を、例えばＸＭＬデータなどの計算機言語で記述された言語式ＰＩＭ、言語式検証プロファイル、言語式変換プロファイルに変換する。

形式変換部９の言語・図式変換部８は、変換処理部１４によって得られた言語式ＰＳＭを、図式で描かれた図式ＰＳＭ３６に変換する。

形式変換部９としては、例えば、ＵＭＬ（Unified Modeling Language）エディタなどを用いることができる。この場合、形式変換部９は、ＵＭＬダイアグラムからＸＭＬへの変換、及び、ＸＭＬからＵＭＬダイアグラムへの変換を行う。

解析部２８の検証解析部１０及び変換解析部１１は、それぞれ入力された言語式検証プロファイル及び言語式変換プロファイルを解析する。

検証処理部１３は、解析部２８による解析によって得られた解析結果データを受け取り、検証ライブラリ２８に対する呼び出しを行い、検証ライブラリマップ３１を参照し、検証ライブラリマップ３１の内容にそって呼び出された検証プログラムを実行する。

変換処理部１４は、解析部２８による解析によって得られた解析結果データを受け取り、変換ライブラリ２９に対する呼び出しを行い、変換ライブラリマップ３２を参照し、変換ライブラリマップ３２の内容にそって呼び出された変換プログラムを実行する。

エラー検出部１６は、検証解析部１０及び変換解析部１１、検証処理部１３、変換処理部１４においてエラーが検出されている場合に、エラー検出結果データ３７を作成する。

モデルコンパイラ２は、変換前情報記憶装置１７に記憶されている図式ＰＩＭ２７、検証プロファイル記憶装置１８に記憶されている検証プロファイル３３、変換プロファイル記憶装置１９に記憶されている変換プロファイル３５を入力し、変換後情報記憶装置２４に図式ＰＳＭ３６を記憶し、エラー記憶装置２５にエラー検出結果データ３７を記憶する。

すなわち、モデルコンパイラ２は、プロファイル処理機構５と連携動作し、形式変換部９によって得られた言語式検証プロファイル及び言語式変換プロファイルの内容にしたがって、図式ＰＩＭ２７から図式ＰＳＭ３６への変換を行い、図式ＰＳＭ３６を変換後情報記憶装置２４に記憶し、エラーが検出された場合にはエラー検出部１６によって作成されたエラー検出結果データ３７をエラー記憶装置２５に記憶する。

図２は、図式・言語変換部７による検証プロファイル３３から言語式検証プロファイルへの変換の一例を示す図である。

この図２の例では、図式で定義された設計規約である検証プロファイル３３が、ＸＭＬデータで表現された言語式検証プロファイル３８に変換される。言語式検証プロファイル３８は、検証解析部１０による解析対象となる。

なお、図式・言語変換部７による変換プロファイル３５から言語式変換プロファイルへの変換も同様である。さらに、言語・図式変換部８による言語式ＰＳＭから図式ＰＳＭ３６への変換は、この図２の例の逆の変換が行われる。

図３は、プロファイル処理機構５の動作の内容と各種情報との関係との一例を示すフローチャートである。

ステップＳ１において、定義部６は、個々の設計情報の有無や関係、設計情報の持つパラメータの条件などを記述してありシステム設計規約が定義されている図式の検証プロファイル３３を受け付け、検証プロファイル記憶装置１８に記憶する。同様に、定義部６は、変換対象となる設計情報と変換後の設計情報とを対で記述しており複数の変換対象の設計情報、複数の変換後の設計情報を記述可能であり変換時に呼び出すプログラムを記述した図式の変換プロファイル３５を変換プロファイル記憶装置１９に記憶する。

ステップＳ２において、図式・言語変換部７は、図式の検証プロファイル３３、変換プロファイル３５、図式ＰＩＭ１７を、それぞれ言語式検証プロファイル、言語式変換プロファイル、言語式ＰＩＭに変換する。

ステップＳ３において、解析部１２は、言語式検証プロファイル及び言語式変換プロファイルを解析する。

ステップＳ４において、処理部１５は、解析結果に基づいて、検証ライブラリ２８、変換ライブラリ２９の呼び出し、検証ライブラリマップ３１、変換ライブラリマップ３２の参照を行い、言語式ＰＩＭに対する検証処理及び変換処理を実行する。

ステップＳ５において、エラー検出部１６は、解析部１２による解析処理、検証処理部１３の検証処理、変換処理部１４の変換処理においてエラーが検出されているか判断する。

エラーが検出された場合、ステップＳ６において、エラー検出部１６は、エラー検出結果データ３７を作成する。

エラーが検出されていない場合、ステップＳ７において、言語・図式変換部８は、処理部１５によって得られた言語式ＰＳＭを図式ＰＳＭ３６に変換する。

以下に、具体例を用いて、本実施の形態に係る情報変換装置１の構成を説明する。

図４は、検証プロファイル３３の定義の一例を示す図である。

検証プロファイル３３では、例えばクラスなどの個々の設計情報、設計情報の持つパラメータの条件・型、設計情報の関連などが、例えばＸＭＬ言語、ＸＳＬＴなどの計算機言語にしたがって図式で定義されている。

図５は、変換プロファイル３５の定義の一例を示す図である。この図５の例では、プロセス用変換定義とエンティティ用変換定義とが含まれている。

変換プロファイル３５では、変換対象のモデルと、この変換対象の設計情報に対応する変換後のモデルとが図式で定義される。変換プロファイル３５は、変換処理部１４によって変換されたモデルの検証にも利用される。

また、変換プロファイル３５では、予め変換ライブラリ２９に用意されており、変換時に呼び出され、変換に用いられるプログラム名が記述されている。

例えば、検証解析部１０は、個々の設計情報の有無や関係、設計情報の持つパラメータの条件を取得し、解析結果データを作成する。

変換解析部１１は、変換対象となる設計情報と変換後の設計情報、及び記述されている変換時に呼び出すプログラム名を取得し、解析結果データを作成する。

検証ライブラリ２８は、入力された言語式ＰＩＭの検証を行う実行プログラムを含み、変換ライブラリ２９は、入力された言語式ＰＩＭの変換を行うプログラム、及び変換処理部１４によって変換された言語式ＰＳＭの検証を行う実行プログラムを含む。

図６は、検証ライブラリマップ３１の内容の一例を示す図である。

この図６の例において、検証ライブラリマップ３１は、検証ライブラリ２８に格納されているプログラムのプログラム名、このプログラムによる検証の対象、検証プログラム（検証ルール）間の依存関係（例えば、あるプログラム実行後に他のプログラムを実行する、あるプログラムが正常終了している、など）を規定している。

検証処理部１３は、検証解析部１０の解析結果データから、言語式ＰＩＭの検証対象に対して、検証ライブラリ２８を呼び出し、検証処理を行う。検証処理部１３は、検証ライブラリ２８を呼び出す際に、検証ライブラリマップ３１を参照し、プログラム間の依存関係などから検証対象の整合をチェックする。

図７は、変換ライブラリマップ３２の内容の一例を示す図である。

この図７の例において、変換ライブラリマップ３２は、変換ライブラリ２９に格納されているプログラムのプログラム名、このプログラムによる変換の対象、変換プログラム（変換ルール）間の依存関係を規定している。

変換処理部１４は、変換解析部１１の解析結果データから、言語式ＰＩＭの変換対象に対して、変換ライブラリ２９を呼び出し、変換処理を行う。変換処理部１４は、変換プログラムの実行結果と解析結果データの変換後の設計情報との整合をチェックする。さらに、変換処理部１４は、変換ライブラリ３２を呼び出す際に、変換ライブラリマップ３２を参照し、プログラム間の依存関係などから変換対象の整合をチェックする。

図８は、エラー検出結果データ３７の第１の例を示すブロック図である。

エラー検出部１６は、例えば、検証プロファイル３３又は変換プロファイル３５に誤りが発見された場合には、プロファイルエラーを表す表示用のエラー検出結果データ３７を作成する。

図９は、エラー検出結果データ３７の第２の例を示すブロック図である。

エラー検出部１６は、例えば、ＰＩＭの設計情報に誤りが発見された場合には、設計情報エラーを表す表示用のエラー検出結果データ３７を作成する。

以上説明した本実施の形態においては、変換ルール及び検証ルールの開発が図式定義で実現され、変換ルール及び検証ルールの柔軟な開発・管理・保守を実現でき、開発・管理・保守のコストを削減できる。例えば、開発・管理・保守の担当者が変更する場合であっても円滑に作業を引き継ぐことができる。

また、本実施の形態においては、図式定義により変換ルール及び検証ルールを開発することができ、定義シートを柔軟に作成することができ、システム設計情報の生産性を向上させることができる。

また、本実施の形態においては、プロファイル定義をベースとした検証ルール、変換ルールの開発による設計情報の信頼性を向上させることができる。

本実施の形態においては、検証プロファイル３３及び変換プロファイル３５の検証のみではなく、変換後のＰＳＭについても検証が行われるため、変換後のＰＳＭが設計規約を満たしているか確認することができる。

本実施の形態においては、ルールのバリエーションを増やす場合に、現状の把握などを容易に行うことができ、現状把握の労力及び時間を削減できる。

本実施の形態においては、変換ルールの開発のために行う変換前の設計情報の把握、及び変換後の設計情報の把握が容易となり、開発者は柔軟なルール開発を行うことができる。

なお、本実施の形態において、情報変換装置１は、図式ＰＳＭ３６に代えて、言語式ＰＳＭを変換結果として記憶するとしてもよい。

（第２の実施の形態）
本実施の形態においては、上記第１の実施の形態の変形例であり、検証解析部１０及び検証処理部１３に、図式・言語変換部７の機能が組み込まれている態様の情報変換装置について説明する。

図１０は、本実施の形態に係る情報変換装置による検証処理の一例を示すフローチャートである。

ステップＴ１，Ｔ２において、作成部４は、検証ライブラリ２８と検証ライブラリマップ３１とを記憶する。

ステップＴ３において、モデルコンパイラ２は、検証プロファイル３３を読み込む。

ステップＴ４において、検証解析部３９は、検証プロファイル１２を言語式の検証プロファイルに変換し、言語式の検証プロファイルを解析する。

ステップＴ５において、検証解析部３９は、言語式の検証プロファイルのデータ構造が妥当か否か判断する。

言語式の検証プロファイルのデータ構造が妥当でない場合、処理はステップＴ１３に移る。

言語式の検証プロファイルのデータ構造が妥当である場合、ステップＴ６において、検証解析部３９は、言語式の検証プロファイルの解析結果データを作成する。

ステップＴ７において、検証解析部３９は、言語式の検証プロファイルと検証ライブラリマップ３１とに基づいて、実行する検証プログラムを列挙する。

ステップＴ８において、モデルコンパイラ２は、検証対象である図式ＰＩＭ２７を読み込む。

ステップＴ９において、検証処理部４０は、図式ＰＩＭ２７を言語式ＰＩＭに変換し、言語式ＰＩＭと言語式の検証プロファイルとのマッチングを行う。

ステップＴ１０において、検証処理部４０は、言語式ＰＩＭの中に、言語式の検証プロファイルにおいて定義されている情報に該当する設計情報があるか判断する。

言語式ＰＩＭの中に、言語式の検証プロファイルにおいて定義されている情報に該当する設計情報がない場合、処理は終了する。

言語式ＰＩＭの中に、言語式の検証プロファイルにおいて定義されている情報に該当する設計情報がある場合、ステップＴ１１において、検証処理部４０は、言語式ＰＩＭの設計情報に対して、検証プログラムを実行する。

ステップＴ１２において、検証処理部４０は、検証結果が妥当か否か判断する。

検証結果が妥当な場合、処理は、ステップＴ１０に戻る。検証結果が妥当でない場合、処理は、ステップＴ１３に移る。

ステップＴ１３において、エラー検出部１６は、ステップＴ５において妥当でないと判断された場合には、プロファイルエラー発生を表し、ステップＴ１２において妥当でないと判断された場合には、設計情報エラー発生を表すエラー検出結果データ３７を作成し、必要に応じて表示する。

図１１は、検証解析部３９の第１段階の処理内容の一例を示す図である。

検証解析部３９は、定義部６によって定義された図式の検証プロファイル３３を、言語式の検証プロファイル３８に変換し、言語式の検証プロファイル３８を解析し、各データを抽出する。例えば、検証解析部３９は、言語式の検証プロファイル３８から、モデル構成要素の関係、モデル構成要素のパラメータ、モデル構成要素のパラメータの条件を順に抽出する。

図１２は、検証解析部３９の第２段階の処理内容の一例を示す図である。

解析結果データ４１は、検証の対象、各要素との関連、パラメータとその型、パラメータ条件から構成されている。

検証解析部３９は、抽出されたデータを含む解析結果データ４１について、パラメータとパラメータ型との検証を行う。例えば、パラメータの型は整数であるが、パラメータ条件は文字列である場合など、条件を満たしていない場合には、エラー内容がエラー検出部１６に通知される。

図１３は、検証解析部３９の第３段階の処理内容の一例を示す図である。

検証解析部３９は、解析結果データ４１と検証ライブラリマップ３１とに基づいて、実行する検証プログラムを列挙し、解析結果データ４１を更新する。例えば、実行される検証プログラムは、検証ライブラリマップ３１の検証対象に基づいて列挙される。列挙された検証プログラムは、検証ライブラリマップ３１の依存関係に基づいて、優先度が決定される。

検証処理が実行される場合には、テーブルの上位の検証プログラムから実行されるため、必要であれば並び替えが行われる。

図１４及び図１５は、検証処理部３９の処理内容の一例を示す図である。

検証処理部４０は、図式ＰＩＭ１７を言語式ＰＩＭ４２に変換し、言語式ＰＩＭ４２から検証プロファイル３３の解析結果データ４１に記述されている検証対象となる設計情報を抽出し、抽出された設計情報の全てに対して、解析結果データ４１において対応付けられている検証プログラムを実行し、パラメータ条件を満たしているか検証する。検証処理部４０は、設計情報がパラメータ条件を満たしていない場合、エラー内容をエラー検出部１６に通知する。

図１６は、プロファイルエラーを表すエラー検出結果データ３７の一例を示す図である。

エラー検出部１６は、検証解析部３９から通知された検証プロファイルエラーを表す表示用のエラー検出結果データ３７を作成し、表示する。プロファイルエラーとしては、例えば、パラメータの型とパラメータの条件とが一致していない場合（パラメータ「dependency_num」はint型であるが、パラメータ条件はString型で定義されている場合）がある。

図１７は、設計情報エラーを表すエラー検出結果データ３７の一例を示す図である。

エラー検出部１６は、検証処理部４０から通知された言語式ＰＩＭ４２の設計情報エラーを表す表示用のエラー検出結果データ３７を作成し、表示する。設計情報エラーとしては、例えば、設計情報がパラメータ条件を満たさない場合（操作「Operation」を定義できないのに言語式ＰＩＭ４２中で定義されている場合、依存線「Dependency」のクライアントにはprocessクラスを定義できないのに言語式ＰＩＭ４２中で定義されている場合）がある。

（第３の実施の形態）
本実施の形態においては、上記第１又は第２の実施の形態の変形例であり、変換解析部１１及び変換処理部１４に、図式・言語変換部７の機能が組み込まれている態様の情報変換装置について説明する。

図１８は、本実施の形態に係る情報変換装置による変換処理の一例を示すフローチャートである。

ステップＵ１，Ｕ２において、作成部４は、変換ライブラリ２９と変換ライブラリマップ３２とを記憶する。

ステップＵ３において、モデルコンパイラ２は、変換プロファイル３５を読み込む。

ステップＵ４において、変換解析部４３は、変換プロファイル３５を言語式の変換プロファイルに変換し、言語式の変換プロファイルを解析する。

ステップＵ５において、変換解析部４３は、言語式の変換プロファイルのデータ構造が妥当か否か判断する。

言語式の変換プロファイルのデータ構造が妥当でない場合、処理はステップＵ１５に移る。

言語式の変換プロファイルのデータ構造が妥当である場合、ステップＵ６において、変換解析部４３は、言語式の変換プロファイルの解析結果データを作成する。

ステップＵ７において、変換解析部４３は、言語式の変換プロファイルと変換ライブラリマップ３２とから、実行する変換プログラムを列挙する。

ステップＵ８において、モデルコンパイラ２は、変換対象である図式ＰＩＭ２７を読み込む。

ステップＵ９において、変換処理部４４は、図式ＰＩＭ２７を言語式ＰＩＭに変換し、言語式ＰＩＭと言語式の変換プロファイルとのマッチングを行う。

ステップＵ１０において、変換処理部４４は、言語式ＰＩＭの中に、言語式の変換プロファイルにおいて定義されている情報に該当する設計情報があるか判断する。

言語式ＰＩＭの中に、言語式の変換プロファイルにおいて定義されている情報に該当する設計情報がない場合、処理は終了する。

言語式ＰＩＭの中に、言語式の検証プロファイルにおいて定義されている情報に該当する設計情報がある場合、ステップＵ１１において、変換処理部４４は、言語式ＰＩＭの設計情報に対して、変換プログラムを実行する。

ステップＵ１２において、変換処理部４４は、言語式ＰＳＭを作成する。

ステップＵ１３において、変換処理部４４は、言語式ＰＳＭと言語式の変換プロファイルとの間で妥当性を検証する。

ステップＵ１４において、変換処理部４４は、変換によって得られた言語式ＰＳＭが妥当か否か判断する。

言語式ＰＳＭが妥当な場合、処理は、ステップＵ１０に戻る。言語式ＰＳＭが妥当でない場合、処理は、ステップＵ１５に移る。

ステップＵ１５において、エラー検出部１６は、ステップＵ５において妥当でないと判断された場合には、プロファイルエラーを表し、ステップＵ１４において妥当でないと判断された場合には、設計情報エラーを表すエラー検出結果データ３７を作成し、必要に応じて表示する。

図１９は、変換解析部４３の第１段階の処理内容の一例を示す図である。

変換解析部４３は、定義部６によって定義された図式の変換プロファイル３５を、言語式の変換プロファイル４５に変換し、言語式の検証プロファイル４５を解析し、各データを抽出する。例えば、変換解析部４３は、言語式の変換プロファイル４５から、変換対象モデル、変換後モデル、実行する変換プログラムを順に抽出する。

図２０は、変換解析部４３の第２段階の処理内容の一例を示す図である。

変換解析部４３は、抽出されたデータを表す解析結果データ４６に対する検証を行う。例えば、解析結果データ４６に記述されている実行する変換プログラムが変換ライブラリマップ３２中に存在するか、解析結果データ４６に記述されている実行する変換プログラムで変換対象とされるデータが変換ライブラリマップ３２と一致しているかなど、条件を満たしていない（変換における検証結果が妥当でない）場合には、エラー内容がエラー検出部１６に通知される。

解析結果データ４６では、変換対象モデル（変換前モデル）について、対象とパラメータが定義されており、変換後モデルについて、対象とパラメータが定義されており、実行する変換プログラムについて、通常の変換に用いられる変換用プログラムと変換後のデータの検証に用いられる検証用プログラムとが定義されている。

図２１は、変換解析部４３の第３段階の処理内容の一例を示す図である。

変換解析部４３は、解析結果データ４６と変換ライブラリマップ３２とに基づいて、実行する変換プログラムを列挙し、解析結果データ４６を更新する。例えば、実行される変換プログラムは、変換ライブラリマップ３２の対象に基づいて列挙される。列挙された変換プログラムは、検証ライブラリマップ３２の依存関係に基づいて、優先度が決定される。

変換処理が実行される場合には、テーブルの上位の変換プログラムから実行されるため、必要であれば並び替えを行う。

図２２及び図２３は、変換処理部４４の処理内容の一例を示す図である。

変換処理部４４は、図式ＰＩＭ１７を言語式ＰＩＭ４２に変換し、言語式ＰＩＭ４２から変換プロファイル３５の解析結果データ４６に記述されている変換対象となる設計情報、パラメータ条件を満たす設計情報を抽出し、抽出された設計情報の全てに対して、解析結果データ４６において対応付けられている変換用プログラムを実行する。

変換処理部４４は、変換用プログラムの実行後に、検証用プログラムを実行し、変換結果の妥当性（例えば、変換後の設計情報が変換プロファイルの変換後モデルと一致するかなど）の検証を行う。変換処理部４４は、変換後の設計情報が変換プロファイルのデータと一致していない場合、エラー内容をエラー検出部１６に通知する。

図２４は、変換処理において検出されるエラーを表すエラー検出結果データ３７の一例を示す図である。

エラー検出部１６は、変換処理部４４から通知された変換処理におけるエラーを表す表示用のエラー検出結果データ３７を作成し、表示する。

変換処理において検出されるエラーとしては、例えば、変換プロファイル３５に記述されている変換プログラムが変換ライブラリマップ３２中に存在しない場合、変換プロファイル３５に記述されている変換プログラムの対象となるデータが変換ライブラリマップ２９と一致していない場合、変換後の設計情報が変換プロファイル３５と一致しない場合がある。

上記各実施の形態において、各種の構成要素は自由に組み合わせ又は分離することができる。例えば各種の記憶装置１７〜２３は、任意に組み合わせることができる。例えば、モデルコンパイラ２とプロファイル処理機構５とを組み合わせてもよい。解析部１２の一部又は全部と処理部１５の一部又は全部とを組み合わせてもよい。プロファイル処理機能５から定義部６を分離させてもよい。

本発明の第１の実施の形態に係る情報変換装置の構成の一例を示すブロック図。 図式・言語変換部による検証プロファイルから言語式検証プロファイルへの変換の一例を示す図。 プロファイル処理機構の動作の内容と各種情報との関係との一例を示すフローチャート。 検証プロファイルの定義の一例を示す図。 変換プロファイルの定義の一例を示す図。 検証ライブラリマップの内容の一例を示す図。 変換ライブラリマップの内容の一例を示す図。 エラー検出結果データの第１の例を示すブロック図。 エラー検出結果データの第２の例を示すブロック図 本発明の第２の実施の形態に係る情報変換装置による検証処理の一例を示すフローチャート。 検証解析部の第１段階の処理内容の一例を示す図。 検証解析部の第２段階の処理内容の一例を示す図。 検証解析部の第３段階の処理内容の一例を示す図。 検証処理部の処理内容の第１の例を示す図。 検証処理部の処理内容の第２の例を示す図。 第２の実施の形態に係るプロファイルエラーを表すエラー検出結果データの一例を示す図。 第２の実施の形態に係る設計情報エラーを表すエラー検出結果データの一例を示す図。 本発明の第３の実施の形態に係る情報変換装置による変換処理の一例を示すフローチャート。 変換解析部の第１段階の処理内容の一例を示す図。 変換解析部の第２段階の処理内容の一例を示す図。 変換解析部の第３段階の処理内容の一例を示す図。 変換処理部の処理内容の第１の例を示す図。 変換処理部の処理内容の第２の例を示す図。 変換処理において検出されるエラーを表すエラー検出結果データの一例を示す図。 一般的なＰＩＭからＰＳＭへの変換機構の一例を示すブロック図。 ＰＩＭ及びＰＳＭの一般的な検証機構の一例を示すブロック図。

符号の説明

１…情報処理装置、２…モデルコンパイラ、３…モデリング部、４…作成部、５…プロファイル処理機構、６…定義部、７…図式・言語変換部、８…言語・図式変換部、９…形式変換部、１０，３９…検証解析部、１１，４３…変換解析部、１２…解析部、１３，４０…検証処理部、１４，４４…変換処理部、１５…処理部、１６…エラー検出部、１７…変換前情報記憶装置、１８…検証プロファイル記憶装置、１９…変換プロファイル記憶装置、２０…検証ライブラリ記憶装置、２１…変換ライブラリ記憶装置、２２…検証ライブラリマップ記憶装置、２３…変換ライブラリマップ記憶装置、２４…変換後情報記憶装置、２５…エラー記憶装置、２６…ＰＩＭ作成ユーザ、２７…図式ＰＩＭ、２８…検証ライブラリ、２９…変換ライブラリ、３０…プログラム作成ユーザ、３１…検証ライブラリマップ、３２…変換ライブラリマップ、３３…検証プロファイル、３４…プロファイル定義ユーザ、３５…変換プロファイル、３６…図式ＰＳＭ、３７…エラー検出結果データ、３８…言語式検証プロファイル、４１，４６…解析結果データ、４２…言語式ＰＩＭ、４５…言語式の変換プロファイル、４７…言語式ＰＳＭ

Claims (8)

1. プラットフォームに依存しない図式の変換前システム設計情報を記憶する変換前情報記憶手段と、
   プラットフォームに依存しないシステム設計情報と、特定のプラットフォームに依存するシステム設計情報との対応関係を含む変換ルールを示す図式の変換プロファイルを記憶する変換プロファイル記憶手段と、
   前記変換前情報記憶手段に記憶されている前記図式の変換前システム設計情報を計算機言語式の変換前システム設計情報に変換し、前記変換プロファイル記憶手段に記憶されている前記図式の変換プロファイルを計算機言語式の変換プロファイルに変換する図式・言語変換手段と、
   前記計算機言語式の変換プロファイルに基づいて、前記計算機言語式の変換前システム設計情報を、前記特定のプラットフォームに依存する計算機言語式の変換後システム設計情報に変換する変換処理手段と、
   前記計算機言語式の変換後システム設計情報を記憶する変換後情報記憶手段と
   を具備する情報変換装置。
2. 請求項１記載の情報変換装置において、
   前記計算機言語式の変換後システム設計情報を、図式の変換後システム設計情報に変換する言語・図式変換手段と、
   前記言語・図式変換手段によって得られた前記図式の変換後システム設計情報を記憶する図式変換後情報記憶手段と
   をさらに具備することを特徴とする情報変換装置。
3. 請求項１又は請求項２記載の情報変換装置において、
   前記変換処理手段で用いられる変換プログラムを持つ変換ライブラリを記憶する変換ライブラリ記憶手段と、
   前記計算機言語式の変換プロファイルを解析する変換解析手段と
   をさらに具備し、
   前記変換処理手段は、前記変換解析手段によって解析された結果に基づいて、前記計算機言語式の変換前システム設計情報に対する変換処理で用いられる変換プログラムを呼び出し、前記計算機言語式の変換前システム設計情報を、前記計算機言語式の変換後システム設計情報に変換する
   ことを特徴とする情報変換装置。
4. 請求項３記載の情報変換装置において、
   前記変換ライブラリの保持する変換プログラム間の依存関係を示す変換ライブラリマップを記憶する変換ライブラリマップ記憶手段をさらに具備し、
   前記変換処理手段は、前記変換ライブラリマップの示す依存関係にしたがって呼び出された変換プログラムに基づいて、前記計算機言語式の変換前システム設計情報を、前記計算機言語式の変換後システム設計情報に変換する
   ことを特徴とする情報変換装置。
5. 請求項１乃至請求項４のいずれか１項に記載の情報変換装置において、
   前記図式の変換前システム設計情報の記述において満たされるべき条件を含む設計ルールを示す図式の検証プロファイルを記憶する検証プロファイル記憶手段をさらに具備し、
   前記図式・言語変換手段は、前記検証プロファイル記憶手段に記憶されている前記検証プロファイルを計算機言語式の検証プロファイルに変換し、
   前記図式・言語変換手段によって得られた前記計算機言語式の検証プロファイルの示す設計ルールを、前記計算機言語式の変換前システム設計情報が満たしているか検証する検証処理手段をさらに具備する
   ことを特徴とする情報変換装置。
6. 請求項５記載の情報変換装置において、
   前記検証処理手段で用いられる検証プログラムを持つ検証ライブラリを記憶する検証ライブラリ記憶手段と、
   前記計算機言語式の検証プロファイルを解析する検証解析手段と
   をさらに具備し、
   前記検証処理手段は、前記変換解析手段によって解析された結果に基づいて、前記計算機言語式の変換前システム設計情報に対する検証処理で用いられる検証プログラムを呼び出し、この呼び出された前記検証プログラムに基づいて、前記設計ルールを、前記計算機言語式の変換前システム設計情報が満たしているか検証する
   ことを特徴とする情報変換装置。
7. 請求項６記載の情報変換装置において、
   前記検証ライブラリの保持する検証プログラム間の依存関係を示す検証ライブラリマップを記憶する検証ライブラリマップ記憶手段をさらに具備し、
   前記検証処理手段は、前記検証ライブラリマップの示す依存関係にしたがって呼び出された検証プログラムに基づいて、前記設計ルールを、前記計算機言語式の変換前システム設計情報が満たしているか検証する
   ことを特徴とする情報変換装置。
8. コンピュータを、
   第１記憶装置に記憶されているプラットフォームに依存しない図式の変換前システム設計情報、及び、第２記憶装置に記憶されておりプラットフォームに依存しない情報と特定のプラットフォームに依存する情報との対応関係を含む変換ルールを示す図式の変換プロファイルとをアクセスし、前記図式の変換前システム設計情報を計算機言語式の変換前システム設計情報に変換し、前記変換プロファイルを計算機言語式の変換プロファイルに変換する図式・言語変換手段、
   前記計算機言語式の変換プロファイルに基づいて、前記計算機言語式の変換前システム設計情報を、前記特定のプラットフォームに依存する計算機言語式の変換後システム設計情報に変換し、第３記憶装置に記憶する変換処理手段
   として機能させるためのプログラム。

Images