3
私はrodin and eventb frameworkを使用しています。これは、春分と日食を使用しています。私たちは研究チームの新しい機能をサポートするように変更しています.GUIの部分を取り除きたい（主にguiコードの記述を避け、リモートサーバーで重い計算を開始できるようにしたい）。GUI部品なしでEquinox + Eclipseアプリケーションを構築することは可能ですか？
- org.eclipse.ant.runtime
- org.eclipse.core：私たちは、コードとその（日食バージョン3.7.1から）のみ、次の日食と春分のバンドルを必要と私たち自身のバンドルを持つことが成功します
- 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コンテナの起動時に、ディレクトリ作業領域が作成され、いくつかのエラーがで報告されます。しかし、それは私が修正することができる構成エラーと思われる...
質問：これはGUIなしでこれをしようとするのは良いアイデアですか？私はバグを発見するために多くの時間を費やすことが恐ろしいですか、またはセット全体を実行することが不可能です。誰もそのような設定でいくつかの経験がありますか？
Rodin/eventbに関する経験はありませんが、一般的にヘッドレスRCPに問題はありません。あなたが望むなら、あなたは後で簡単にUIを追加することができるので、RCPから始めるのが良い方法です。 – Fredrik