JP2003076543A - プログラム生成装置、プログラム生成方法およびその方法をコンピュータに実行させるプログラム - Google Patents

Abstract

(57)【要約】 【課題】 組み込みシステムに最適なプログラムを生成
すること。 【解決手段】 状態遷移表からシステムが実行すべきア
クションまたは遷移先の状態が記述されているセルを抽
出してアクションを状態ごとに記述したアクションテー
ブル１１８を生成するアクションテーブル生成部１０８
と、状態遷移表からアクションまたは遷移先の状態があ
るセルのみを抽出して遷移先の状態を状態ごとに記述し
た遷移テーブル１１９を生成する遷移テーブル生成部１
０９と、各状態に対する事象を記述した事象テーブル１
２０を生成する事象テーブル生成部１１０と、事象発生
時に事象テーブル１２０を参照して各状態下における事
象の存在を確認し、アクションテーブル１１８と遷移テ
ーブル１１９とを参照して現在の状態下で発生事象のア
クションを実行するプログラムコード１２２を生成する
実行処理生成部１１１とを備えた。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】この発明は、プログラム開発
対象のシステムの状態下における事象の発生に対して実
行する処理の内容を記述した状態遷移表に基づいてシス
テムで動作するプログラムを生成するプログラム生成装
置、プログラム生成方法およびその方法をコンピュータ
で実行させるためのプログラムに関する。

【０００２】

【従来の技術】リアルタイム制御システムは、各種信号
の受信などシステム外部又は内部からの刺激である事象
（イベント）と、各種信号の受信待機などシステムがと
っている挙動である状態（ステート）とが複雑に組み合
わされ、しかもこれらの組み合わせに対応した処理、す
なわち、特定状態下で特定事象が発生した際にシステム
が実行する処理であるアクションも多数ある。このよう
なリアルタイム制御システムに組み込むべきプログラム
を開発する手法の１つとして、状態遷移表（STM:State
Transition Matrix）を用いたプログラム開発方法があ
る。状態遷移表とは、列又は行に事象（event）又は状
態（state）をそれぞれ配置した２次元のマトリクスで
表し、事象と状態との交差する部分（セル）に対応する
アクションとそのアクション後に遷移する遷移先を配置
したものである。

【０００３】この状態遷移表には、事象駆動型（イベン
トドリブン）で実行されるものと、状態駆動型（ステー
トドリブン）で実行されるものがある。ここで、事象駆
動型（イベントドリブン）とは、プログラムの一カ所で
事象（イベント）を待ち、事象が発生したときに現在の
状態と発生した事象との交差点となるセルに記述された
アクションを実行するものである。また、状態駆動型
（ステートドリブン）とは、各状態ごとに事象（イベン
ト）を監視するものであり、各状態がアクティブになる
と、各状態に結びついた事象解析関数が起動され、事象
が発生しているか否かを確認するものである。

【０００４】事象駆動型（イベントドリブン）の状態遷
移表からプログラムを生成して実装する場合には、２次
元テーブル型駆動方式とロジック型駆動方式の２種類の
実装方法が従来から一般的に知られている。

【０００５】２次元テーブル型駆動方式の実装方法で
は、事象（イベント）と状態（ステート）とで交差する
セルのすべてに対して、事象、状態、アクションからな
る２次元テーブルを作成し、発生した事象の番号と現在
の状態の番号から２次元テーブルをアクセスしてアクシ
ョンを実行する方式のプログラムが生成される。

【０００６】ロジック型駆動方式の実装方法では、２次
元テーブルのようなテーブルを用いるのではなく、発生
した事象に対するアクションとして、各状態毎にロジッ
クとして実行される処理をコールする形式となるプログ
ラムが生成される。

【０００７】一方、状態駆動型（ステートドリブン）の
状態遷移表からプログラムを生成して実装する場合に
は、状態の親子関係、事象解析、および状態遷移時の定
型処理である状態アクティビティなどの情報を、すべて
状態ごとに保持する必要がある。このため、従来は、状
態情報テーブルを作成して、このテーブルに状態ごとの
各種情報（状態の親子関係、事象解析関数、状態アクテ
ィビティ関数など）をすべて保持しておき、状態遷移表
に記述された各状態のプライオリティ（親子関係のプラ
イオリティなど）を事象監視などのスケジューリングを
行う状態スケジューラを生成して、状態遷移表を駆動し
プログラム実行処理を実行していた。

【０００８】

【発明が解決しようとする課題】しかしながら、このよ
うな状態遷移表からのプログラムの実装方法には次のよ
うな問題がある。まず事象駆動型の状態遷移表からプロ
グラムを実装する２次元テーブル型駆動方式の場合に
は、状態遷移表の事象または状態の数が増大すると、そ
れに応じてアクションの数も増大するため、その結果、
２次元テーブルのサイズが過大になるという問題があ
る。特に、組込みシステムの場合には、プログラム実行
の際に使用するメモリ容量は最小限にすることが必要と
なるシステムが多いため、２次元テーブル型駆動方式の
プログラムは、組込みシステムに適合したものではな
い。

【０００９】また、ロジック型駆動方式の実装方式で
は、状態ごとにすべての事象に対応するアクションを分
岐するコードとなり、事象、状態の数が増大した場合に
は、プログラムコード量が膨大となるという問題があ
る。

【００１０】一方、状態駆動型の状態遷移表からブログ
ラムを実装する従来の方式では、状態ごとに種々の情報
を保持しなければならいため、状態情報テーブルのサイ
ズが膨大となってしまう。また、これらの膨大な情報を
処理するために、状態スケジューラのプログラムコード
量も膨大となり、プログラム実行時のメモリ使用量も増
加してしまうという問題がある。このため、ほとんどの
組込みシステムでは状態スケジューラを用いた実装を適
用することができないという問題があった。

【００１１】この発明は上記に鑑みてなされたもので、
プログラムコード量および実行時の使用メモリサイズを
低減するとともに、生成されるプログラムの実行速度を
向上させて、組み込みシステムに最適なプログラムを生
成することができるプログラム生成装置、プログラム生
成方法およびその方法をコンピュータに実行させるため
のプログラムを得ることを目的とする。

【００１２】

【課題を解決するための手段】上記目的を達成するた
め、請求項１にかかる発明は、プログラム開発の対象で
あるシステムの取り得る状態と、前記システムの外部又
は内部からの刺激である事象で特定される複数のセルを
有し、各セルに、対応する状態下で対応する事象が発生
した際に前記システムが実行すべきアクション内容また
は遷移すべき遷移先の状態を記述した事象駆動型の状態
遷移表に基づいて前記システムで動作するプログラムを
生成するプログラム生成装置において、前記状態遷移表
を入力する入力手段と、前記状態遷移表から、前記シス
テムが実行すべきアクション内容または遷移先の状態が
記述されているセルのみを抽出して、前記アクション内
容を前記状態ごとに記述したアクションテーブルを生成
するアクションテーブル生成手段と、前記状態遷移表か
ら、アクション内容または遷移先の状態が記述されてい
るセルのみを抽出して、前記遷移先の状態を前記状態ご
とに記述した遷移テーブルを生成する遷移テーブル生成
手段と、前記状態遷移表から、各状態に対して存在する
事象を記述した事象テーブルを生成する事象テーブル生
成手段と、事象の発生時に、前記事象テーブルを参照し
て、各状態下における事象の存在を確認し、前記アクシ
ョンテーブルと前記遷移テーブルとを参照して、現在の
状態下における発生した事象に対するセルのアクション
内容を実行する実行処理プログラムを生成する実行処理
生成手段と、を備えたことを特徴とする。

【００１３】この請求項１にかかる発明によれば、事象
駆動型の状態遷移表からシステムが実行すべきアクショ
ン内容または遷移先の状態が記述されているセルのみを
抽出してアクション内容を前記状態ごとに記述したアク
ションテーブルと、アクション内容または遷移先の状態
が記述されているセルのみを抽出して遷移先の状態を状
態ごとに記述した遷移テーブルとを生成しているので、
すべてのセルに対してアクション内容や遷移先を記述し
たテーブルを生成する場合に比べて、プログラムコード
量が小さくなる。

【００１４】また、アクション内容や遷移先が存在する
セルのみに対して上記各テーブルを生成していることか
ら、各状態に対して存在する事象を記述した事象テーブ
ルを生成し、事象の発生時に、事象テーブルを参照し
て、各状態下における事象の存在を確認し、前記アクシ
ョンテーブルと前記遷移テーブルとを参照して、現在の
状態下における発生した事象に対するセルのアクション
内容を実行する実行処理プログラムを生成することで、
プログラム実行も従来と同様に行える。

【００１５】従って、この請求項１によれば、プログラ
ム実行に影響を与えずに、プログラムコード量および使
用時のメモリサイズを減少させることができる。

【００１６】請求項２にかかる発明は、プログラム開発
の対象であるシステムの取り得る状態と、前記システム
の外部又は内部からの刺激である事象で特定される複数
のセルを有し、各セルに、前記システムが実行すべきア
クション内容または遷移すべき遷移先の状態を記述し、
各状態で事象の発生を監視する状態駆動型の状態遷移表
に基づいて前記システムで動作するプログラムを生成す
るプログラム生成装置において、前記状態遷移表を入力
する入力手段と、前記状態遷移表から、各状態ごとに事
象解析処理または定型処理を記述した状態アクティビテ
ィ情報テーブルを生成する状態アクティビティ情報テー
ブル生成手段と、前記状態遷移表から、上位の状態であ
る親状態の識別情報を列挙して記述した親状態ＩＤ情報
テーブルを生成する親状態ＩＤ情報テーブル生成手段
と、前記状態遷移表から、親状態の下位の状態であるサ
ブ状態の識別情報を列挙して記述したサブ状態ＩＤ情報
テーブルを生成するサブ状態ＩＤ情報テーブル生成手段
と、前記親状態ＩＤ情報テーブルと前記サブ状態ＩＤ情
報テーブルとに基づいて各状態が親状態かサブ状態かを
判別し、判別結果と前記状態アクティビティ情報テーブ
ルとに基づいて状態ごとに事象解析処理または定型処理
を実行する実行処理プログラムを生成する実行処理生成
手段と、を備えたことを特徴とする。

【００１７】この請求項２にかかる発明によれば、状態
アクティビティ情報テーブルを生成して各状態ごとに事
象解析処理または定型処理を定義し、また親状態ＩＤ情
報テーブルとサブ状態ＩＤ情報テーブルとを生成して、
各状態が親状態かサブ状態かだけを定義しておいた上
で、プログラム実行時に親状態ＩＤ情報テーブルとサブ
状態ＩＤ情報テーブルとに基づいて各状態が親状態かサ
ブ状態かを判別し、この判別結果と状態アクティビティ
情報テーブルとに基づいて状態ごとに事象解析処理また
は定型処理を実行する実行処理プログラムを生成するこ
とで、状態ごとに親状態とサブ状態の関係を予め保持し
ておく必要がなくなり、状態に関する状態情報テーブル
のサイズを小さくすることができる。また、プログラム
実行時に、親状態かサブ状態かを判別し状態アクティビ
ティ情報テーブルとに基づいて状態ごとに事象解析処理
または定型処理を実行するので、状態スケジューラを設
ける必要がなくなる。従って、本発明によれば従来の実
装方式に比べてプログラムコード量の削減を図ることが
でき、メモリ使用量も低減させることができる。さらに
は、プログラムの実行速度の向上を図ることができる。

【００１８】請求項３にかかる発明は、請求項１または
２に記載のプログラム生成装置において、前記入力手段
は、事象または状態を階層化して複数の状態遷移表を統
合した一つの状態遷移表を入力するものであることを特
徴とする。

【００１９】この請求項３にかかる発明によれば、事象
または状態を階層化して複数の状態遷移表を統合した一
つの状態遷移表を用いることで、巨大化、複雑化する事
象または状態を抽象化することができ、状態遷移が過大
となることを防止できる。これにより、状態遷移表から
生成するプログラムのコード量が少なくなり、プログラ
ム実行時のメモリ使用量の減少が図られる。

【００２０】請求項４にかかる発明は、請求項１または
２に記載のプログラム生成装置において、前記入力手段
は、複数の状態からなる並列状態を記述した状態遷移表
を入力するものであることを特徴とする。

【００２１】この請求項４にかかる発明によれば、複数
の状態からなる並列状態を記述した状態遷移表を用いる
ことで、並列実行する分の状態の増加を抑えることがで
き、これにより状態遷移表から生成するプログラムのコ
ード量が少なくなり、プログラム実行時のメモリ使用量
の減少を図ることができる。

【００２２】請求項５にかかる発明は、請求項１または
２に記載のプログラム生成装置において、前記入力手段
は、前記事象をその発生形式により分類して記述した状
態遷移表を入力するものであることを特徴とする。

【００２３】この請求項５にかかる発明によれば、事象
をその発生形式により分類して記述した状態遷移表を用
いることで、事象としてリアルタイムＯＳのシステムコ
ールを使用する場合、変数を使用する場合、メッセージ
バッファを使用する場合、割込みを使用する場合、関数
をコールする場合などの情報を明確にしてプログラムコ
ードを生成することができる。

【００２４】請求項６にかかる発明は、請求項１または
２に記載のプログラム生成装置において、前記入力手段
は、前記遷移先の状態を、予め定めた省略値の状態また
は過去に遷移した状態に基づいて定めた状態遷移表を入
力するものであることを特徴とする。

【００２５】この請求項６にかかる発明によれば、遷移
先の状態を、予め定めた省略値の状態または過去に遷移
した状態に基づいて定めた状態遷移表を用いることで、
従来、フラグを用いた処理で行っていた状態の管理を容
易にするとともに、このような状態の管理を隠蔽するこ
とができる。

【００２６】請求項７にかかる発明は、請求項１または
２に記載のプログラム生成装置において、前記入力手段
は、複数の状態遷移表を配列化した一つの状態遷移表で
あって、その配列数を記述した状態遷移表を入力するも
のであることを特徴とする。

【００２７】この請求項７にかかる発明によれば、複数
の状態遷移表を配列化した一つの状態遷移表であって、
その配列数を記述した状態遷移表を用いることで、複数
の状態を１つの状態遷移表で容易に管理することがで
き、またプログラムコード量の減少およびプログラム実
行時のメモリ使用量の低減を図ることができる。

【００２８】請求項８にかかる発明は、請求項１または
２に記載のプログラム生成装置において、前記入力手段
は、特定の事象の発生または特定の状態への遷移におい
て実行される定型的なアクションを記述した状態遷移表
を入力するものであることを特徴とする。

【００２９】この請求項８にかかる発明によれば、特定
の事象の発生または特定の状態への遷移おいて実行され
る定型的なアクションを記述した状態遷移表を用いるこ
とで、事象の発生または状態の遷移ごと動作させるアク
ションを１カ所にまとめて記述し、セルごとに記述する
必要がないため、状態遷移表の保守性を向上させること
ができる。

【００３０】請求項９にかかる発明は、プログラム開発
の対象であるシステムの取り得る状態と、前記システム
の外部又は内部からの刺激である事象で特定される複数
のセルを有し、各セルに、対応する状態下で対応する事
象が発生した際に前記システムが実行すべきアクション
内容または遷移すべき遷移先の状態を記述した事象駆動
型の状態遷移表に基づいて前記システムで動作するプロ
グラムを生成するプログラム生成方法において、前記状
態遷移表を入力する入力ステップと、前記状態遷移表か
ら、前記システムが実行すべきアクション内容が記述さ
れているセルのみを抽出して、前記アクション内容を前
記状態ごとに記述したアクションテーブルを生成するア
クションテーブル生成ステップと、前記状態遷移表か
ら、遷移先の状態が記述されているセルのみを抽出し
て、前記遷移先の状態を前記状態ごとに記述した遷移テ
ーブルを生成する遷移テーブル生成ステップと、前記状
態遷移表から、各状態に対して存在する事象を記述した
事象テーブルを生成する事象テーブル生成ステップと、
事象の発生時に、前記事象テーブルを参照して、各状態
下における事象の存在を確認し、前記アクションテーブ
ルと前記遷移テーブルとを参照して、現在の状態下にお
ける発生した事象に対するセルのアクション内容を実行
する実行処理プログラムを生成する実行処理生成ステッ
プと、を含んでいることを特徴とする。

【００３１】この請求項９にかかる発明によれば、事象
駆動型（イベントドリブン）の状態遷移表からシステム
が実行すべきアクション内容が記述されているセルのみ
を抽出してアクション内容を前記状態ごとに記述したア
クションテーブルと、遷移先の状態が記述されているセ
ルのみを抽出して遷移先の状態を状態ごとに記述した遷
移テーブルとを生成しているので、すべてのセルに対し
てアクション内容や遷移先を記述したテーブルを生成す
る場合に比べて、プログラムコード量が小さくなる。

【００３２】また、アクション内容や遷移先が存在する
セルのみに対して上記各テーブルを生成していることか
ら、各状態に対して存在する事象を記述した事象テーブ
ルとを生成し、事象の発生時に、事象テーブルを参照し
て、各状態下における事象の存在を確認し、前記アクシ
ョンテーブルと前記遷移テーブルとを参照して、現在の
状態下における発生した事象に対するセルのアクション
内容を実行する実行処理プログラムを生成することで、
プログラム実行も従来と同様に行える。

【００３３】従って、この請求項９によれば、プログラ
ム実行に影響を与えずに、プログラムコード量および使
用時のメモリサイズを減少させることができる。

【００３４】請求項１０にかかる発明は、プログラム開
発の対象であるシステムの取り得る状態と、前記システ
ムの外部又は内部からの刺激である事象で特定される複
数のセルを有し、各セルに、前記システムが実行すべき
アクション内容または遷移すべき遷移先の状態を記述
し、各状態で事象の発生を監視する状態駆動型の状態遷
移表に基づいて前記システムで動作するプログラムを生
成するプログラム生成装置において、前記状態遷移表を
入力する入力ステップと、前記状態遷移表から、各状態
ごとに事象解析処理または定型処理を記述した状態アク
ティビティ情報テーブルを生成する状態アクティビティ
情報テーブル生成ステップと、前記状態遷移表から、上
位の状態である親状態の識別情報を列挙して記述した親
状態ＩＤ情報テーブルを生成する親状態ＩＤ情報テーブ
ル生成ステップと、前記状態遷移表から、親状態の下位
の状態であるサブ状態の識別情報を列挙して記述したサ
ブ状態ＩＤ情報テーブルを生成するサブ状態ＩＤ情報テ
ーブル生成ステップと、前記親状態ＩＤ情報テーブルと
前記サブ状態ＩＤ情報テーブルとに基づいて各状態が親
状態かサブ状態かを判別し、判別結果と前記状態アクテ
ィビティ情報テーブルとに基づいて状態ごとに事象解析
処理または定型処理を実行する実行処理プログラムを生
成する実行処理生成ステップと、を含んでいることを特
徴とする。

【００３５】この請求項１０にかかる発明によれば、状
態アクティビティ情報テーブルを生成して各状態ごとに
事象解析処理または定型処理を定義し、また親状態ＩＤ
情報テーブルとサブ状態ＩＤ情報テーブルとを生成し
て、各状態が親状態かサブ状態かだけを定義しておいた
上で、プログラム実行時に親状態ＩＤ情報テーブルとサ
ブ状態ＩＤ情報テーブルとに基づいて各状態が親状態か
サブ状態かを判別し、この判別結果と状態アクティビテ
ィ情報テーブルとに基づいて状態ごとに事象解析処理ま
たは定型処理を実行する実行処理プログラムを生成する
ことで、状態ごとに親状態とサブ状態の関係を予め保持
しておく必要がなくなり、状態に関する状態情報テーブ
ルのサイズを小さくすることができる。また、プログラ
ム実行時に、親状態かサブ状態かを判別し状態アクティ
ビティ情報テーブルとに基づいて状態ごとに事象解析処
理または定型処理を実行するので、状態スケジューラを
設ける必要がなくなる。従って、本発明によれば従来の
実装方式に比べてプログラムコード量の削減を図ること
ができ、メモリ使用量も低減させることができる。さら
には、プログラムの実行速度の向上を図ることができ
る。

【００３６】請求項１１にかかる発明は、請求項９また
は１０に記載のプログラム生成方法において、前記入力
ステップは、事象または状態を階層化して複数の状態遷
移表を統合した一つの状態遷移表を入力するものである
ことを特徴とする。

【００３７】この請求項１１にかかる発明によれば、事
象または状態を階層化して複数の状態遷移表を統合した
一つの状態遷移表を用いることで、巨大化、複雑化する
事象または状態を抽象化することができ、状態遷移が過
大となることを防止できる。これにより、状態遷移表か
ら生成するプログラムのコード量が少なくなり、プログ
ラム実行時のメモリ使用量の減少が図られる。

【００３８】請求項１２にかかる発明は、請求項９また
は１０に記載のプログラム生成方法において、前記入力
ステップは、複数の状態からなる並列状態を記述した状
態遷移表を入力するものであることを特徴とする。

【００３９】この請求項１２にかかる発明によれば、複
数の状態からなる並列状態を記述した状態遷移表を用い
ることで、並列実行する分の状態の増加を抑えることが
でき、これにより状態遷移表から生成するプログラムの
コード量が少なくなり、プログラム実行時のメモリ使用
量の減少を図ることができる。

【００４０】請求項１３にかかる発明は、請求項９また
は１０に記載のプログラム生成方法において、前記入力
ステップは、前記事象をその発生形式により分類して記
述した状態遷移表を入力するものであることを特徴とす
る。

【００４１】この請求項１３にかかる発明によれば、事
象をその発生形式により分類して記述した状態遷移表を
用いることで、事象としてリアルタイムＯＳのシステム
コールを使用する場合、変数を使用する場合、メッセー
ジバッファを使用する場合、割込みを使用する場合、関
数をコールする場合などの情報を明確にしてプログラム
コードを生成することができる。

【００４２】請求項１４にかかる発明は、請求項９また
は１０に記載のプログラム生成方法において、前記入力
ステップは、前記遷移先の状態を、予め定めた省略値の
状態または過去に遷移した状態に基づいて定めた状態遷
移表を入力するものであることを特徴とする。

【００４３】この請求項１４にかかる発明によれば、遷
移先の状態を、予め定めた省略値の状態または過去に遷
移した状態に基づいて定めた状態遷移表を用いること
で、従来フラグを用いた処理で行っていた状態の管理を
容易に行えるとともに、このような状態の管理を隠蔽す
ることができる。

【００４４】請求項１５にかかる発明は、請求項９また
は１０に記載のプログラム生成方法において、前記入力
ステップは、複数の状態遷移表を配列化した一つの状態
遷移表であって、その配列数を記述した状態遷移表を入
力するものであることを特徴とする。

【００４５】この請求項１５にかかる発明によれば、複
数の状態遷移表を配列化した一つの状態遷移表であっ
て、その配列数を記述した状態遷移表を用いることで、
複数の状態を１つの状態遷移表で容易に管理することが
でき、またプログラムコード量の減少およびプログラム
実行時のメモリ使用量の低減を図ることができる。

【００４６】請求項１６にかかる発明は、請求項９また
は１０に記載のプログラム生成方法において、前記入力
ステップは、特定の事象の発生または特定の状態への遷
移において実行される定型的なアクションを記述した状
態遷移表を入力するものであることを特徴とする。

【００４７】この請求項１６にかかる発明によれば、特
定の事象の発生または特定の状態への遷移おいて実行さ
れる定型的なアクションを記述した状態遷移表を用いる
ことで、事象の発生または状態の遷移ごと動作させるア
クションを１カ所にまとめて記述し、セルごとに記述す
る必要がないため、状態遷移表の保守性を向上させるこ
とができる。

【００４８】また、請求項１７にかかる発明は、請求項
９〜１６のいずれか一つに記載された方法をコンピュー
タに実行させるプログラムであるので、請求項９〜１７
のいずれか一つの動作をコンピュータによって実行する
ことができる。

【００４９】

【発明の実施の形態】以下に添付図面を参照して、この
発明にかかるプログラム生成装置、プログラム生成方法
およびその方法をコンピュータに実行させるプログラム
の好適な実施の形態を詳細に説明する。以下に示す実施
の形態は、本発明をＣ言語プログラム生成装置、Ｃ言語
プログラム生成方法およびＣ言語プログラム生成プログ
ラムに適用したものである。

【００５０】（実施の形態１）実施の形態１のＣ言語プ
ログラム生成装置は、イベントドリブン（事象駆動型）
の状態遷移表（ＳＴＭ：State Transition Matrix）か
らＣ言語プログラムコード（ソースコード）を生成する
ものである。

【００５１】ここで、状態遷移表について説明する。図
２は状態遷移表の一例を示す説明図である。また、図３
は状態遷移図の一例を示す説明図である。状態遷移表と
は、図２に示すように、表の行に開発対象のシステムが
受信する事象（発生する事象）（Event）を、列にシス
テムが取りうる状態（State）をとり、事象と状態の交
差点をセルとして、そのセルの上段に次の遷移先の状態
を、下段にアクションを記述したものである。そして、
システムがある状態にいるときに、ある事象が発生した
場合には、現在の状態と受信した事象の交差するセルに
記述されたアクションを実行し、その後、セルに記述さ
れた遷移先の状態にシステムが遷移することを示すもの
である。例えば、図２では、事象(Event)としてＥ１
（イベントＮｏ．０）、Ｅ２（イベントＮｏ．１）があ
り、状態としてＳ１（状態Ｎｏ．０）、Ｓ２がある。こ
こで、状態Ｓ２にはそのサブ状態としてＳ２＿１（状態
Ｎｏ．１）、Ｓ２＿２（状態Ｎｏ．２）があるものとす
る。

【００５２】ここで、この状態遷移表で表現されたシス
テムの現在の状態がＳ１であり、このとき事象Ｅ１を受
信したとすると（事象Ｅ１が発生）、Ｅ１とＳ１の交差
するセルに記述されたアクション関数Ａｃｔｉｏｎ（）
が実行され、システムの状態はそのセルに記述されたＳ
２＿２に遷移する。

【００５３】図３は、図２に示す状態遷移表と同等なシ
ステムの動作を記述した状態遷移図である。図３に示し
ように、同じシステムの動作を表現する場合でも、状態
遷移表の方が、状態遷移図よりもわかりやすくなってい
る。また状態遷移表では、すべての状態に対して、すべ
ての事象に対する遷移先、アクションがセルとして示さ
れる、状態遷移図に比べて,状態と事象のパターンを漏
れなくあげることができ、より正確にシステムの動作を
表現することができるようになっている。

【００５４】図３３は、この発明の実施の形態１である
Ｃ言語プログラム生成装置のハードウェア構成を示すブ
ロック図である。図３３に示すように、このＣ言語プロ
グラム生成装置は、ＣＰＵなどの制御部３３０１と、Ｒ
ＯＭ（Read Only Memory）やＲＡＭ（Ramdom Access Me
mory）などの記憶装置３３０６と、ハードディスクおよ
びハードディスクドライブ装置（ＨＤＤ）、ＣＤドライ
ブ装置などの外部記憶装置３３０５と、プリンタなどの
出力装置３３０４と、ディスプレイ装置などの表示装置
３３０３と、キーボードやマウスなどの入力装置３３０
２を備えており、コンピュータを利用した通常の構成で
ある。

【００５５】実施の形態１のＣ言語プログラム生成プロ
グラムは、外部記憶装置３３０５であるハードディスク
またはＣＤもしくはフロッピー（登録商標）ディスクに
格納されており、これら外部記憶装置３３０５から記憶
装置３３０６であるＲＡＭにロードすることにより実行
されるようになっている。また、ハードディスクには、
状態遷移表や状態遷移表からＣ言語プログラム生成プロ
グラムで生成されたＣ言語プログラムコードファイルが
格納される。

【００５６】また、表示装置３３０３には、後述する状
態遷移表が表示され、この状態遷移表をキーボード、マ
ウスなどの入力装置３３０２を介して完成させて入力装
置３３０２から状態遷移表をプリグラム生成プログラム
に入力するようになっている。

【００５７】ユーザの操作により入力装置３３０２から
状態遷移表が入力される。また、出力装置３３０４であ
るプリンタには、作成した状態遷移表や生成されたＣ言
語プログラムコードを出力するようになっている。

【００５８】尚、本実施の形態のＣ言語プログラム生成
装置で実行されるＣ言語プログラム生成プログラムは、
ＣＤ−ＲＯＭまたはＦＤ等にインストール可能な形式の
ファイルで提供される。なお、このようなインストール
可能な形式のファイルを、ネットワークからのダウンロ
ードで提供するようにしても良い。

【００５９】次に、実施の形態１に係るＣ言語プログラ
ム生成装置の機能的構成について説明する。図１は、実
施の形態１に係るＣ言語プログラム生成装置の機能的構
成を示すブロック図である。

【００６０】図１に示すように、実施の形態１に係るＣ
言語プログラム生成装置は、状態遷移表を入力するＳＴ
Ｍ入力部１０２と、状態遷移表の形式的な文法チェック
などを行うＳＴＭ解析部１０３と、入力された状態遷移
表からＣ言語プログラムコード（ソースコード）１２２
を生成するコード生成部１０１と、生成されたプログラ
ムコードをハードディスクなどに格納する出力部１１２
とから構成される。

【００６１】コード生成部１０１は、さらに、ＳＴＭ初
期化処理生成部１０４と、事象・状態ＩＤ定義生成部１
０５と、事象解析処理生成部１０６と、アクション処理
生成部１０７と、アクションテーブル生成部１０８と、
遷移テーブル生成部１０９と、事象テーブル生成部１１
０と、実行処理生成部１１１とから構成される。

【００６２】図１において、デフォルト変換情報１１
３、状態変数１１４、事象ＩＤ情報１１５、状態ＩＤ情
報１１６、事象解析ロジック１１７、アクションテーブ
ル１１８、遷移テーブル１１９、事象テーブル１２０、
ＳＴＭロジック１２１、プログラムコード１２２は、プ
ログラム生成過程においてファイル形式で作成され、外
部記憶装置３３０５に格納される。

【００６３】ＳＴＭ入力部１０２は、表示装置３３０３
に状態遷移表エディタを表示して、ユーザが入力装置３
３０２から状態遷移表エディタを使用した作成した状態
遷移表を入力して、外部記憶装置３３０５に格納する。
また、ＳＴＭ入力部１０２は、ユーザが入力装置３３０
２から状態遷移表エディタを使用して作成したデフォル
ト変換情報１１３を入力し、外部記憶装置３３０５に格
納する。

【００６４】ＳＴＭ解析部１０３は、状態遷移表の形式
的な文法チェックなどを行うものである。図４は、実施
の形態１にかかるＣ言語プログラム生成装置のＳＴＭ解
析部１０３による解析処理手順を示すフローチャートで
ある。

【００６５】ＳＴＭ解析部１０３は、まず外部記憶装置
から状態遷移表を読み込み（ステップＳ４０１）、構文
エラーの有無を解析する（ステップＳ４０２）。構文エ
ラーがない場合には、さらに整合性エラーの有無をチェ
ックし（ステップＳ４０３）、整合性エラーがない場合
には解析終了メッセージを表示装置３３０３または出力
装置３３０４に出力して処理を終了する（ステップＳ４
１０）。整合性エラーがある場合には、エラーメッセー
ジを出力して（ステップＳ４０４）、ユーザの継続指定
がなければコード生成不可メッセージを出力して処理を
終了する（ステップＳ４０５、Ｓ４０６）。

【００６６】ステップＳ４０２において、構文エラーが
発見された場合には、ユーザがデフォルト生成指定を行
っているか否かをチェックし（ステップＳ４０７）、デ
フォルト生成指定がある場合には、エラーメッセージを
出力して（ステップＳ４０８）、デフォルト変換情報１
１３を生成する（ステップＳ４０９）。

【００６７】ここで、デフォルト変換情報１１３とは、
事象の変換情報が未登録であった場合に自動的に生成さ
れる事象解析情報である。例えば、事象Ｅ１として、
「#CHGE1 data.code == EVENT1」という変換情報が登録
され、事象Ｅ２として何も登録されていない場合には、
事象解析処理はＥ１と同様に以下のように生成される。

【００６８】 if(data.code == EVENT1) { アクション実行処理(事象ID1); } else if(E2){ アクション実行処理(事象ID2); } なお、デフォルト変換情報には、if-else文、if-if文、
switch文のいずれを使用するかの情報も生成される。

【００６９】ＳＴＭ初期化処理生成部１０４は、デフォ
ルト変換情報１１３を入力し、状態遷移表の数分の変数
を宣言し、各変数に初期値を与えるＳＴＭ初期化処理フ
ァイルを生成する。ＳＴＭ初期化処理ファイルには、現
在の状態を初期化する処理が記述される。

【００７０】事象・状態ＩＤ定義生成部１０５は、状態
遷移表からすべての事象と状態を取得して、各事象の事
象ＩＤを割り付けた事象ＩＤ情報１１５と、各状態の状
態ＩＤを割り付けた状態ＩＤ情報１１６をそれぞれファ
イル形式で生成する。

【００７１】事象解析処理生成部１０６は、状態遷移表
に定義されているすべての事象を取得して、受信した事
象が状態遷移表で定義された事象と合致するか否かとい
う事象を判定する処理を事象解析ロジック１１７として
生成する。このとき、デフォルト変換情報１１３を入力
し、事象の判定処理について登録されていれば、これを
用いて事象解析ロジック１１７を生成する。

【００７２】アクション処理生成部１０７は、状態遷移
表で定義されているアクションを読み出して、現在の状
態と受信した事象の交差するセルのアクションの実体的
な定義をしたアクション処理ファイルを生成する。図５
は実施の形態１のＣ言語プログラム生成装置におけるア
クション処理生成部１０７で実行される処理の手順を示
すフローチャートである。

【００７３】アクション処理生成部１０７は、状態遷移
表のデータからセルのアクション部を抽出して（ステッ
プＳ５０１）、アクションリストとして追加する。そし
てアクションが重複しているものについては、一つのア
クションのみを残してアクションリストから削除する
（ステップＳ５０２）。つぎに、アクションリスト数分
のアクションとしての関数のスケルトン（関数の処理を
記述せずに関数宣言のみ記述したもの）を生成する（ス
テップＳ５０３）。そして、デフォルト変換情報１１３
を入力し、アクションの関数の処理内容（スケルトンに
記述する中身）が定義されている場合には、その処理内
容をスケルトンに埋め込む（ステップＳ５０４）。

【００７４】アクションテーブル生成部１０８は、アク
ションテーブル１１８を生成するものである。図６は、
実施の形態１にかかるＣ言語プログラム生成装置のアク
ションテーブル生成部１０８によるアクションテーブル
生成処理の手順を示すフローチャートである。

【００７５】アクションテーブル生成部１０８は、状態
遷移表のアクションまたは遷移先の状態が定義されてい
るセルから、アクションを状態ごとに列挙して、アクシ
ョンを事象と状態の２次元配列テーブルに登録したアク
ションテーブル１１８をファイル形式で生成する（ステ
ップＳ６０１）。ここで、アクションまたは遷移先の状
態が定義されているセルだけからアクションを抽出し、
アクションおよび遷移先の状態が未定義のセルからは何
も抽出しない。

【００７６】そして、コード量削減オプションがプログ
ラム生成コマンド入力時にユーザにより指定されている
場合には、２次元配列のテーブルを１次元テーブルに変
換してアクションテーブル１１８とする（ステップＳ６
０２）。

【００７７】図１０は、図２の状態遷移表に基づいて生
成されたアクションテーブルの一例を示す説明図であ
る。図１０に示すように、アクションテーブル１１８に
は、各状態（Ｓ１，Ｓ２＿１，Ｓ２＿２）ごとに、アク
ション関数Action()を列挙した配列（_CStateActionPro
c_Sx[]）でテーブル化が実現されている。なお、「&_No
neFunc」は、遷移先の状態が存在するがアクションは存
在しないことを示している。

【００７８】遷移テーブル生成部１０９は、状態遷移表
のデータから遷移テーブルを生成するものである。図７
は、実施の形態１にかかるＣ言語プログラム生成装置の
遷移テーブル生成部１０９による遷移テーブル生成処理
の手順を示すフローチャートである。遷移テーブル生成
部１０９は、状態遷移表のデータからアクションまたは
遷移先の状態が記述されているセルのみを抽出して、遷
移先の状態を識別子（ＩＤ）を用いて状態ごとにテーブ
ル形式で記述した遷移テーブル１１９を生成する（ステ
ップＳ７０１）。ここで、アクションまたは遷移先の状
態が定義されているセルだけから遷移先の状態を抽出
し、アクションおよび遷移先の状態が未定義のセルから
は何も抽出しない。図１１は、図２の状態遷移表に基づ
いて生成された遷移テーブル１１９の一例を示す説明図
である。図１１に示すように、遷移テーブルには、各状
態（Ｓ１，Ｓ２＿１，Ｓ２＿２）ごとに、遷移先の状態
を列挙した配列（_CStateTrans_Sx[]）でテーブル化が
実現されている。

【００７９】事象テーブル生成部１１０は、状態遷移表
から事象テーブル１２０を生成するものである。図８
は、実施の形態１にかかるＣ言語プログラム生成装置の
事象テーブル生成部１１０による事象テーブル生成処理
の手順を示すフローチャートである。事象テーブル生成
部１１０は、各状態に対して存在する事象を抽出して、
状態ごとに受け付ける事象を識別子（ＩＤ）を用いて格
納した事象テーブル１２０を生成する（ステップＳ８０
１）。

【００８０】アクションテーブル１１８及び遷移テーブ
ル１１９が上述のように、アクションまたは遷移先の状
態の記述があるセルのみをテーブル化しているため、受
信した事象に対応する状態のアクションを実行する場合
に、テーブルを検索させるために、後述する実行処理プ
ログラムによってこの事象テーブルが参照される。すな
わち、事象テーブルによって、状態に対する事象が存在
するかを判断される。

【００８１】図１２は、図２の状態遷移表に基づいて生
成された事象テーブル１２０の一例を示す説明図であ
る。図１２に示すように、事象テーブル１２０には、各
状態（Ｓ１，Ｓ２＿１，Ｓ２＿２）ごとに、存在する事
象の事象ＩＤ（Ｅ０、Ｅ１など）を列挙した配列（_CSt
ateAction_Sx[]）でテーブル化が実現されている。

【００８２】実行処理生成部１１１は、状態遷移表から
事象、状態を取得してプログラムコード（Ｃ言語ソース
コード）１２２を生成するものである。図９は、実施の
形態１にかかるＣ言語プログラム生成装置の実行処理生
成部１１１による事象テーブル生成処理の手順を示すフ
ローチャートである。

【００８３】実行処理生成部１１１は、次の実行処理を
行うソースコードを生成し（ステップＳ９０１）、ＳＴ
Ｍロジック１２１に格納する。このソースコードでは、
状態変数１１４を読み込んで現在アクティブな状態（実
際には状態Ｎｏ）を取得する。そして、事象解析ロジッ
ク１１７を読み込んで現在入力された事象（実際には事
象Ｎｏ）を取得する。そして、アクションテーブル１１
８と事象テーブル１２０を参照して、取得した状態と事
象とに対応するアクションを抽出する処理を行ってい
る。

【００８４】そして、アクション終了後、次の遷移先
を、遷移テーブル１１９から実行する処理を生成してＳ
ＴＭロジック１２１に追加する（ステップＳ９０２）。

【００８５】図１３は、図２の状態遷移表に基づいて生
成されたコードにおいて各テーブルの参照部分の一例を
示す説明図である。図１３に示すように、コード中で、
_CStateAction[][]により事象テーブル１２０を参照し
ている。また、_CStateActionProc[][]によりアクショ
ンテーブル１１８を参照し、_CStateTrans[][]により遷
移テーブル１１９を参照していることがわかる。

【００８６】出力部１１２では、上述の過程で生成され
た、状態変数１１４、事象テーブル１２０、事象ＩＤ情
報１１５、状態ＩＤ情報１１６、アクションテーブル１
１８、遷移テーブル１１９、事象解析ロジック１１７、
ＳＴＭロジック１２１をＣ言語プログラムコード１２２
に変換し、外部記憶装置３３０５に格納する。これによ
り、状態遷移表からＣ言語プログラムコード１２２が生
成される。

【００８７】このように実施の形態１のＣ言語プログラ
ム生成装置では、事象駆動（イベントドリブン）される
システムにおいて、状態遷移表からシステムが実行すべ
きアクション内容または遷移先の状態が記述されている
セルのみを抽出してアクション内容を状態ごとに記述し
たアクションテーブルと、アクションまたは遷移先の状
態が記述されているセルのみを抽出して遷移先の状態を
状態ごとに記述した遷移テーブルとを生成しプログラム
コード量が小さくなるとともに、生成されたプログラム
の実行時に使用メモリサイズを減少させることができ
る。このため、メモリ容量に制限のある組み込みシステ
ムに最適なプログラムを自動生成することが可能とな
る。

【００８８】（実施の形態２）実施の形態１のＣ言語プ
ログラム生成装置は、事象駆動型の状態遷移表に基づい
てＣ言語プログラムコード１２２を生成するものであっ
たが、この実施の形態２のＣ言語プログラム生成装置
は、状態駆動型の状態遷移表に基づいてＣ言語プログラ
ムコード１２２を生成するものである。実施の形態２の
Ｃ言語プログラム生成装置のハードウェア構成は、実施
の形態１と同様であるので説明を省略する。

【００８９】図１４は、実施の形態２にかかるＣ言語プ
ログラム生成装置の機能的構成を示すブロック図であ
る。図１４に示すように、実施の形態２に係るＣ言語プ
ログラム生成装置は、状態遷移表を入力するＳＴＭ入力
部１４０２と、状態遷移表の形式的な文法チェックなど
を行うＳＴＭ解析部１４０３と、入力された状態遷移表
からＣ言語プログラムコード（ソースコード）１４２１
を生成するコード生成部１４０１と、生成されたプログ
ラムコード１４２１をハードディスクなどの外部記憶装
置３３０５に格納する出力部１４１２とから構成され
る。

【００９０】図１４において、デフォルト変換情報１４
１３、状態変数１４１４、状態ＩＤ情報１４１５、状態
ごとの事象解析ロジック１４１６、アクティビティ情報
テーブル１４１７、親状態ＩＤ情報テーブル１４１８、
サブ状態ＩＤ情報テーブル１４１９、ＳＴＭロジック１
４２０、プログラムコード１４２１は、プログラム生成
過程においてファイル形式で作成され、外部記憶装置３
３０５に格納される。

【００９１】コード生成部１４０１は、さらに、ＳＴＭ
初期化処理生成部１４０４と、状態ＩＤ定義生成部１４
０５と、アクション処理生成部１４０６と、状態ごとの
事象解析処理生成部１４０７と、状態アクティビティ情
報テーブル生成部１４０８と、親状態ＩＤ情報テーブル
生成部１４０９と、サブ状態ＩＤ情報テーブル生成部１
４１０と、実行処理生成部１４１１とから構成される。

【００９２】ここで、ＳＴＭ入力部１４０２とＳＴＭ解
析部１４０３については、実施の形態１のＣ言語プログ
ラム生成装置と同様であるため説明を省略する。

【００９３】ＳＴＭ初期化処理生成部１４０４は、実施
の形態１のＣ言語プログラム生成装置と同様に、状態遷
移表から状態を管理する変数を取得して、ＳＴＭ初期化
処理ファイルを生成する。ＳＴＭ初期化処理ファイルに
は、現在の状態を初期化する処理が記述される。

【００９４】状態ＩＤ定義生成部１４０５は、状態遷移
表からすべての状態を取得して、各状態に状態ＩＤを割
り付け、状態ＩＤ情報１４１５をファイル形式で生成す
る。実施の形態２のＣ言語プリグラム生成装置では、状
態駆動型の状態遷移表に基づいてＣ言語プログラムコー
ドを生成するため、以下の処理では、状態ごとに事象解
析を行う。このため、状態ＩＤの割り付けのみを行い、
事象ＩＤの割り付け処理は行っていない。

【００９５】アクション処理生成部１４０６は、状態遷
移表で定義されているアクションを読み出して、現在の
状態と受信した事象の交差するセルのアクションの実体
的な定義をしたアクション処理ファイルを生成する。具
体的な処理は、実施の形態１で説明したアクション処理
生成部１０７による処理と同様である。

【００９６】状態ごとの事象解析処理生成部１４０７
は、状態遷移表に定義されているすべての事象を状態ご
とに取得して、受信した事象が状態遷移表で定義された
事象と合致するか否かの解析処理を状態ごとに行う状態
ごとの事象解析処理ファイルを生成する。図１５は、実
施の形態２のＣ言語プログラム生成装置の状態ごとの事
象解析処理生成部１４０７による事象解析処理の手順を
示すフローチャートである。状態ごとの事象解析処理生
成部１４０７では、まず状態遷移表のデータから状態を
一つ取得する（ステップＳ１５０１）。そして、デフォ
ルト変換情報１４１３を読み込んで、デフォルト変換情
報１４１３に事象を判定するロジックがあれば、そのロ
ジックに対応した状態ごとの事象解析ロジック１４１６
を生成して外部記憶装置３３０５に格納する（ステップ
Ｓ１５０２）。そして、ステップＳ１５０１、Ｓ１５０
２の処理を、状態遷移表のデータにあるすべての状態に
ついて繰り返し行い（ステップＳ１５０３）、最終の状
態を処理した後に事象解析処理を終了する。

【００９７】状態アクティビティ情報テーブル生成部１
４０８は、状態アクティビティ情報テーブル１４１７を
生成するものである。図１６は、実施の形態２のＣ言語
プログラム生成装置の状態アクティビティ情報テーブル
生成部１４０８による状態アクティビティ情報テーブル
生成処理の手順を示すフローチャートである。

【００９８】状態アクティビティ情報テーブル生成部１
４０８は、状態ごとの事象解析ロジック１４１６を読み
込んで、状態ごとに呼び出すアクション、アクティビテ
ィを登録した状態アクティビティ情報テーブル１４１７
を生成する（ステップ１６０１）。ここで、アクティビ
ティとは、状態遷移時の定型的処理を示すものである。

【００９９】図１９は、図２の状態遷移表に基づいて生
成された状態アクティビティ情報テーブル１４１７の一
例を示す説明図である。図１９に示すように、状態アク
ティビティ情報テーブルには、各状態（Ｓ１，Ｓ２＿
１，Ｓ２＿２）ごとに、事象解析処理関数(Sx_EventAna
lysis）を登録されている。なお、図２の状態遷移表で
はアクティビティが記述されていないため、アクティビ
ティ関数の登録はなされていないが、状態遷移表にアク
ティビティの記述がある場合には、事象解析処理関数と
同様に状態アクティビティ情報テーブル１４１７に登録
される。なお、「CFunc_NULL」は、関数が存在しないこ
とを示している。

【０１００】親状態ＩＤ情報テーブル生成部１４０９
は、親状態ＩＤ情報テーブル１４１８を生成するもので
ある。図１７は、実施の形態２のＣ言語プログラム生成
装置の親状態ＩＤ情報テーブル生成部１４０９による親
状態ＩＤ情報テーブル生成処理の手順を示すフローチャ
ートである。

【０１０１】親状態ＩＤ情報テーブル生成部１４０９
は、状態ＩＤ情報１４１５を読み込んで、各状態がサブ
状態を有する親状態の場合には、親状態ＩＤ情報テーブ
ル１４１８に親情報ＩＤを設定し、親状態な存在しない
場合には、ＮＵＬＬを設定した親状態ＩＤ情報テーブル
１４１８を生成する（ステップＳ１７０１）。ここで、
親状態とは、サブ状態の上位の状態であり、図２に示す
状態遷移表においてＳ２が親状態となる。また、サブ状
態とは、親状態の下位の状態であり、図２の状態遷移表
ではＳ２＿１，Ｓ２＿２がサブ状態となる。

【０１０２】図２０は、図２の状態遷移表に基づいて生
成された親状態ＩＤ情報テーブルの一例を示す説明図で
ある。図２０では、図２の状態遷移表におけるサブ状態
Ｓ２＿１およびＳ２＿２の親状態Ｓ２の親状態ＩＤが
「＿Ｓ２」と定義されている。なお、「CState_NULL」
は、親状態が存在しないことを示している。

【０１０３】サブ状態ＩＤ情報テーブル生成部１４１０
は、状態遷移表からサブ状態ＩＤ情報テーブル１４１９
を生成するものである。図１８は、実施の形態２のＣ言
語プログラム生成装置のサブ状態ＩＤ情報テーブル生成
部１４１０によるサブ状態ＩＤ情報テーブル生成処理の
手順を示すフローチャートである。

【０１０４】サブ状態ＩＤ情報テーブル生成部１４１０
は、状態ＩＤ情報１４１５を読み込んで、読み込んだ状
態の状態ＩＤにサブ状態を示すＩＤを設定し、サブ状態
が存在しない場合にはＮＵＬＬを設定することにより、
サブ状態ＩＤ情報テーブル１４１９を生成する（ステッ
プＳ１８０１）。

【０１０５】図２１は、図２の状態遷移表に基づいて生
成されたサブ状態ＩＤ情報テーブル１４１９の一例を示
す説明図である。図２１では、図２の状態遷移表におけ
る親状態Ｓ２のサブ状態Ｓ２＿１のサブ状態ＩＤが「＿
Ｓ２＿１」と定義されている。なお、「CState_NULL」
は、サブ状態が存在しないことを示している。

【０１０６】実行処理生成部１４１１は、状態遷移表か
ら事象、状態を取得して次の処理を行うソースコードを
生成しＳＴＭロジック１４２０に格納する。このソース
コードでは、親状態ＩＤ情報テーブル１４１８とサブ状
態ＩＤ情報テーブル１４１９とを参照して各状態の上
位、下位を判別する。そして、アクティビティ情報テー
ブル１４１７によって状態ごとに事象解析処理または定
型処理を実行する。

【０１０７】図２２は、図２の状態遷移表に基づいて生
成された実行処理プログラムの一例を示す説明図であ
る。図２２に示すように、実行処理プログラムでは、_S
tateEntry関数によって、親状態ＩＤ情報テーブル１４
１８とサブ状態ＩＤ情報テーブル１４１９における定義
から、各状態が親状態かサブ状態かを判別している。ま
た、EventAnalysis関数によって事象解析処理を実行し
ている。

【０１０８】そして、実施の形態１のＣ言語プログラム
生成装置と同様に、出力部１４１２によってＣ言語プロ
グラムコードが生成され、外部記憶装置３３０５に格納
される。

【０１０９】このように実施の形態２のＣ言語プログラ
ム生成装置によれば、アクティビティ情報テーブル１４
１７を生成して各状態ごとに事象解析処理または定型処
理を定義し、また親状態ＩＤ情報テーブル１４１８とサ
ブ状態ＩＤ情報テーブル１４１９とを生成して、各状態
が親状態かサブ状態かだけを定義しておいた上で、プロ
グラム実行時に親状態ＩＤ情報テーブルとサブ状態ＩＤ
情報テーブルとに基づいて各状態が親状態かサブ状態か
を判別し、この判別結果とアクティビティ情報テーブル
１４１７とに基づいて状態ごとに事象解析処理または定
型処理を実行するプログラムコードを生成することで、
プログラムコード量の削減を図るとともに、メモリ使用
量を低減させることができ、プログラムの実行速度の向
上を図ることができる。

【０１１０】（実施の形態３）この実施の形態３にかか
るＣ言語プログラム生成装置は、事象、状態を階層化し
て複数の状態遷移表を統合した一つの状態遷移表を入力
するものである。実施の形態３にかかるＣ言語プログラ
ム生成装置のハードウェア構成、機能的構成およびプロ
グラム生成の処理については、実施の形態１のＣ言語プ
ログラム生成装置と同様であるので説明を省略する。

【０１１１】図２３は、実施の形態３のＣ言語プログラ
ム生成装置に入力する事象階層化を行った状態遷移表の
説明図である。図２３に示すように、この状態遷移表
は、状態Ｓ１における事象Ｅ１に対応するセルのアクシ
ョンとして「（白四角記号）０．１」の記号が付されて
おり、これは下位の状態遷移表を示すものである。かか
る階層化部分については、コード生成部１０１によって
図２３に示すように、m0_1FSMCall（）関数のプログラ
ムが生成される。

【０１１２】このような事象階層化を状態遷移表で可能
にすることにより、巨大化、複雑化する事象を抽象化し
て、結果的に状態遷移表が膨大かつ複雑化することを防
止することができる。特に開発対象のシステムがインタ
ーネットなどの通信に接続した場合、通信メッセージに
は多種多様のコマンド、ステータスが存在するので、こ
れらの事象を平面的ではなく階層的に記述することがで
き、ユーザにとって便宜なものとなる。

【０１１３】図２４は、実施の形態３のＣ言語プログラ
ム生成装置に入力する状態階層化を行った状態遷移表の
説明図である。図２４の上段に示すように、状態階層化
を行わない場合には２個の状態遷移表を使用しなければ
ならないが、図２４の下段に示すように、状態Ｓ２のサ
ブ状態であるＳ２＿１、Ｓ２＿２を下位階層として記述
することにより、巨大化、複雑化する状態を抽象化し
て、結果的に状態遷移表が膨大かつ複雑化することを防
止することができる。例えば、携帯電話のような小さな
液晶画面でたくさんのモードがある場合（同一ボタンで
もモードによって意味が異なる場合）、各モードをその
まま状態として定義すると状態数が膨大となるが、状態
（モード）を階層化して表現した場合には１つの状態遷
移表に集約でき、システム動作の把握を容易に行うこと
ができる。

【０１１４】（実施の形態４）この実施の形態４にかか
るＣ言語プログラム生成装置は、並列状態を組み込んだ
状態遷移表を入力するものである。この状態遷移表は状
態駆動型の実装方式で採用できる。実施の形態４にかか
るＣ言語プログラム生成装置のハードウェア構成、機能
的構成およびプログラム生成の処理については、実施の
形態２のＣ言語プログラム生成装置と同様であるので説
明を省略する。

【０１１５】図２５は、実施の形態４のＣ言語プログラ
ム生成装置に入力する並列状態を組み込んだ状態遷移表
の説明図である。図２５に示すように、点線部で囲んだ
状態は並列実行可能な状態であることを示している。

【０１１６】この図２５の状態遷移表を入力した場合に
は、状態Ｓ２での事象解析処理において、並列状態のＳ
２＿１、Ｓ２＿２の事象解析を実行する。

【０１１７】このように、実施の形態４のＣ言語プログ
ラム生成装置では、並列状態を組み込んだ状態遷移表を
入力することにより、並列数分の状態の増加を抑えるこ
とができる。このため、生成されるプログラムのコード
量も削減されることになる。また、このような並列状態
を状態遷移表に組み込むことにより、例えば、将来的な
携帯電話のように通話をしながらデータ通信を行うとい
った並列の処理を容易に記述することができる。

【０１１８】（実施の形態５）この実施の形態５にかか
るＣ言語プログラム生成装置は、事象をその発生形式に
より分類して記述した状態遷移表を入力するものであ
る。実施の形態５にかかるＣ言語プログラム生成装置の
ハードウェア構成、機能的構成およびプログラム生成の
処理については、実施の形態１のＣ言語プログラム生成
装置と同様であるので説明を省略する。

【０１１９】図２６は、実施の形態５のＣ言語プログラ
ム生成装置に入力する事象の発生形式で分類して記述し
た状態遷移表の説明図である。事象の発生形式による分
類としては、変数型事象、割り込み型事象、インメイル
型事象、関数コール型事象がある。

【０１２０】変数型事象は、変数の値の変化を事象とし
てとらえたものであり、図２６の事象(Event)の欄にお
ける「Ｅ１」、「Ａ＝＝０」が該当する。割り込み型事
象は、ＣＰＵがプログラムに対して外部からの刺激があ
ったことを直接通知するものであり、図２６の事象にお
ける「ＩＩＮＴ」の欄の記述が該当する。インメイル型
事象は、状態遷移表内に存在する階層化された状態遷移
表間でメッセージなどを送受信する事象であり、図２６
の事象における長方形で囲まれた「ＩＮＭ１（）」の記
述が該当する。関数コール型事象は、関数の呼び出しを
事象としたものであり、図２６の事象における「ｖｏｉ
ｄ Ａ（）」の記述が該当する。

【０１２１】図２７は、実施の形態５のＣ言語プログラ
ム生成装置に入力するインメイル型事象を有する状態遷
移表と、インメイル型事象の記述から生成されるプログ
ラムの一例を示した説明図である。図２７に示すインメ
イル型事象をＣ言語プログラム生成装置に入力した場
合、コード生成部１０１により事象の欄の左方から順に
解析され、まずインメイルＡのｉｆ文が生成され、その
ｉｆ文のブロックにインメイルＢのｉｆ文とインメイル
Ｃのｅｌｓｅ ｉｆ文が並列に生成される。そして、イ
ンメイルＣのｅｌｓｅ ｉｆ文のブロックには、事象の
欄の最右欄の変数Ａに関するｉｆ文が生成される。

【０１２２】図２８は、実施の形態５のＣ言語プログラ
ム生成装置に入力する割り込み型事象を有する状態遷移
表と、割り込み型事象の記述から生成されるプログラム
の一例を示した説明図である。図２８に示す割り込み型
事象をＣ言語プログラム生成装置に入力した場合、コー
ド生成部１０１により事象の欄の左方から順に解析さ
れ、まず割り込みＡを受信した旨を示すｉｎｔｅｒｒｕ
ｐｔ文が生成され、そのブロックに、中央の欄の変数Ａ
の値を判断するｓｗｉｔｃｈ文が生成される。そして、
このｓｗｉｔｃｈ文のブロックに事象の欄の最右欄に記
述されたＤＥＦ＿Ａ、ＤＥＦ＿ＢおよびＤＥＦ＿Ｃの値
のｃａｓｅ文が並列に生成され、ｃａｓｅ文の中で事象
解析（イベントＮｏ）が記述される。

【０１２３】図２９は、実施の形態５のＣ言語プログラ
ム生成装置に入力する関数コール型事象を有する状態遷
移表と、関数コール型事象の記述から生成されるプログ
ラムの一例を示した説明図である。図２９に示す関数コ
ール型事象をＣ言語プログラム生成装置に入力した場
合、コード生成部１０１によって事象の欄に記述された
関数が生成され、関数内で事象解析（イベントＮｏ）お
よび状態遷移表の駆動命令（ＳＴＭ駆動）が記述され
る。

【０１２４】このように実施の形態５のＣ言語プログラ
ム生成装置では、事象の型を分類した状態遷移表を使用
することにより、リアルタイムＯＳのシステムコールの
使用、変数の使用、メッセージバッファの使用、割込み
の使用、関数コールの使用という情報をもってプログラ
ムコードを自動生成することができる。このため、デバ
イスドライバのように割込みを扱い、かつアプリケーシ
ョンタスクからコールされる場合、複数の事象の型を用
意することで、プログラムコードとの対応を取ることが
できる。

【０１２５】（実施の形態６）この実施の形態６にかか
るＣ言語プログラム生成装置は、状態階層化を有する場
合に、親の状態に遷移したときの遷移先のサブ状態を、
予め定めた省略値の状態または過去に遷移した状態に基
づいて定めた状態遷移表を入力するものである。実施の
形態６にかかるＣ言語プログラム生成装置のハードウェ
ア構成、機能的構成およびプログラム生成の処理につい
ては、実施の形態１のＣ言語プログラム生成装置と同様
であるので説明を省略する。

【０１２６】遷移先の決定方法として、予め定められた
サブ状態に遷移する固定型遷移と、過去にアクティブと
なったことのあるサブ状態に遷移する記憶型遷移と、過
去にアクティブになったサブ状態をすべて記憶してお
き、前回アクティブになったサブ状態へ遷移する深層記
憶型遷移がある。

【０１２７】図３０は、実施の形態６のＣ言語プログラ
ム生成装置に入力する深層記憶型遷移を有する状態遷移
表の説明図である。図３０において、状態Ｓ１で事象Ｅ
１が発生したときに遷移する親状態Ｓ２のサブ状態（Ｓ
２＿１、Ｓ２＿２）への遷移は、「Ｓ２（Ｄ）」と記述
することにより、深層記憶型遷移、すなわち前回アクテ
ィブになったサブ状態へ遷移することになる。なお、固
定型遷移の場合には「Ｓ２（Ｆ）」と記述し、記憶型遷
移の場合には「Ｓ２（Ｆ）」と記述する。

【０１２８】このような遷移の型が指定された状態遷移
表が入力された場合、コード生成部１０１は、遷移先の
情報または履歴を保持するテーブルなどを生成すればよ
く、これにより、遷移先へ移るたびにフラグなどをたて
るなどの処理が必要なくなる。

【０１２９】このように実施の形態６のＣ言語プログラ
ム生成装置では、遷移の型を明示した状態遷移表を使用
しているので、従来フラグで行っていた状態管理を隠蔽
することができる。例えば、ファクシミリ、コピー、プ
リンタなどを搭載した複合機のように、過去に動作した
モードを記憶する必要がある場合に最適なプログラムを
生成することが可能となる。

【０１３０】（実施の形態７）この実施の形態７にかか
るＣ言語プログラム生成装置は、複数の状態遷移表を配
列化した一つの状態遷移表であって、その配列数を記述
した状態遷移表（クローン状態遷移表）を入力するもの
である。実施の形態７にかかるＣ言語プログラム生成装
置のハードウェア構成、機能的構成およびプログラム生
成の処理については、実施の形態１のＣ言語プログラム
生成装置と同様であるので説明を省略する。

【０１３１】実施の形態７で使用するクローン状態遷移
表は、一つの状態遷移表から複数の状態遷移表を生成す
るものである。このクローン状態遷移表は、図２に示す
状態遷移表の最上左欄に状態遷移表ＮＯまたは状態遷移
表名称に配列数［ｎ］を記述することによって宣言す
る。

【０１３２】このような配列数が宣言された状態遷移表
がＣ言語プログラム生成装置に入力された場合、コード
生成部１０１は、配列数分の状態遷移表が入力された場
合と同様に配列数分のプログラムを生成する。

【０１３３】このように実施の形態７のＣ言語プログラ
ム生成装置では、クローン状態遷移表を使用しているの
で、複数の状態を１つの状態遷移表で管理することがで
きる。このため、通信制御プロトコルタスクが複数の相
手局や複数のチャネルの管理を同一プロトコルで行う場
合に、最適なプログラムを生成することができる。

【０１３４】（実施の形態８）この実施の形態８にかか
るＣ言語プログラム生成装置は、特定の事象の発生また
は特定の状態への遷移において実行される定型的なアク
ション（アクティビティ）を記述した状態遷移表を入力
するものである。実施の形態８にかかるＣ言語プログラ
ム生成装置のハードウェア構成、機能的構成およびプロ
グラム生成の処理については、実施の形態１のＣ言語プ
ログラム生成装置と同様であるので説明を省略する。

【０１３５】アクティビティには、事象の発生に応じて
実行されるイベントアクティビティと、状態の遷移に伴
って実行されるステートアクティビティがある。図３１
は、実施の形態８のＣ言語プログラム生成装置に入力す
るイベントアクティビティを指定した状態遷移表の説明
図である。

【０１３６】イベントアクティビティとしては、事象の
解析処理が実行される前に実行される定型的処理である
イベント解析スタートアクティビティと、事象の解析処
理が開始され、アクション、遷移があればそれぞれを実
行し、次の事象を待つ直前に実行されるイベント解析エ
ンドアクティビティなどがある。イベント解析スタート
アクティビティは、図３１に示すように事象の欄に「丸
付きＳ」で記述し、イベント解析エンドアクティビティ
は、図３１に示すように事象の欄に「丸付きＥ」で記述
する。

【０１３７】このように実施の形態８のＣ言語プログラ
ム生成装置では、イベントアクティビティを指定した状
態遷移表を使用しているので、アクションセルに記述す
ることがないため、１箇所にまとめることができ、保守
性が向上する。例えば、ＬＳＩ制御の場合、特定の制御
信号を受信（事象発生）した際に、特定のコマンドをＬ
ＳＩに発行することでＬＳＩとの通信を行う際に、イベ
ントアクティブティに登録し、他のＬＳＩに変えた場合
には、イベントアクティビティのみを修正すれば容易に
保守を行うことができる。

【０１３８】また、ステートアクティビティとしては、
状態がアクティブになったとき（その状態に遷移したと
き）に実行されるステートスタートアクティビティと、
状態がアクティブでなくなるとき（次の状態へ遷移する
とき）に実行されるステートエンドアクティビティと、
状態駆動型の状態遷移表が事象の監視を切り替える場合
に実行されるディスパッチアクティビティなどがある。

【０１３９】図３２は、実施の形態８のＣ言語プログラ
ム生成装置に入力するステートアクティビティを指定し
た状態遷移表の説明図である。ステートスタートアクテ
ィビティは、図３２に示すように状態の欄に「丸付き
Ｓ」で記述し、事象解析エンドアクティビティは、図３
２に示すように状態の欄に「丸付きＥ」で記述する。ま
た、ディスパッチアクティビティは、図３２に示すよう
に状態の欄に「丸付きＭ」で記述する。このようなアク
ティビティが指定された場合のプログラム生成の処理は
実施の形態１のコード生成部１０１による処理と同様で
ある。

【０１４０】このように実施の形態８のＣ言語プログラ
ム生成装置では、ステートアクティビティを指定した状
態遷移表を使用しているので、特定の状態に依存する処
理を登録することができる。例えば、オートクルーズコ
ントロールで走行中に絶えず現在の速度値をサンプリン
グする場合に、オートクルーズ走行状態に速度サンプリ
ングモードアクティビティを登録すれば良い。

【０１４１】（実施の形態９）この実施の形態８にかか
るＣ言語プログラム生成装置は、特定の事象の発生また
は特定の状態への遷移において実行される定型的なアク
ション（アクティビティ）を記述した状態遷移表を入力
するものである。実施の形態８にかかるＣ言語プログラ
ム生成装置のハードウェア構成、機能的構成およびプロ
グラム生成の処理については、実施の形態１のＣ言語プ
ログラム生成装置と同様であるので説明を省略する。

【０１４２】以上、実施の形態１〜９で使用する状態遷
移表は、タスク、ドライバ、ハンドラなどのような所属
に分類してコンピュータ上に登録することができる。こ
の場合には、登録された情報からリアルタイムＯＳ向け
のＴＣＢ(Task Control Block)やＤＣＢ(Driver Contro
l Block)や割り込みベクタテーブルへの割込みハンドラ
のアドレスを自動的に生成することが可能となる。

【０１４３】なお、実施の形態１〜９において説明した
Ｃ言語プログラム、状態遷移表は一例を示すものであ
り、これらのものに本発明が限定されるものではない。
また、実施の形態１〜９では、本発明をＣ言語プログラ
ムを生成する装置に適用したが、他のプログラミング言
語を生成する装置に適用することも可能である。

【０１４４】

【発明の効果】以上説明したように、請求項１にかかる
発明によれば、プログラム実行に影響を与えずに、プロ
グラムコード量および使用時のメモリサイズを減少させ
ることができるという効果を奏する。

【０１４５】請求項２にかかる発明によれば、プログラ
ムコード量の削減を図ることができるとともに、メモリ
使用量も低減させることができ、さらには、プログラム
の実行速度の向上を図ることができるという効果を奏す
る。

【０１４６】請求項３にかかる発明によれば、状態遷移
表が過大となることを防止して、状態遷移表から生成す
るプログラムのコード量が少なくなり、プログラム実行
時のメモリ使用量の減少が図られるという効果を奏す
る。

【０１４７】請求項４にかかる発明によれば、並列実行
する分の状態の増加を抑えることができ、状態遷移表か
ら生成するプログラムのコード量が少なくなり、プログ
ラム実行時のメモリ使用量の減少を図ることができると
いう効果を奏する。

【０１４８】請求項５にかかる発明によれば、事象とし
てリアルタイムＯＳのシステムコールを使用する場合、
変数を使用する場合、メッセージバッファを使用する場
合、割込みを使用する場合、関数をコールする場合など
の情報を明確にしてプログラムコードを生成することが
できるという効果を奏する。

【０１４９】請求項６にかかる発明はによれば、フラグ
を用いた処理で行っていた状態の管理を容易に可能とす
るとともに、このような状態の管理を隠蔽することがで
きるという効果を奏する。

【０１５０】請求項７にかかる発明によれば、複数の状
態を１つの状態遷移表で管理することを容易に行うこと
ができ、またプログラムコード量の減少およびプログラ
ム実行時のメモリ使用量の低減が図られるという効果を
奏する。

【０１５１】請求項８にかかる発明によれば、状態遷移
表の保守性を向上させることができるという効果を奏す
る。

【０１５２】請求項９にかかる発明によれば、プログラ
ム実行に影響を与えずに、プログラムコード量および使
用時のメモリサイズを減少させることができるという効
果を奏する。

【０１５３】請求項１０にかかる発明によれば、プログ
ラムコード量の削減を図ることができるとともに、メモ
リ使用量も低減させることができ、さらには、プログラ
ムの実行速度の向上を図ることができるという効果を奏
する。

【０１５４】請求項１１にかかる発明によれば、状態遷
移表が過大となることを防止して、状態遷移表から生成
するプログラムのコード量が少なくなり、プログラム実
行時のメモリ使用量の減少が図られるという効果を奏す
る。

【０１５５】請求項１２にかかる発明によれば、並列実
行する分の状態の増加を抑えることができ、状態遷移表
から生成するプログラムのコード量が少なくなり、プロ
グラム実行時のメモリ使用量の減少を図ることができる
という効果を奏する。

【０１５６】請求項１３にかかる発明によれば、事象と
してリアルタイムＯＳのシステムコールを使用する場
合、変数を使用する場合、メッセージバッファを使用す
る場合、割込みを使用する場合、関数をコールする場合
などの情報を明確にしてプログラムコードを生成するこ
とができるという効果を奏する。

【０１５７】請求項１４にかかる発明はによれば、フラ
グを用いた処理で行っていた状態の管理を容易に可能と
するとともに、このような状態の管理を隠蔽することが
できるという効果を奏する。

【０１５８】請求項１５にかかる発明によれば、複数の
状態を１つの状態遷移表で管理することを容易に行うこ
とができ、またプログラムコード量の減少およびプログ
ラム実行時のメモリ使用量の低減が図られるという効果
を奏する。

【０１５９】請求項１６にかかる発明によれば、状態遷
移表の保守性を向上させることができるという効果を奏
する。

【０１６０】請求項１７にかかる発明によれば、請求項
９〜１６のいずれか一つの動作をコンピュータによって
実行することができるという効果を奏する。

【図面の簡単な説明】

【図１】実施の形態１に係るＣ言語プログラム生成装置
の機能的構成を示すブロック図である。

【図２】状態遷移表の一例を示す説明図である。

【図３】状態遷移図の一例を示す説明図である。

【図４】実施の形態１にかかるＣ言語プログラム生成装
置のＳＴＭ解析部１０３による解析処理手順を示すフロ
ーチャートである。

【図５】実施の形態１のＣ言語プログラム生成装置にお
けるアクション処理生成部で実行される処理の手順を示
すフローチャートである。

【図６】実施の形態１にかかるＣ言語プログラム生成装
置のアクションテーブル生成によるアクションテーブル
生成処理の手順を示すフローチャートである。

【図７】実施の形態１にかかるＣ言語プログラム生成装
置の遷移テーブル生成部による遷移テーブル生成処理の
手順を示すフローチャートである。

【図８】実施の形態１にかかるＣ言語プログラム生成装
置の事象テーブル生成部による事象テーブル生成処理の
手順を示すフローチャートである。

【図９】実施の形態１にかかるＣ言語プログラム生成装
置の実行処理生成部１１１による事象テーブル生成処理
の手順を示すフローチャートである。

【図１０】図２の状態遷移表に基づいて生成されたアク
ションテーブルの一例を示す説明図である。

【図１１】図２の状態遷移表に基づいて生成された遷移
テーブルの一例を示す説明図である。

【図１２】図２の状態遷移表に基づいて生成された事象
テーブルの一例を示す説明図である。

【図１３】図２の状態遷移表に基づいて生成された実行
処理プログラムにおいて各テーブルの参照部分の一例を
示す説明図である。

【図１４】実施の形態２にかかるＣ言語プログラム生成
装置の機能的構成を示すブロック図である。

【図１５】実施の形態２のＣ言語プログラム生成装置の
状態ごとの事象解析処理生成部による事象解析処理の手
順を示すフローチャートである。

【図１６】実施の形態２のＣ言語プログラム生成装置の
状態アクティビティ情報テーブル生成部による状態アク
ティビティ情報テーブル生成処理の手順を示すフローチ
ャートである。

【図１７】実施の形態２のＣ言語プログラム生成装置の
親状態ＩＤ情報テーブル生成部による親状態ＩＤ情報テ
ーブル生成処理の手順を示すフローチャートである。

【図１８】実施の形態２のＣ言語プログラム生成装置の
サブ状態ＩＤ情報テーブル生成部によるサブ状態ＩＤ情
報テーブル生成処理の手順を示すフローチャートであ
る。

【図１９】図２の状態遷移表に基づいて生成された状態
アクティビティ情報テーブルの一例を示す説明図であ
る。

【図２０】図２の状態遷移表に基づいて生成された親状
態ＩＤ情報テーブルの一例を示す説明図である。

【図２１】図２の状態遷移表に基づいて生成されたサブ
状態ＩＤ情報テーブルの一例を示す説明図である。

【図２２】図２の状態遷移表に基づいて生成された実行
処理プログラムにの一例を示す説明図である。

【図２３】実施の形態３のＣ言語プログラム生成装置に
入力する事象階層化を行った状態遷移表の説明図であ
る。

【図２４】実施の形態３のＣ言語プログラム生成装置に
入力する状態階層化を行った状態遷移表の説明図であ
る。

【図２５】実施の形態４のＣ言語プログラム生成装置に
入力する並列状態を組み込んだ状態遷移表の説明図であ
る。

【図２６】実施の形態５のＣ言語プログラム生成装置に
入力する事象の発生形式で分類して記述した状態遷移表
の説明図である。

【図２７】実施の形態５のＣ言語プログラム生成装置に
入力するインメイル型事象を有する状態遷移表と、イン
メイル型事象の記述から生成されるプログラムの一例を
示した説明図である。

【図２８】実施の形態５のＣ言語プログラム生成装置に
入力する割り込み型事象を有する状態遷移表と、割り込
み型事象の記述から生成されるプログラムの一例を示し
た説明図である。

【図２９】実施の形態５のＣ言語プログラム生成装置に
入力する関数コール型事象を有する状態遷移表と、関数
コール型事象の記述から生成されるプログラムの一例を
示した説明図である。

【図３０】実施の形態６のＣ言語プログラム生成装置に
入力する深層記憶型遷移を有する状態遷移表の説明図で
ある。

【図３１】実施の形態８のＣ言語プログラム生成装置に
入力するイベントアクティビティを指定した状態遷移表
の説明図である。

【図３２】実施の形態８のＣ言語プログラム生成装置に
入力するステートアクティビティを指定した状態遷移表
の説明図である。

【図３３】実施の形態１および２のＣ言語プログラム生
成装置のハードウェア構成を示すブロック図である。

【符号の説明】

１０１，１４０１ コード生成部 １０２，１４０２ ＳＴＭ入力部 １０３，１４０３ ＳＴＭ解析部 １０４，１４０４ ＳＴＭ初期化処理生成部 １０５ 事象・状態ＩＤ定義生成部 １０６ 事象解析処理生成部 １０７，１４０６ アクション処理生成部 １０８ アクションテーブル生成部 １０９ 遷移テーブル生成部 １１０ 事象テーブル生成部 １１１，１４１１ 実行処理生成部 １１２，１４１２ 出力部 １１３，１４１３ デフォルト変換情報 １１４ 状態変数（ファイル） １１５ 事象ＩＤ情報 １１６ 状態ＩＤ情報 １１７，１４１６ 事象解析ロジック １１８ アクションテーブル １１９ 遷移テーブル １２０ 事象テーブル １２１，１４２０ ＳＴＭロジック １２２，１４２１ プログラムコード １４０５ 状態ＩＤ定義生成部 １４０７ 状態ごとの事象解析処理生成部 １４０８ 状態アクティビティ情報テーブル生成部 １４０９ 親状態ＩＤ情報テーブル生成部 １４１０ サブ状態ＩＤ情報テーブル生成部 １４１７ アクティビティ情報テーブル １４１８ 親状態ＩＤ情報テーブル １４１９ サブ状態ＩＤ情報テーブル ３３０１ 制御部 ３３０２ 入力装置 ３３０３ 表示装置 ３３０４ 出力装置 ３３０５ 外部記憶装置 ３３０６ 記憶装置

Claims (17)

【特許請求の範囲】
1. 【請求項１】 プログラム開発の対象であるシステムの
   取り得る状態と、前記システムの外部又は内部からの刺
   激である事象で特定される複数のセルを有し、各セル
   に、対応する状態下で対応する事象が発生した際に前記
   システムが実行すべきアクション内容または遷移すべき
   遷移先の状態を記述した事象駆動型の状態遷移表に基づ
   いて前記システムで動作するプログラムを生成するプロ
   グラム生成装置において、 前記状態遷移表を入力する入力手段と、 前記状態遷移表から、前記システムが実行すべきアクシ
   ョン内容または遷移先の状態が記述されているセルのみ
   を抽出して、前記アクション内容を前記状態ごとに記述
   したアクションテーブルを生成するアクションテーブル
   生成手段と、 前記状態遷移表から、アクション内容または遷移先の状
   態が記述されているセルのみを抽出して、前記遷移先の
   状態を前記状態ごとに記述した遷移テーブルを生成する
   遷移テーブル生成手段と、 前記状態遷移表から、各状態に対して存在する事象を記
   述した事象テーブルを生成する事象テーブル生成手段
   と、 事象の発生時に、前記事象テーブルを参照して、各状態
   下における事象の存在を確認し、前記アクションテーブ
   ルと前記遷移テーブルとを参照して、現在の状態下にお
   ける発生した事象に対するセルのアクション内容を実行
   する実行処理プログラムを生成する実行処理生成手段
   と、 を備えたことを特徴とするプログラム生成装置。
2. 【請求項２】 プログラム開発の対象であるシステムの
   取り得る状態と、前記システムの外部又は内部からの刺
   激である事象で特定される複数のセルを有し、各セル
   に、前記システムが実行すべきアクション内容または遷
   移すべき遷移先の状態を記述し、各状態で事象の発生を
   監視する状態駆動型の状態遷移表に基づいて前記システ
   ムで動作するプログラムを生成するプログラム生成装置
   において、 前記状態遷移表を入力する入力手段と、 前記状態遷移表から、各状態ごとに事象解析処理または
   定型処理を記述した状態アクティビティ情報テーブルを
   生成する状態アクティビティ情報テーブル生成手段と、 前記状態遷移表から、上位の状態である親状態の識別情
   報を列挙して記述した親状態ＩＤ情報テーブルを生成す
   る親状態ＩＤ情報テーブル生成手段と、 前記状態遷移表から、親状態の下位の状態であるサブ状
   態の識別情報を列挙して記述したサブ状態ＩＤ情報テー
   ブルを生成するサブ状態ＩＤ情報テーブル生成手段と、 前記親状態ＩＤ情報テーブルと前記サブ状態ＩＤ情報テ
   ーブルとに基づいて各状態が親状態かサブ状態かを判別
   し、判別結果と前記状態アクティビティ情報テーブルと
   に基づいて状態ごとに事象解析処理または定型処理を実
   行する実行処理プログラムを生成する実行処理生成手段
   と、 を備えたことを特徴とするプログラム生成装置。
3. 【請求項３】 前記入力手段は、事象または状態を階層
   化して複数の状態遷移表を統合した一つの状態遷移表を
   入力するものであることを特徴とする請求項１または２
   に記載のプログラム生成装置。
4. 【請求項４】 前記入力手段は、複数の状態からなる並
   列状態を記述した状態遷移表を入力するものであること
   を特徴とする請求項１または２に記載のプログラム生成
   装置。
5. 【請求項５】 前記入力手段は、前記事象をその発生形
   式により分類して記述した状態遷移表を入力するもので
   あることを特徴とする請求項１または２に記載のプログ
   ラム生成装置。
6. 【請求項６】 前記入力手段は、前記遷移先の状態を、
   予め定めた省略値の状態または過去に遷移した状態に基
   づいて定めた状態遷移表を入力するものであることを特
   徴とする請求項１または２に記載のプログラム生成装
   置。
7. 【請求項７】 前記入力手段は、複数の状態遷移表を配
   列化した一つの状態遷移表であって、その配列数を記述
   した状態遷移表を入力するものであることを特徴とする
   請求項１または２に記載のプログラム生成装置。
8. 【請求項８】 前記入力手段は、特定の事象の発生また
   は特定の状態への遷移において実行される定型的なアク
   ションを記述した状態遷移表を入力するものであること
   を特徴とする請求項１または２に記載のプログラム生成
   装置。
9. 【請求項９】 プログラム開発の対象であるシステムの
   取り得る状態と、前記システムの外部又は内部からの刺
   激である事象で特定される複数のセルを有し、各セル
   に、対応する状態下で対応する事象が発生した際に前記
   システムが実行すべきアクション内容または遷移すべき
   遷移先の状態を記述した事象駆動型の状態遷移表に基づ
   いて前記システムで動作するプログラムを生成するプロ
   グラム生成方法において、 前記状態遷移表を入力する入力ステップと、 前記状態遷移表から、前記システムが実行すべきアクシ
   ョン内容が記述されているセルのみを抽出して、前記ア
   クション内容を前記状態ごとに記述したアクションテー
   ブルを生成するアクションテーブル生成ステップと、 前記状態遷移表から、遷移先の状態が記述されているセ
   ルのみを抽出して、前記遷移先の状態を前記状態ごとに
   記述した遷移テーブルを生成する遷移テーブル生成ステ
   ップと、 前記状態遷移表から、各状態に対して存在する事象を記
   述した事象テーブルを生成する事象テーブル生成ステッ
   プと、 事象の発生時に、前記事象テーブルを参照して、各状態
   下における事象の存在を確認し、前記アクションテーブ
   ルと前記遷移テーブルとを参照して、現在の状態下にお
   ける発生した事象に対するセルのアクション内容を実行
   する実行処理プログラムを生成する実行処理生成ステッ
   プと、 を含んでいることを特徴とするプログラム生成方法。
10. 【請求項１０】 プログラム開発の対象であるシステム
    の取り得る状態と、前記システムの外部又は内部からの
    刺激である事象で特定される複数のセルを有し、各セル
    に、前記システムが実行すべきアクション内容または遷
    移すべき遷移先の状態を記述し、各状態で事象の発生を
    監視する状態駆動型の状態遷移表に基づいて前記システ
    ムで動作するプログラムを生成するプログラム生成装置
    において、 前記状態遷移表を入力する入力ステップと、 前記状態遷移表から、各状態ごとに事象解析処理または
    定型処理を記述した状態アクティビティ情報テーブルを
    生成する状態アクティビティ情報テーブル生成ステップ
    と、 前記状態遷移表から、上位の状態である親状態の識別情
    報を列挙して記述した親状態ＩＤ情報テーブルを生成す
    る親状態ＩＤ情報テーブル生成ステップと、 前記状態遷移表から、親状態の下位の状態であるサブ状
    態の識別情報を列挙して記述したサブ状態ＩＤ情報テー
    ブルを生成するサブ状態ＩＤ情報テーブル生成ステップ
    と、 前記親状態ＩＤ情報テーブルと前記サブ状態ＩＤ情報テ
    ーブルとに基づいて各状態が親状態かサブ状態かを判別
    し、判別結果と前記状態アクティビティ情報テーブルと
    に基づいて状態ごとに事象解析処理または定型処理を実
    行する実行処理プログラムを生成する実行処理生成ステ
    ップと、 を含んでいることを特徴とするプログラム生成方法。
11. 【請求項１１】 前記入力ステップは、事象または状態
    を階層化して複数の状態遷移表を統合した一つの状態遷
    移表を入力するものであることを特徴とする請求項９ま
    たは１０に記載のプログラム生成方法。
12. 【請求項１２】 前記入力ステップは、複数の状態から
    なる並列状態を記述した状態遷移表を入力するものであ
    ることを特徴とする請求項９または１０に記載のプログ
    ラム生成方法。
13. 【請求項１３】 前記入力ステップは、前記事象をその
    発生形式により分類して記述した状態遷移表を入力する
    ものであることを特徴とする請求項９または１０に記載
    のプログラム生成方法。
14. 【請求項１４】 前記入力ステップは、前記遷移先の状
    態を、予め定めた省略値の状態または過去に遷移した状
    態に基づいて定めた状態遷移表を入力するものであるこ
    とを特徴とする請求項９または１０に記載のプログラム
    生成方法。
15. 【請求項１５】 前記入力ステップは、複数の状態遷移
    表を配列化した一つの状態遷移表であって、その配列数
    を記述した状態遷移表を入力するものであることを特徴
    とする請求項９または１０に記載のプログラム生成方
    法。
16. 【請求項１６】 前記入力ステップは、特定の事象の発
    生または特定の状態への遷移において実行される定型的
    なアクションを記述した状態遷移表を入力するものであ
    ることを特徴とする請求項９または１０に記載のプログ
    ラム生成方法。
17. 【請求項１７】 請求項９〜１６のいずれか一つに記載
    された方法をコンピュータに実行させるプログラム。