基于約束模型的協(xié)同模板任務機制研究.pdf

1、隨著模板技術的廣泛應用及協(xié)同技術的飛速發(fā)展，協(xié)同模板概念在兩者技術優(yōu)勢的結(jié)合下產(chǎn)生。本文介紹了協(xié)同模板建模系統(tǒng)(CoTM)，在此基礎上展開基于約束模型的任務機制研究，重點分析了約束模型向任務模型的轉(zhuǎn)換及任務控制流程，并引入了任務前趨圖、串并行驅(qū)動模式等關鍵技術作為系統(tǒng)應用和研究的支撐，不僅為CoTM系統(tǒng)的建立提供了技術支持，同時為協(xié)同模板設計機理的研究奠定了理論基礎。本文主要研究內(nèi)容包括以下幾個方面： 1)約束模型及其向任務模型

2、的轉(zhuǎn)換：總結(jié)協(xié)同模板中多樣的約束信息，采用模板設計語言(TDML)作為描述載體，根據(jù)領域、表達方式等對約束信息進行分類，建立基于約束網(wǎng)絡的存儲模型和相應解釋機制，引入任務前趨圖概念和基于聚合與排序的轉(zhuǎn)換算法，實現(xiàn)由約束模型向任務前趨控制模型的轉(zhuǎn)換。 2)串并行驅(qū)動的任務控制機制：以基于約束的任務前趨圖為引導，結(jié)合協(xié)同模板的特點，采用串并行驅(qū)動模式控制任務機制中的任務申請與分配、任務交流、任務復合等模塊，并引入任務鎖機制及信號量機