系統(tǒng)體系結(jié)構(gòu)設計的一致性約束和檢驗.pdf

1、針對基于《國防部體系結(jié)構(gòu)框架1.0版》的系統(tǒng)體系結(jié)構(gòu)設計中存在的一致性研究問題。本文討論了靜態(tài)約束和動態(tài)檢驗相結(jié)合的一致性保證方法，力求保證系統(tǒng)在靜態(tài)數(shù)據(jù)和動態(tài)行為表現(xiàn)兩方面都能夠獲得良好的一致性。最后以一個案例說明了該方法在工程應用上的具體實現(xiàn)。 首先闡述了體系結(jié)構(gòu)設計的幾種常用方法和常用的建模方法，介紹了《國防部體系結(jié)構(gòu)框架1.0版》的主要內(nèi)容和產(chǎn)品，分析了系統(tǒng)一致性問題的各種產(chǎn)生原因和表現(xiàn)。 中間部分將系統(tǒng)一致性分

2、為靜態(tài)和動態(tài)兩方面研究，分別予以解決并給出了一個體系結(jié)構(gòu)設計的概要過程。靜態(tài)部分采用了基于集成字典的靜態(tài)一致性約束和檢驗機制，集成字典是在原有集成字典產(chǎn)品基礎上融合了數(shù)據(jù)字典、關系字典、產(chǎn)品字典，賦予了它靜態(tài)一致性約束的能力，可以在建模過程中提供有效的約束機制；動態(tài)部分則基于活動模型、規(guī)則模型、數(shù)據(jù)模型，應用層次著色Petri網(wǎng)建立可執(zhí)行模型，通過對可執(zhí)行模型的仿真來驗證系統(tǒng)中多個產(chǎn)品間的動態(tài)一致性。 最后在該方法的指導下，完成