基于HART協(xié)議和XML技術(shù)的擴(kuò)展有限狀態(tài)機(jī)的C代碼實(shí)現(xiàn).pdf

1、有限狀態(tài)機(jī)用于對系統(tǒng)的動(dòng)態(tài)行為建模，一般用狀態(tài)圖來可視化表示，是對反應(yīng)式系統(tǒng)建模的一種強(qiáng)大工具。但是長期以來狀態(tài)圖僅僅作為軟件設(shè)計(jì)過程中的動(dòng)態(tài)視圖，并沒有作為一種開發(fā)的方法。本論文針對HART協(xié)議提出了一種利用XML和構(gòu)架構(gòu)件技術(shù)，實(shí)現(xiàn)HART協(xié)議的狀態(tài)圖對應(yīng)的程序自動(dòng)生成的方法。 在該方法中，利用XML的強(qiáng)大描述能力減小了在傳統(tǒng)的基于程序映射的軟件自動(dòng)生成方法中形式化描述語言與程序?qū)崿F(xiàn)語言之間過大的概念間隙問題，提高了軟件生成

2、的自動(dòng)化程度。利用構(gòu)架構(gòu)件技術(shù)擴(kuò)大了程序生成過程中的原子操作微粒，降低了程序生成的復(fù)雜程度。 本論文的結(jié)構(gòu)是：首先介紹了相關(guān)的知識(shí)HART協(xié)議和有限狀態(tài)機(jī)，在此基礎(chǔ)上給出了HART協(xié)議的狀態(tài)圖，接著詳細(xì)闡述了選取XML作為形式化描述語言的原因，然后提出了程序生成器的總體設(shè)計(jì)方案，接著對狀態(tài)圖對應(yīng)的C語言程序的構(gòu)架構(gòu)件的分析、提取，XML偽程序規(guī)則的定義和向源程序的映射三個(gè)關(guān)鍵部分做了詳細(xì)的一一介紹。從而實(shí)現(xiàn)了程序生成器。最后對本