基于邏輯語(yǔ)言的計(jì)算機(jī)軟件開發(fā)

曾愛林

（順德職業(yè)技術(shù)學(xué)院 電子與信息工程學(xué)院，廣東 順德 528300）

引 言

現(xiàn)在已經(jīng)進(jìn)入到了信息時(shí)代，計(jì)算機(jī)作為信息化的基礎(chǔ)，已經(jīng)成為一個(gè)國(guó)家信息水平的重要標(biāo)志，在這種背景下，每個(gè)國(guó)家都很重視自身計(jì)算機(jī)技術(shù)的發(fā)展，而軟件是計(jì)算機(jī)應(yīng)用的主要方式，計(jì)算機(jī)之所以能夠滿足不同領(lǐng)域的需求，就是因?yàn)榭梢蚤_發(fā)具有相應(yīng)功能的軟件，我國(guó)受到特殊的歷史因素影響，經(jīng)濟(jì)和科技發(fā)展的起步較晚，因此目前計(jì)算機(jī)軟件技術(shù)，主要掌握在西方發(fā)達(dá)國(guó)家手中。而且在很長(zhǎng)一段時(shí)間內(nèi)，西方國(guó)家對(duì)我國(guó)實(shí)行了技術(shù)封鎖，使得我國(guó)計(jì)算機(jī)相關(guān)技術(shù)的發(fā)展很慢，現(xiàn)在使用的計(jì)算機(jī)軟件，尤其是企業(yè)辦公軟件，幾乎都是外國(guó)公司開發(fā)的，雖然近年來(lái)隨著國(guó)家的重視，開始大力扶持本土的軟件公司，通過加強(qiáng)市場(chǎng)建設(shè)等方式，嚴(yán)格的控制盜版，在一定程度上提高了我國(guó)的計(jì)算機(jī)軟件開發(fā)的水平。

1 邏輯語(yǔ)言分析

1.1 邏輯語(yǔ)言的概念

邏輯最早是哲學(xué)中的詞匯，在古希臘時(shí)期，很多哲學(xué)家在辯論的過程中，為了可以說(shuō)服對(duì)方，自己的思路必須清晰，符合人們正常的思維，逐漸的形成了邏輯語(yǔ)言的概念，隨著數(shù)學(xué)理論的發(fā)展，要想解決特定的問題，必須進(jìn)行相應(yīng)的推理和證明，而推理的過程中，就要使用邏輯語(yǔ)言，這樣推理才能夠符合人的思維。計(jì)算機(jī)的出現(xiàn)，對(duì)于科技的發(fā)展來(lái)說(shuō)，是革命性的，很多人將計(jì)算機(jī)作為第三次科技革命的標(biāo)志，通過計(jì)算機(jī)的使用，不但改變了人們的生活習(xí)慣，同時(shí)也在很大程度上提高了工程的效率，而計(jì)算機(jī)是在數(shù)學(xué)模型的基礎(chǔ)上，因此控制計(jì)算機(jī)工作的軟件，也必須具有一定的邏輯性。在計(jì)算機(jī)出現(xiàn)的早期，受到計(jì)算機(jī)性能等影響，程序的編寫還采用二進(jìn)制的機(jī)器語(yǔ)言進(jìn)行，這種0和1組成的二進(jìn)制語(yǔ)言，在編寫的過程中，必須具有一定的邏輯性，計(jì)算機(jī)才能夠去運(yùn)行，現(xiàn)在程序的編寫已經(jīng)采用高級(jí)語(yǔ)言，如JAVA和 C語(yǔ)言等，利用這些語(yǔ)言進(jìn)行程序的編寫時(shí)，邏輯關(guān)系的體現(xiàn)更加重要。

1.2 邏輯語(yǔ)言的特點(diǎn)

從語(yǔ)言學(xué)上來(lái)看，語(yǔ)言主要可以分成三種，分別是自然語(yǔ)言、帶符號(hào)的數(shù)學(xué)語(yǔ)言、以及形式化的邏輯語(yǔ)言，邏輯語(yǔ)言的出現(xiàn)，主要是因?yàn)檫壿媽W(xué)發(fā)展的需要，古時(shí)候受到知識(shí)水平的限制，人們?cè)谟懻搯栴}時(shí)，經(jīng)常會(huì)發(fā)生一些爭(zhēng)執(zhí)，為了解決這種爭(zhēng)執(zhí)，人們希望能夠建立像數(shù)學(xué)那樣完美，具有特定符號(hào)的語(yǔ)言，這就是邏輯語(yǔ)言。與其他的語(yǔ)言相比，邏輯語(yǔ)言具有很高的嚴(yán)謹(jǐn)性，這種語(yǔ)言將邏輯推理，轉(zhuǎn)化成為了數(shù)學(xué)語(yǔ)言，在遇到具體的問題時(shí)，就可以利用這種沒有歧義、嚴(yán)謹(jǐn)?shù)恼Z(yǔ)言，通過計(jì)算的方式，來(lái)解決這個(gè)問題，隨著邏輯語(yǔ)言自身的發(fā)展，在解決實(shí)際問題時(shí)，人們首先會(huì)建立一個(gè)數(shù)學(xué)模型，然后采用數(shù)學(xué)的方式進(jìn)行求解，極大的提高了解決問題的效率。由此可以看出，邏輯語(yǔ)言的特點(diǎn)是嚴(yán)謹(jǐn)性和普遍性，能夠用來(lái)描述所有的問題，而且在這個(gè)過程中，不會(huì)出現(xiàn)任何的歧義，現(xiàn)代計(jì)算機(jī)軟件的發(fā)展，很大程度上就是建立在邏輯語(yǔ)言的基礎(chǔ)上，通過實(shí)際的分析可以知道，每個(gè)程序都是一個(gè)數(shù)學(xué)模型，而描述這個(gè)模型的就是邏輯語(yǔ)言。

1.3 邏輯語(yǔ)言的發(fā)展

從語(yǔ)言的三種形式可以看出，其發(fā)展也可以分成三個(gè)階段，首先是自然語(yǔ)言，在人類文明的初期，受到科學(xué)技術(shù)上的限制，人們的思維還不是很嚴(yán)謹(jǐn)，因此表達(dá)比較隨便，采用自然語(yǔ)言進(jìn)行交流，現(xiàn)在的日常生活中，依然使用這種語(yǔ)言，隨著自然科學(xué)的發(fā)展，語(yǔ)言開始分為書面語(yǔ)和口語(yǔ)，在對(duì)科學(xué)進(jìn)行描述時(shí)，主要采用書面語(yǔ)進(jìn)行，這種表達(dá)方式具有一定的特殊性，尤其是在數(shù)學(xué)科學(xué)中，需要加入一些常用的符號(hào)，逐漸的形成了數(shù)學(xué)語(yǔ)言。邏輯語(yǔ)言的出現(xiàn)，是數(shù)學(xué)語(yǔ)言發(fā)展的結(jié)果，但是在邏輯語(yǔ)言剛出現(xiàn)時(shí)，主要建立在理論的基礎(chǔ)上，很難在現(xiàn)實(shí)中使用，計(jì)算機(jī)是邏輯語(yǔ)言實(shí)踐的結(jié)果，通過數(shù)學(xué)二進(jìn)制和實(shí)際電路的結(jié)合，就可以利用邏輯語(yǔ)言來(lái)解決實(shí)際問題，計(jì)算機(jī)程序的出現(xiàn)，使得邏輯語(yǔ)言發(fā)展到了一個(gè)新的高度，在程序設(shè)計(jì)中，考慮到計(jì)算機(jī)的嚴(yán)謹(jǐn)性，必須采用邏輯語(yǔ)言進(jìn)行。

2 計(jì)算機(jī)軟件開發(fā)的現(xiàn)狀

2.1 我國(guó)計(jì)算機(jī)軟件開發(fā)的現(xiàn)狀

通過實(shí)際的調(diào)查發(fā)現(xiàn)，目前我國(guó)計(jì)算機(jī)軟件開發(fā)能力較低，現(xiàn)在使用的軟件，很多都是國(guó)外軟件公司開發(fā)的，雖然近年來(lái)隨著國(guó)家的重視，加大了對(duì)軟件公司的鼓勵(lì)和扶持，在很大程度上促進(jìn)了我國(guó)軟件技術(shù)的發(fā)展，我國(guó)軟件產(chǎn)業(yè)出現(xiàn)了一個(gè)黃金期，但是受到盜版市場(chǎng)等影響，很多軟件公司的產(chǎn)品沒有市場(chǎng)，導(dǎo)致現(xiàn)在我國(guó)還沒有大型的軟件公司。印度是現(xiàn)在世界上軟件產(chǎn)業(yè)先進(jìn)的國(guó)家之一，其在發(fā)展的過程中，也遇到了和我國(guó)一樣的問題，但是在政府強(qiáng)硬的打壓下，盜版市場(chǎng)得到了控制，為軟件公司的發(fā)展，提供了一個(gè)良好的環(huán)境，我國(guó)與印度的國(guó)情相近，為了促進(jìn)我國(guó)軟件產(chǎn)業(yè)的發(fā)展，借鑒了其成功的經(jīng)驗(yàn)，近幾年政府部門出臺(tái)了很多政策法規(guī)，對(duì)盜版進(jìn)行嚴(yán)格的控制，在一定程度上改善了我國(guó)軟件行業(yè)的環(huán)境。但是計(jì)算機(jī)軟件行業(yè)經(jīng)過了多年的發(fā)展，已經(jīng)形成了良好的產(chǎn)業(yè)鏈，核心的軟件技術(shù)都掌握在西方國(guó)家手中，我國(guó)要想發(fā)展自己的軟件產(chǎn)業(yè)，面臨的難度較大，而受到我國(guó)教育水平的影響，軟件開發(fā)人員的整體水平較低，在很大程度上限制了我國(guó)計(jì)算機(jī)軟件開發(fā)水平的提高。

2.2 影響計(jì)算機(jī)軟件開發(fā)的因素

在實(shí)際的計(jì)算機(jī)軟件開發(fā)中，首先要進(jìn)行需求分析，在計(jì)算機(jī)軟件出現(xiàn)的早期，受到計(jì)算機(jī)性能的限制，軟件都比較簡(jiǎn)單，只是進(jìn)行一些簡(jiǎn)單的數(shù)學(xué)計(jì)算，因此不需要進(jìn)行需求的分析，程序的編寫都具有一定的針對(duì)性，人們遇到實(shí)際問題時(shí)，編寫一個(gè)程序，來(lái)解決這個(gè)問題，由于計(jì)算機(jī)沒有存儲(chǔ)設(shè)備，程序無(wú)法進(jìn)行存儲(chǔ)，再遇到這個(gè)問題時(shí)，還要進(jìn)行程序的編寫。隨著軟件技術(shù)的發(fā)展，計(jì)算機(jī)語(yǔ)言得到了很大的進(jìn)步，在傳統(tǒng)的0和1二進(jìn)制語(yǔ)言中，軟件的編寫非常復(fù)雜，為了方便軟件的開發(fā)，人們對(duì)計(jì)算機(jī)語(yǔ)言進(jìn)行了改進(jìn)，把難理解的匯編語(yǔ)言等低級(jí)語(yǔ)言，變成了易懂的高級(jí)語(yǔ)言，同時(shí)軟件的應(yīng)用也有了很大的進(jìn)步，要想滿足不同領(lǐng)域的需求，軟件自身也變得越來(lái)越復(fù)雜。由此可以看出，影響計(jì)算機(jī)軟件開發(fā)的因素有很多，需求分析的效果、計(jì)算機(jī)語(yǔ)言等，都能夠?qū)浖拈_發(fā)造成很大的影響，尤其是計(jì)算機(jī)語(yǔ)言的使用，現(xiàn)在的軟件為了獲得一定的市場(chǎng)，都會(huì)增加自身的功能，導(dǎo)致其體積越來(lái)越大，根據(jù)軟件開發(fā)的實(shí)際情況，都會(huì)分成幾個(gè)模塊，要想讓軟件具有良好的可維護(hù)性、易讀性等，必須采用嚴(yán)謹(jǐn)?shù)倪壿嬚Z(yǔ)言。

3 基于邏輯語(yǔ)言的計(jì)算機(jī)軟件開發(fā)分析

3.1 邏輯語(yǔ)言的表現(xiàn)形式

邏輯語(yǔ)言作為一種理論性的語(yǔ)言，如何使用這門語(yǔ)言解決實(shí)際問題，一直都是人們研究的重點(diǎn)，受到技術(shù)條件的限制，這個(gè)想法沒有實(shí)現(xiàn)，隨著科學(xué)的進(jìn)步，物理學(xué)家們根據(jù)數(shù)學(xué)家的設(shè)想，制作出了現(xiàn)代電子計(jì)算機(jī)，從本質(zhì)上來(lái)說(shuō)，計(jì)算機(jī)自身就是一個(gè)數(shù)學(xué)模型，而這種模型就采用邏輯語(yǔ)言來(lái)描述，通過電路的通和不通兩種狀態(tài)，將數(shù)學(xué)二進(jìn)制很好的聯(lián)系起來(lái)。這樣就可以利用邏輯語(yǔ)言來(lái)解決實(shí)際問題，計(jì)算機(jī)在應(yīng)用的過程中，根據(jù)不同領(lǐng)域的實(shí)際需要，針對(duì)性的開發(fā)了應(yīng)用軟件，因此計(jì)算機(jī)的應(yīng)用就是軟件的應(yīng)用，而在軟件的開發(fā)，就是將計(jì)算機(jī)語(yǔ)言，按照一定的邏輯關(guān)系進(jìn)行排列，然后計(jì)算機(jī)按照程序的指令，一步一步的去執(zhí)行。由此可以看出，軟件程序其實(shí)就是邏輯語(yǔ)言的表現(xiàn)形式，在計(jì)算機(jī)剛出現(xiàn)時(shí)，程序的編寫比較簡(jiǎn)單，通常都是由幾個(gè)指令構(gòu)成，可以不考慮語(yǔ)句之間的邏輯關(guān)系，但是現(xiàn)在的程序非常復(fù)雜，很多軟件占用的空間達(dá)到了GB的級(jí)別，這樣復(fù)雜軟件的開發(fā)，要考慮維護(hù)性和易讀性等，因此必須具有清晰的邏輯關(guān)系。

3.2 邏輯語(yǔ)言的使用

現(xiàn)在的軟件開發(fā)中，主要采用 C語(yǔ)言等高級(jí)語(yǔ)言進(jìn)行編寫，由于軟件要實(shí)現(xiàn)不同的功能，因此在實(shí)際的設(shè)計(jì)中，人們根據(jù)具體的功能，將軟件分成了相應(yīng)的模塊，每個(gè)模塊實(shí)現(xiàn)軟件的一個(gè)功能，然后設(shè)立一個(gè)主程序，通過特定的掃描機(jī)制，在需要哪個(gè)功能時(shí)，就調(diào)用相應(yīng)的模塊，這樣程序可以很簡(jiǎn)單的實(shí)現(xiàn)維護(hù)等操作。計(jì)算機(jī)是以數(shù)學(xué)為基礎(chǔ)，具有很高的嚴(yán)謹(jǐn)性，在程序編寫時(shí)，如果一個(gè)語(yǔ)句出現(xiàn)錯(cuò)誤，就會(huì)導(dǎo)致整個(gè)軟件無(wú)法執(zhí)行，因此在實(shí)際的開發(fā)過程中，必須采用嚴(yán)謹(jǐn)?shù)倪壿嬚Z(yǔ)言進(jìn)行，只有這樣才能夠確保程序可以被執(zhí)行，通過實(shí)際的調(diào)查發(fā)現(xiàn)，現(xiàn)在的編程軟件功能非常完善，在程序編寫完成之后，可以進(jìn)行相應(yīng)的編譯和運(yùn)行，如果程序存在問題，就無(wú)法完成編譯，編程軟件會(huì)提出出錯(cuò)的位置，如果是命令的拼寫錯(cuò)誤，很好進(jìn)行修改，如果是邏輯關(guān)系出現(xiàn)了錯(cuò)誤，那么修改就比較困難，如果采用邏輯語(yǔ)言進(jìn)行編寫，就可以在很大程度上避免邏輯關(guān)系錯(cuò)誤的問題。

結(jié) 語(yǔ)

現(xiàn)在計(jì)算機(jī)軟件開發(fā)是一個(gè)熱門的行業(yè)，但是受到我國(guó)技術(shù)水平的限制，目前我國(guó)計(jì)算機(jī)軟件開發(fā)的水平較差，雖然很多高校都開設(shè)了軟件開發(fā)這門課程，為社會(huì)提供了大量的人才，但是通過全文的分析可以知道，我國(guó)高校中培養(yǎng)的人才，綜合素質(zhì)較差，無(wú)法帶動(dòng)我國(guó)軟件產(chǎn)業(yè)的發(fā)展，要想從根本上改善這種情況，必須借鑒印度等軟件產(chǎn)業(yè)發(fā)達(dá)國(guó)家的成功經(jīng)驗(yàn)，結(jié)合我國(guó)軟件產(chǎn)業(yè)的實(shí)際情況，對(duì)邏輯語(yǔ)言等影響計(jì)算機(jī)軟件開發(fā)的因素進(jìn)行研究，只有這樣，才能夠提高我國(guó)軟件開發(fā)的水平。

[1]張德利,張文輝.扎哈·哈迪德與馬巖松——非線性邏輯語(yǔ)言淺析[J].華中建筑,2013,(8):5-8.

[2]趙瑩映,章韻.基于推理機(jī)制的邏輯語(yǔ)言在Web服務(wù)組合機(jī)制中的應(yīng)用[J].電信科學(xué),2012,(12):70-75.

[3]包義保,殷麗華,方濱興,郭莉.動(dòng)態(tài)安全策略邏輯語(yǔ)言及安全屬性驗(yàn)證問題的研究[J].計(jì)算機(jī)研究與發(fā)展,2010,(4):932-941.