JPH0944358A - プログラム生成方法及びプログラム生成装置並びにオブジェクト生成方法及びオブジェクト生成装置 - Google Patents

Abstract

(57)【要約】 【目的】 本発明は、プログラム（オブジェクト）を構
成する機能（メソッド）の実行順序を踏まえた検証を可
能とすることを目的とする。 【構成】 本発明は、与えられた仕様を機能展開し、詳
細化された仕様（機能あるいはメソッド）に付随した変
換知識（設計プロセス）から個々のメソッドを生成し、
該メソッド間の機能を検証して、機能検証を追えたメソ
ッドを統合してオブジェクトを生成するものである。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、プログラム生成方
法又はプログラム生成装置に関し、特に、オブジェクト
指向モデルに基づくオブジェクトの生成に関する。

【０００２】

【従来の技術】オブジェクト指向モデルは、近年、産業
界においてもソフトウェア開発におけるソフトウェア生
産性／信頼性を飛躍的に向上させる手段として期待され
ている。オブジェクト指向モデルに基づくオブジェクト
（以下、単に「オブジェクト」という）は、対象の自然
なモデル化を可能とし、しかも計算機の世界にも自然に
写像できることが大きな特徴としてあげられている。こ
のオブジェクトの検証／生成方法として従来より様々な
方法が提案されてきている。これらの方法は次の２つの
方法に分類できる。

【０００３】(1) オブジェクトを構成するメソッド単位
での機能の検証／生成方法としての代数的仕様記述方法
や述語論理方法。ここで、「メソッド」は、手続き型言
語の世界では個々の内部手続きに相当する。以下、本出
願においては、メソッドという用語を使用する。また、
通常オブジェクトは複数のメソッドから構成される。

【０００４】(2) オブジェクトを構成するメソッドの実
行順序に対する検証／生成方法としての状態遷移系の検
証／生成方法。しかし、オブジェクト全体としての検証
（すなわち、オブジェクトを構成する複数のメソッドに
またがった機能）について、それらの実行順序も踏まえ
た検証は特にオブジェクト内のメソッドが並行に処理を
実行するような並行プログラムでは必要であるが、この
ような複数のメソッドにまたがった機能に関する検証方
法が確立していないのが現状である。この点を解決しな
い限り、正しいオブジェクトを生成したことにはならな
いのは明かである。

【０００５】

【発明が解決しようとする課題】本発明は、オブジェク
トを構成するメソッドの実行順序を踏まえた検証を可能
とすることを目的とする。本発明の骨子は、複数のメソ
ッドの機能に関する記述とそれらのメソッドの実行順次
に関する情報を統合化し、その統合化された情報を検証
することである。

【０００６】プログラムが並行に処理される場合におい
て、オブジェクト指向モデルにおけるオブジェクトに
は、そのオブジェクトの外部からランダムにメッセージ
が到着することがあり、これらのメッセージに対する処
理が正しく実施される必要があることは言うまでもな
い。１つのメッセージを処理するのはメソッドと呼ば
れ、オブジェクトは、通常、複数のメソッドから構成さ
れる。

【０００７】１つのオブジェクトを例にとる。あるオブ
ジェクトに様々なメッセージが到着すると、そのメッセ
ージの種類に応じて該当するメソッドが起動して到着し
たメッセージを処理する。

【０００８】また、オブジェクトは内部変数を有し、こ
れらの内部変数はそれぞれ値を持っている。オブジェク
トに含まれる各メソッドは、同じオブジェクトに含まれ
る内部変数を自由にアクセスする。

【０００９】オブジェクトの動作は、例えば、あるメソ
ッドがある内部変数の値を更新し、次に起動されたメソ
ッドがその同じ内部変数をさらに更新する、という手順
で、ランダムに到着するメッセージに対して行われる。
オブジェクトの検証は、このような動作が正しいかどう
かを吟味することである。この場合において、「正し
い」とは、オブジェクトの作成者や利用者が意図するオ
ブジェクトの動作イメージに合致するかどうかを意味す
る。オブジェクトの正しさを検証する際の検証対象は、 (1) 個々のメソッド (2) メソッドにまたがった振る舞い の２種類の対象がある。第１番目の検証である個々のメ
ソッドの検証とは、あるひとつのメソッドを取り上げた
場合に、そのメソッドの機能が正しいかどうかを検証を
することを意味する。第２番目の検証であるメソッドに
またがった振る舞いの検証とは、複数のメソッドが実行
される際（特に複数のメソッドが並列に実行される際）
に、共通にアクセスする内部変数の値をメソッドが互い
に持ちながら、オブジェクトの動作が正しいかどうかを
検証することを意味する。

【００１０】ここで、第１番目の検証については、従来
技術を活用することができる。しかし、第２番目の検証
については、現在までのところ有効なものは提案されて
いない。そこで、本発明は、第２番目の検証であるメソ
ッドにまたがった振る舞いの検証方法及び装置を開示す
ることを目的とする。

【００１１】

【課題を解決するための手段】本発明の構成は、オブジ
ェクト生成手段に関し、オブジェクト生成手段は更に３
つの手段に分割できる。その３つの手段とは、個別に検
証がなされた複数のメソッドを生成する手段と、メソッ
ド間の機能を検証する機能検証手段と、メソッド間の機
能検証を終えたメソッドを統合してオブジェクトを生成
する生成手段の３つである。本構成において、メソッド
の生成手段と、オブジェクトの生成手段は、関連技術を
適用できるので、本発明は、機能検証手段に特徴を有す
る。

【００１２】具体的には、請求項１に係る発明は、与え
られた所定の仕様を詳細化し、前記仕様と類似する中間
生成物及び前記中間生成物から次の中間生成物への変換
知識を検索するステップであって、前記仕様と類似する
中間生成物が見つからない場合に、前記中間生成物を最
小単位の機能まで展開するサブステップを含む第１ステ
ップと、前記第１ステップにより検索された変換知識の
設計プロセス間の整合性を判定する第２ステップと、新
たな機能の追加に対して、複数の設計プロセスを融合す
る第３ステップと、新たに生成された設計プロセスに基
づいてオブジェクトを生成するステップであって、前記
複数の設計プロセスと、前記設計プロセスの実行順序に
関する情報とを統合化するサブステップと、前記統合化
された情報を用いてプログラムを生成するサブステップ
とを含む第４ステップとからなることを特徴とするプロ
グラム生成方法である。

【００１３】また、請求項２に係る発明は、前記第４ス
テップは、前記プログラムを並行化するステップを含む
ことを特徴とする。一方、請求項３に係る発明は、上記
請求項１に係る発明を装置の観点から構成したものであ
り、与えられた所定の仕様を詳細化し、前記仕様と類似
する中間生成物及び前記中間生成物から次の中間生成物
への変換知識を検索する検索手段と、前記検索手段によ
り検索された変換知識の設計プロセス間の整合性を判断
する判定手段と、新たな機能の追加に対して、複数の設
計プロセスを融合するプロセス融合手段と、新たに生成
された設計プロセスに基づいてオブジェクトを生成する
オブジェクト生成手段とからなるプログラム生成装置で
あって、前記検索手段は、前記仕様と類似する中間生成
物が見つからない場合は、前記中間生成物を最小単位の
機能まで展開する手段を含み、前記オブジェクト生成手
段は、前記複数の設計プロセスと、前記設計プロセスの
実行順序に関する情報とを統合化する手段と、前記統合
化された情報を用いてプログラムを生成する手段とを含
むことを特徴とするプログラム生成装置である。

【００１４】また、請求項４に係る発明は、前記オブジ
ェクト生成手段は、前記プログラムを並行化する手段を
含むことを特徴とする。さらに、請求項５に係る発明
は、オブジェクト指向モデルに基づくオブジェクトを構
成する複数のメソッドから所望のオブジェクトを生成す
るオブジェクト生成方法であって、前記複数のメソッド
に関する情報と、前記複数のメソッドの実行順序に関す
る情報とを統合するステップと、前記統合化された情報
を用いて、前記メソッド間にまたがった機能の検証を行
うステップとからなることを特徴とするオブジェクト生
成方法である。

【００１５】また、請求項６に係る発明は、請求項５に
係るオブジェクト生成方法であって、前記統合ステップ
は、前記メソッドにノード変数を付加するサブステップ
と、前記ノード変数を付加されたメソッドと、前記モデ
ルの状態遷移を示す状態遷移図とに基づいて遷移情報を
作成するサブステップとを含むことを特徴とする。

【００１６】また、請求項７に係る発明は、上記請求項
５に係る発明を装置の観点から構成したものであり、す
なわち、オブジェクト指向モデルに基づくオブジェクト
を構成する複数のメソッドから所望のオブジェクトを生
成するオブジェクト生成装置であって、前記複数のメソ
ッドに関する情報と、前記複数のメソッドの実行順序に
関する情報とを統合する変換手段と、前記変換手段によ
って統合化された情報を用いて、前記メソッド間にまた
がった機能の検証を行う検証手段とを具備したことを特
徴とするオブジェクト生成装置である。

【００１７】さらに、請求項８に係る発明は、前記変換
手段は、前記メソッドにノード変数を付加するノード変
数付加手段と、前記ノード変数を付加されたメソッド
と、前記モデルの状態遷移を示す状態遷移図とに基づい
て遷移情報を作成する遷移情報作成手段とを含むことを
特徴としている。

【００１８】そして、請求項９に係る発明は、前記検証
手段は、前記検証手段で検証する機能の検証のための規
則が登録された検証規則を用いることを特徴とする。上
記のような構成により、オブジェクト全体としての検証
が可能となり、結果として正しいオブジェクトを生成す
ることができることになり、ソフトウェア生産性の向上
に大きく寄与できる。

【００１９】従って、本発明によれば、オブジェクトを
構成するメソッドの実行順序を踏まえた検証が可能にな
るので、オブジェクト全体としての検証が可能となり、
その結果として正しいオブジェクトを生成することがで
き、ソフトウェア生産性の向上に大きく寄与できる。

【００２０】

【発明の実施の形態】以下、本発明をその実施例を示す
図面に基づき詳述する。図１は、本発明の一実施例に係
る概略的な機能構成を示すブロック図である。本発明の
プログラム自動生成装置は、基本的に、機能展開部１、
類似性判定部２、設計プロセス融合部３、整合性判定部
４（設計プロセス融合部３に含まれる）、オブジェクト
生成部５を具備し、更に、設計プロセス中間生成物知識
ベース６、及び、設計プロセス変換知識ベース７を具備
する。更に、データ処理用の一時記憶部８を有する。

【００２１】機能展開部１は、所定の仕様の機能を詳細
化するために、該仕様の機能展開を行う。類似性判定部
２は、前記機能展開部１によって詳細化された前記仕様
に類似する中間生成物を検索する。

【００２２】設計プロセス融合部３は、新たな機能の追
加に対して複数の設計プロセスを融合する。整合性判定
部４は、前記設計プロセス融合部３に含まれ、前記類似
性判定部２によって判定された類似性の高い設計プロセ
ス間の整合性を判断する。

【００２３】オブジェクト生成部５は、前記設計プロセ
ス融合部によって新たに生成された設計プロセスに基づ
いて、オブジェクトを生成する。設計プロセス中間生成
物知識ベース６は、前記機能展開部１によって詳細化さ
れた前記仕様と類似する中間生成物を検索するための中
間生成物を格納する。

【００２４】設計プロセス変換知識ベース７は、前記仕
様の詳細化を行うための変換知識、前記中間生成物の変
換知識及び処理を行うための最小単位の知識を格納す
る。上記の構成により、オブジェクト指向言語で記述さ
れたオブジェクトを協調させて新しい仕様や仕様の変更
に対応する新しいオブジェクトが生成される。

【００２５】図２は、図１に示すオブジェクト生成部５
の具体的な構成例を示す図である。オブジェクト生成部
５は、メソッド生成部５１と、機能検証部５２と、プロ
グラム生成部５３（オブジェクト生成部５と区別するた
めに「プログラム生成部」とする）とを有する。

【００２６】メソッド生成部５１は、機能展開部１によ
って詳細化された仕様（すなわち機能或いはメソッド）
に付随した変換知識（設計プロセス）を入力として、個
々の新たなメソッドを生成する。

【００２７】機能検証部５２は、メソッド生成部５１で
生成された各メソッドに対してメソッドの順序関係を仕
様化した状態遷移図と実際のメソッド列の集合とを入力
して、メソッド間にまたがった機能を検証する。

【００２８】プログラム生成部５３は、機能検証部５２
で検証された複数のメソッドを用いてオブジェクトを生
成する。上記の構成において、本発明は、機能検証部５
２が特徴を有するので、以下の説明においては、機能検
証部５２について特に詳細に説明する。

【００２９】図３は、図２における機能検証部５２の具
体的な構成例を示すブロック図である。図３は、オブジ
ェクト生成部５の具体的な構成例を示す。機能検証部５
２は、変換部５２１と検証部５２２を有する。

【００３０】変換部５２１は、メソッドにまたがった検
証が可能なように、メソッドに関する情報と、メソッド
の振る舞いに関する情報を融合する。変換部５２１は、
具体的には、後述するノード変数付加部５２３と遷移情
報作成部５２４を有する。

【００３１】検証部５２２は、検証規則５２５を用い
て、与えられたメソッド列の集合による振る舞いを検証
する。変換部５２１は、メソッド記述情報Ｉ３と状態遷
移図情報Ｉ４とを入力する。メソッド記述情報Ｉ３は、
メソッド生成部５１からの各メソッドの情報である。状
態遷移図情報Ｉ４は、ユーザが新たに入力する情報であ
って、オブジェクトの状態遷移を示す情報である。変換
部５２１は、メソッド記述が検証可能な形式に変換され
た情報Ｉ６と、状態遷移図情報Ｉ４に、メソッドに関す
るメソッド記述情報Ｉ３を融合した情報Ｉ９を検証部５
２２に出力する。

【００３２】検証部５２２は、変換部５２１からの入力
と、検証規則５２５とを用いて、ユーザが新たに入力し
たメソッド列の集合に基づいてメソッド間にまたがった
機能を検証し、その検証結果をユーザに返す。結果はオ
ブジェクトが有する内部変数とその値を列挙する形でユ
ーザに返される。この場合のメソッド列の入力は、ユー
ザに限らず、状態遷移図の解析から自動的に求めたもの
を入力するようにしても良い。

【００３３】図４は、図３の変換部５２１に対する入力
データと出力データに関する文法規則を示す図である。
各情報の有する情報の詳細を説明する。情報Ｉ１はメソ
ッドの記述（<verified method in equational formula
> ）及び実行順序を示す状態遷移図（<state transitio
n diagram>）を示し、変換部５２１に対する入力データ
である。ここで、メソッドとは、従来言語での内部プロ
シージャに相当し、メッセージの処理を記述したもので
ある。一方、状態遷移図は状態の集合及び状態遷移から
構成される。状態遷移図において状態は実行可能なメソ
ッドを表し、状態繊維はメソッドの実行を示す。従っ
て、状態遷移図はメソッドの実行順序を記述したもので
あり、いいかえればランダムに到着するメッセージの処
理順序を規定したものである。

【００３４】情報Ｉ２は、変換部５２１からの出力デー
タであり、修正されたメソッド （<modified method i
n equational formula> ）と遷移情報（<transistion>
）を示す。

【００３５】情報Ｉ３は、情報Ｉ１のメソッド記述の詳
細を示す。すなわち、メソッドは、等式の形式で与えら
れ、メソッドの名前<method name> （メッセージ列<mes
sagelist>、属性名列<attribute list>）、右辺はメソ
ッドの本体<method body> を示す。メソッドの本体は、
以下のようにメッセージ名列と属性名列を入力として、
属性名列<attribute list>を返す。ここで、属性名はオ
ブジェクトの持つひとつの内部状態変数であり、属性名
列は属性名の集合である。等式の形式のため、返す値は
一つである。また、出力となる属性名は入力となる属性
名列に含まれている必要はない。なお、ここで”［”
と”］”はリスト形式を表現したものである（以下同
じ）。

【００３６】<method body> ：メッセージ名列、属性名
列 −＞ ［属性名列］ 情報Ｉ４は、情報Ｉ１の状態遷移図の形式として、初期
値の与え方（<STD init>）と状態とメソッドの関係（st
(<node number>、<method name> ）=<node number>）を
示す。<node number> は、状態遷移図の一つの状態を示
すノード番号である。状態とメソッドの関係は、現在の
ノード番号とそれに対する実行可能なメソッド名と、そ
れによって遷移する先のノード番号とによって表現され
る。ここでの“＝”の持つ意味とは、関数形式の左辺の
値として、右辺の値を返すことを示している。すなわ
ち、左辺のノード番号の示す状態の時、左辺のメソッド
が実行可能であり、そのメソッドの実行結果として、右
辺のノード番号の示す状態に遷移することを示す。

【００３７】情報Ｉ５は、情報Ｉ４における初期値の記
述方法を示す情報である。情報Ｉ６は、情報Ｉ２の修正
されたメソッドの詳細表現形式を示し、情報Ｉ７と情報
Ｉ８はそれぞれ情報Ｉ６の補足記述を示す情報である。

【００３８】情報Ｉ６の左辺はメソッド名（メッセージ
名列、属性名列、ノード変数）であり、右辺は修正され
たメソッド本体<modified method body>である。ここ
で、ノード変数は、その値としてノード番号をとる。修
正されたメソッド本体は、等式表現されており、以下の
ように、メソッドの実行結果として、［属性名列、ノー
ド番号］の形式で値を返す。

【００３９】<modified method body>：メッセージ名
列、属性名列、ノード変数 −＞［属性名列、ノード番
号］ 左辺の属性名列、ノード変数と右辺の［属性名列、ノー
ド番号］の関係については、左辺の属性名列、ノード変
数の内容がメソッドの実行によって更新され、その結果
が右辺の形式で表される。

【００４０】情報Ｉ３の右辺のメソッド本体<method bo
dy> と情報Ｉ６の<modified methodbody>との相違点
は、ノード変数が加わっていることである。情報Ｉ１０
で示されるように、ノード変数はＮで表され、その変数
値としてはノード番号が入る。

【００４１】情報Ｉ９は情報Ｉ２の遷移情報の詳細表現
形式であり、情報Ｉ１０は情報Ｉ９に対する補足記述で
ある。情報Ｉ９において、等式の左辺はｅｖａｌ（ノー
ド番号、メソッド名（メッセージ名列）、属性名列）で
あり、右辺は情報Ｉ６の左辺となる（ここで、ノード変
数にはノード番号が割り付けられる）。情報Ｉ９は、左
辺の示すような、あるノード番号で表される状態におい
て、メソッド名で表されるメッセージが入ってきたら、
現在の内部状態を渡しながら、該当のメソッド（右辺で
表されている）を起動することを示す。情報Ｉ９は図５
に示す検証規則５２５に直接用いられる。情報Ｉ９を実
行すると情報Ｉ９は［メッセージ列、属性名列、ノード
番号］を値として返す。

【００４２】図５は、図３の検証部５２２が有している
検証規則５２５（<validation rule> ）の例を示す図で
ある。検証規則５２５は３つの式（ｅ１、ｅ２、ｅ３）
から構成され、述語としてｅｘｅとｅｘｅｌがある。ｅ
ｘｅは、ｅｘｅ（ノード変数、メソッド名リスト、属性
名列）で表現される。ノード変数は、ある状態遷移図に
おける現在の状態（ノード番号が与えられている）を示
す。メソッド名リストは、そのオブジェクトに入ってき
たメッセージの順序づけられた集合を示す。属性名列
は、オブジェクトの属性名の集合を示す。オブジェクト
とノード番号の関係は、次の通りである。オブジェクト
は複数のメソッドから構成され、それらのメソッドの順
序関係を示す一つの状態遷移図を有している。状態遷移
図は複数の状態から構成され、それぞれの状態にはノー
ド番号が付加されている。

【００４３】図５に現れる述語の意味は以下の通りであ
る。 ｅｘｅ：ノード変数、メソッド名リスト、属性名列 −
＞［属性名列、ノード変数］ ｅｘｅｌ：［属性名列、ノード変数］、メソッド名リス
ト −＞［属性名列、ノード変数］ ｅｖａｌ：ノード変数、メソッド名リスト、属性名列
−＞［属性名列、ノード変数］ 例えば、１番目の式において、述語名ｅｘｅは、関数で
あり、３つの変数、すなわち、ノード変数、メソッド名
リスト、属性名列を入力して演算を行い、結果として、
関数の値として［属性名列、ノード変数］を返すことを
意味する。関数は一つの値を出力として返す。ｅｘｅｌ
も関数であり、［属性名列、ノード変数］、メソッド名
リストを入力して演算を行い、その結果、［属性名列、
ノード変数］を返す。ｅｖａｌも同様に関数であり、ノ
ード変数、メソッド名リスト、属性名列を入力として演
算を行い、その結果、［属性名列、ノード変数］を返
す。

【００４４】検証規則５２５の各式の意味は次の通りで
ある。式ｅ１は、リスト形式で与えられたメソッド名の
集合の要素がなくなったら（オブジェクトに対する外部
からのメッセージが一回りしたら）、検証を終了するこ
とを意味する条件式である。式ｅ２は、式ｅ１が失敗し
たとき（すなわち、メソッド名の集合の要素が残ってい
る時）に実行する。式ｅ２は、集合の要素の先頭のメソ
ッド名を用いて、述語ｅｖａｌを呼び出す。式ｅ３は、
メソッドの実行結果をもらい、次のメソッド名を呼び出
す（ｅ１或いはｅ２を呼び出す）。

【００４５】図３に従って、図４も参照しながら変換部
５２１の動作を説明する。変換部５２１は情報Ｉ１を入
力とし、情報Ｉ２を出力とする。入力である情報Ｉ１は
情報Ｉ３と情報Ｉ４から構成され、出力である情報Ｉ２
は情報Ｉ６と情報Ｉ９から構成される。

【００４６】変換部５２１は、ノード変数付加部５２３
及び遷移情報作成部５２４を有する。ノード変数付加部
５２３は情報Ｉ３を入力して、情報Ｉ６を出力する。遷
移情報作成部５２４は情報Ｉ４及び情報Ｉ６を入力し
て、情報Ｉ９を出力する。

【００４７】ノード変数付加部５２３は、情報Ｉ３であ
るメソッドの記述（<verified method in equational f
ormula> ）において、情報Ｉ３の左辺にノード変数を加
えて置き換え、更に情報Ｉ３の右辺<method body> を<m
odified method body>で置き換えることによって、出力
のひとつである情報Ｉ６の修正されたメソッド（<modif
ied method in equational formula> ）を生成する。こ
の時、情報Ｉ３の右辺のメソッド本体<method body> と
情報Ｉ６の右辺の<modified method body>の相違点は、
ノード変数を加えている点と、返す値を属性変数とノー
ド番号の組からなるリスト形式で置き換えている点であ
る。式ｅ１、ｅ２、ｅ３の検証規則５２５を用いて、情
報Ｉ３から情報Ｉ６に変換することによって、オブジェ
クトが実行可能形式になり、また、オブジェクトの実行
において、複数のメソッドにまたがった属性名列に属す
属性値の受け渡しが可能になり、状態遷移図に従ったメ
ソッドの実行が可能になる。

【００４８】遷移情報作成部５２４は、情報Ｉ６の修正
されたメソッド（<modified methodin equational form
ula> ）と情報Ｉ４の実行順序を示す状態遷移図（<stat
e transition diagram>）をマージすることによって、
変換部５２１のもう一つの出力である情報Ｉ９である遷
移情報（<transition>）を作成する。具体的には、遷移
情報作成部５２４は、情報Ｉ４を基礎として以下の手順
でマージする。 （１） 情報Ｉ４におけるｓｔを情報Ｉ９のｅｖａｌで
置き換える。 （２） 情報Ｉ４におけるｓｔの第１引数であるノード
番号を情報Ｉ９のｅｖａｌの第１引数とする。 （３） 情報Ｉ４におけるｓｔの第２引数であるメソッ
ド名を、情報Ｉ９のｅｖａｌの第２引数と、更にその引
数としてメッセージ列を追加する。 （４） 情報Ｉ９のｅｖａｌの第３引数として属性名列
を示すＳを付加する。 （５） ｅｖａｌは等式表現とし、その右辺はまず、左
辺のメソッド名を書く。 （６） メソッド名の引数として、左辺と同じメッセー
ジ列を追加する。 （７） メソッド名の最後の引数として、属性名列を示
すＳと、情報Ｉ４の右辺のノード番号を組として追加す
る。

【００４９】上記のように情報Ｉ６と情報Ｉ４とをマー
ジすることによって、式ｅ１、ｅ２、ｅ３の検証規則５
２５によって実行可能な情報Ｉ９になり、更に、ノード
番号とそのノードの状態において実行可能なメソッド名
との関係付けが可能となる。

【００５０】図３の検証部５２２は、ユーザからメソッ
ド名の集合をリスト形式で与えられた時、変換部５２１
の出力である情報Ｉ６と情報Ｉ９を用いて検証規則５２
５（<validation rule> ）に基づいてオブジェクトを実
行し、その結果として内部変数とその値を列挙する。

【００５１】以上の動作を具体例を用いて説明する。図
６はあるオブジェクトにおける複数のメッセージの実行
順序を表現した状態遷移図である。このオブジェクトは
エレベータ制御システムを実現するひとつのオブジェク
トであり、リフト状態を保持する。リフト状態オブジェ
クトに対しては外部から図４に示すように４つのメッセ
ージが到着する。図６の状態遷移図において、アークの
ラベルがメソッド名を示す。ノード番号１が初期状態で
あり、ノード番号が１の時には、メソッドの中でメソッ
ド setLIFTstop（このメソッドはエレベータのかごか
ら、希望行き先を示すメッセージを処理する）或いはメ
ソッドsetFloorstop（このメソッドはフロアから、ボタ
ンが押された時にそのメッセージを処理する）だけが実
行可能である。この時に、例えば、メソッドsetLIFTsto
p が実行されれば、状態遷移が発生し、ノード番号２に
遷移する。

【００５２】図７は、メソッドの一つの表現例を示し、
図４の情報Ｉ３に相当する。メソッド setLIFTstopは、
リフト番号（ＬＮ）、ボタン番号（ＢＮ）、リフト状態
（ＬＳ）を入力とし、その演算の結果として現在のリフ
ト状態を値として返す。リフト番号ＬＮは、メッセージ
を送ったエレベータの番号を示す。ボタン番号ＢＮは希
望行き先階を示す。リフト状態ＬＳには、エレベータの
予定停止階が格納されている。演算結果として、新たな
希望行き先階をエレベータの予定停止階として追加す
る。ここで、リフト番号ＬＮとボタン番号ＢＮはメッセ
ージであり、リスト状態ＬＳは属性名（すなわち内部状
態変数）である。具体的な演算は次のように行われる。
関数 getLIFTが、リフト番号ＬＮとリフト状態ＬＳを入
力とし、その結果の値としてリフト番号状態を返し、関
数writeStopFloorは、関数getLIFTが返したリフト番号
状態とボタン番号ＢＮとを入力して、リフト番号状態を
返し、最後に、関数setLIFT が、関数writeStopFloorの
返したリフト番号状態、リフト番号、リフト状態を入力
し、リフト状態を返す。

【００５３】図８は、図６の状態遷移図をテキスト表現
形式で示す図である。図８のテキスト形式で表現された
情報は、図４の情報Ｉ４に相当する。図８において、１
番目の式は初期状態の宣言であり、２番目の式はノード
番号１の時に実行可能なメソッドは setLIFTstopであ
り、その結果ノード番号２に状態遷移することを示す。
３番目以降の式は、２番目と同様に解釈されるので、説
明は省略する。３番目の式はノード番号１の時に実行可
能なメソッドは setFloorstop であり、その結果ノード
番号３に状態遷移することを示す。４番目以降の式は、
２番目及び３番目の動作と同様であるので、説明は省略
する。

【００５４】図９は、修正されたメソッドの一つの表現
例であり、図４の情報Ｉ６に相当する。図９では、図７
のＬＳをＳ，Ｎに置き換えている（ＳはＬＳを一つの要
素とするリストである）。

【００５５】図１０は、図４の情報Ｉ９に相当する情報
を示す例である。つまり、これらの情報は、状態遷移図
を拡張したものといえる。図１０において、１番目の式
はノード番号１の時、メソッド setLIFTstopを呼び出す
と共にノード番号２に状態遷移することを示す。２番目
以降の式も１番目の式と同様な動作を行うので、説明は
省略する。

【００５６】上記の個々の動作をまとめると次のように
なる。図７及び図８に示されるメソッドが変換部５２１
へ入力され、ノード変数付加部５２３は、図７に示すメ
ソッドを入力し、図９に示すメソッドを出力する。遷移
情報作成部５２４は、図８に示すメソッドと図９に示す
メソッドから図１０に示すメソッドを作成する。そし
て、図９と図１０に示されたメソッドが変換部５２１か
ら出力される。

【００５７】入力と出力の機能的な差は、次のようにな
っている。入力においては、機能に関する情報と、振る
舞いに関する情報が互いに独立であるのに対して、出力
は、これらのふたつの情報が融合されている点が異な
る。その結果、本発明では、オブジェクトを構成するメ
ソッド（個々の機能に関する情報）の実行順序（メソッ
ド間の振る舞いに関する情報）を踏まえた検証が可能で
ある。

【図面の簡単な説明】

【図１】 本発明の一実施例に係る概略的な機能構成を
示すブロック図。

【図２】 図１に示すオブジェクト生成部５の具体的な
構成例を示す図。

【図３】 図２における機能検証部５２の具体的な構成
例を示すブロック図。

【図４】 図３の変換部に対する入力データと出力デー
タに関する文法規則を示す図。

【図５】 検証規則の例を示す図。

【図６】 あるオブジェクトにおける複数のメソッドの
実行順序を表現した状態遷移図。

【図７】 メソッドの一つの表現例を示す図。

【図８】 図６の状態遷移図をテキスト表現形式で示す
図。

【図９】 修正されたメソッドの一つの表現例を示す
図。

【図１０】 図４の情報Ｉ９に相当する情報を示す例を
示す図。

【符号の説明】

１…機能展開部 ２…類似性判定部 ３…設計プロセス融合部 ４…整合性判定部 ５…オブジェクト生成部 ６…設計プロセス中間生成物知識ベース ７…設計プロセス変換知識ベース ８…一時記憶部 ５１…メソッド生成部 ５２…機能検証部 ５３…プログラム生成部 ５２１…変換部 ５２２…検証部 ５２３…ノード変数付加部 ５２４…遷移情報作成部 ５２５…検証規則

Claims (9)

【特許請求の範囲】
1. 【請求項１】与えられた所定の仕様を詳細化し、前記仕
   様と類似する中間生成物及び前記中間生成物から次の中
   間生成物への変換知識を検索するステップであって、前
   記仕様と類似する中間生成物が見つからない場合に、前
   記中間生成物を最小単位の機能まで展開するサブステッ
   プを含む第１ステップと、 前記第１ステップにより検索された変換知識の設計プロ
   セス間の整合性を判定する第２ステップと、 新たな機能の追加に対して、複数の設計プロセスを融合
   する第３ステップと、 新たに生成された設計プロセスに基づいてオブジェクト
   を生成するステップであって、前記複数の設計プロセス
   と、前記設計プロセスの実行順序に関する情報とを統合
   化するサブステップと、前記統合化された情報を用いて
   プログラムを生成するサブステップとを含む第４ステッ
   プとからなることを特徴とするプログラム生成方法。
2. 【請求項２】 前記第４ステップは、前記プログラムを
   並行化するステップを含むことを特徴とする請求項１記
   載のプログラム作成方法。
3. 【請求項３】与えられた所定の仕様を詳細化し、前記仕
   様と類似する中間生成物及び前記中間生成物から次の中
   間生成物への変換知識を検索する検索手段と、 前記検索手段により検索された変換知識の設計プロセス
   間の整合性を判断する判定手段と、 新たな機能の追加に対して、複数の設計プロセスを融合
   するプロセス融合手段と、 新たに生成された設計プロセスに基づいてオブジェクト
   を生成するオブジェクト生成手段とからなるプログラム
   生成装置であって、 前記検索手段は、前記仕様と類似する中間生成物が見つ
   からない場合は、前記中間生成物を最小単位の機能まで
   展開する手段を含み、 前記オブジェクト生成手段は、前記複数の設計プロセス
   と、前記設計プロセスの実行順序に関する情報とを統合
   化する手段と、前記統合化された情報を用いてプログラ
   ムを生成する手段とを含むことを特徴とするプログラム
   生成装置。
4. 【請求項４】 前記オブジェクト生成手段は、前記プロ
   グラムを並行化する手段を含むことを特徴とする請求項
   ３記載のプログラム生成装置。
5. 【請求項５】オブジェクト指向モデルに基づくオブジェ
   クトを構成する複数のメソッドから所望のオブジェクト
   を生成するオブジェクト生成方法であって、 前記複数のメソッドに関する情報と、前記複数のメソッ
   ドの実行順序に関する情報とを統合するステップと、 前記統合化された情報を用いて、前記メソッド間にまた
   がった機能の検証を行うステップと、からなることを特
   徴とするオブジェクト生成方法。
6. 【請求項６】前記統合ステップは、 前記メソッドにノード変数を付加するサブステップと、 前記ノード変数を付加されたメソッドと、前記モデルの
   状態遷移を示す状態遷移図とに基づいて遷移情報を作成
   するサブステップと、を含むことを特徴とする請求項５
   記載のオブジェクト生成方法。
7. 【請求項７】オブジェクト指向モデルに基づくオブジェ
   クトを構成する複数のメソッドから所望のオブジェクト
   を生成するオブジェクト生成装置であって、 前記複数のメソッドに関する情報と、 前記複数のメソッドの実行順序に関する情報とを統合す
   る変換手段と、 前記変換手段によって統合化された情報を用いて、前記
   メソッド間にまたがった機能の検証を行う検証手段と、
   を具備したことを特徴とするオブジェクト生成装置。
8. 【請求項８】前記変換手段は、 前記メソッドにノード変数を付加するノード変数付加手
   段と、 前記ノード変数を付加されたメソッドと、前記モデルの
   状態遷移を示す状態遷移図とに基づいて遷移情報を作成
   する遷移情報作成手段と、を含むことを特徴とする請求
   項７記載のオブジェクト生成装置。
9. 【請求項９】前記検証手段は、 前記検証手段で検証する機能の検証のための規則が登録
   された検証規則を用いることを特徴とする請求項７又は
   ８記載のオブジェクト生成装置。