特許
J-GLOBAL ID：200903081266485480
ソフトウエア開発用のプログラム実行装置とプログラム実行方法
発明者：
出願人/特許権者：
代理人 (1件)：
須山 佐一
公報種別：公開公報
出願番号（国際出願番号）：特願平8-245040
公開番号（公開出願番号）：特開平10-091409
出願日： 1996年09月17日
公開日（公表日）： 1998年04月10日
要約：
【要約】【課題】 プログラムの仕様を作成する際、プログラム動作の目的を達成するための処理の流れと、その際に満たさなければならない制約を明確にする必要があるが、制約はそのプログラムの動作環境によって変わるため、環境毎にプログラムを全体的に書き替える必要があり、既存のプログラムを流用して別環境に適合した新たなプログラムを効率良く作成することは困難であった。【解決手段】 処理の集合からなるプログラム記述言語1、プログラムを実行する場合の制約条件の記述言語2、及びプログラムに与えられる外界からの入力を模擬する外界記述言語3等を実行手段4に入力し、実行手段4は制約条件を満足するように、選択可能処理記述形式で記述された各処理の中から次に実行する処理の決定、及び、並列処理記述形式で記述された各処理の実行順序を決定する。また、この次処理の決定において外界記述を利用し、問題の発生を回避する。
請求項（抜粋）：
選択実行可能な複数の処理を含むプログラムを入力する第1の入力手段と、前記プログラムを実行する場合の所定の制約条件を入力する第2の入力手段と、 前記第2の入力手段より入力された所定の制約条件に基づいて、前記プログラムを構成する所定の処理を決定し、実行する実行手段とを具備することを特徴とするプログラム実行装置。
IPC (2件)：
G06F 9/06 410
, G06F 9/06 530
G06F 9/06 410 S
, G06F 9/06 530 T
