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

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

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