特許
J-GLOBAL ID：200903053706625943
プログラミング支援装置、プログラミング支援方法、及びプログラミング支援プログラムを記録した媒体
発明者：
出願人/特許権者：
代理人 (1件)：
木内 光春
公報種別：公開公報
出願番号（国際出願番号）：特願平8-347053
公開番号（公開出願番号）：特開平9-237191
出願日： 1996年12月26日
公開日（公表日）： 1997年09月09日
要約：
【要約】【課題】 超逐次プログラミングにおいて、信頼性の高い並行プログラムを容易に開発する。【解決手段】 エディタ1でプログラムを作成する。区分手段2が、プログラムのプロセスを実行制御可能なセクションに区分する。検出手段3がプログラム中のセクション間の依存関係を検出する。生成手段4が、各プロセスの各セクションのありうる挙動順序をシナリオで表す。選択手段6によって、依存関係に係るシナリオ中の各分岐について、先に実行すべきセクションのエッジが選択されると、意図する実行順序の組み合わせのみからなるシナリオが生成される。このようなシナリオに基づいて、変換手段9が、第1のプログラムを、実行タイミング制御の命令の挿入によって第2のプログラムに変換すると、第2のプログラムには悪い非決定性が存在しない。
請求項（抜粋）：
第1のプログラムのプロセスを複数のセクションで表し、前記複数のセクションのあり得る実行順序を前記セクション間の分岐を用いて表す実行経路に対し、前記実行経路の前記分岐について前記セクションを選択するための選択手段と、前記第1のプログラムを、前記選択手段による選択がなされた前記実行経路に基づいて、前記選択に基づく順序で一連の前記各セクションを実行する第2のプログラムに変換する変換手段とを具備することを特徴とするプログラミング支援装置。
IPC (2件)：
G06F 9/45
, G06F 9/46 340
G06F 9/44 320 A
, G06F 9/46 340 A
