可视化的PLC程序使用XML  

作　　者：范方荣[1] 

机构地区：[1]四川内江市特种设备监督检验所

出　　处：《内江科技》2015年第4期95-97,共3页

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

关 键 词：XML 形式化方法 可视化工具 系统属性 中间步骤 软件重用 XSLT 功能块图 自动化应用 形式化模型 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]