1、“.....个传统思路的方法就是在编程中设立个正式的设计方法。不过，现有的软件已被优化，改变，或移植到新系统有需要找到从程序开始的方法。因此，规范程序是个现在研究的热点。该文章概述了基于形式化的程序基础上从新启动的方法。转型成为个独立的格式和可视化的结构，在这个过程中，程序的确定是作为这项措施的重要中间步骤。这表明如何和相应的技术可用于形式化和可视化现有的程序。导言可编程逻辑控制器是种特殊类型的计算机，它应用于工业和安全的关键地方。应用的目的是控制特定的或可选择的过程，它是通过产生的电控制信号回应电器中相关的输出信号来实现的。应用在制造业和化工过程控制，机械加工，交通，电力分配，以及其他许多领域。控制有着极大的不同......”。

2、“.....随着他们应用知识的增加，他们把应用到复杂性和品质要求高的地方，特别是对安全性要求特别严格的地方。由于在有限的时间里的发展应用日益复杂，现有的软件或的模块也在迅速发展，以此，需要个正式的办法加以规范。为了确保高品质的要求，我们需要检查和验证程序，以及分析和模拟现有系统。其中个重要的领域就是已经在最近的时间成长在规范化的程序是逆向工程。逆向工程是通过评估达到了解它的运转过程，以达到重复或加强的目的。而重用的守则正在建立，作为种打击复杂程序的工具，逆向工程在今后几年将得到越来越多的重要性，特别是如果现有的硬件被适用于各种不同程序环境的新硬件所取代的情况下......”。

3、“.....本文章提供了个方法，使用使程序可视化，让程序工程师更容易把握方向和更好地了解。该文件的结构如下。首先，简单的介绍了根据国际电工委员会的标准是给予和相应的编程技巧，。在第三部分，在现有基础上用形式化程序重新设计方法的介绍。代码转型成为个独立的格式被确定为在这个过程中重要的第步。和相应的技术，例如和第四节可以使用的这种转变。第五部分提出了应用的使程序可视化的方法并用个例子做出说明。最后节总结了结果，并就今后的工作在这方面正在进行的项目做了个前景的展望。二和自从七十年代初期公布于世，由于它的成功的完成目的，取代了机器上的硬连线控制设备，日益受到重视，。最终它作为个独特的应用领域成长起来，它的研究和开发，主要是为控制工程......”。

4、“.....在国际电工委员会上公布了作为可编程控制器标准。在标准化的编程语言之前，正在制定为了个别实用的专有编程语言。为了提高不同产品的兼容性，开放性和互操作性以及为了促进工具和方法的发展,国际电工委员会标准设立固定的套符号。第三部分，定义了个适合种编程语言标准语言是种低层次的文本语言,其结构类似于汇编语言。语言被视为的在所有其他语言都可以翻译语言。梯形图是种被认为起源于于美国的图形语言。符合从电子及电器电路实施控制逻辑的编程风格。结构化文本是个非常强大的高层次的语言。圣借从帕斯卡尔那里借用了它的语法，充实它的些特点。圣包含个现在编程语言多要求的所有要素。功能块图是种图形语言，在工业流程里是非常常见的。在这种语言中......”。

5、“.....把换文本编程转变为功能块编程，因而提高了模块化和软件重用性。顺序功能图是个图形化的语言。要素的定义是为了构建可编程序控制器程序的组织。其中在中出现的个问题就是在的编程工具的工程信息中没有个标准化的格式。目前，每个厂商都在运用他们各自的具体的不同格式。这亦是其中个原因就是被限制了的形式化的做法，以单的程序或算法。不过，最近的用户组织见阻止了个技术委员会，以确定个基于格式的的项目。这种新格式将缓解形式化的工具，使之成为项目的所有相关的信息。三重新设计的方法对于重新设计所提出的态度，参见图是基于认为可作为种中间媒体语言用来改造的代码。这种转变提供了取得独立规格代码优势，。即使成功地确定了种标准化的格式为所应用......”。

6、“.....在此代码基础上的个明智步骤转型到个正式的模型自动机正在计划之中。这个模型可以用来进行分析，模拟仿真，正式的检查和验证，最终对同或其他产品重新执行该优化算法。个很大的可能就是这个完成编程的逆向启动只能是个半自动的过程，中间可视化的代码是可视化，可以用来变换，以及形成有效的另个，这是由于对鉴定指示拥有个额外的属性附加到指示标记。此属性通知是个有效的指示，指示是否是有关的指令集。这个转变的程序，也能指示附加属性的标记，宣布项分类的指示到预定义类。转换的的指示识别的证明了的语义是与的编程语言的操作类型相致的。在本节中的例子中，参见图，新的包含额外的根据它所代表的类型分类指示的运作属性。步骤指示分为不同类型的操作如合乎逻辑的，跳转......”。

7、“.....可视化的上述所产生的两种文件可转化为或在的帮助下转换为其他可读的文件。个巧妙的可以被设计用来产生个可以容易想象的转达程序的逻辑或者其他特征的文件。此外，的结构在嵌入在中参见图，也可让使用者用个简单的方法浏览程序。例如在中做的可视化程序。这可视化已经完成的转换，他作为个表中的子元素去验证的语法。指示鉴定后的被转化成使用转化，取得那里的指示和身份指示后，根据该行动的类型提取的在表载列了两栏指示，指令编号是在可视化的。结构的建议，这不是唯的可能性，其中的可以可视化，但他们提供个很容易的切实可行的方案，那就是为用户把握的代码。图显示了相同的的代码，在图他作为个文档转换文档，显示的图使用的。这可视化，更好地了解程序成为可能......”。

8、“.....六结论和展望重新设计的程序需要个正式的办法加以发展。在本文章中，是来解决这个任务个方法的介绍。在给出了书面指示程序的基础上，在清单的通过个明确步骤转型为被建议的正式代表。由于这个过程不会完全自动，有必要采取灵活的可视化中间步骤。是作为种灵活的，标准化的手段来充当数据格式来描述的代码。相应的转换和文档对象模型的技术是作为工具，在重整过程为各种定制可视化任务。基于的描述程序的进步转变，将适用于最后得出个完全形式化描述原的代码。这将是在成立个有限自动机。在这个计划过程中，他们通过个知识库确定共同的介素的结构和正规化，七致谢我们想感谢莱茵兰普法尔茨飞行情报区的创新，为办学我们的工作下，项目编号。八参考文献巴雷西，米毛里，甲蒙蒂......”。

9、“.....收录在会议，并在上出版第页。弗雷和里兹，形式化方法在编程，在结论对系统，人与控制论美国，年月。第年至页米巴尼尤尼斯和弗雷，形式化现有的程序项调查，在年，里尔法国，号文件中的，年月。国际电工委员会，国际电工技术委员会的国际标准，可编程控制器，第部分，编程语言，年。在万维网财团的主页，逆向工程，冯。论文，德国大学生产自动化研究所,年。米凯，的程序参考员。重要的点。在过程中的不同阶段，代码或形式化模型不同方面的都必须是可视化的设计方式，只有这样设计者才可以进步的指导工作。以其强大的可视化和改造工具，成为解决这方面的工作的种理想的工具。四作为种可视化工具的可扩展标记语言是种简单而灵活的元语言，即种描述其他语言的语言......”。