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

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

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

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

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