EUROPA建模和規(guī)劃框架
EUROPAS 是 NASA 出品的一個規(guī)劃框架,用來建模和處理規(guī)劃調(diào)度和約束滿足問題。該框架包含如下內(nèi)容
-
規(guī)劃數(shù)據(jù)庫(A Plan Database):EUROPA的技術(shù)基石,用于在計劃初始化和完善時存儲和處理計劃。EUROPA計劃數(shù)據(jù)庫將動作,狀態(tài),對象和約束的豐富表示與用于自動推理,傳播,查詢和操縱的強(qiáng)大算法集成在一起。
-
問題解決器(A Problem Solver):一個核心解決者,可以自動查找和修復(fù)計劃數(shù)據(jù)庫中的缺陷??梢詫⑵渑渲脼橛媱?,安排或同時進(jìn)行??梢暂p松地對其進(jìn)行自定義,以集成專門的試探法和解析操作。
-
工具箱(A Tool Box): Europa包括一個調(diào)試器,用于對應(yīng)用程序進(jìn)行檢測和可視化。它還包括用于描述問題域和局部計劃的非常高級的聲明式建模語言。
評論
圖片
表情
視頻
全部評論
AndroMDAMDA建??蚣?/div>
AndroMDA是一個遵循模型驅(qū)動結(jié)構(gòu)(MDA)范例的代碼生成框架。它從CASE工具中獲得的一個UML模型并生成一個完全可部署的應(yīng)用程序和其它組件。AndroMDA的功能非常強(qiáng)大,主要用途在于從UML
