外文翻译：可视化的 PLC 程序使用 XMLM
Bani Younis and G
Frey摘要:由于 P LC 程序日益复杂,在 PLC 应用方面有越来越多的兴趣爱好者
形式化方法，让僵化的证明系统属性被核查和验证
一个传统思路的方法就是在PLC 编程中设立一个正式的设计方法
不过，现有的软件已被优化，改变，或移植到新系统
有需要找到从某一 PLC 程序开始的方法
因此，法律规范 PLC 程序是一个现在讨论的热点
该文章概述了基于形式化的 PLC 程序基础上从新启动的方法
转型成为一个独立的格式和可视化的结构，在这个过程中， PLC 程序的确定是作为这项措施的重要中间步骤
这表明如何 XML 和相应的技术可用于形式化和可视化现有的 PLC 程序
1、导言 可编程逻辑控制器（PLC ）是一种特别类型的计算机，它应用于工业和安全的关键地方
应用 PLC 的目的是控制某一特定的或可选择的过程，它是通过产生的电控制信号回应电器中相关的输出信号来实现的
应用在制造业和化工过程控制，机械加工，交通，电力分配，以及其他许多领域
PLC 控制有着极大的不同，自动化应用范围的复杂性从一个简单的小组运作到控制一个会议室的的灯光和自动窗成为一个全自动化的生产线
随着他们应用 PLC 知识的增加，他们把 PLC 应用到复杂性和品质要求高的地方，特别是对安全性要求特别严格的地方
由于在有限的时间里 PLCD 的进展应用日益复杂，现有的软件或 PLC 的模块也在迅速进展，以此，需要一个正式的办法加以法律规范
为了确保高品质的要求，我们需要检查和验证程序，以及分析和模拟现有系统[ 2 ]
其中一个重要的领域就是已经在最近的时间成长在法律规范化的 PLC 程序是逆向工程[ 3 ]
逆向工程是通过评估达到了解它的运转过程，以达到重复或加强的目的
而重用的 PLC 守则正在建立，作为一种打击复杂
