陳迪 黃中電 石攀
摘 要:隨著我國經(jīng)濟的不斷發(fā)展,各項科學(xué)技術(shù)革命的不斷推進以及社會的快速前進,軟件工程作為科技的引領(lǐng)和時尚,不斷嘗試新的科研理論成果和新的研究方法,本文詳細介紹了形式概念分析的相關(guān)概念,以及在實際生活中的相關(guān)應(yīng)用。形式概念分析方法是當(dāng)前經(jīng)過時代和歷史考驗的科學(xué)有效的分析方法,不僅可以通過該方法對當(dāng)前軟件工程進行科學(xué)有效的分析,更可以提高日后對于軟件開發(fā)過程中的效率,今后研究開發(fā)工作技術(shù)人員將重點放在如何更加合理有效的在軟件過程領(lǐng)域應(yīng)用概念分析的方法。
關(guān)鍵詞:軟件工程;形式概念;研究;靈活性
前言
隨著信息化時代的不斷推進,計算機技術(shù)迎來了前所未有的發(fā)展和挑戰(zhàn),現(xiàn)在我國軟件工程開發(fā)產(chǎn)生了巨大的改變,變得更加復(fù)雜和龐大,不再是一個人便可以獨立的開發(fā)軟件,由于當(dāng)前軟件工程開發(fā)需要運用大型的數(shù)據(jù)庫以及網(wǎng)絡(luò)傳輸[1-4],需要擁有合理的開發(fā)技術(shù)和制定詳細的開發(fā)方案,因此不難看出使用合理的技術(shù)在軟件開發(fā)中的重要性。形式概念分析就是運用數(shù)學(xué)的運算為基礎(chǔ),通過形式化的語言表達出來,清楚的表達出本體的結(jié)構(gòu)特征。具體如下文所示:
一、形式概念分析的相關(guān)概念
1.軟件工程的相關(guān)概念
軟件工程的研究早在80年代就有了大量的相關(guān)研究,最重要的課題便是如何提高軟件開發(fā)的利用效率上,開發(fā)環(huán)境的軟件工具是軟件工程中重要的基礎(chǔ),也是起到?jīng)Q定性和關(guān)鍵性的環(huán)節(jié)。軟件工程的目標(biāo)便是建造一個大型的軟件系統(tǒng),從而降低研發(fā)的成本和時間,提高開發(fā)的效率,平臺可以按時按量完成客戶需要的任務(wù)及時交付使用。因此只有在軟件開發(fā)過程中通過系統(tǒng)有效的管理,才能夠切實有效的形成合適的開發(fā)模型,從而實現(xiàn)對于開發(fā)的高效管理。
2.形式概念分析的相關(guān)概念
德國學(xué)者Wille首先在全球提出了形式概念分析的,它是應(yīng)用數(shù)學(xué)和格論的綜合,建立在概念和概念層次的數(shù)學(xué)化基礎(chǔ)之上。研究的所有對象具有相同的特征和屬性是概念的深刻內(nèi)涵,這樣就可以實現(xiàn)概念的形式化,概念結(jié)合相互之間的泛化關(guān)系便形成概念格。在形式概念分析中其核心數(shù)據(jù)結(jié)構(gòu)便是概念格,它能夠很好的反映對象與屬性之間的泛化關(guān)系,形式概念分析時候需要首先進行形式背景的相關(guān)了解和認知,使得數(shù)據(jù)集可以通過形式背景的方式給出。因此,當(dāng)前,形式概念分析方法已經(jīng)廣泛的運用在軟件工程的各個領(lǐng)域。
二、形式概念分析的相關(guān)應(yīng)用
1.形式概念在需求分析中的應(yīng)用
需求分析(Requirements Analysis,簡稱RA)主要是對軟件操作過程中的各項需求進行相關(guān)詳細系統(tǒng)的描述分析,形式概念分析在其中發(fā)揮的作用便是構(gòu)造軟件項目的特征集合。通過表格框架結(jié)構(gòu)的形式表示其在軟件工程當(dāng)中的優(yōu)先級別以及相關(guān)的對象屬性,與此同時,也可以通過收集具體特征集合。
2.形式概念在結(jié)構(gòu)設(shè)計過程中的應(yīng)用
軟件數(shù)據(jù)結(jié)構(gòu)模式是軟件的結(jié)構(gòu)設(shè)計過程中的主要對象,需要正確的分析需求關(guān)系的基礎(chǔ)上進行合理化的組織,從而進一步的進行設(shè)計分析,最終得出相關(guān)的設(shè)計方案以及方法。從而分析這些變量之間的相互關(guān)聯(lián),通過對各個指標(biāo)項目特征進行分析從而形成相關(guān)概念,從而最終形成詳細、系統(tǒng)、準(zhǔn)確的概念格模型。
3.形式概念在系統(tǒng)設(shè)計過程中的應(yīng)用
軟件過程中運用形式概念分析最重要的任務(wù)便是構(gòu)造形成系統(tǒng)的概念格模型,可以通過當(dāng)前研究出了眾多數(shù)學(xué)算法計算出格的所有相關(guān)概念以及與此相對應(yīng)的層析結(jié)構(gòu)關(guān)系,這是一種逆推的思維模式,是從下而上的計算模式計算出相應(yīng)的概念格。通過各個集合之間的相關(guān)關(guān)系計算出相對應(yīng)的概念彼此間的聯(lián)系,從而形成系統(tǒng)完備的概念格,最終按照系統(tǒng)正常的開發(fā)規(guī)程和秩序完成相應(yīng)的工作。
結(jié)語
過于依靠文檔是傳統(tǒng)軟件開發(fā)的弊端,其大大限制和制約了開發(fā)的效率和使用操作的靈活性。本文筆者通過對形式概念分析方法這種軟件工程里面這種最新型最潮流的設(shè)計方法,從中尋找相同或者重復(fù)的特征。形式概念分析在軟件工程中的運用不僅大大提高了開發(fā)效率,更使得軟件開發(fā)過程中的靈活性大大增強。本文筆者就是對軟件工程中運用形式概念分析進行研究和探討。
參考文獻
[1]蔣平,任勝兵,林鵑.形式概念分析在軟件工程中的應(yīng)用[J].計算機技術(shù)與發(fā)展,2008,04:127-129+213
[2]汪勝陽.試論形式概念分析在軟件工程中的應(yīng)用[J].計算機光盤軟件與應(yīng)用,2013,01:243+245
[3]畢強,滕廣青.國外形式概念分析與概念格理論應(yīng)用研究的前沿進展及熱點分析[J].現(xiàn)代圖書情報技術(shù),2010,11:17-23
[4]楊磊.基于形式概念分析的多光譜遙感圖像分類研究[D].解放軍信息工程大學(xué),2012