基于SOFL形式化語(yǔ)言的軟件組件的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、隨著軟件工程方法在實(shí)際編碼過(guò)程中被越來(lái)越多的使用，一份準(zhǔn)確的需求文檔的重要性愈發(fā)突出。因此，一種結(jié)構(gòu)化的、面向?qū)ο蟮男问交Z(yǔ)言（簡(jiǎn)稱SOFL）被提出來(lái)，用于將描述需求的自然語(yǔ)言轉(zhuǎn)化為可以被編碼人員快速理解的形式化語(yǔ)言。目前，SOFL形式化語(yǔ)言可以被專門(mén)的工具編譯處理，結(jié)果保存在XML文檔中。但是，當(dāng)系統(tǒng)需求較為繁瑣時(shí)，得到的XML文件的結(jié)構(gòu)也將相應(yīng)地變得復(fù)雜。這就導(dǎo)致了重用該XML文件進(jìn)行其他相關(guān)開(kāi)發(fā)變得難以進(jìn)行。為了解決這個(gè)問(wèn)題，能夠

2、從XML文件中提取關(guān)鍵信息并經(jīng)過(guò)一系列處理后交給其他程序復(fù)用的軟件組件需要被設(shè)計(jì)并實(shí)現(xiàn)出來(lái)。
　　論文詳細(xì)地介紹了這些用來(lái)從SOFL形式化語(yǔ)言中提取關(guān)鍵信息的組件的設(shè)計(jì)與實(shí)現(xiàn)。這些組件能夠按照特定的數(shù)據(jù)格式提供這些提取出的信息，以便于其他程序進(jìn)行調(diào)用。組件為SOFL形式化語(yǔ)言下的基礎(chǔ)軟件包，基于C＃語(yǔ)言實(shí)現(xiàn)，開(kāi)發(fā)環(huán)境為VS2012。按照軟件工程的方法，首先對(duì)軟件組件的需求進(jìn)行了分析，其次對(duì)軟件組件的結(jié)構(gòu)和功能進(jìn)行了總體設(shè)計(jì)，然后進(jìn)

3、一步的對(duì)軟件組件的各個(gè)類進(jìn)行了詳細(xì)的設(shè)計(jì)，包括類中的數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)以及類所提供的可調(diào)用方法的設(shè)計(jì)。在具體實(shí)現(xiàn)時(shí)，對(duì)構(gòu)成軟件組件的類進(jìn)行了代碼實(shí)現(xiàn)，包括一個(gè)基礎(chǔ)類的實(shí)現(xiàn)和七個(gè)標(biāo)準(zhǔn)類的實(shí)現(xiàn)。
　　該軟件組件通過(guò)對(duì)外提供大量的可調(diào)用方法，幫助SOFL相關(guān)技術(shù)的開(kāi)發(fā)工作能夠順利完成，提升了其工作效率以及產(chǎn)出的代碼質(zhì)量。在測(cè)試環(huán)節(jié)，該軟件組件被應(yīng)用到一個(gè)實(shí)際的ATM機(jī)系統(tǒng)的案例中，有效地對(duì)其SOFL形式化語(yǔ)言文檔進(jìn)行了處理，以此來(lái)驗(yàn)證組件的