外文翻译：可视化的 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 守则正在建立，作为一种打击复杂 PLC 程序的工具，逆向工程在今后几年将得到越来越多关注，特别是假如现有的硬件被适用于各种不同程序环境的新硬件所取代的情况下。 现有的 PLC 程序的可视化是逆向工程一个重要的中间步骤。本文章提供了一个方法，使用 XML 使 PLC 程序可视化，让 PLC 程序工程师更容易把握方向和更好地了解。该文件的结构如下。首先，简单的介绍了 PLC（根据国际电工委员会61131-3 的标准是给予）和相应的编程技巧，。在第三部分，在现有基础上用形式化 PLC 程序重新设计方法的介绍。PLC 代码转型成为一个独立的格式被确定为...
