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