SoS中框架方法的形式化研究.pdf

1、近年來(lái)，隨著物聯(lián)網(wǎng)的飛速發(fā)展，傳感網(wǎng)，云計(jì)算，軟件服務(wù)化這些物聯(lián)網(wǎng)核心技術(shù)的應(yīng)用越來(lái)越廣泛，許多大型應(yīng)用軟件系統(tǒng)的功能越來(lái)越復(fù)雜，規(guī)模越來(lái)越大，系統(tǒng)之間的關(guān)聯(lián)也越來(lái)越多樣化。在這種形勢(shì)下，包括物聯(lián)網(wǎng)應(yīng)用在內(nèi)的各種應(yīng)用軟件系統(tǒng)正在由封閉的單一系統(tǒng)向開(kāi)放的系統(tǒng)體系(SoS)發(fā)展，本文中所介紹的系統(tǒng)體系理論正是為了研究上述問(wèn)題而引入的。本文的工作主要是針對(duì)系統(tǒng)體系的形式化研究而展開(kāi)的，這一工作可以使我們更加深入地研究系統(tǒng)體系的組成成分在其生命

2、周期各個(gè)階段中的特征、作用和功能，以便指導(dǎo)系統(tǒng)體系實(shí)現(xiàn)其不斷演變的業(yè)務(wù)目標(biāo)。
　　本文在討論系統(tǒng)體系的相關(guān)基礎(chǔ)理論與框架方法的基礎(chǔ)上，針對(duì)大型應(yīng)用軟件系統(tǒng)建立了三個(gè)功能框架。利用近世代數(shù)中的群論知識(shí)對(duì)每個(gè)框架分別進(jìn)行抽象，將框架本身看作集合，框架內(nèi)的單元看作集合內(nèi)的元素，而單元間的關(guān)聯(lián)關(guān)系則抽象為集合內(nèi)的運(yùn)算，由此可以將框架形式化為一個(gè)半群。同時(shí)給出了框架間關(guān)聯(lián)關(guān)系的抽象描述方法，在框架間建立映射，形成半群同態(tài)。最后本文以基于NG