द्वारा कार्यक्रम unimod.sf.net

J2SE, J2EE और Sybmian अनुप्रयोगों के लिए तर्क को लागू करने के लिए ऑटोमाटा आधारित प्रोग्रामिंग टूल। जावा एफएसएम फ्रेमवर्क और ग्रहण प्लगइन पार्ट्स शामिल हैं। प्लगइन यूएमएल मॉडल संपादक, दृश्य डिबगर, सत्यापनकर्ता, कंपाइलर और ग्रह