開發者 tropos.sf.net

本項目開發一個通用的、面向目標的和/或面向代理的建模和分析工具。它為使用者提供了開發模型的圖形介面，並支援訪問強大的知識庫，該知識庫允許複雜的計算機輔助