JPH11288367A - プログラム自動生成システムと方法 - Google Patents

Abstract

(57)【要約】 【課題】 従来、多くの機器や複数の端末と接続された
端末システム等の状態遷移オートマトンの記述によるプ
ログラム生成技術において、排他制御（ロック制御）の
表現に煩雑な記述が必要であった。 【解決手段】 状態遷移オートマトンの記述体系を拡大
し、状態遷移オートマトンに、所定の排他制御動作を行
うロック状態の遷移を組み込んでおく。そして、ユーザ
が、ロック状態に遷移した時のこのロック状態の遷移を
制御する動作を状態遷移オートマトンに記述すると、こ
の記述を検出して、ロック状態の時は外部のイベントに
対して、ロックされていることを表すイベントを返すよ
うに、プログラムを生成する。これにより、ユーザが一
々複雑なロック制御の状態遷移を書かなくてもロック制
御を実現したプログラムを自動生成することができる。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、状態遷移オートマ
トン、すなわち、状態遷移と各状態における動作定義か
らなるモジュールの記述の集まりで表現されたシステム
の記述に基づき、コンピュータ処理により、対応するプ
ログラムを自動生成（作成）する技術に係わり、特に、
金融／公共などの分野でネットワークを経由して遠隔の
顧客／住民にサービスを提供するシステムのように、１
つの端末が、その端末に装備されているプリンタ、スキ
ャナ、現金発行機、カードリーダ等から送られるイベン
トや、相手の端末からの要求を表すイベントなど、多く
のイベントに反応しなければならないシステムの構築に
用いるプログラムを効率的に生成するのに好適なプログ
ラム自動生成システムと方法に関するものである。

【０００２】

【従来の技術】従来、複数の機器や通信相手のイベント
を処理するシステムのプログラムの開発技術として、例
えば、水野忠則監修「プロトコル言語」（1994年、(株)
カットシステム出版）に記載の「Estelle」や「SDL」が
ある。特に、その第６３〜８５頁に記載のEstelleはプ
ロトコル記述のための言語であり、このEstelleでは、
ユーザは、そのようなシステムを、お互いにイベントを
送り合う有限状態オートマトンの集まり(以下、モジュ
ールと呼ぶ)として記述し、Estelle用に提供されている
ツールを使って、コンピュータにより、その記述からプ
ログラムを自動生成することができる。

【０００３】このようなEstelleの機能を、上述の文献
の第６８頁における記述例を用いて説明する。ここで
は、２つのチャンネルを持ち、内部に４つの状態を持
ち、外部とイベントのやり取りを行うモジュールＥを定
義している。

【０００４】 Specification Example; default individual queue; channel ChU(R1, R2); by R1: put; channel ChS(Ra, Rb); by Ra: dt0; dt1; by Rb: ak0; ak1; module E systemprocess; ip U: ChU(R2); S: ChS(Ra); end; body E1 for E; state s0, s1, s2, s4; ................. （１） initialize to s0 begin end; ................ （２） trans ...................................... （３） when U.put ............................. （４） from s0 to s1 ........................ （５） begin output S.dt0 end; ............ （６） from s2 to s3 ........................ （７） begin output S.dt1 end; ............ （８） when S.ak0 ............................. （９） : : end; end;

【０００５】上記（１）の行は、モジュールＥが４つの
状態「S0,S1,S2,S3」を持っていることを表す。（２）
の行は、システムが起動された時、モジュールＥが「s
0」の状態にあることを示す。その行の「begin end;」
は、システムが起動された時に実行するプログラムが
「begin」と「end」の間に記述するためのものだが、こ
の例では何も行わないので、空になっている。

【０００６】また、（３）の行の「trans」以降には、
イベントに対する状態の遷移が記述されている。すなわ
ち、行（４）の「when U.put」は、「Ｕ」というチャン
ネルから、「put」というイベントがきた時の状態遷移
の記述がその行以降に記述されることを表し、行（５）
の「from s0 to s1」は、そのイベントが来た時、状態
「s0」から状態「s1」へ遷移することを表し、行（６）
の「begin output S.dt0 end;」は、状態遷移の時の動
作を記述しており、ここでは、チャンネルＳにイベント
「dt0」を送る動作が記述されている。

【０００７】このように、「Estelle」などでは、モジ
ュールの並列的な動作を、状態遷移と、その時のイベン
トのやり取りなどの動作で記述するので、直感的でわか
りやすい。また、「Estelle」では、状態遷移はテキス
トで表されるが、上記文献に同じく記載の「SDL」で
は、グラフィカルな記述方式が開発されており、ユーザ
は、各モジュールの状態遷移をさらにわかりやすく定義
できる。

【０００８】以下、このような、状態遷移と各状態にお
ける動作定義からなるモジュールの記述の集まりでシス
テムを記述してプログラムを作成する技術における、シ
ステムの記述例を説明する。図１６は、各状態における
動作定義の記述例を示す説明図であり、図１７は、各状
態における状態遷移の記述例を示す説明図である。

【０００９】本図１６，１７で示す例では、状態定義１
６１と状態遷移定義１７１でシステムを定義しており、
図１６の状態定義１６１では、そのモジュールにどのよ
うな状態があるかの指定を状態名１６２のフィールド
に、その内どの状態がシステムが起動された時の状態
（この状態を初期状態と呼ぶ）かの指定を初期状態１６
３のフィールドに、また、各状態に遷移した時に実行さ
れるコマンドの定義（これを状態の動作定義と呼ぶ）を
動作定義１６４のフィールドに記述する。

【００１０】図１６で記述されるモジュールは、「IDO
L」という状態が初期状態で、システムが起動された
時、その動作定義に記述されている send(モジュールＡ，初期化） send(モジュールＢ，初期化） send(モジュールＣ，初期化） send(モジュールＤ，初期化） が実行される。また、状態「IDOL」の他に、状態「Prin
ting」、状態「Completed」、状態「Incompleted」など
がある。

【００１１】図１７において、状態の遷移は状態遷移定
義１７１のような表で表現される。この表は、状態名１
７２、イベント名１７３、および、次の状態名１７４の
各フィールドからなり、各状態について、イベントが送
られてきた時、どの状態に遷移するかが記述されてい
る。上記２つの表、図１６の状態定義１６１と図１７の
状態遷移定義１７１で表現されるモジュールを図式言語
で表現したものを図１８に示す。

【００１２】図１８は、図１６および図１７における状
態定義と状態遷移定義で表現されるモジュールを図式で
表現する図式言語例を示す説明図である。図１８におい
て、モジュール１８１の「状態」は丸の中に状態名を記
述して表現され、特に、初期状態は２重丸で記述してい
る。また、「状態遷移」は、「状態」から「状態」への
エッジにイベント名を記述して表現する。そして、各状
態の「動作定義」は、「状態」に四角を対応付けて表現
している。例えば、状態「IDOL」１８２に対しては動作
定義１８３が記述されている。

【００１３】この状態「IDOL」１８２から状態「Printi
ng」１８４にエッジ「資料印刷」が出ているが、これ
は、モジュールが状態「IDOL」１８２の時に、イベント
「資料印刷」がこのモジュールに送られてきた時は、状
態「Printing」１８４に遷移して、動作定義１８５で示
される動作を行うものである。状態「Printing」１８
４、および、状態「Completed」１８６、状態「Incompl
eted」１８７等に関しても同様である。このような図式
表現の方が直感的にわかりやすいので、以下、この図式
表現を用いて説明を続ける。

【００１４】遠隔サービス窓口システムでは、種々のデ
バイスの制御や複数の通信相手との同期を行うための複
雑な排他制御（ロック制御）が必要である。すなわち、
一つのモジュールは、多くのデバイス制御モジュール
と、イベントを送り合うので、ロック中に送られる可能
性のある全てのイベントに対して状態遷移を書かねばな
らず、例えば、次の図１９で示すように、記述が大変煩
雑になる。

【００１５】図１９は、従来技術によるロック制御に対
する状態遷移の記述例を示す説明図である。本例では、
あるシステムのメインモジュールの状態遷移の一部分を
表現している。ここでは、メインモジュールは、最初、
「IDOL」状態１９１にあり、メインモジュールに「資料
プリント」のイベントが来ると「Printing」状態１９２
に推移し、プリンタ制御モジュールにプリントのイベン
トを送った後、プリンタが印刷完了するのを待つ。

【００１６】この間、メインモジュールは、プリンタ以
外の要求を受け付けないようにするためには、本図に示
すように、メインモジュールに送られる可能性がある全
てのイベントに対して、ロックされていることを表すイ
ベントを送り返すための状態遷移（「Answering LockSt
atus A」状態１９３、「Answering LockStatus B」状態
１９４、動作定義１９５，１９６）を書かなければなら
ない。

【００１７】

【発明が解決しようとする課題】解決しようとする問題
点は、従来の技術では、ロック制御が必要なシステムの
記述においては、送られてくる可能性のある全てのイベ
ントに対して、ロックされていることを表すイベントを
送り返すための状態遷移をユーザが一々書かなければな
らない点である。本発明の目的は、これら従来技術の課
題を解決し、金融や公共などの分野における、ネットワ
ーク経由で遠隔の顧客／住民にサービスを提供するシス
テムのように、１つの端末が多くのイベントに反応しな
ければならないシステムの構築に用いるプログラムを効
率的に生成することを可能とするプログラム自動生成シ
ステムと方法を提供することである。

【００１８】

【課題を解決するための手段】上記目的を達成するた
め、本発明のプログラム自動生成システムと方法は、イ
ベントに従って内部状態を遷移し、この遷移した状態に
従って、外部や内部へのイベントの送信、コマンドの実
行等の動作を状態遷移オートマトンの集まりとしてユー
ザがシステムを記述し、このような記述からコンピュー
タ処理によりシステムのプログラムを自動生成するもの
であり、状態遷移オートマトンの記述体系を拡大し、状
態遷移オートマトンに、所定の排他制御動作を行うロッ
ク状態の遷移を組み込んでおく。そして、ユーザが、ロ
ック状態に遷移した時のこのロック状態の遷移を制御す
る動作を状態遷移オートマトンに記述すると、この記述
を検出して、ロック状態の時は外部のイベントに対し
て、ロックされていることを表すイベントを返すよう
に、プログラムを生成する。また、状態遷移オートマト
ンがとり得るロック状態として、「ロック」と「アンロ
ック」の２つの状態だけでなく、さらに、「短時間ロッ
ク」の３つ目の状態を設ける。そして、「短時間ロック
状態」の状態遷移オートマトンは、送信されたイベント
に対して、「短時間ロック状態」であるということを表
すイベントを送り主に送り返し、送り主の状態遷移オー
トマトンは、「短時間ロック状態」であれば、ロックが
はずれるのを待つ動作を行うものとして、プログラムを
生成する。このように、状態遷移オートマトンの記述体
系を拡大し、ロック状態の遷移を組み込むことにより、
ユーザが一々複雑なロック制御の状態遷移を書かなくて
もロック制御を実現したプログラムを自動生成すること
ができる。

【００１９】

【発明の実施の形態】以下、本発明の実施例を、図面に
より詳細に説明する。図１は、本発明のプログラム自動
生成システムの本発明に係る構成の一実施例を示すブロ
ック図であり、図２は、図１におけるプログラム自動生
成システムの装置構成例を示すブロック図である。

【００２０】図２において、２１はＣＲＴ（Cathode Ra
y Tube）等からなる表示装置、２２はキーボードやマウ
ス等からなる入力装置、２３はＣＰＵ（Central Proces
singUnit）とメインメモリ等を具備して蓄積プログラム
方式によるコンピュータ処理を行う情報処理装置、２４
はハードディスク装置等からなる補助記憶装置、２５は
本発明のプログラム自動生成方法の手順プログラムを記
録した光ディスク、２６は光ディスク２５からプログラ
ムおよびデータを読み取る光ディスク駆動装置である。

【００２１】情報処理装置２３は、光ディスク駆動装置
２６を介して光ディスク２５に記録されたプログラムを
メインメモリや補助記憶装置２４上に読み込み、図１に
示すプログラム生成部２の各機能を構築する。

【００２２】図１において、１はユーザが図２の入力装
置２２を介して表示装置２１の画面上に状態遷移オート
マトンで記述し情報処理装置２３に入力されるシステム
記述、２はシステム記述１の記述内容に基づくコンピュ
ータ処理により所定のプログラムを生成するプログラム
生成部、３はプログラム生成部２で生成されたプログラ
ムである。

【００２３】システム記述１は、ユーザにより、システ
ムをお互いにイベントと呼ばれる信号をやり取りするモ
ジュール（モジュール定義１ａ）の集まりとして記述さ
れている。そして、各モジュール定義１ａは、そのモジ
ュール定義１ａが取り得る状態の集合、および、各状態
で実行するコマンドの記述からなる状態定義１ｂと、各
状態に対してイベントが送られた時の状態の遷移（状態
と状態の間のエッジ）を表す状態遷移定義１ｃで記述さ
れる。尚、これらの状態定義１ｂと状態遷移定義１ｃの
詳細は、図３，４で後述する。

【００２４】プログラム生成部２は、プログラム３の固
定部分としてイベント管理エンジンのコード３ａとイベ
ントキュー格納領域３ｂを生成するイベント管理エンジ
ンおよびイベントキュー生成部２ａと、システム記述１
の各モジュール定義１ａに対応してそのモジュールの機
能をプログラム３において実現する関数のコード（モジ
ュール対応関数コード３ｃを生成するモジュール対応関
数コード生成部２ｂとを有している。生成されたプログ
ラム３では、各モジュールがイベントを送ると、それが
イベントキュー格納領域３ｂに入り、イベント管理エン
ジンのコード３ａは、イベントキュー格納領域３ｂに入
っているイベントを引数にして、送信先のモジュールの
関数を順次呼出す。

【００２５】プログラム生成部２におけるモジュール対
応関数コード生成部２ｂは、プログラム３のモジュール
対応関数コード３ｃにおける状態・ロック状態格納領域
３ｄを生成する状態格納領域生成部２ｃと、ロック状態
中に他のモジュールからイベントが送られた時、そのモ
ジュールがロックされていることを表すイベントを送る
プログラム３におけるロック時イベント処理コード３ｅ
を生成するロック時コード生成部２ｄと、システム記述
１における状態遷移定義１ｂに基づき、プログラム３に
おける状態遷移コード（送られてきたイベントの種類に
従って状態を遷移するコード）３ｆを生成する状態遷移
コード生成部２ｅと、システム記述１における状態定義
１ｃに基づき、プログラム３における動作コード３ｇ
（各状態に遷移した時実行されるコード）を生成する動
作コード生成部２ｆからなる。

【００２６】さらに、動作コード生成部２ｆは、システ
ム記述１におけるロックの指定１ｄに基づき、プログラ
ム３におけるロックのコード３ｈを生成するロックコー
ド生成部２ｇを有している。このように、本例のプログ
ラム自動生成システムでは、システム記述１において、
状態の動作定義（状態定義１ｃ）の中でロックの指定１
ｄがされていれば、動作コード３ｇの中に、ロックを掛
けるコード（ロックのコード３ｈ）を生成する。

【００２７】以下、ユーザによるシステム記述１から生
成されるプログラム３の記述に用いられている言語（C
やPASCAL、Basic、Lispなどのプログラミング言語）を
ターゲット言語、また、ユーザがシステム記述１に用い
る言語をソース言語として、上述の構成からなるプログ
ラム自動生成システムの動作を説明する。

【００２８】本例のプログラム自動生成システムでは、
ソース言語でのシステム記述１に用いる状態定義１ｂと
状態遷移定義１ｃの内、状態定義１ｂの中で、 LockMeWithout(モジュール名１, ..., モジュール名ｎ) という記述および UnlockMe というロックの指定１ｄの記述を許し、それをターゲッ
ト言語に変換してプログラム３を生成する。

【００２９】すなわち、プログラム３における固定部分
として、イベント管理エンジンのコード３ａとイベント
キュー格納領域３ｂを生成し、また、各モジュール定義
１ａに対して、そのモジュールの機能を実現する関数の
コード（モジュール対応関数３ｃ）を生成し、各モジュ
ールがイベントを送るとそれをイベントキュー格納領域
３ｂに入れ、イベント管理エンジンのコード３ａは、イ
ベントキュー格納領域３ｂに入っているイベントを引数
にして、送信先のモジュールの関数を順次呼出す。

【００３０】プログラム３において、各モジュールの機
能を実現する関数は、（１）状態、および、ロック状態
を格納する領域（状態・ロック状態格納領域３ｄ）、
（２）ロック状態の時に他のモジュールからイベントが
送られた時、そのモジュールがロックされていることを
表すイベントを送るコード（ロック時イベント処理コー
ド３ｅ）、（３）送られてきたイベントの種類に従っ
て、状態を遷移するコード（状態遷移コード３ｆ）、
（４）各状態に遷移した時実行されるコード（動作コー
ド３ｇ）からなる。

【００３１】そして、システム記述１における状態の動
作定義（状態定義１ｃ）の中で、ロックを掛けたり外し
たりする指定（ロックの指定１ｄ）がされていれば、ロ
ックコード生成部２ｇにより、動作コード３ｇの中に、
ロックを掛けたり外したりするコード（ロックのコード
３ｈ）を生成する。

【００３２】これにより、本例のプログラム自動生成シ
ステムでは、ユーザが、従来のようにロック状態を状態
遷移定義１ｂで一つ一つ表現しなくても、状態の動作指
定（状態定義１ｃ）の中で、例えば、 LockMeWithout(MODULE1, ..., MODULEn) と記述すれば、その関数のロック状態を表す変数をロッ
ク状態にし、モジュール名、 MODULE1, ..., MODULEn が「ロックの対象外となるモジュール名を記憶する変
数」を記録し、これにより、ロック時イベント処理コー
ド３ｅで、送り元にイベント「LOCKED」を送ることがで
きる。

【００３３】また、ロック状態を、「非ロック状態」と
「ロック状態」、および、「短いロック状態（短時間ロ
ック状態）」の３種類にし、ソース言語における、状態
での動作指定を「LockMeWithout」の他に LockMeShortWithout(モジュール名１, ..., モジュール
名ｎ） も記述可能にする。

【００３４】この記述に対しては、ロック状態を表す変
数を、短時間ロック状態にするコードを生成し、短時間
ロック状態であるモジュールに対応する関数に対して、
ロック除外されたモジュール以外からイベントが送られ
た時は、イベントキュー格納領域３ｂの管理機能により
そのことを判定し、送られる先のモジュールのロック状
態が解除されるまで、そのイベントをイベントキュー格
納領域３ｂに保持することにより、短時間ロック状態で
の待ち合わせの機能が実現できる。

【００３５】以下、図３〜図１５を用いて、このような
プログラム自動生成システムを、さらに詳細に説明す
る。まず、ユーザが記述するシステム記述１の詳細につ
いて、図３〜図５を用いて説明する。

【００３６】図３は、図１における状態定義の詳細例を
示す説明図である。本例の状態定義１ｃでは、該当する
モジュールにどのような状態があるかを指定する状態名
３１と、その内どの状態がシステムが起動された時の状
態かを指定する初期状態３２、および、各状態に遷移し
た時に実行されるコマンドを定義する動作定義３３が記
述される。

【００３７】本例の状態定義１ｃでは、動作定義３３と
して、 send(モジュール名, イベント名, 引数１, ...) LockMeWithout(モジュール名１, モジュール名２, ...) UnlockMe の３つの動作の列が記述できる。

【００３８】尚、「send(モジュール名, イベント名,
引数１, ...)」は、「モジュール名」で指定されるモジ
ュールに「イベント名」で指定されるイベントを、「引
数１」，「引数２」，．．．を引数として送る動作であ
る。また、「LockMeWithout(モジュール名１, モジュー
ル名２, ...)」は、この動作指定を行ったモジュール
を、「モジュール名１」,...で指定されるモジュール以
外からロックする動作であり、ここでロックするという
のは、送られて来た任意のイベントに対して、LOCKEDと
いうイベントを送り返すことである。また、「UnlockM
e」は、ロックの状態を解除する動作である。

【００３９】本図３の例で記述されているモジュールで
は、「IDOL」という状態が初期状態で、システムが起動
された時、その動作定義に記述されている「send(モジ
ュールＡ，初期化)」が実行される。そして、次の状態
「Printing」では、「LockMeWithout(プリンタ, Ｕ
Ｌ)」と、「writeMessage(プリントしています)」、お
よび、「send(プリンタ, Print,資料Ａ)」が実行され
る。さらに、状態「Completed」では、「writeMessage
(プリントが終了しました)」、および、「unLockMe」が
実行され、状態「Incompleted」では、「writeMessage
(キャンセルされました)」、および、「unLockMe」が実
行される。

【００４０】図４は、図１における状態遷移定義の詳細
例を示す説明図である。本例の状態遷移定義１ｂは、状
態名４１、イベント名４２、および、次の状態名４３の
各フィールドからなり、各状態について、イベントが送
られてきた時、どの状態に遷移するかが記述されてい
る。尚、ここで、特殊なイベント「*immediate*」を設
けておいて、これ（「*immediate*」）は、イベントを
受けなくても直ぐ次の状態に遷移することを表すものと
する。例えば、本例の状態遷移定義１ｂでは、状態「Co
mpleted」からイベント名「*immediate*」で「IDOL」に
遷移しているが、これは、「Completed」に遷移し、そ
こでの動作を終えた後、直ぐに「IDOL」に遷移すること
を意味する。

【００４１】図３と図４で示す２つの表、すなわち、図
３の状態定義１ｃと図４の状態遷移定義１ｂで表現され
るモジュールを図式言語で表現したものを図５に示す。
図５は、図３および図４における状態定義と状態遷移定
義で表現されるモジュールを図式で表現する図式言語例
を示す説明図である。本例のモジュール定義１ａの記述
においては、各「状態」は丸の中に状態名を記述して表
現され、特に、初期状態は２重丸で記述している。

【００４２】また、「状態遷移」は、「状態」から「状
態」へのエッジにイベント名を記述して表現する。そし
て、各状態の「動作定義」は、「状態」に四角を対応付
けて表現している。すなわち、本例では、モジュール定
義１ａは、最初に「IDOL」の状態で停止している。そし
て、初期状態「IDOL」５１から状態「Printing」５２に
エッジ「資料印刷」が出ているので、初期状態「IDOL」
５１の時に、他のモジュールからイベント「資料印刷」
が送られてくると、モジュール定義１ａは、状態「Prin
ting」５２に遷移する。

【００４３】そして、状態「Printing」５２では、自分
自身をプリンタとＵＩ以外からロックし、「プリンタ」
にイベント「資料Ａをプリント」というメッセージを送
り、再度停止している。すなわち、動作定義５３に従っ
て、「LockMeWithout(プリンタ, ＵＬ)」と、「send(プ
リンタ, Print, 資料Ａ)」、および、図示していない
が、「LockMeWithout(プリンタ, ＵＩ)」で指定されて
いるプリンタとＵＩ以外のイベントに対する「writeMes
sage(プリントしています)」を実行する。

【００４４】同様にして、モジュール定義１ａが状態
「Printing」５２の時に、エッジ「印刷終了」が送られ
てくると、状態「Completed」５４に遷移し、この状態
「Completed」５４では、動作定義５５に従って、「Unl
ockMe」を実行する。また、「プリンタ」から「印刷終
了」というイベントが送られれば、状態「Completed」
５４に遷移し、「Unlocked」との動作定義５５により、
そこでロックを解除する。また、状態「Printing」５２
の時に、「キャンセル」というイベントが来れば、状態
「Incompleted」５６に遷移する。

【００４５】このように、本例では、排他制御を行なう
場合には、所望のモジュールに、「LockMeWithout(モジ
ュール名１, モジュール名２, ...)」との動作指定を行
なうことにより、「モジュール名１」,...で指定される
モジュール以外から送られて来た各イベントに対して、
LOCKEDというイベントを送り返すことができるので、例
えば、遠隔サービス窓口システムのように、種々のデバ
イスの制御や複数の通信相手との同期を行うための複雑
な排他制御（ロック制御）が必要なシステムのプログラ
ムを簡素なシステム記述で生成することができる。

【００４６】次に、図１において、ソース言語によるシ
ステム記述１で記述されたシステムと等価な動作を行う
ターゲット言語のプログラム３について説明する。ター
ゲット言語のプログラム３は、ソース言語の内容によら
ず共通に存在するイベントキュー格納領域３ｂとイベン
ト管理エンジンのコード３ａ、および、各モジュール毎
に存在する、その機能を実現する関数であるモジュール
対応関数コード３ｃの集まりで構成される。

【００４７】モジュール対応関数コード３ｃは、「モジ
ュールの状態」と「ロックの状態」および「ロックが除
外される対象のモジュール名のリスト」を格納する状態
・ロック状態格納領域３ｄと、イベントとそのイベント
がどのモジュールから来たか、および、イベントの引数
の３つをパラメータとして取り、そのイベントがそのモ
ジュールに送られた時の動作を実行する関数であり、ロ
ックされた状態でのイベント処理を行うロック時イベン
ト処理コード３ｅと、状態遷移を実行する状態遷移コー
ド３ｆ、および、各状態に対応する動作を実行する動作
コード３ｇから構成される。

【００４８】ロック時イベント処理コード３ｅは、ロッ
ク除外対象モジュール以外のモジュールから送られたイ
ベントに対して「LOCKED」というイベントを返送する処
理である。状態遷移コード３ｆは、モジュール毎の状態
・ロック状態格納領域３ｄに格納されているモジュール
の状態とイベントから次の状態を求め、次の状態に遷移
するコードである。実際のモジュールの状態・ロック状
態格納領域３ｄの書き換えや、状態に遷移した時の動作
は、各状態での動作に対応するコードである動作コード
３ｇで行われる。

【００４９】次に、このようなターゲット言語で記述さ
れたプログラム３の動作を簡単に説明する。イベント管
理エンジンのコード３ａは、イベントキュー格納領域３
ｂに何かイベントがあれば、それを取り出して、どのモ
ジュールからどのモジュールへ向けたイベントかを調
べ、宛先のモジュールに対応する関数のコードである、
モジュール対応関数コード３ｃを呼出す。

【００５０】このモジュール対応関数コード３ｃでは、
ロックされていれば、ロック時イベント処理コード３ｅ
で、送り元に「LOCK」というイベントを返す。そうでな
ければ、状態遷移コード３ｆで状態遷移を行い、動作コ
ード３ｇ内で、遷移した先の状態の動作を行う。

【００５１】この動作コード３ｇ中で別のモジュールへ
のイベント送信が記述してあれば、動作コード３ｇでイ
ベントをイベントキュー格納領域３ｂに追加し、また、
イベント管理エンジンのコード３ａが、イベントキュー
格納領域３ｂからイベントを取り出して、モジュール対
応関数コード３ｃを呼び出す。

【００５２】また、遷移した先の状態の動作に、ロック
を掛けたり外したりする記述があれば、ロックのコード
３ｈで、関数の状態をロックしたり、外したりする。こ
の動作を繰り返すことにより、ソース言語によるシステ
ム記述１に記述してあるシステムの振る舞いを実現する
ことができる。

【００５３】次に、ソース言語によるシステム記述１か
らターゲット言語で記述されたプログラム３を生成する
プログラム生成部２の動作を説明する。まず、イベント
管理エンジンおよびイベントキュー生成部２ａで、どん
なモジュール記述にも共通な、イベント管理エンジンの
コード３ａとイベントキュー格納領域３ｂを生成する。

【００５４】そして、モジュール対応関数コード生成部
２ｂにおいて、各モジュール毎に、状態格納領域生成部
２ｃ以下の各処理を繰り返し、モジュール対応関数コー
ド３ｃ、および、モジュールの状態格納領域やロック状
態格納領域およびロック除外対象モジュール格納領域か
らなる状態・ロック状態格納領域３ｄを生成する。

【００５５】すなわち、まず、状態格納領域生成部２ｃ
で、各関数に対してモジュールの状態を格納する領域を
生成する。次に、ロック時コード生成部２ｄで、各関数
に対してロック状態を格納する領域およびどのモジュー
ルに対してロックを除外するかを格納する領域を生成
し、関数の先頭に、ロック状態の処理部分であるロック
時イベント処理コード３ｅを埋め込む。

【００５６】さらに、状態遷移コード生成部２ｅで、ソ
ース言語でのイベントと状態から次の状態へ遷移するた
めの状態遷移コード３ｆを生成する。そして、最後に、
動作コード生成部２ｆにより、各状態での動作に対応す
る動作コード３ｇを生成して、各モジュールに対応する
モジュール対応関数コード３ｃを完成させる。

【００５７】以上でソース言語、ターゲット言語および
プログラム生成方法の概要を述べた。以下、各々につい
てさらに詳細に説明していく。まず、図６を用いて、タ
ーゲット言語で記述されたプログラムの構造の詳細な説
明を行う。

【００５８】図６は、図１におけるプログラム自動生成
システムで生成されたプログラムの全体構成例を示す説
明図である。プログラム３のイベントキュー格納領域３
ｂは、４つのフィールド「送り先モジュール」、「イベ
ント」、「送り元モジュール」、「引数」からなるテー
ブルであり、FIFO（First-In-First-Out）形式で出し入
れされる。すなわち、最初に入れられたデータが最初に
取り出される。

【００５９】モジュール対応関数コード３ｃは、「MODU
LE(event, fromWhom, args)」のように、３つのパラメ
ータの関数として実現する。ここで、パラメータ「even
t」はイベント、パラメータ「fromWhom」は、そのイベ
ントを送ったモジュール、パラメータ「args:」は、そ
のイベント送信の時の引数を配列にして一つのデータに
まとめたもの意味である。

【００６０】イベント管理エンジンのコード３ａは、図
６内に記述されているPAD図のように動作する。すなわ
ち、まず、ステップ６００の処理で、全てのモジュール
の関数を初期化する。この実施例では、初期化の方法と
しては、各関数に特殊なイベント名「_init_」を送り、
呼出すものとする。後で述べるように、各モジュールの
関数はイベント「_init_」が送られると、初期化処理、
すなわち初期状態へ遷移する動作を行うように生成され
る。

【００６１】次に、ステップ６０２の処理で、キューに
何かイベントがあるか調べ、もしあれば、ステップ６０
３の処理でそれを取り出し、 toWhom : 送り先のモジュール event : イベント名 fromWhom : 送り元のモジュール args : 引数 を設定する。

【００６２】次に、ステップ６０４の処理で、モジュー
ル「toWhom」に対応する関数を求め、「event」と「fro
mWhom」および「args」を引数として、その関数を呼出
す。呼出された関数コード３ｃは、内部で状態遷移およ
び状態へ遷移した時の動作を行い、その過程として send(MODULEi, EVENTA, args) などのイベント発信の動作を行うので、再度、イベント
キューにイベントが追加され、イベント管理エンジンの
コード３ａは、再度そのイベントを取り出し、モジュー
ルに対応する関数を呼出す。

【００６３】このようにして生成されたモジュール対応
関数コード３ｃの構造の詳細を、次の図７を用いて説明
する。図７は、図１におけるモジュール対応関数の詳細
構成例を示す説明図である。生成されたモジュール対応
関数コード３ｃは、ヘッダ部分７１のように、「MainMo
dule(event, fromWhom, args)」の形をしている。すな
わち、イベントの種別（event）と、どのモジュールか
ら送られたものか（fromWhom）、および、その時の引数
を配列にして一つにまとめたもの（args）の３つの情報
を受け取る関数として実現される。

【００６４】そして、状態やロック状態、ロック除外対
象モジュール格納領域の宣言と、初期化処理部分からな
る状態・ロック状態格納領域３ｄを有する。この部分の
詳細を図９に示す。図９は、図１における状態・ロック
状態格納領域の詳細構成例を示す説明図である。本例で
は、ターゲットの言語は、明示的に代入を行うまでは恒
久的に値を保存できる変数を関数に対して定義できる機
能を持っているものとする。

【００６５】そして、ここでは、その機能を使って宣言
部９１において、モジュールの状態格納領域を「userSt
atus」、ロック状態格納領域を「lockStatus」、ロック
除外対象モジュール格納領域を「moduleList」として実
現している。また、ここでは、状態の初期化コードとし
て、 という記述が置かれている。図１におけるイベント管理
エンジンのコード３ａは、システムが立ち上がると同時
に各モジュールの関数にイベント「_init_」を送ること
により、初期状態に遷移させる。

【００６６】図７において、次にロック時イベント処理
コード３ｅとして、ロック状態の時にロック除外の対象
になっていないモジュールからイベント送信があった場
合に「toWhom」にイベント「LOCKED」を返す処理が埋め
込まれる。このコードのアルゴリズムを図８に示す。

【００６７】図８は、図１におけるロック時イベント処
理の手順例を示すＰＡＤ図である。図７の状態・ロック
状態格納領域３ｄにおける変数「lockStatus」が「Lock
ed」であり（ステップ８０１）、変数「fromWhom」が変
数「moduleList」に入っていなければ（ステップ８０
２）、イベントの送り主（fromWhom）にロック状態（Lo
cked）を返す（ステップ８０３）。

【００６８】図７のモジュール対応関数コード３ｃにお
いては、次に、状態遷移コード３ｆで、現在の状態「us
erStatus」とイベント「event」の組みで場合分けし、
次のイベントへ遷移するコードへジャンプするコードが
埋め込まれる。そして、各状態に遷移するためのコード
が、それぞれラベル７２，７３が付けられて埋め込ま
れ、状態遷移コード３ｆの処理からジャンプできるよう
になっている。

【００６９】ラベル７２において示されるように、各状
態への遷移は、まず、フィールド７４で、変数「userSt
atus」を、その状態を表す値にし、次に、状態遷移した
時の動作をターゲット言語に生成したもの（動作コード
３ｇ）が埋め込まれる。ここで、 send(MODULE, event, arg1, ...) に対しては、イベントキューにこのイベント送信を追加
するランタイムルーティンの呼出し処理７５が埋め込ま
れる。

【００７０】また、 LockMeWithout(MODULE1, ..., MODULEn) に対しては、 lockStatus = LOCKED; moduleList にMODULE1, ..., MODULEn を設定 を行い、ロックされた状態と除外するモジュールのリス
トを記録する処理７６が埋め込まれる。

【００７１】また、 Unlock に対しては、 lockStatus = UNLOCK でロック状態を解除する処理７７が埋め込まれる。ま
た、その他の動作については、ターゲット言語の対応す
るランタイムルーティンの呼出しが埋め込まれる。

【００７２】このように、動作コード３ｇにおいて、状
態に遷移した時の動作に書かれているもの全てがこのよ
うに変換され埋め込まれた後、 return の命令７８が置かれ、この関数を終了する。

【００７３】ただし、この状態からイベント *immediate* で別の状態へエッジが定義されていれば、これは、新た
なイベントを待たずにすぐその状態に遷移することを意
味するので、「return」の代わりに、goto 次の状態の
ラベル名;を埋め込み、即座にその状態に遷移するコー
ドを生成する。

【００７４】以下、図１における状態遷移定義１ｂから
状態遷移コード３ｆを生成する方法、および、状態定義
１ｃから各動作コード３ｇを生成する方法を詳細に述べ
る。まず、図１０を使って、状態遷移に対応するコード
（状態遷移コード３ｆ）の生成処理を詳細に説明する。
尚、ここでは、ターゲット言語をプログラミング言語Ｃ
とした場合で説明する。

【００７５】図１０は、図１における状態遷移コード生
成部の処理手順例を示すＰＡＤ図である。まず、ステッ
プ１００１の処理で、「Slist」に、そのモジュールの
全ての状態の集合を入れ、次に、ステップ１００２の処
理で、「switch(userStatus) {」というコードの生成を
行ない、場合分けの開始を宣言する。

【００７６】そして、次のステップ１００３の処理で、
「Slist」の中の全ての状態「S」に対して、ステップ１
００４以下の一連の処理を繰り返し、それぞれの状態に
対して、各イベントが来たとき次の状態に遷移するため
のジャンプ命令を生成する。まず、ステップ１００４の
処理で、「case Sの名前:」 というコードを生成し、状
態「S」の時の動作指定開始を宣言する。次に、「even
t」で場合分けするためにステップ１００５の処理で、
「switch(event) {」 というコードを生成する。

【００７７】さらに、次のステップ１００６の処理で、
「Elist」に、状態「S」に定義されている全てのイベン
トの集合を入れ、ステップ１００７の処理で、「Elis
t」の全てのイベント「E」に対して、ステップ１００８
以下の一連の処理を繰り返し、それぞれジャンプ文を生
成する。尚、ここで、イベント「*immediate*」は、即
時の遷移と解釈しているので、イベントの集合を格納す
る変数「Elist」には加えない。

【００７８】ステップ１００８の処理では、「case Eの
名前:」 というコードを生成し、次に、ステップ１００
９の処理で、「Next」を状態「S」から、「E」で遷移す
る先の状態のラベルとし、ステップ１０１０の処理で、
「goto Nextの名前;」というコードの生成を行なう。そ
して、最後に、２つの場合分けを終了するために、ステ
ップ１０１１の処理で、「}」を生成し、ステップ１０
１２の処理で、「}」を生成する。このようにして生成
された結果のコードを図１１に示す。

【００７９】図１１は、図１における状態遷移コードの
生成例を示す説明図である。「switch」および「case」
等により、各状態「IDOL」，「PRINTING」の動作分けが
実行されるコードが生成されている。尚、状態「Comple
ted」や状態「Incompleted」からは「*Immediate*」の
遷移しか無いので、この状態遷移コードの中には、場合
分けとして現れていない。

【００８０】次に、図１２を用いて、図１の動作コード
生成部２ｆによる各状態での動作コードの生成動作を説
明する。図１２は、図１におけるプログラム自動生成シ
ステムの本発明に係わる第１の処理動作例を示すＰＡＤ
図である。本例は、図１における各状態での動作コード
生成部の処理手順例を示すものであり、まず、ステップ
１２０１の処理で、「Slist」にそのモジュールの全て
の状態の集合を設定する。

【００８１】次に、ステップ１２０２の処理で、「Slis
t」の全ての状態「S」に対して、ステップ１２０３以下
の一連の処理を繰り返し、状態に遷移したときの動作を
実現するコードを生成する。まず、ステップ１２０３の
処理で、状態「S」の名前のラベルを作る。次に、ステ
ップ１２０４の処理で、「userStatus = S」というコー
ドを生成し、モジュールの状態を表す変数に、遷移した
先の状態を記憶する。

【００８２】そして、ステップ１２０５の処理で、「Ac
ts」に、状態「S」で定義されている動作の列を入れ、
ステップ１２０６の処理で、「Acts」の中の動作「A」
に対して、ステップ１２０７の処理で場合分けを行な
い、それぞれ適切なコードを生成する。

【００８３】このステップ１２０７の場合分け処理で、
動作「A」が「send(M1, E1, ARG1,...)」の形の時に
は、まず、ステップ１２０８の処理で、このモジュール
の名前を「M2」とし、次に、ステップ１２０９の処理
で、「ARGS1, ..., ARGSn」を構造体「args」に入れる
コードを生成し、最後に、ステップ１２１０の処理で、
「send(M1, E1, M2, args)」というコードを生成する。

【００８４】また、ステップ１２０７の場合分け処理
で、動作「A」が「LockMeWithout(M1,...)」の形の時に
は、次のような一連の処理を行なう。まず、ステップ１
２１１の処理で、「lockStatus = LOCKED」というコー
ドを生成し、次に、ステップ１２１２の処理で、「M1,
..., Mn」を「moduleList」に入れるコードを生成す
る。これにより、ロック状態の設定と、ロック対象から
除外したモジュールの設定ができる。

【００８５】さらに、ステップ１２０７の場合分け処理
で、動作「A」が「UnlockMe」の形の時には、ステップ
１２１３の処理で、「lockStatus = UNLOCKED」という
コードを生成し、ロックを外す。

【００８６】以上の例では、説明を簡単にするために、
状態での動作指定を「send」,「LockMeWithout」,「Unl
ock」の３つに限った。ここでの動作指定種類を増やし
たい場合は、ステップ１２０７の場合分け処理に、その
動作指定の場合を追加し、コードの生成方法を組み込め
ば良い。例えば、ターゲット言語で提供される関数を呼
出す動作 call 関数名(引数１, ..., 引数ｎ) を追加しておくと、ターゲット言語で提供されている機
能を利用することができ、便利である。

【００８７】また、これを追加したい場合は、場合分け
として、この形の識別を、ステップ１２０７の場合分け
処理に追加し、生成するコードとしては、ターゲット言
語のこの関数を呼出すコードを生成すれば良い。このよ
うにして、図３，４および図５の状態定義から、図１３
に示す動作コードが生成される。図１３は、図１におけ
る動作コードの具体例を示す説明図である。「IDOL」、
「Printing」、「Completed」、「Incompleted」の各状
態別に、それぞれの動作を行うコード（動作コード３
ｇ）が生成されている。

【００８８】次に、図１４を用いて、ロック状態を３値 UNLOCKED .......ロックが掛かっていない。どんなモ
ジュールからのイベントにも応答する。 LOCKED ...........ロックが掛かっており、限定された
モジュールからのイベントのみに応答する。それ以外の
モジュールにはLOCKEDを返す。 LOCKEDSHORT ......短い時間のロックが掛かっている。
限定されたモジュールにはすぐ答える。それ以外のモジ
ュールからのイベントはロックが解除するまで待たされ
る。 に拡張したときの、図１のイベントキュー格納領域３ｂ
におけるイベントキュー管理のアルゴリズムを説明す
る。

【００８９】図１４は、図１におけるプログラムによる
イベントキュー格納領域の管理手順例を示す説明図であ
る。イベントキュー管理では、システムが起動される
と、ステップ１４０１で繰り返し処理を行い、モジュー
ルに対応する関数を呼出す処理を繰り返す。

【００９０】すなわち、ステップ１４０２の処理で、ま
ず、図１のイベントキュー格納領域３ｂから１行取り出
し、 toWhom:送り先 event :イベント fromWhom:送り元 args:引数 とする。

【００９１】次に、ステップ１４０３の条件判定処理
で、「toWhom」のロック状態が「LOCKEDSHORT」でかつ
「fromWhom」が除外リストに入っていないかどうかを調
べ、この条件が成立する時は、短時間ロックが掛かって
いるので、ステップ１４０４の処理で、「(toWhom,even
t,fromWhom,args)」をキューの後ろに戻し、イベントの
処理を待たせる。

【００９２】また、ステップ１４０３の条件判定処理で
条件が成立しない時、すなわち、短時間ロックの対象で
はない時には、ステップ１４０５の処理で、「toWhom」
に対応する関数を「f」とし、「f(event, fromWhom, ar
gs)」を呼び出す。これを繰り返すことにより、短時間
ロックにおいては、それが外れたら、イベントキューに
溜まっていたイベントが、そのモジュールに対応する関
数で実行される。

【００９３】このような、短時間ロックコマンドを含ん
だ状態の動作生成法の処理を、次の図１５を用いて詳細
に説明する。図１５は、図１におけるプログラム自動生
成システムの本発明に係わる第２の処理動作例を示すＰ
ＡＤ図である。本例は、図１２で示した、図１における
動作コード生成部２ｆの他の処理手順例を示すもので、
短時間ロックコマンドを含んだ状態の動作生成手順であ
り、図１２におけるステップ１２０６の処理でのループ
を、この図１５のものに置き換える。

【００９４】すなわち、変数「Acts」を状態に記述され
た全ての動作のリストとし、その全ての動作「A」に対
して、ステップ１５０２の処理でコードを生成する。本
例が、図１２の例と異なるのは、動作「A」の形の場合
わけで、動作「A」がLockShortMeWithout(M1, ...)の場
合が追加されていることである。この場合は、ステップ
１５０８の処理で、「lockStatus = LOCKEDSHORT」とい
うコードを生成し、次に、ステップ１５０９の処理で、
「M1, ..., Mn」を「moduleList」に入れるコードを生
成する。

【００９５】以上、図１〜図１５を用いて説明したよう
に、本実施例のプログラム自動生成システムと方法で
は、状態遷移オートマトンの記述体系を拡大し、予めオ
ートマトンにロックの状態を組み込み、オートマトンの
ロック状態を変更する動作指定をユーザに許し、ロック
されているオートマトンにイベントが送られると、今ロ
ックされているというイベントを送り返すプログラムを
生成するので、ユーザは、ロックによる排他制御を、コ
マンドを一つ発行する記述で表現できる。

【００９６】これにより、多くの機器や複数の端末と接
続され、複数の機器のイベントや別のシステムからのイ
ベントに対して反応する分散システム等のソフトウエア
を、状態遷移オートマトンの記述で構築する場合にも、
ユーザ（システム開発者）は、簡単な記述で、複雑なロ
ック制御（排他制御：１つの仕事をしているとき他の機
器や端末の依頼を受けないための制御）を実現できる。

【００９７】尚、本発明は、図１〜図１５を用いて説明
した実施例に限定されるものではなく、その要旨を逸脱
しない範囲において種々変更可能である。例えば、本例
では、光ディスクからプログラムを提供する構成として
いるが、ＦＤ（フレキスブルディスク）等、他のコンピ
ュータ読み取り可能な記録媒体を用いることでも良い。

【００９８】

【発明の効果】本発明によれば、ロック制御が必要なシ
ステムの記述においても、送られてくる可能性のある全
てのイベントに対して、ロックされていることを表すイ
ベントを送り返すための状態遷移をユーザが一々書く必
要がなくなり、金融や公共などの分野における、ネット
ワーク経由で遠隔の顧客／住民にサービスを提供するシ
ステムのように、１つの端末が多くのイベントに反応し
なければならないシステムの構築に用いるプログラムを
効率的に生成することが可能である。

【図面の簡単な説明】

【図１】本発明のプログラム自動生成システムの本発明
に係る構成の一実施例を示すブロック図である。

【図２】図１におけるプログラム自動生成システムの装
置構成例を示すブロック図である。

【図３】図１における状態定義の詳細例を示す説明図で
ある。

【図４】図１における状態遷移定義の詳細例を示す説明
図である。

【図５】図３および図４における状態定義と状態遷移定
義で表現されるモジュールを図式で表現する図式言語例
を示す説明図である。

【図６】図１におけるプログラム自動生成システムで生
成されたプログラムの全体構成例を示す説明図である。

【図７】図１におけるモジュール対応関数の詳細構成例
を示す説明図である。

【図８】図１におけるロック時イベント処理の手順例を
示すＰＡＤ図である。

【図９】図１における状態・ロック状態格納領域の詳細
構成例を示す説明図である。

【図１０】図１における状態遷移コード生成部の処理手
順例を示すＰＡＤ図である。

【図１１】図１における状態遷移コードの生成例を示す
説明図である。

【図１２】図１におけるプログラム自動生成システムの
本発明に係わる第１の処理動作例を示すＰＡＤ図であ
る。

【図１３】図１における動作コードの具体例を示す説明
図である。

【図１４】図１におけるプログラムによるイベントキュ
ー格納領域の管理手順例を示す説明図である。

【図１５】図１におけるプログラム自動生成システムの
本発明に係わる第２の処理動作例を示すＰＡＤ図であ
る。

【図１６】各状態における動作定義の記述例を示す説明
図である。

【図１７】各状態における状態遷移の記述例を示す説明
図である。

【図１８】図１６および図１７における状態定義と状態
遷移定義で表現されるモジュールを図式で表現する図式
言語例を示す説明図である。

【図１９】従来技術によるロック制御に対する状態遷移
の記述例を示す説明図である。

【符号の説明】

１：システム記述、１ａ：モジュール定義、１ｂ：状態
遷移定義、１ｃ：状態定義、１ｄ：ロックの指定、２：
プログラム生成部、２ａ：イベント管理エンジンおよび
イベントキュー生成部、２ｂ：モジュール対応関数コー
ド生成部、２ｃ：状態格納領域生成部、２ｄ：ロック時
コード生成部、２ｅ：状態遷移コード生成部、２ｆ：動
作コード生成部、２ｇ：ロックコード生成部、３：プロ
グラム、３ａ：イベント管理エンジンのコード、３ｂ：
イベントキュー格納領域、３ｃ：モジュール対応関数コ
ード、３ｄ：状態・ロック状態格納領域、３ｅ：ロック
時イベント処理コード、３ｆ：状態遷移コード、３ｇ：
動作コード、３ｈ：ロックのコード、２１：表示装置、
２２：入力装置、２３：情報処理装置、２４：補助記憶
装置、２５：光ディスク、２６：光ディスク駆動装置、
３１：状態名（フィールド）、３２：初期状態（フィー
ルド）、３３：動作定義（フィールド）、４１：状態名
（フィールド）、４２：イベント名（フィールド）、４
３：次の状態名（フィールド）、５１：初期状態「IDO
L」、５２：状態「Printing」、５３：動作定義、５
４：状態「Completed」、５５：動作定義、５６：状態
「Incompleted」、７１：ヘッダ部分、７２，７３：ラ
ベル、７４：フィールド、７５：ランタイムルーティン
の呼出し処理、７６：ロックされた状態と除外するモジ
ュールのリストを記録する処理、７７：ロック状態を解
除する処理、７８：命令（return）、９１：宣言部、１
６１：状態定義、１６２：状態名（フィールド）、１６
３：初期状態（フィールド）、１６４：動作定義（フィ
ールド）、１７１：状態遷移定義、１７２：状態名（フ
ィールド）、１７３：イベント名（フィールド）、１７
４：次の状態名（フィールド）、１８１：モジュール、
１８２：状態「IDOL」、１８３：動作定義、１８４：状
態「Printing」、１８５：動作定義、１８６：状態「Co
mpleted」、１８７：状態「Incompleted」、１９１：
「IDOL」状態、１９２：「Printing」状態、１９３：
「Answering LockStatus A」状態、１９４：「Answerin
g LockStatus B」状態、１９５，１９６：動作定義。

Claims (5)

【特許請求の範囲】
1. 【請求項１】 状態遷移オートマトンの記述に基づきコ
   ンピュータ処理して、対応するプログラムを自動生成す
   るプログラム自動生成システムにおいて、上記状態遷移
   オートマトンの記述から、所定の排他制御動作を行うロ
   ック状態の遷移を検出し、該検出したロック状態の遷移
   に対応して、ロックされていることを表すイベントを外
   部のイベントに対して返すプログラムを生成するロック
   コード生成手段を設け、上記状態遷移オートマトンに予
   め組み込まれた上記ロック状態の遷移に基づき、上記所
   定の排他制御動作を行なうプログラムを生成することを
   特徴とするプログラム自動生成システム。
2. 【請求項２】 請求項１のプログラム自動生成システム
   において、上記状態遷移オートマトンに予め組み込まれ
   るロック状態には、所定の外部イベントを特定する記述
   が含まれ、上記ロックコード生成手段は、上記特定の外
   部イベントを除く外部のイベントに対して、上記ロック
   されていることを表すイベントを返すプログラムを生成
   する手段を有することを特徴とするプログラム自動生成
   システム。
3. 【請求項３】 請求項１、もしくは、請求項２のいずれ
   かに記載のプログラム自動生成システムにおいて、上記
   ロック状態の解除を待つ動作を指定した短時間ロック状
   態の遷移を上記状態遷移オートマトンの記述から検出す
   る手段と、該検出した短時間ロック状態の遷移の記述に
   対応して、上記外部イベントの送信元の状態遷移オート
   マトンに、上記短時間ロックされていることを表すイベ
   ントを送り返し、上記送信元の状態遷移オートマトンに
   上記短時間ロック状態の解除を待つよう動作させるプロ
   グラムを生成する手段とを有することを特徴とするプロ
   グラム自動生成システム。
4. 【請求項４】 請求項１から請求項３のいずれかに記載
   のプログラム自動生成システムにおいて、上記ロック状
   態を解除するためのアンロック状態の遷移を上記状態遷
   移オートマトンの記述から検出する手段と、該検出した
   アンロック状態の遷移の記述に対応して、上記ロック状
   態を解除するプログラムを生成する手段とを有すること
   を特徴とするプログラム自動生成システム。
5. 【請求項５】 状態遷移オートマトンを用いたシステム
   の記述に基づきコンピュータ処理して、上記システムの
   プログラムを自動生成するプログラム自動生成方法にお
   いて、上記状態遷移オートマトンの記述から、所定の排
   他制御動作を行うロック状態の遷移を検出するステップ
   と、該検出したロック状態の遷移に含まれて記述されて
   いる、所定の外部イベントを特定するステップと、該特
   定した上記所定の外部イベントを除く外部イベントに対
   して、上記ロック状態を表すイベントを返すプログラム
   を生成するステップと、上記状態遷移オートマトンの記
   述から、上記ロック状態の解除を待つ動作を指定した短
   時間ロック状態の遷移を検出するステップと、該検出し
   た短時間ロック状態の遷移の記述に対応して、上記外部
   イベントの送信元の状態遷移オートマトンに、上記短時
   間ロックされていることを表すイベントを送り返すプロ
   グラムと、上記送信元の状態遷移オートマトンに上記短
   時間ロック状態の解除を待たせるプログラムを生成する
   ステップと、上記状態遷移オートマトンの記述から、上
   記ロック状態を解除するためのアンロック状態の遷移を
   検出するステップと、該検出したアンロック状態の遷移
   の記述に対応して、上記ロック状態を解除するプログラ
   ムを生成するステップとを有し、上記状態遷移オートマ
   トンに予め組み込まれた上記ロック状態の遷移の記述に
   基づき、上記所定の排他制御動作の制御を行なうプログ
   ラムを生成することを特徴とするプログラム自動生成方
   法。