分点と日食を使用するrodinとeventbフレームワークを使用しています。現在、研究チームの新機能をサポートするように変更しています。GUI部分を削除したいと考えています（主に、GUIコードの記述を回避し、リモートサーバーで大量の計算を開始できるようにするため）。コードを含む独自のバンドルを作成することに成功しました。これには、次のEclipseおよびEquinoxバンドル（Eclipseバージョン3.7.1から）のみが必要です。
- org.eclipse.ant.runtime
- org.eclipse.core
- org.eclipse.core.contenttype
- org.eclipse.core.expressions
- org.eclipse.core.jobs
- org.eclipse.core.resources
- org.eclipse.equinox
- org.eclipse.osgi
ロダンとeventbのバンドル：
- org.rodinp.core
- org.eventb.core
- org.eventb.ast
osgiコンテナーの起動中に、ディレクトリー・ワークスペースが作成され、いくつかのエラーが報告され.metadata/.logますが、修正できる構成エラーのようです...
質問：GUIなしでこれを実行しようとするのは良い考えですか？バグを発見したり、セット全体を実行できないことを発見するために多くの時間を費やすことを恐れています。誰かがそのような構成でいくつかの経験がありますか？