摘要:由于P LC程序日益復(fù)雜,在PLC應(yīng)用方面有越來越多的興趣愛好者。形式化方法，讓僵化的證明系統(tǒng)屬性被核查和驗證。一個傳統(tǒng)思路的方法就是在PLC編程中設(shè)立一個正式的設(shè)計方法。不過，現(xiàn)有的軟件已被優(yōu)化，改變，或移植到新系統(tǒng).有需要找到從某一PLC程序開始的方法。因此，規(guī)范PLC程序是一個現(xiàn)在研究的熱點。該文章概述了基于形式化的PLC程序基礎(chǔ)上從新啟動的方法。轉(zhuǎn)型成為一個獨立的格式和可視化的結(jié)構(gòu)，在這個過程中，PLC程序的確定是作為這項措施的重要中間步驟。這表明如何XML和相應(yīng)的技術(shù)可用于形式化和可視化現(xiàn)有的PLC程序。