资源描述
- 1 - 可视化的 巴尼尤尼斯和 摘要 :由于 序日益复杂 ,在 用方面有越来越多的兴趣爱好者。形式化方法，让僵化的证明系统属性被核查和验证。一个传统思路的方法就是在 程中设立一个正式的设计方法。不过，现有的软件已被优化，改变，或移植到新系统 序开始的方法。因此，规范 序是一个现在研究的热点。该文章概述了基于形式化的 序基础上从新启动的方法。转型成为一个独立的格式和可视化的结构，在这个过程中， 序的确定是作为这项措施的重要中间步骤。 这表明如何 相应的技术可用于形式化和可视化现有的 序。 I 导言 可编程逻辑控制器（ 是一种特殊类型的计算机，它应用于工业和安全的关键地方。应用 目的是控制某一特定的或可选择的过程，它是通过产生的电控制信号回应电器中相关的输出信号来实现的。应用在制造业和化工过程控制，机械加工，交通，电力分配，以及其他许多领域。 制有着极大的不同，自动化应用范围的复杂性从一个简单的小组运作到控制一个会议室的的灯光和自动窗成为一个全自动化的生产线。 随着他们应用 识的增加，他们把 用到复杂性和品质要求高的地方，特别是对安全性要求特别严格的地方。由于在有限的时间里 发展应用日益复杂，现有的软件或 模块也在迅速发展，以此，需要一个正式的办法加以规范 。为了确保高品质的要求，我们需要检查和验证程序，以及分析和模拟现有系统。其中一个重要的领域就是已经在最近的时间成长在规范化的 序是逆向工程。逆向工程是通过评估达到了解它的运转过程，以达到重复或加强的目的。而重用的 则正在建立，作为一种打击复杂序的工具，逆向工程在 今后几年将得到越来越多的重要性，特别是如果现有的硬件被适用于各种不同程序环境的新硬件所取代的情况下。 现有的 序的可视化是逆向工程一个重要的中间步骤。本文章提供了一个方法，使用 序可视化，让 序工程师更容易把握方向和更好地了解。 该文件的结构如下。首先，简单的介绍了 据国际电工委员会 61131标准给予）和相应的编程技巧 。在第 三部分，在现有 基础上用形式化 序重新设计方法的介绍。 码转型成为一个独立的格式被确定为在这个过程中重要的第一步。 相应的技术，例如 四节可以使用的这种转变）。第五部分提出了应用 使 - 2 - 序可视化的方法并用一个例子做出说明。最后一节总结了结果，并就今后的工作在这方面正在进行的项目做了一个前景的展望。 2 1131 自从七十年代初期公布于世，由于它的成功的完成目的，取代了机器上的硬连线控制设备， 益受到重视，。最终它作为一个独特的应用领域成长起来，它的研究和开发，主要是为控制工程。 为工业自动化第一次真 正的努力来规范 编程语言。在 1993 国际电工委员会 4 上公布了 1131 作为可编程控制器标准。在标准化 编程语言之前，正在制定为了个别 用的专有编程语言。为了提高不同产品的兼容性，开放性和互操作性以及为了促进工具和方法的发展 ,国际电工委员会 61131 标准设立固定的一套符号。第三部分，定义了一个适合 5种编程语言标准： 言是一种低层次的文本语言 , 其 结 构 类 似 于 汇 编 语 言 。言 在所有其他 31言都可以翻译语言。 梯形图 (一种被认为起源于于美国的图形语言。 合从电子及电器电路实施控制逻辑的编程风格。 结构化文本（ 一个非常强大的高层次的语言。圣借从帕斯卡尔那里借用了它的语法，充实它的一些特点。圣包含一个现在编程语言多要求的所有要素。 功能块图（ 一种图形语言，在工业流程里是非常常见的。在这种语言中，控制器被认为是可在功能块之间流动的信号和数据。 换文本编程转变为功能块编程，因而提高了模块化和软件重用性。 顺序功能图（ 一个 图形化的语言。 素的定义是为了构建可编程序控制器程序的组织。 其中在 1 131出现的一个问题就是在 编程工具的工程信息中没有一个标准化的格式。目前，每个厂商都在运用他们各自的具体的不同格式。这亦是其中一个原因就是被限制了的形式化的做法，以单一的程序或算法。不过，最近的 户组织见 ） 组织 了一个技术委员会，以确定一个基于格式 1131 目 。这种新格式将缓解形式化的工具，使 之成为 目的所有相关的信息。 3 重新 设计的方法 对于重新设计所提出的态度，（参见图 1 ）是基于认为 作为一种中间媒体语言 - 3 - 用来改造 代码。 这种转变提供了取得 立规格代码优势， （即使 功地确定了一种标准化的格式为 应用，仍将有很多现有的程序不符合这个标准 ） 。 图 1 在此代码基础上的一个明智步骤转型到一个正式的模型（自动机）正在计划之中。这个模型可以用来进行分析，模拟仿真，正式的检查和验证，最终对同一 其他产品重新执行该优化算法。 一个很 大的可能就是这个完成编程的逆向启动只能是一个半自动的过程，中间可视化的代码是最重要的一点。在过程中的不同阶段，代码或形式化模型不同方面的都必须是可视化的设计方式，只有这样设计者才可以进一步的指导工作。 其强大的可视化和改造工具，成为解决这方面的工作的一种理想的工具。 4 作为一种 可视化 工具的 可扩展标记语言）是一种简单而灵活的元语言，即一种描述其他语言的语言。由万维网协会（ 裁定（ 为一个方言 支语言， 删除两个阻碍网络发展制约因素。依赖于一个 单一的，一成不变的文件类型（ ，这种文件类型中大部分被滥用任务，这是从来没有设计为对一方有利。充满了 复杂性，他的语 - 4 - 法，让许多强大的并且努力到计划方案到了另一个方向。 图 2 当 述了数据本身是怎样显现的同时， 述了数据本身。一些行业和学科、医疗记录及报纸出版，其中已使用 换信息，可以跨多个平台来应用。在一个信息获取人可以使用各种不同的方式形式下， 可裁定描述几乎任何种类的信息。它是专门设计用于支持从根本上使用不同形式的数据的系统之间的信息交流，例如民航 处及调度之间的应用。使用拥有强大的解析器和固有的简单性的条款 法和语义语法比常规词汇分析器和验证分析器的使用更有利，（参见图 2） 。 常规的程序代码分析方法需要一个扫描仪（词法分析仪）由剖析器检查语法结构的代码产生了一套终端符号（令牌），并生成一个对象网。在该对象的内部结构的程序代表的确定对象和两者之间的关系。双方扫描器和分析器将使用的这种方法是面向文件的，这就意味着，分析不同类型的文件，需要重新生成的代码为扫描仪和分析器。一个应用这种方法的方法的例子可以在发现 。 使用 最 有前途的方面，就是 其应用的互补性转变为标准化，以便给它的用户提供最大的灵活性。 基于该 方法 是十分有利的，因为词汇的规格是不变的组成部分，因此 好的形式从各自的个别申请是独立的。 因此， 解析器也可以吧件在一个抽象的代表性换成以所谓的文档对象模型（ ，不需使用语法。 对 格式良好的 件有效。它定义的逻辑结构文件和文件的方式访问和操纵。在 的规格，任期“文件”是中被越来越多广泛 - 5 - 使用的意识。 用来作 为一种代表许多不同种的信息可能在不同的系统中存储以及许多传统上，这将被看作是数据而不是作为文件。不过， 绍了此数据文件，并且 转型语言 是能够不仅转换 另一个 还能够转换到许多其他友好的用户格式。前 来临以前 ，改造 为任何其他格式只有通过在一个程序语言如 C + + ， 制开发的应用程序来实现。这个程序与尊重的结构性变化 比文件缺乏一般性。 演变，作为一个 高层次的宣示性的语言，对利用的观念，习俗申请的变革都是十分相似的。 功能分为两个步骤。在第一步，它执行的结构性转型，以便为转换成 结构，反映了所需的输出。第二阶段是格式化的新架构成所需的格式，如 参见图 3 ） 。 图 3 这个转变最重要的优势是它允许一个可以想象的简单而容易的文件或数据结构良好嵌入内部结构，以了解 制作。当 选择作为格式转化的产生的时候，是有可能使用 广泛能力来产生出可想象的和有吸引力的可视化程序。 每一个 件都有自 己的语法和词汇。因此，除了作为良好的形式， 件需要符合一套规则。根据 议，这套规则已通过文件型态定义（ 或一个 构加以界定。该定义的规则在一个 一个 国家层次和结构制约的 - 6 - 件。 近期，一些另类语言已提出， 用以界定文件文法。 语言重复了重要的功能 并增加了一些特点。使用 语法，例如，明确之间的关系架构和命名空间，一个有系统的区分元素的种类和数据类型，和单继承的形式，类型的推导。在其他 的话 架构提供了更丰富和更强大的方式描述的信息，比什么是可能的与 图 4 显示了 术讨论上述之间的联系。 图 4 5 方法的可视化 序 由于 在欧洲最常用的 程语言，现在展示的介绍的做法是在此基础上的语言。西门子第 5步和标准版根据的 1131在被考虑。 件显示的生成显示了不同方面的 序，实现了在以下三个步骤（参见图5） ： 1. 序到 件的转换 2. 的可行性和确 定了语法的 构 3. 根据该指令集的来源，临立会，转换的 绍元素的定义 - 7 - 图 5 这三个步骤是讨论分别分节 B 至 D。小组 E 节解释了在前一阶段期间不同的 可视化取得的成绩。 在整个这一节的一个例子是用来说明所提出的概念。 （ 图 6） 显示了在西门子公司名单中 代码的书面指示。临立会的代码是写在形式的地方，每列的元素，是一种地址，标签，指示，操作和说明或评构成的分隔清单。 005 :U B 006 0007 :008 0009 :A B 140 L 0 T L =T - 8 - 0010 0011 :012 :S 013 0014 0015 : 6 第六西门子 序中的书面指令 B. 序转换成为格式良好的 由于 式 序加上一个结构与单独列地址，标签，指示，运算和说明划定的表格， 可以把它转换为格式良好的 件。通过这种转变 获得的 件是一个分层结构的文件。 （ 图 7） 显示通过 件获得改造的 件是在结构上的等级，其中的根元素是 代表全 代码。每行的 码是包含在相应的 素，这是米呃子元素。注：结构选择的 表性的 图 7 C. 证和 构 由于前处理，除了正在完善被确认 件，可以验证的使用验证解析器取得的成符合一套句法规则所界定的背景下的 程语言。 - 9 - D. 介绍的认可 这一 步，可视化的 以用来变换，以及形成有效的另一个 这是由于对鉴定指示拥有一个额外的属性附加到指示标记。此属性通知是一个有效的指示，指示是否是有关的指令集。这个转变的程序，也能指示附加属性的标记，宣布一项分类的指示到预定义类。 转换的 在本节中的例子中，（参见图 8 ） ，新的 含额外的根据它所代表的类型分类指示的运作属性。步骤指示分为 11 不同类 型的操作如合乎逻辑的，跳转，负载或转让的运作转让等等。 ( U E 图 8 E. 可视化的 述所产生的两种 个巧妙的 外， 见图 9 ），也可让使用者用一个简单的方法浏览 例如在 。 这可视化已经完成 作为一个表中的子元素去验证的语法。 - 10 - 指示鉴定后的 得那里的指示和身份指示后，根据该行动的类型提取的 示，指令编号）是在可视化的。 不是唯一的可能性，其中的 他们提供一个很容易的切实可行的方案，那就是为用户把握的 图 10显示了相同的 图 4他作为一个 示的图 7使用的 这可视化，更好地了解 图 9 图 10 6 结论和展望 - 11 - 重新设计的 本文章中，是来解决这个任务一个方法的介绍。在给出了书面指示 清单的通过一个明确步骤转型为被建议的正式代表。由于这个过程不会完全自动，有必要采取灵活的可视化中间步骤。 准化的手段来充当数据格式来描述的 应的 重整过程为各种定制可视化任务。 基于 描述 序的进一步转变，将适用于最后得出一个完全形式化描述原 。这将是在成立一个有限自动机。在这个计划过程中，他们通过一个知识库确定共同的介素的结构和正规化 。 7 致谢 我们谨 对 “茵兰普法尔茨杉木创新 ” 赞助 项目下 的 616位 工作 人员表示最真挚的感谢 。 参考文献 【 1】 L. M. A. . “ 2000, 2437- 2442. 【 2】 G. . “LC on 2000, 【 3】 M. . “A , 003, o. 003. 【 4】 131, 1993. 【 5】 【 6】 【 7】 R. 1999. 【 8】 M. s
展开阅读全文