JPH06149554A - プログラム動作仕様自動合成装置及びその方法 - Google Patents
プログラム動作仕様自動合成装置及びその方法Info
- Publication number
- JPH06149554A JPH06149554A JP4298768A JP29876892A JPH06149554A JP H06149554 A JPH06149554 A JP H06149554A JP 4298768 A JP4298768 A JP 4298768A JP 29876892 A JP29876892 A JP 29876892A JP H06149554 A JPH06149554 A JP H06149554A
- Authority
- JP
- Japan
- Prior art keywords
- program
- synthesizing
- state
- event
- information
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/10—Requirements analysis; Specification techniques
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
Abstract
(57)【要約】
【目的】 開発者が部品の修正に対する部品相互の影響
を知ることなく開発を行なえるようにプログラムの動作
仕様の部品化と再利用を支援するプログラム動作仕様合
成装置及び方法を提供することを目的とする。 【構成】 プログラム部品動作仕様を格納するプログラ
ム部品動作仕様格納手段１０１をプログラム部品動作仕
様検索手段１０２が検索する。その結果を用いて、被合
成プログラムのイベントを入力イベント合成手段１０３
が、動作状態を動作状態合成手段１０５が、状態遷移表
を状態遷移表合成手段１０７が、プログラムの状態実行
表を状態実行表合成手段１０９が、それぞれ分担して合
成する。
を知ることなく開発を行なえるようにプログラムの動作
仕様の部品化と再利用を支援するプログラム動作仕様合
成装置及び方法を提供することを目的とする。 【構成】 プログラム部品動作仕様を格納するプログラ
ム部品動作仕様格納手段１０１をプログラム部品動作仕
様検索手段１０２が検索する。その結果を用いて、被合
成プログラムのイベントを入力イベント合成手段１０３
が、動作状態を動作状態合成手段１０５が、状態遷移表
を状態遷移表合成手段１０７が、プログラムの状態実行
表を状態実行表合成手段１０９が、それぞれ分担して合
成する。
Description
【０００１】
【産業上の利用分野】本発明は、イベントの入力に応じ
て動作状態を遷移させ、遷移に伴って他のプログラム部
品に対してイベントを出力する機能を有するプログラム
部品を合成するプログラム動作仕様合成装置及び方法に
関する。
て動作状態を遷移させ、遷移に伴って他のプログラム部
品に対してイベントを出力する機能を有するプログラム
部品を合成するプログラム動作仕様合成装置及び方法に
関する。
【０００２】
【従来の技術】近年プログラムの開発効率向上のために
プログラムを部品化し再利用することによるプログラム
開発支援システムが利用されている。一般にプログラム
開発支援システムではプログラム部品を再利用する際
に、プログラム開発者が、部品相互の関連により個々の
部品を修正しながら新たなプログラムを開発していた。
プログラムを部品化し再利用することによるプログラム
開発支援システムが利用されている。一般にプログラム
開発支援システムではプログラム部品を再利用する際
に、プログラム開発者が、部品相互の関連により個々の
部品を修正しながら新たなプログラムを開発していた。
【０００３】
【発明が解決しようとする課題】しかしながら従来技術
によれば、プログラムを部品化し再利用することによる
プログラム開発支援システムにおいて、プログラム部品
を再利用する際に、プログラム開発者がプログラム部品
の相互の関連を明らかにして個々の部品を修正する必要
があるため、開発者は利用するプログラム部品に対して
その修正に対する部品相互の影響を理解して開発を行な
わなければならないという問題があった。
によれば、プログラムを部品化し再利用することによる
プログラム開発支援システムにおいて、プログラム部品
を再利用する際に、プログラム開発者がプログラム部品
の相互の関連を明らかにして個々の部品を修正する必要
があるため、開発者は利用するプログラム部品に対して
その修正に対する部品相互の影響を理解して開発を行な
わなければならないという問題があった。
【０００４】特に、プログラム部品が多数になると、プ
ログラム部品相互の関連が複雑になりすぎてプログラム
部品を合成すること自体が極めて困難になるという問題
があった。上記の課題に鑑み本発明は、開発者が部品の
修正に対する部品相互の影響を知らなくても開発を行な
うことができ、プログラム開発支援システムを提供する
ことを目的とするものである。
ログラム部品相互の関連が複雑になりすぎてプログラム
部品を合成すること自体が極めて困難になるという問題
があった。上記の課題に鑑み本発明は、開発者が部品の
修正に対する部品相互の影響を知らなくても開発を行な
うことができ、プログラム開発支援システムを提供する
ことを目的とするものである。
【０００５】
【課題を解決するための手段】上記課題を解決するた
め、本発明のプログラム動作仕様合成装置は、イベント
の入力に応じて動作状態を遷移させ、遷移に伴って他の
プログラム部品に対してイベントを出力する機能を有す
るプログラム部品を合成するプログラム動作仕様合成装
置であって、合成元の各プログラム部品の仕様情報のう
ち、各々の入力となるイベントを表す情報を合成する入
力イベント合成手段と、合成元の各プログラム部品の仕
様情報のうち、各々の動作状態を表す情報を合成する状
態合成手段と、合成元の各プログラム部品の仕様情報の
うち、各々の状態遷移を表す情報を合成する状態遷移合
成手段と、合成元の各プログラム部品の仕様情報のう
ち、各々の出力イベントを表す情報を合成する出力イベ
ント合成手段と、を備えている。
め、本発明のプログラム動作仕様合成装置は、イベント
の入力に応じて動作状態を遷移させ、遷移に伴って他の
プログラム部品に対してイベントを出力する機能を有す
るプログラム部品を合成するプログラム動作仕様合成装
置であって、合成元の各プログラム部品の仕様情報のう
ち、各々の入力となるイベントを表す情報を合成する入
力イベント合成手段と、合成元の各プログラム部品の仕
様情報のうち、各々の動作状態を表す情報を合成する状
態合成手段と、合成元の各プログラム部品の仕様情報の
うち、各々の状態遷移を表す情報を合成する状態遷移合
成手段と、合成元の各プログラム部品の仕様情報のう
ち、各々の出力イベントを表す情報を合成する出力イベ
ント合成手段と、を備えている。
【０００６】入力イベント合成手段は、各々の入力とな
るイベントの情報の総和を合成後のプログラムの入力と
なるイベントの情報と決定し、状態合成手段は、一方の
動作状態を表す情報と他方の動作状態を表す情報との組
み合わせを合成後のプログラムの動作状態の情報と決定
し、状態遷移合成手段は、状態合成手段によって合成さ
れた動作状態を表す情報のそれぞれについて、入力イベ
ント合成手段によって合成された入力イベントのそれぞ
れが入力された場合に、合成元の各プログラム部品の状
態遷移を表す情報、及び、出力イベントを表す情報を参
照して、合成された動作状態のどれに遷移するのかを判
定し、出力イベント合成手段は、状態合成手段によって
合成された動作状態を表す情報のそれぞれに対して、入
力イベント合成手段によって合成された入力イベントの
それぞれが入力された場合に、合成元の各プログラム部
品の状態遷移を表す情報、及び、出力イベントを表す情
報を参照して、合成された動作状態の遷移に伴ってどの
イベントが出力されるのかを判定するように構成しても
よい。
るイベントの情報の総和を合成後のプログラムの入力と
なるイベントの情報と決定し、状態合成手段は、一方の
動作状態を表す情報と他方の動作状態を表す情報との組
み合わせを合成後のプログラムの動作状態の情報と決定
し、状態遷移合成手段は、状態合成手段によって合成さ
れた動作状態を表す情報のそれぞれについて、入力イベ
ント合成手段によって合成された入力イベントのそれぞ
れが入力された場合に、合成元の各プログラム部品の状
態遷移を表す情報、及び、出力イベントを表す情報を参
照して、合成された動作状態のどれに遷移するのかを判
定し、出力イベント合成手段は、状態合成手段によって
合成された動作状態を表す情報のそれぞれに対して、入
力イベント合成手段によって合成された入力イベントの
それぞれが入力された場合に、合成元の各プログラム部
品の状態遷移を表す情報、及び、出力イベントを表す情
報を参照して、合成された動作状態の遷移に伴ってどの
イベントが出力されるのかを判定するように構成しても
よい。
【０００７】前記プログラム仕様合成装置は、さらに、
合成される元のプログラム部品それぞれについて、入力
となるイベントを表す情報、動作状態を表す情報、状態
遷移を表す状態遷移表、及び、出力されるイベントの情
報を表す出力イベント表を記憶する動作仕様記憶手段
と、動作仕様記憶手段を検索して、入力イベント合成手
段に対して入力となるイベントを表す情報を、動作状態
合成手段に対して動作状態を表す情報を、状態遷移合成
手段及び出力イベント合成手段に対して状態遷移表及び
出力イベント表の情報を出力する検索手段とを備えてい
てもよい。
合成される元のプログラム部品それぞれについて、入力
となるイベントを表す情報、動作状態を表す情報、状態
遷移を表す状態遷移表、及び、出力されるイベントの情
報を表す出力イベント表を記憶する動作仕様記憶手段
と、動作仕様記憶手段を検索して、入力イベント合成手
段に対して入力となるイベントを表す情報を、動作状態
合成手段に対して動作状態を表す情報を、状態遷移合成
手段及び出力イベント合成手段に対して状態遷移表及び
出力イベント表の情報を出力する検索手段とを備えてい
てもよい。
【０００８】また、本発明のプログラム動作仕様合成方
法は、イベントの入力に応じて動作状態を遷移させ、遷
移に伴って他のプログラム部品に対してイベントを出力
する機能を有するプログラム部品を合成するプログラム
動作仕様合成方法であって、合成元の各プログラム部品
の仕様情報のうち、各々の入力となるイベントを表す情
報を合成する入力イベント合成ステップと、合成元の各
プログラム部品の仕様情報のうち、各々の動作状態を表
す情報を合成する状態合成ステップと、合成元の各プロ
グラム部品の仕様情報のうち、各々の状態遷移を表す情
報を合成する状態遷移合成ステップと、合成元の各プロ
グラム部品の仕様情報のうち、各々の出力イベントを表
す情報を合成する出力イベント合成ステップと、からな
っている。
法は、イベントの入力に応じて動作状態を遷移させ、遷
移に伴って他のプログラム部品に対してイベントを出力
する機能を有するプログラム部品を合成するプログラム
動作仕様合成方法であって、合成元の各プログラム部品
の仕様情報のうち、各々の入力となるイベントを表す情
報を合成する入力イベント合成ステップと、合成元の各
プログラム部品の仕様情報のうち、各々の動作状態を表
す情報を合成する状態合成ステップと、合成元の各プロ
グラム部品の仕様情報のうち、各々の状態遷移を表す情
報を合成する状態遷移合成ステップと、合成元の各プロ
グラム部品の仕様情報のうち、各々の出力イベントを表
す情報を合成する出力イベント合成ステップと、からな
っている。
【０００９】入力イベント合成ステップは、各々の入力
となるイベントの情報の総和を合成後のプログラムの入
力となるイベントの情報と決定し、状態合成ステップ
は、一方の動作状態を表す情報と他方の動作状態を表す
情報との組み合わせを合成後のプログラムの動作状態の
情報と決定し、状態遷移合成ステップは、状態合成ステ
ップによって合成された動作状態を表す情報のそれぞれ
について、入力イベント合成ステップによって合成され
た入力イベントのそれぞれが入力された場合に、合成元
の各プログラム部品の状態遷移を表す情報、及び、出力
イベントを表す情報を参照して、合成された動作状態の
どれに遷移するのかを判定し、出力イベント合成ステッ
プは、状態合成ステップによって合成された動作状態を
表す情報のそれぞれに対して、入力イベント合成ステッ
プによって合成された入力イベントのそれぞれが入力さ
れた場合に、合成元の各プログラム部品の状態遷移を表
す情報、及び、出力イベントを表す情報を参照して、合
成された動作状態の遷移に伴ってどのイベントが出力さ
れるのかを判定するようにしてもよい。
となるイベントの情報の総和を合成後のプログラムの入
力となるイベントの情報と決定し、状態合成ステップ
は、一方の動作状態を表す情報と他方の動作状態を表す
情報との組み合わせを合成後のプログラムの動作状態の
情報と決定し、状態遷移合成ステップは、状態合成ステ
ップによって合成された動作状態を表す情報のそれぞれ
について、入力イベント合成ステップによって合成され
た入力イベントのそれぞれが入力された場合に、合成元
の各プログラム部品の状態遷移を表す情報、及び、出力
イベントを表す情報を参照して、合成された動作状態の
どれに遷移するのかを判定し、出力イベント合成ステッ
プは、状態合成ステップによって合成された動作状態を
表す情報のそれぞれに対して、入力イベント合成ステッ
プによって合成された入力イベントのそれぞれが入力さ
れた場合に、合成元の各プログラム部品の状態遷移を表
す情報、及び、出力イベントを表す情報を参照して、合
成された動作状態の遷移に伴ってどのイベントが出力さ
れるのかを判定するようにしてもよい。
【００１０】
【作用】本発明のプログラム動作仕様自動合成装置及び
方法は上記の手段により、イベントの入力を表す情報、
動作状態を表す情報、動作状態の遷移を表す状態遷移
表、遷移に伴って他のプログラム部品に対して出力され
るイベントを表す情報の４項目によって動作仕様が示さ
れるプログラム部品を合成するために、合成元の各プロ
グラム部品の仕様情報のうち、各々の入力となるイベン
トを表す情報を入力イベント合成手段（ステップ）が、
各々の動作状態を表す情報を状態合成手段（ステップ）
が、各々の状態遷移を表す情報を状態遷移合成手段（ス
テップ）が、各々の出力イベントを表す情報を出力イベ
ント合成手段（ステップ）が、それぞれ分担して合成す
る。その際、状態遷移合成手段（ステップ）は、入力イ
ベント合成手段（ステップ）お呼び状態合成手段（ステ
ップ）の実行結果を利用している。出力イベント合成手
段（ステップ）は、状態遷移合成手段（ステップ）の実
行結果を利用している。その結果、１つの合成プログラ
ムの動作仕様を得ることができる。
方法は上記の手段により、イベントの入力を表す情報、
動作状態を表す情報、動作状態の遷移を表す状態遷移
表、遷移に伴って他のプログラム部品に対して出力され
るイベントを表す情報の４項目によって動作仕様が示さ
れるプログラム部品を合成するために、合成元の各プロ
グラム部品の仕様情報のうち、各々の入力となるイベン
トを表す情報を入力イベント合成手段（ステップ）が、
各々の動作状態を表す情報を状態合成手段（ステップ）
が、各々の状態遷移を表す情報を状態遷移合成手段（ス
テップ）が、各々の出力イベントを表す情報を出力イベ
ント合成手段（ステップ）が、それぞれ分担して合成す
る。その際、状態遷移合成手段（ステップ）は、入力イ
ベント合成手段（ステップ）お呼び状態合成手段（ステ
ップ）の実行結果を利用している。出力イベント合成手
段（ステップ）は、状態遷移合成手段（ステップ）の実
行結果を利用している。その結果、１つの合成プログラ
ムの動作仕様を得ることができる。
【００１１】また、動作仕様記憶手段に合成される元の
プログラム部品それぞれの動作仕様を記憶させ、検索手
段によって、入力イベント合成手段に対して入力となる
イベントを表す情報を、動作状態合成手段に対して動作
状態を表す情報を、状態遷移合成手段及び出力イベント
合成手段に対して状態遷移表及び出力イベント表の情報
を出力するようにしてもよい。
プログラム部品それぞれの動作仕様を記憶させ、検索手
段によって、入力イベント合成手段に対して入力となる
イベントを表す情報を、動作状態合成手段に対して動作
状態を表す情報を、状態遷移合成手段及び出力イベント
合成手段に対して状態遷移表及び出力イベント表の情報
を出力するようにしてもよい。
【００１２】
【実施例】以下本発明の一実施例のプログラム動作仕様
自動合成装置について、図面を参照しながら説明する。
図１は本発明の実施例におけるプログラム動作仕様自動
合成装置の構成を示すブロック図である。
自動合成装置について、図面を参照しながら説明する。
図１は本発明の実施例におけるプログラム動作仕様自動
合成装置の構成を示すブロック図である。
【００１３】図１において、１０１はプログラム部品動
作仕様格納手段であり、既存の複数のプログラム部品の
動作仕様を格納する。具体的には動作仕様として、プロ
グラム部品に入力されるイベント（以下、入力イベント
と呼ぶ。）の種類、動作状態の種類、入力イベントによ
ってどう動作状態が遷移するかを表す状態遷移表、状態
遷移に伴って出力されるイベントとその出力先を表す状
態実行表を格納している。この動作仕様は、予めプログ
ラム部品動作仕様格納手段１０１に登録されているもの
とする。
作仕様格納手段であり、既存の複数のプログラム部品の
動作仕様を格納する。具体的には動作仕様として、プロ
グラム部品に入力されるイベント（以下、入力イベント
と呼ぶ。）の種類、動作状態の種類、入力イベントによ
ってどう動作状態が遷移するかを表す状態遷移表、状態
遷移に伴って出力されるイベントとその出力先を表す状
態実行表を格納している。この動作仕様は、予めプログ
ラム部品動作仕様格納手段１０１に登録されているもの
とする。
【００１４】１０２はプログラム部品動作仕様検索手段
であり、プログラム部品動作仕様格納手段１０１に格納
されたプログラム部品のうち、合成される対象となる元
のプログラム部品（以下、被合成プログラム部品と呼
ぶ。）の動作仕様を検索する。１０３は入力イベント合
成手段であり、プログラム部品動作仕様検索手段１０２
により検索された動作仕様のうち、被合成プログラム部
品の入力イベントを合成して、合成されてできるプログ
ラム（以下、合成プログラムと呼ぶ。）の入力イベント
を生成する。
であり、プログラム部品動作仕様格納手段１０１に格納
されたプログラム部品のうち、合成される対象となる元
のプログラム部品（以下、被合成プログラム部品と呼
ぶ。）の動作仕様を検索する。１０３は入力イベント合
成手段であり、プログラム部品動作仕様検索手段１０２
により検索された動作仕様のうち、被合成プログラム部
品の入力イベントを合成して、合成されてできるプログ
ラム（以下、合成プログラムと呼ぶ。）の入力イベント
を生成する。
【００１５】１０４は入力イベント記憶手段であり、入
力イベント合成手段１０３により合成された入力イベン
トを記憶する。１０５は動作状態合成手段であり、プロ
グラム部品動作仕様検索手段１０２により検索された動
作仕様のうち、被合成プログラム部品の動作状態を合成
して、合成プログラムの動作状態を生成する。
力イベント合成手段１０３により合成された入力イベン
トを記憶する。１０５は動作状態合成手段であり、プロ
グラム部品動作仕様検索手段１０２により検索された動
作仕様のうち、被合成プログラム部品の動作状態を合成
して、合成プログラムの動作状態を生成する。
【００１６】１０６は動作状態記憶手段であり、動作状
態合成手段１０５により合成された動作状態を記憶す
る。１０７は状態遷移表合成手段であり、入力イベント
記憶手段１０４、動作状態記憶手段１０６並びにプログ
ラム部品動作仕様検索手段１０２により検索された動作
仕様のうち状態遷移表及び状態実行表を参照して、被合
成プログラムの状態遷移表を合成して、合成プログラム
の状態遷移表を生成する。
態合成手段１０５により合成された動作状態を記憶す
る。１０７は状態遷移表合成手段であり、入力イベント
記憶手段１０４、動作状態記憶手段１０６並びにプログ
ラム部品動作仕様検索手段１０２により検索された動作
仕様のうち状態遷移表及び状態実行表を参照して、被合
成プログラムの状態遷移表を合成して、合成プログラム
の状態遷移表を生成する。
【００１７】１０８は状態遷移表記憶手段であり、状態
遷移表合成手段１０７により合成された状態遷移表を記
憶する。１０９は状態実行表合成手段であり、状態遷移
表記憶手段１０８、１０２により検索された動作仕様の
うち、被合成プログラムの状態実行表を合成して、合成
プログラムの状態実行表を生成する。
遷移表合成手段１０７により合成された状態遷移表を記
憶する。１０９は状態実行表合成手段であり、状態遷移
表記憶手段１０８、１０２により検索された動作仕様の
うち、被合成プログラムの状態実行表を合成して、合成
プログラムの状態実行表を生成する。
【００１８】１１０は状態実行表記憶手段であり、状態
実行表合成手段１０９により合成された状態実行表を記
憶する。１１１は動作仕様出力手段であり、入力イベン
ト記憶手段１０４、動作状態記憶手段１０６、状態遷移
表記憶手段１０８及び状態実行表記憶手段１１０に記憶
された内容を合成プログラムの動作仕様として出力す
る。
実行表合成手段１０９により合成された状態実行表を記
憶する。１１１は動作仕様出力手段であり、入力イベン
ト記憶手段１０４、動作状態記憶手段１０６、状態遷移
表記憶手段１０８及び状態実行表記憶手段１１０に記憶
された内容を合成プログラムの動作仕様として出力す
る。
【００１９】１１２は動作仕様出力手段１１１により出
力された合成プログラムの動作仕様を記憶する記憶手段
である。図２は本発明の実施例におけるプログラム動作
仕様自動合成方法の動作を示す流れ図である。
力された合成プログラムの動作仕様を記憶する記憶手段
である。図２は本発明の実施例におけるプログラム動作
仕様自動合成方法の動作を示す流れ図である。
【００２０】図２において、２０１はプログラム部品動
作仕様を格納するプログラム部品動作仕様格納ステッ
プ、２０２は２０１により格納されたプログラム部品動
作仕様を検索するプログラム部品動作仕様検索ステッ
プ、２０３は２０２により検索された複数の動作仕様か
ら対象となるプログラムの入力となるイベントをすべて
の入力となるイベントの総和として合成する入力イベン
ト合成ステップ、２０４は２０２により検索された複数
の動作仕様から対象となるプログラムの動作状態をすべ
てのプログラム部品の動作状態の組み合わせとして合成
する動作状態合成ステップ、２０５は２０３により合成
された入力となるイベントと２０４により合成された動
作状態に応じて起こる状態の遷移を２０２により検索さ
れた複数の動作仕様の状態遷移表から対応する状態の遷
移を取りだし２０２により検索された複数の動作仕様の
状態実行表からその状態遷移に付随して起こる状態の遷
移を取りだし２０４により合成された動作状態の遷移と
対応づけ対象となるプログラムの状態遷移表を合成する
状態遷移表合成ステップ、２０６は２０５により合成さ
れた状態遷移表の個々の状態遷移に対応する各プログラ
ム部品動作仕様の状態遷移と２０２により検索された複
数の動作仕様の状態実行表から対象となるプログラムの
状態実行表を合成する状態実行表合成ステップ、２０７
は２０３により合成された入力となるイベントと２０４
により合成された動作状態と２０５により合成された状
態遷移表と２０６により合成された状態実行表を対象と
なるプログラムの動作仕様として出力する動作仕様出力
ステップである。以上のように構成された本発明のプロ
グラム合成装置について、その動作を図２に示す流れ図
を用いて説明する。
作仕様を格納するプログラム部品動作仕様格納ステッ
プ、２０２は２０１により格納されたプログラム部品動
作仕様を検索するプログラム部品動作仕様検索ステッ
プ、２０３は２０２により検索された複数の動作仕様か
ら対象となるプログラムの入力となるイベントをすべて
の入力となるイベントの総和として合成する入力イベン
ト合成ステップ、２０４は２０２により検索された複数
の動作仕様から対象となるプログラムの動作状態をすべ
てのプログラム部品の動作状態の組み合わせとして合成
する動作状態合成ステップ、２０５は２０３により合成
された入力となるイベントと２０４により合成された動
作状態に応じて起こる状態の遷移を２０２により検索さ
れた複数の動作仕様の状態遷移表から対応する状態の遷
移を取りだし２０２により検索された複数の動作仕様の
状態実行表からその状態遷移に付随して起こる状態の遷
移を取りだし２０４により合成された動作状態の遷移と
対応づけ対象となるプログラムの状態遷移表を合成する
状態遷移表合成ステップ、２０６は２０５により合成さ
れた状態遷移表の個々の状態遷移に対応する各プログラ
ム部品動作仕様の状態遷移と２０２により検索された複
数の動作仕様の状態実行表から対象となるプログラムの
状態実行表を合成する状態実行表合成ステップ、２０７
は２０３により合成された入力となるイベントと２０４
により合成された動作状態と２０５により合成された状
態遷移表と２０６により合成された状態実行表を対象と
なるプログラムの動作仕様として出力する動作仕様出力
ステップである。以上のように構成された本発明のプロ
グラム合成装置について、その動作を図２に示す流れ図
を用いて説明する。
【００２１】第１に、プログラム部品動作仕様格納手段
１０１には、予め被合成プログラムの動作仕様が格納
（図２のステップ２０１）されているものとする。ここ
に格納されている動作仕様の例としてプログラム部品
α、βを図３に示す。同図において、 ３０１は入力イ
ベント表で、プログラム部品αの入力となるイベントの
一覧を示す。
１０１には、予め被合成プログラムの動作仕様が格納
（図２のステップ２０１）されているものとする。ここ
に格納されている動作仕様の例としてプログラム部品
α、βを図３に示す。同図において、 ３０１は入力イ
ベント表で、プログラム部品αの入力となるイベントの
一覧を示す。
【００２２】３０２は動作状態一覧表で、プログラム部
品αの動作状態の一覧を示す。３０３は状態遷移表で、
プログラム部品αの現在の動作状態及び入力イベントに
応じて起こる動作状態の遷移を示す。３０４は状態実行
表で、状態遷移に付随して他のプログラム部品に対して
出力するイベントの一覧を示す。
品αの動作状態の一覧を示す。３０３は状態遷移表で、
プログラム部品αの現在の動作状態及び入力イベントに
応じて起こる動作状態の遷移を示す。３０４は状態実行
表で、状態遷移に付随して他のプログラム部品に対して
出力するイベントの一覧を示す。
【００２３】３０５〜３０８は、プログラム部品βの動
作仕様であり、上記３０１〜３０４と同様であるので、
説明は省略する。これらのプログラム部品α、βが制御
する機器の例を図５に示す。プログラム部品α自身は、
発行ダイオ−ド（以後、ＬＥＤ）５０１、押ボタン５０
３及び押ボタン５０４を制御する。この機器を制御する
動作仕様について、ＬＥＤ５０１は、プログラム部品α
の状態に応じてその状態が変化し、点灯した状態が動作
状態Ａ１に、消灯した状態が動作状態Ｂ１に対応する。
押ボタン５０３は、押されたことによりプログラム部品
αに対して入力イベントａ１を送る。押ボタン５０４
は、押されたことによりプログラム部品αに対して入力
イベントｂ１を送る。
作仕様であり、上記３０１〜３０４と同様であるので、
説明は省略する。これらのプログラム部品α、βが制御
する機器の例を図５に示す。プログラム部品α自身は、
発行ダイオ−ド（以後、ＬＥＤ）５０１、押ボタン５０
３及び押ボタン５０４を制御する。この機器を制御する
動作仕様について、ＬＥＤ５０１は、プログラム部品α
の状態に応じてその状態が変化し、点灯した状態が動作
状態Ａ１に、消灯した状態が動作状態Ｂ１に対応する。
押ボタン５０３は、押されたことによりプログラム部品
αに対して入力イベントａ１を送る。押ボタン５０４
は、押されたことによりプログラム部品αに対して入力
イベントｂ１を送る。
【００２４】プログラム部品β自身は、ＬＥＤ５０２、
押ボタン５０５〜５０７を制御する。この機器を制御す
る動作仕様について、ＬＥＤ５０２は、プログラム部品
βの状態に応じてその状態が変化し、赤、青、黄で点灯
している状態がそれぞれ動作状態Ａ２、Ｂ２、Ｃ２に対
応する。押ボタン５０５は、押されたことによりプログ
ラム部品βに対して入力イベントａ２を送る。押ボタン
５０６は、押されたことによりプログラム部品βに対し
て入力イベントｂ２を送る。押ボタン５０７は押された
ことによりプログラム部品βに対して入力イベントｃ２
を送る。
押ボタン５０５〜５０７を制御する。この機器を制御す
る動作仕様について、ＬＥＤ５０２は、プログラム部品
βの状態に応じてその状態が変化し、赤、青、黄で点灯
している状態がそれぞれ動作状態Ａ２、Ｂ２、Ｃ２に対
応する。押ボタン５０５は、押されたことによりプログ
ラム部品βに対して入力イベントａ２を送る。押ボタン
５０６は、押されたことによりプログラム部品βに対し
て入力イベントｂ２を送る。押ボタン５０７は押された
ことによりプログラム部品βに対して入力イベントｃ２
を送る。
【００２５】これらのプログラム部品α、βを合成する
場合を例にとって、以下説明を続ける。被合成プログラ
ムがプログラム部品α、βであるので、プログラム部品
動作仕様検索手段１０２は、プログラム部品動作仕様格
納手段１０１に格納されたプログラム部品α、βのプロ
グラム部品動作仕様を検索する（図２のステップ２０
２）。
場合を例にとって、以下説明を続ける。被合成プログラ
ムがプログラム部品α、βであるので、プログラム部品
動作仕様検索手段１０２は、プログラム部品動作仕様格
納手段１０１に格納されたプログラム部品α、βのプロ
グラム部品動作仕様を検索する（図２のステップ２０
２）。
【００２６】第２に、入力イベント合成手段１０３は、
プログラム部品動作仕様検索手段１０２による検索結果
から、図３の３０１、３０５に示したプログラム部品α
とβの入力イベントを参照して、これらの総和をとって
合成プログラムの入力イベントとする。合成された入力
イベントは、入力イベント記憶手段１０４に記憶され
る。この実行結果である入力イベントの一覧を示す表を
図４の４０１に示す（ステップ２０３）。
プログラム部品動作仕様検索手段１０２による検索結果
から、図３の３０１、３０５に示したプログラム部品α
とβの入力イベントを参照して、これらの総和をとって
合成プログラムの入力イベントとする。合成された入力
イベントは、入力イベント記憶手段１０４に記憶され
る。この実行結果である入力イベントの一覧を示す表を
図４の４０１に示す（ステップ２０３）。
【００２７】第３に、動作状態合成手段１０５は、プロ
グラム部品動作仕様検索手段１０２の検索結果から、プ
ログラム部品αとβの動作状態の組合せを合成プログラ
ムの動作状態とする。合成された動作状態は、動作状態
記憶手段１０６に記憶される。この実行結果である動作
状態の一覧表を図４の４０２に示す（ステップ２０
４）。
グラム部品動作仕様検索手段１０２の検索結果から、プ
ログラム部品αとβの動作状態の組合せを合成プログラ
ムの動作状態とする。合成された動作状態は、動作状態
記憶手段１０６に記憶される。この実行結果である動作
状態の一覧表を図４の４０２に示す（ステップ２０
４）。
【００２８】第４に、状態遷移表合成手段１０７は、入
力イベント４０１と動作状態４０２の組合せのそれぞれ
に対して、プログラム部品αとβの状態遷移表３０３、
３０７と状態実行表３０４、３０８を動作状態が変化し
なくなるまで適用して状態遷移を調べる。その結果を４
０１と４０２の組合せに対する状態遷移、つまり合成プ
ログラムの状態遷移とする。より具体的に、動作状態合
成手段１０５の状態遷移を調べる動作を、動作状態の組
合わせがＡ１，Ｂ２のとき入力イベントａ１を受けた場
合を例にとって説明する。
力イベント４０１と動作状態４０２の組合せのそれぞれ
に対して、プログラム部品αとβの状態遷移表３０３、
３０７と状態実行表３０４、３０８を動作状態が変化し
なくなるまで適用して状態遷移を調べる。その結果を４
０１と４０２の組合せに対する状態遷移、つまり合成プ
ログラムの状態遷移とする。より具体的に、動作状態合
成手段１０５の状態遷移を調べる動作を、動作状態の組
合わせがＡ１，Ｂ２のとき入力イベントａ１を受けた場
合を例にとって説明する。
【００２９】イベントａ１はプログラム部品αに対する
イベントなのでプログラム部品αの状態遷移表３０３を
プログラム部品動作仕様検索手段１０２により検索す
る。その結果プログラム部品αの動作状態は、Ａ１から
Ｂ１に遷移するため合成プログラムの動作状態はＢ１、
Ｂ２に遷移する。同時にプログラム部品αの状態実行表
３０４をプログラム部品動作仕様検索手段１０２により
検索する。プログラム部品βに対してａ２のイベントが
付随して発生しているので、プログラム部品βの状態遷
移表３０７の検索結果からプログラム部品βの動作状態
はＢ２からＡ２に遷移するため合成プログラムの動作状
態はＢ１、Ａ２に遷移する。
イベントなのでプログラム部品αの状態遷移表３０３を
プログラム部品動作仕様検索手段１０２により検索す
る。その結果プログラム部品αの動作状態は、Ａ１から
Ｂ１に遷移するため合成プログラムの動作状態はＢ１、
Ｂ２に遷移する。同時にプログラム部品αの状態実行表
３０４をプログラム部品動作仕様検索手段１０２により
検索する。プログラム部品βに対してａ２のイベントが
付随して発生しているので、プログラム部品βの状態遷
移表３０７の検索結果からプログラム部品βの動作状態
はＢ２からＡ２に遷移するため合成プログラムの動作状
態はＢ１、Ａ２に遷移する。
【００３０】さらにプログラム部品βの状態実行表３０
８からプログラム部品αに対してａ１のイベントが付随
して発生しているが、プログラム部品αは動作状態がＢ
１のときイベントａ１を受けても状態遷移を起こさない
ため、動作状態はこれ以上変化しない。よって動作状態
Ａ１，Ｂ２のときイベントａ１を受けた場合は動作状態
Ｂ１，Ａ２に状態遷移を起こす。
８からプログラム部品αに対してａ１のイベントが付随
して発生しているが、プログラム部品αは動作状態がＢ
１のときイベントａ１を受けても状態遷移を起こさない
ため、動作状態はこれ以上変化しない。よって動作状態
Ａ１，Ｂ２のときイベントａ１を受けた場合は動作状態
Ｂ１，Ａ２に状態遷移を起こす。
【００３１】このようにして状態遷移表合成手段１０７
は、入力イベント４０１と動作状態４０２の組合わせの
全てに対して状態遷移を調べる。合成された状態遷移の
情報は、状態遷移表記憶手段１０８に記憶される。これ
らの実行結果を図４の４０３に示す（ステップ２０
５）。第５に、状態実行表合成手段１０９は、状態遷移
表４０３の個々の状態遷移に対してプログラム部品αと
プログラム部品βの状態実行表３０４、３０８から発生
するイベントをすべて検索し、その結果を状態実行表記
憶手段１１０に記録する。より具体的に、状態実行表合
成手段１０９の動作を、動作状態Ａ１，Ｂ２のときイベ
ントａ１を受けた場合の状態遷移を例にとって説明す
る。
は、入力イベント４０１と動作状態４０２の組合わせの
全てに対して状態遷移を調べる。合成された状態遷移の
情報は、状態遷移表記憶手段１０８に記憶される。これ
らの実行結果を図４の４０３に示す（ステップ２０
５）。第５に、状態実行表合成手段１０９は、状態遷移
表４０３の個々の状態遷移に対してプログラム部品αと
プログラム部品βの状態実行表３０４、３０８から発生
するイベントをすべて検索し、その結果を状態実行表記
憶手段１１０に記録する。より具体的に、状態実行表合
成手段１０９の動作を、動作状態Ａ１，Ｂ２のときイベ
ントａ１を受けた場合の状態遷移を例にとって説明す
る。
【００３２】イベントａ１はプログラム部品αに対する
イベントなので、状態実行表合成手段１０９はプログラ
ム部品αの状態遷移表３０３をプログラム部品動作仕様
検索手段１０２により検索する。その結果プログラム部
品αの動作状態はＡ１からＢ１に遷移するため対象とす
るプログラムの動作状態はＢ１、Ｂ２に遷移するととも
に、プログラム部品αの状態実行表３０４からプログラ
ム部品βに対してａ２のイベントが付随して発生する。
状態実行表合成手段１０９は、このイベントａ２を状態
遷移によって発生するイベントに加える。
イベントなので、状態実行表合成手段１０９はプログラ
ム部品αの状態遷移表３０３をプログラム部品動作仕様
検索手段１０２により検索する。その結果プログラム部
品αの動作状態はＡ１からＢ１に遷移するため対象とす
るプログラムの動作状態はＢ１、Ｂ２に遷移するととも
に、プログラム部品αの状態実行表３０４からプログラ
ム部品βに対してａ２のイベントが付随して発生する。
状態実行表合成手段１０９は、このイベントａ２を状態
遷移によって発生するイベントに加える。
【００３３】続いて、状態実行表合成手段１０９は、イ
ベントａ２が入力イベントとなるプログラム部品βの状
態遷移表３０７をプログラム部品動作仕様検索手段１０
２により検索する。 その結果プログラム部品βの動作
状態はＢ２からＡ２に遷移するため対象とするプログラ
ムの動作状態はＢ１、Ａ２に遷移するとともに、プログ
ラム部品βの状態実行表３０８からプログラム部品αに
対してａ１のイベントが付随して発生する。このイベン
トａ１をこの状態遷移によって発生するイベントに加え
る。この後は、プログラム部品αは動作状態がＢ１のと
きイベントａ１を受けても状態遷移を起こさないため、
これ以上イベントは発生しない。
ベントａ２が入力イベントとなるプログラム部品βの状
態遷移表３０７をプログラム部品動作仕様検索手段１０
２により検索する。 その結果プログラム部品βの動作
状態はＢ２からＡ２に遷移するため対象とするプログラ
ムの動作状態はＢ１、Ａ２に遷移するとともに、プログ
ラム部品βの状態実行表３０８からプログラム部品αに
対してａ１のイベントが付随して発生する。このイベン
トａ１をこの状態遷移によって発生するイベントに加え
る。この後は、プログラム部品αは動作状態がＢ１のと
きイベントａ１を受けても状態遷移を起こさないため、
これ以上イベントは発生しない。
【００３４】よって動作状態Ａ１，Ｂ２のときイベント
ａ１を受けた場合はａ２とａ１のイベントが発生する。
このようにして状態実行表合成手段１０９は、状態遷移
の全てに対して発生するイベントを調べる。発生するイ
ベントの情報は、状態実行表記憶手段１１０に記憶され
る。これらの実行結果を図４の４０４に示す（ステップ
２０６）。
ａ１を受けた場合はａ２とａ１のイベントが発生する。
このようにして状態実行表合成手段１０９は、状態遷移
の全てに対して発生するイベントを調べる。発生するイ
ベントの情報は、状態実行表記憶手段１１０に記憶され
る。これらの実行結果を図４の４０４に示す（ステップ
２０６）。
【００３５】最後に、動作仕様出力手段１１１は、入力
イベント合成手段１０３により合成された入力イベント
４０１、動作状態合成手段１０５により合成された動作
状態４０２、状態遷移表合成手段１０７により合成され
た状態遷移表４０３、及び、状態実行表合成手段１０９
により合成された状態実行表４０４を合成プログラムの
動作仕様として出力する。合成プログラムの動作仕様
を、図５の例を用いてＬＥＤ５０１が点灯しており、Ｌ
ＥＤ５０２が青で点灯している場合に押ボタン５０３を
押した場合の動作を説明する。
イベント合成手段１０３により合成された入力イベント
４０１、動作状態合成手段１０５により合成された動作
状態４０２、状態遷移表合成手段１０７により合成され
た状態遷移表４０３、及び、状態実行表合成手段１０９
により合成された状態実行表４０４を合成プログラムの
動作仕様として出力する。合成プログラムの動作仕様
を、図５の例を用いてＬＥＤ５０１が点灯しており、Ｌ
ＥＤ５０２が青で点灯している場合に押ボタン５０３を
押した場合の動作を説明する。
【００３６】ＬＥＤ５０１が点灯しており、ＬＥＤ５０
２が青で点灯している状態は動作状態はＡ１，Ｂ２に対
応している。押ボタン５０３を押した場合は入力イベン
トはａ１が発生している。状態遷移表４０３によると、
動作状態がＡ１，Ｂ２で入力イベントがａ１の場合、動
作状態はＢ１，Ａ２に遷移する。
２が青で点灯している状態は動作状態はＡ１，Ｂ２に対
応している。押ボタン５０３を押した場合は入力イベン
トはａ１が発生している。状態遷移表４０３によると、
動作状態がＡ１，Ｂ２で入力イベントがａ１の場合、動
作状態はＢ１，Ａ２に遷移する。
【００３７】動作状態Ｂ１，Ａ２の場合はＬＥＤ５０１
が消灯しており、ＬＥＤ５０２が赤で点灯している状態
になる。なお、本実施例では、プログラム部品２つを合
成する場合を説明したが、２以上のプログラム部品であ
っても合成することができる。
が消灯しており、ＬＥＤ５０２が赤で点灯している状態
になる。なお、本実施例では、プログラム部品２つを合
成する場合を説明したが、２以上のプログラム部品であ
っても合成することができる。
【００３８】
【発明の効果】本発明のプログラム動作仕様合成装置に
よれば、プログラム部品を再利用する際に、プログラム
開発者が、開発者は利用するプログラム部品に対してそ
の修正に対する部品相互の影響を理解する必要がなく、
プログラム部品の相互の関連を知らなくてもプログラム
部部品を合成することができるという効果がある。
よれば、プログラム部品を再利用する際に、プログラム
開発者が、開発者は利用するプログラム部品に対してそ
の修正に対する部品相互の影響を理解する必要がなく、
プログラム部品の相互の関連を知らなくてもプログラム
部部品を合成することができるという効果がある。
【００３９】特に、プログラム部品が多数で、プログラ
ム部品相互の関連が複雑な場合でも、自動的にプログラ
ムの動作仕様を合成することができるという効果があ
る。その結果、プログラム開発者の負担が減少し、信頼
性が向上するのでその実用的効果は大きい。また、家電
製品の制御プログラムではボタン操作などによる入力イ
ベントにより状態と処理を変化させて動作しているた
め、同様の方式による開発の利用分野は広い。
ム部品相互の関連が複雑な場合でも、自動的にプログラ
ムの動作仕様を合成することができるという効果があ
る。その結果、プログラム開発者の負担が減少し、信頼
性が向上するのでその実用的効果は大きい。また、家電
製品の制御プログラムではボタン操作などによる入力イ
ベントにより状態と処理を変化させて動作しているた
め、同様の方式による開発の利用分野は広い。
【図１】本発明の実施例におけるプログラム動作仕様合
成装置の構成を示すブロック図である。
成装置の構成を示すブロック図である。
【図２】同実施例におけるプログラム動作仕様自動合成
方法を示す流れ図である。
方法を示す流れ図である。
【図３】同実施例における被合成プログラム部品の動作
仕様の例を示す表である。
仕様の例を示す表である。
【図４】同実施例における合成プログラムの動作仕様の
例を示す表である。
例を示す表である。
【図５】同実施例ににおけるプログラムが制御する機器
の例を示す図である。
の例を示す図である。
１０１ プログラム部品動作仕様格納手段、 １０２ プログラム部品動作仕様検索手段、 １０３ 入力イベント合成手段、 １０４ 入力イベント、 １０５ 動作状態合成手段、 １０６ 動作状態、 １０７ 状態遷移表合成手段、 １０８ 状態遷移表、 １０９ 状態実行表合成手段、 １１０ 状態実行表、 １１１ 動作仕様出力手段、 １１２ プログラムの動作仕様である。 ２０１ プログラム部品動作仕様格納ステップ、 ２０２ プログラム部品動作仕様検索ステップ、 ２０３ 入力イベント合成ステップ、 ２０４ 動作状態合成ステップ、 ２０５ 状態遷移表合成ステップ、 ２０６ 状態実行表合成ステップ、 ２０７ 動作仕様出力ステップ
Claims (5)
- 【請求項１】 イベントの入力に応じて動作状態を遷移
させ、遷移に伴って他のプログラム部品に対してイベン
トを出力する機能を有するプログラム部品を合成するプ
ログラム動作仕様合成装置であって、 合成元の各プログラム部品の仕様情報のうち、各々の入
力となるイベントを表す情報を合成する入力イベント合
成手段と、 合成元の各プログラム部品の仕様情報のうち、各々の動
作状態を表す情報を合成する状態合成手段と、 合成元の各プログラム部品の仕様情報のうち、各々の状
態遷移を表す情報を合成する状態遷移合成手段と、 合成元の各プログラム部品の仕様情報のうち、各々の出
力イベントを表す情報を合成する出力イベント合成手段
と、 を備えたことを特徴とするプログラム動作仕様合成装
置。 - 【請求項２】 入力イベント合成手段は、 各々の入力となるイベントの情報の総和を合成後のプロ
グラムの入力となるイベントの情報と決定し、 状態合成手段は、 一方の動作状態を表す情報と他方の動作状態を表す情報
との組み合わせを合成後のプログラムの動作状態の情報
と決定し、 状態遷移合成手段は、 状態合成手段によって合成された動作状態を表す情報の
それぞれについて、入力イベント合成手段によって合成
された入力イベントのそれぞれが入力された場合に、合
成元の各プログラム部品の状態遷移を表す情報、及び、
出力イベントを表す情報を参照して、合成された動作状
態のどれに遷移するのかを判定し、 出力イベント合成手段は、 状態合成手段によって合成された動作状態を表す情報の
それぞれに対して、入力イベント合成手段によって合成
された入力イベントのそれぞれが入力された場合に、合
成元の各プログラム部品の状態遷移を表す情報、及び、
出力イベントを表す情報を参照して、合成された動作状
態の遷移に伴ってどのイベントが出力されるのかを判定
することを特徴とする請求項１記載のプログラム仕様合
成装置。 - 【請求項３】 前記プログラム仕様合成装置は、さら
に、 合成される元のプログラム部品それぞれについて、入力
となるイベントを表す情報、動作状態を表す情報、状態
遷移を表す状態遷移表、及び、出力されるイベントの情
報を表す出力イベント表を記憶する動作仕様記憶手段
と、 動作仕様記憶手段を検索して、入力イベント合成手段に
対して入力となるイベントを表す情報を、動作状態合成
手段に対して動作状態を表す情報を、状態遷移合成手段
及び出力イベント合成手段に対して状態遷移表及び出力
イベント表の情報を出力する検索手段とを備えたことを
特徴とする請求項１又は２記載のプログラム仕様合成装
置。 - 【請求項４】 イベントの入力に応じて動作状態を遷移
させ、遷移に伴って他のプログラム部品に対してイベン
トを出力する機能を有するプログラム部品を合成するプ
ログラム動作仕様合成方法であって、 合成元の各プログラム部品の仕様情報のうち、各々の入
力となるイベントを表す情報を合成する入力イベント合
成ステップと、 合成元の各プログラム部品の仕様情報のうち、各々の動
作状態を表す情報を合成する状態合成ステップと、 合成元の各プログラム部品の仕様情報のうち、各々の状
態遷移を表す情報を合成する状態遷移合成ステップと、 合成元の各プログラム部品の仕様情報のうち、各々の出
力イベントを表す情報を合成する出力イベント合成ステ
ップと、 を備えたことを特徴とするプログラム動作仕様合成方
法。 - 【請求項５】 入力イベント合成ステップは、 各々の入力となるイベントの情報の総和を合成後のプロ
グラムの入力となるイベントの情報と決定し、 状態合成ステップは、 一方の動作状態を表す情報と他方の動作状態を表す情報
との組み合わせを合成後のプログラムの動作状態の情報
と決定し、 状態遷移合成ステップは、 状態合成ステップによって合成された動作状態を表す情
報のそれぞれについて、入力イベント合成ステップによ
って合成された入力イベントのそれぞれが入力された場
合に、合成元の各プログラム部品の状態遷移を表す情
報、及び、出力イベントを表す情報を参照して、合成さ
れた動作状態のどれに遷移するのかを判定し、 出力イベント合成ステップは、 状態合成ステップによって合成された動作状態を表す情
報のそれぞれに対して、入力イベント合成ステップによ
って合成された入力イベントのそれぞれが入力された場
合に、合成元の各プログラム部品の状態遷移を表す情
報、及び、出力イベントを表す情報を参照して、合成さ
れた動作状態の遷移に伴ってどのイベントが出力される
のかを判定することを特徴とする請求項４記載のプログ
ラム仕様合成方法。
Priority Applications (4)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP4298768A JPH06149554A (ja) | 1992-11-09 | 1992-11-09 | プログラム動作仕様自動合成装置及びその方法 |
| EP93308881A EP0597646B1 (en) | 1992-11-09 | 1993-11-08 | Apparatus and method for synthesizing program specifications |
| DE69311065T DE69311065T2 (de) | 1992-11-09 | 1993-11-08 | Vorrichtung und Verfahren zur Progammspezifikationssynthese |
| US08/520,227 US5668978A (en) | 1992-11-09 | 1995-08-28 | Apparatus and method for synthesizing program specification from independent sets of tables |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP4298768A JPH06149554A (ja) | 1992-11-09 | 1992-11-09 | プログラム動作仕様自動合成装置及びその方法 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH06149554A true JPH06149554A (ja) | 1994-05-27 |
Family
ID=17863970
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP4298768A Pending JPH06149554A (ja) | 1992-11-09 | 1992-11-09 | プログラム動作仕様自動合成装置及びその方法 |
Country Status (4)
| Country | Link |
|---|---|
| US (1) | US5668978A (ja) |
| EP (1) | EP0597646B1 (ja) |
| JP (1) | JPH06149554A (ja) |
| DE (1) | DE69311065T2 (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2011154477A (ja) * | 2010-01-26 | 2011-08-11 | Canon Inc | 情報処理装置、情報処理方法 |
Families Citing this family (12)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| GB9309549D0 (en) * | 1993-05-10 | 1993-06-23 | Hinchey Michael G | Case system |
| US6035343A (en) * | 1993-06-11 | 2000-03-07 | Fujitsu Limited | Method for executing software formed of software components and a system for executing such software |
| US9063719B1 (en) * | 1995-10-02 | 2015-06-23 | People Innovate For Economy Foundation, Inc. | Table format programming |
| AU5355098A (en) * | 1996-11-14 | 1998-06-03 | Alcatel Usa Sourcing, L.P. | Generic software state machine and method of constructing dynamic objects for an application program |
| IL119914A (en) * | 1996-12-25 | 2000-06-29 | Emultek Ltd | Device for implementing hierarchical state charts and methods and apparatus useful therefor |
| US5949993A (en) * | 1997-10-31 | 1999-09-07 | Production Languages Corporation | Method for the generation of ISA simulators and assemblers from a machine description |
| US20020049961A1 (en) * | 1999-08-23 | 2002-04-25 | Shao Fang | Rule-based personalization framework |
| EP1395900A1 (en) * | 1999-08-23 | 2004-03-10 | Asera, Inc. | Method and apparatus for providing custom configurable business applications from a standardized set of components |
| US7020869B2 (en) * | 2000-12-01 | 2006-03-28 | Corticon Technologies, Inc. | Business rules user interface for development of adaptable enterprise applications |
| US6996798B2 (en) * | 2002-05-29 | 2006-02-07 | Sun Microsystems, Inc. | Automatically deriving an application specification from a web-based application |
| US8463925B1 (en) * | 2007-10-08 | 2013-06-11 | Empirix Inc. | Table driven event processing of multiple stateful protocols in a high performance network stack framework |
| US9282772B2 (en) | 2012-01-31 | 2016-03-15 | Altria Client Services Llc | Electronic vaping device |
Family Cites Families (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5202996A (en) * | 1985-10-11 | 1993-04-13 | Hitachi, Ltd. | Software structuring system and method by data table translation |
| IL78542A0 (en) * | 1986-04-18 | 1986-08-31 | Yeda Res & Dev | Electronic controller based on the use of statecharts as an abstract model |
| US5228040A (en) * | 1990-03-09 | 1993-07-13 | At&T Bell Laboratories | Testable implementations of finite state machines and methods for producing them |
| JPH06202859A (ja) * | 1991-02-26 | 1994-07-22 | Texas Instr Inc <Ti> | システム設計の方法および装置 |
| US5301100A (en) * | 1991-04-29 | 1994-04-05 | Wagner Ferdinand H | Method of and apparatus for constructing a control system and control system created thereby |
| US5475388A (en) * | 1992-08-17 | 1995-12-12 | Ricoh Corporation | Method and apparatus for using finite state machines to perform channel modulation and error correction and entropy coding |
| US5339395A (en) * | 1992-09-17 | 1994-08-16 | Delco Electronics Corporation | Interface circuit for interfacing a peripheral device with a microprocessor operating in either a synchronous or an asynchronous mode |
-
1992
- 1992-11-09 JP JP4298768A patent/JPH06149554A/ja active Pending
-
1993
- 1993-11-08 DE DE69311065T patent/DE69311065T2/de not_active Expired - Fee Related
- 1993-11-08 EP EP93308881A patent/EP0597646B1/en not_active Expired - Lifetime
-
1995
- 1995-08-28 US US08/520,227 patent/US5668978A/en not_active Expired - Fee Related
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2011154477A (ja) * | 2010-01-26 | 2011-08-11 | Canon Inc | 情報処理装置、情報処理方法 |
Also Published As
| Publication number | Publication date |
|---|---|
| DE69311065T2 (de) | 1997-11-20 |
| US5668978A (en) | 1997-09-16 |
| EP0597646A1 (en) | 1994-05-18 |
| DE69311065D1 (de) | 1997-07-03 |
| EP0597646B1 (en) | 1997-05-28 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JPH06149554A (ja) | プログラム動作仕様自動合成装置及びその方法 | |
| US7401934B2 (en) | File system for a stage lighting array system | |
| JPH103374A (ja) | 制御設計用コンフィギュレーション・ツールの部品再利用方法 | |
| JP2927180B2 (ja) | 情報処理プログラムのデバッグ方法およびそのためのデバッガ | |
| JPH07191840A (ja) | プログラム自動生成装置 | |
| JPH08297476A (ja) | ディスプレイ解像度制御システム | |
| JP2002373077A (ja) | 実行時ライブラリ検索方法及び装置、動的リンカ並びにプログラム | |
| JPH04205422A (ja) | プログラム自動翻訳結合及び選択方法 | |
| JPH05113818A (ja) | 多重プログラム機能を有する数値制御装置 | |
| JPH07152577A (ja) | コンパイル、リンク方法の共通化方式 | |
| JPS63106047A (ja) | 動的サブル−チン呼び出し方式 | |
| JPH11306004A (ja) | プログラムライブラリ管理システム | |
| JP6073671B2 (ja) | Ｗｅｂ画面操作シミュレーションシステム | |
| JPH04251331A (ja) | 情報処理装置 | |
| JPH0944215A (ja) | シーケンスプログラムのモジュール生成方法 | |
| JP2919841B2 (ja) | データ処理装置のテスト方法 | |
| JP2002006005A (ja) | 論理回路可観測装置および論理回路可観測方法 | |
| JPH0997171A (ja) | ソースプログラムのバージョン管理方法 | |
| JPH05173766A (ja) | プログラム管理システム | |
| JPH05189209A (ja) | イニシャルプログラムローディング方式 | |
| JP2000137599A (ja) | Ｇｕｉ設計システム | |
| JPH10247143A (ja) | プログラム更新方法 | |
| KR20000039214A (ko) | 코드 분할 다중 접속 시스템에서의 블록 로딩방법 | |
| JPH06187148A (ja) | 情報処理装置の順序制御回路 | |
| JPH04274505A (ja) | 計算機システム構成変更方式 |