外文翻译--可视化的PLC程序使用XML 中文.doc

-1-可视化的PLC程序使用XML米巴尼尤尼斯和G.弗雷摘要:由于PLC程序日益复杂,在PLC应用方面有越来越多的兴趣爱好者。形式化方法，让僵化的证明系统属性被核查和验证。一个传统思路的方法就是在PLC编程中设立一个正式的设计方法。不过，现有的软件已被优化，改变，或移植到新系统.有需要找到从某一PLC程序开始的方法。因此，规范PLC程序是一个现在研究的热点。该文章概述了基于形式化的PLC程序基础上从新启动的方法。转型成为一个独立的格式和可视化的结构，在这个过程中，PLC程序的确定是作为这项措施的重要中间步骤。这表明如何XML和相应的技术可用于形式化和可视化现有的PLC程序。I导言可编程逻辑控制器（PLC）是一种特殊类型的计算机，它应用于工业和安全的关键地方。应用PLC的目的是控制某一特定的或可选择的过程，它是通过产生的电控制信号回应电器中相关的输出信号来实现的。应用在制造业和化工过程控制，机械加工，交通，电力分配，以及其他许多领域。PLC控制有着极大的不同，自动化应用范围的复杂性从一个简单的小组运作到控制一个会议室的的灯光和自动窗成为一个全自动化的生产线。随着他们应用PLC知识的增加，他们把PLC应用到复杂性和品质要求高的地方，特别是对安全性要求特别严格的地方。由于在有限的时间里PLCD的发展应用日益复杂，现有的软件或PLC的模块也在迅速发展，以此，需要一个正式的办法加以规范。为了确保高品质的要求，我们需要检查和验证程序，以及分析和模拟现有系统。其中一个重要的领域就是已经在最近的时间成长在规范化的PLC程序是逆向工程。逆向工程是通过评估达到了解它的运转过程，以达到重复或加强的目的。而重用的PLC守则正在建立，作为一种打击复杂PLC程序的工具，逆向工程在今后几年将得到越来越多的重要性，特别是如果现有的硬件被适用于各种不同程序环境的新硬件所取代的情况下。现有的PLC程序的可视化是逆向工程一个重要的中间步骤。本文章提供了一个方法，使用XML使PLC程序可视化，让PLC程序工程师更容易把握方向和更好地了解。该文件的结构如下。首先，简单的介绍了PLC（根据国际电工委员会61131-3的标准给予）和相应的编程技巧。在第三部分，在现有基础上用形式化PLC程序重新设计方法的介绍。PLC代码转型成为一个独立的格式被确定为在这个过程中重要的第一步。XML和相应的技术，例如XSL和XSLT（第四节可以使用的这种转变）。第五部分提出了应用XML的使-2-PLC程序可视化的方法并用一个例子做出说明。最后一节总结了结果，并就今后的工作在这方面正在进行的项目做了一个前景的展望。2PLC和IEC61131自从七十年代初期公布于世，由于它的成功的完成目的，取代了机器上的硬连线控制设备，PLC日益受到重视，。最终它作为一个独特的应用领域成长起来，它的研究和开发，主要是为控制工程。IEC61131是为工业自动化第一次真正的努力来规范PLC的编程语言。在1993国际电工委员会4上公布了IEC61131作为可编程控制器标准。在标准化PLC的编程语言之前，正在制定为了个别PLC实用的专有编程语言。为了提高不同产品的兼容性，开放性和互操作性以及为了促进工具和方法的发展,国际电工委员会61131标准设立固定的一套符号。第三部分，定义了一个适合5种编程语言标准：Originated(IL)语言是一种低层次的文本语言,其结构类似于汇编语言。Originated语言L被视为PLC的在所有其他IEC61131-3语言都可以翻译语言。梯形图(L0)是一种被认为起源于于美国的图形语言。LDS符合从电子及电器电路实施控制逻辑的编程风格。结构化文本（ST）是一个非常强大的高层次的语言。圣借从帕斯卡尔那里借用了它的语法，充实它的一些特点。圣包含一个现在编程语言多要求的所有要素。功能块图（FBD）是一种图形语言，在工业流程里是非常常见的。在这种语言中，控制器被认为是可在功能块之间流动的信号和数据。FBD把换文本编程转变为功能块编程，因而提高了模块化和软件重用性。顺序功能图（SFC）是一个图形化的语言。SFC要素的定义是为了构建可编程序控制器程序的组织。其中在IEC61131-3中出现的一个问题就是在PLC的编程工具的工程信息中没有一个标准化的格式。目前，每个厂商都在运用他们各自的具体的不同格式。这亦是其中一个原因就是被限制了的形式化的做法，以单一的程序或算法。不过，最近的PLC用户组织PLCopen（见http:/www.plcopen.org）组织了一个技术委员会，以确定一个基于格式accordingto的IEC61131-3的XML项目。这种新格式将缓解形式化的工具，使之成为PLC项目的所有相关的信息。3重新设计的方法对于重新设计所提出的态度，（参见图1）是基于认为XML可作为一种中间媒体语言-3-用来改造PLC的代码。这种转变提供了取得avendor独立规格代码优势，（即使PLCopen成功地确定了一种标准化的格式为PLC所应用，仍将有很多现有的程序不符合这个标准）。图1在此代码基础上的一个明智步骤转型到一个正式的模型（自动机）正在计划之中。这个模型可以用来进行分析，模拟仿真，正式的检查和验证，最终对同一PLC或其他产品重新执行该优化算法。一个很大的可能就是这个完成编程的逆向启动只能是一个半自动的过程，中间可视化的代码是最重要的一点。在过程中的不同阶段，代码或形式化模型不同方面的都必须是可视化的设计方式，只有这样设计者才可以进一步的指导工作。XML以其强大的可视化和改造工具，成为解决这方面的工作的一种理想的工具。4作为一种可视化工具的XMLXML（可扩展标记语言）是一种简单而灵活的元语言，即一种描述其他语言的语言。由万维网协会（W3C）裁定（W3C）作为一个方言SGML分支语言，XML的删除两个阻碍网络发展制约因素。依赖于一个单一的，一成不变的文件类型（HTML），这种文件类型中大部分被滥用任务，这是从来没有设计为对一方有利。充满了SGML的复杂性，他的语-4-法，让许多强大的并且努力到计划方案到了另一个方向。图2当HTML描述了数据本身是怎样显现的同时，XML描述了数据本身。一些行业和学科、医疗记录及报纸出版，其中已使用XML交换信息，可以跨多个平台来应用。在一个信息获取人可以使用各种不同的方式形式下，XML可可裁定描述几乎任何种类的信息。它是专门设计用于支持从根本上使用不同形式的数据的系统之间的信息交流，例如民航处及调度之间的应用。使用拥有强大的解析器和固有的简单性的条款XML，句法和语义语法比常规词汇分析器和验证分析器的使用更有利，（参见图2）。常规的程序代码分析方法需要一个扫描仪（词法分析仪）由剖析器检查语法结构的代码产生了一套终端符号（令牌），并生成一个对象网。在该对象的内部结构的程序代表的确定对象和两者之间的关系。双方扫描器和分析器将使用的这种方法是面向文件的，这就意味着，分析不同类型的文件，需要重新生成的代码为扫描仪和分析器。一个应用这种方法的方法的例子可以在发现。使用XML的最有前途的方面，就是XML及其应用的互补性转变为标准化，以便给它的用户提供最大的灵活性。基于该XML的方法是十分有利的，因为词汇的规格是不变的组成部分，因此XML良好的形式从各自的个别申请是独立的。因此，XML的解析器也可以吧XML文件在一个抽象的代表性换成以所谓的文档对象模型（DOM），不需使用语法。DOM的是一个应用程序编程接口（apii）对HTML和格式良好的XML文件有效。它定义的逻辑结构文件和文件的方式访问和操纵。在DOM中的规格，任期“文件”是中被越来越多广泛