プログラム gecop.sf.net

GEECoP (グラフィカル・エディターおよび制約付きプロセス用エンジン) は、制御フロー・グラフと関連制約をグラフィカルに設計するためのツールです。同時実行トランザクション ロジック数式の作成と制約されたプロセスの検証をサポートします。