PDA設(shè)備安全管理系統(tǒng)生成器的分析、設(shè)計(jì)和實(shí)現(xiàn).pdf

1、運(yùn)行于PDA的安全管理信息系統(tǒng)（SMIS）是一種使用PDA輔助安全管理工作的軟件。由于其特殊的運(yùn)行環(huán)境，這類系統(tǒng)有著對(duì)安全、可靠和效率的本質(zhì)性要求，有很高的開(kāi)發(fā)難度。迄今為止，尚未出現(xiàn)合適的方法、技術(shù)或者工具使此類系統(tǒng)的開(kāi)發(fā)變得簡(jiǎn)單迅捷，對(duì)這個(gè)問(wèn)題的研究有重要的現(xiàn)實(shí)意義。 本文介紹了一種新的形式化開(kāi)發(fā)方法PAR（分劃與遞推）方法。形式化開(kāi)發(fā)方法是提高軟件正確性、可靠性的有效方法，但由于其使用難度很高，這種方法并未能在實(shí)際軟件開(kāi)

2、發(fā)工作中得到廣泛應(yīng)用。PAR方法在提出伊始就以簡(jiǎn)單實(shí)用作為基本原則之一，從其支持平臺(tái)PAR平臺(tái)到其前端語(yǔ)言apla都體現(xiàn)著一種便捷統(tǒng)一的風(fēng)格。本文借助于PAR方法和PAR平臺(tái)的形式化特性為運(yùn)行于PDA的SMIS提供了正確性和可信性保障。 本文研究了生成式程序設(shè)計(jì)和領(lǐng)域工程的方法和概念，對(duì)比了各種領(lǐng)域語(yǔ)言，論證了APLA作為一種領(lǐng)域描述語(yǔ)言的可行性，借助于apla的抽象數(shù)據(jù)類型（ADT）、泛型和關(guān)系代數(shù)機(jī)制設(shè)計(jì)和實(shí)現(xiàn)了一套功能構(gòu)

3、件來(lái)描述運(yùn)行于PDA的安全管理類軟件的領(lǐng)域建模結(jié)果，作為安全管理類軟件領(lǐng)域工程的領(lǐng)域?qū)崿F(xiàn)部分。 Apla的ADT機(jī)制是一種優(yōu)質(zhì)的構(gòu)件機(jī)制，有著良好的可配置性，本文引入了當(dāng)下流行的功能構(gòu)件配置技術(shù)，使用XML語(yǔ)言將apla功能構(gòu)件程序配置起來(lái)，同時(shí)提供配套的解析器及目標(biāo)系統(tǒng)生成程序。最終用戶使用XML書(shū)寫(xiě)目標(biāo)系統(tǒng)的構(gòu)件配置清單并使用生成器解析XML文檔、生成目標(biāo)系統(tǒng)的apla語(yǔ)言描述，最終使用PAR平臺(tái)提供的apla→c++轉(zhuǎn)換

4、器對(duì)apla代碼轉(zhuǎn)換，得到系統(tǒng)功能部分的c++實(shí)現(xiàn)。 本文的工作包括： 1、論證了使用apla作為一種領(lǐng)域建模語(yǔ)言的可行性，并實(shí)際的運(yùn)用apla描述了運(yùn)行于PDA的安全管理信息系統(tǒng)的領(lǐng)域模型。 2、運(yùn)用xml語(yǔ)言對(duì)系統(tǒng)功能構(gòu)件進(jìn)行配置，提供配套工具生成最終系統(tǒng)，降低了程序員的編碼負(fù)擔(dān)。 本文主要?jiǎng)?chuàng)新為： 提出了轉(zhuǎn)換PDA安全管理類信息系統(tǒng)的新開(kāi)發(fā)模式，降低其開(kāi)發(fā)難度的同時(shí)又避免了損失所得