摘要
由于PLC程序日益复杂,在PLC应用方面有越来越多的兴趣爱好者。而采用相关的形式化方法,可以让僵化的证明系统属性被核查和验证。其中,一个传统思路的方法就是在PLC编程中设立一个正式的设计方法。不过,现有的软件已被优化、改变或移植到新系统,因此,有必要找到从某一PLC程序开始的方法。因此,规范PLC程序是一个现在研究的热点。本文概述了基于形式化的PLC程序基础上从新启动的方法,转型成为一个独立的格式和可视化的结构,在这个过程中,PLC程序的确定是作为这项措施的重要中间步骤。这表明如何XML和相应的技术可用于形式化和可视化现有的PLC程序。