java - 基于规则构建转型引擎

Question

我想构建一个基于规则集的转换引擎(从COBOL到Java) 例如，我们有以下 COBOL 代码:

PERFORM 3 TIMES
   IF X = 10 THEN;
   ELSE
       CALL PARA01.
END PERFORM.

我希望能够定义如下规则:

Rule1:
  Pattern: PERFORM $VAR TIMES ==> for (int i = 0; i < $VAR; i ++)
Rule2: 
  Pattern: IF CONDITION THEN ;
           ELSE
              BLOCK_OF_CODE
           ==> if (!(condition))
                  BLOCK_OF_CODE

所以转换后的Java代码将如下所示:

for (int i = 0; i < 3; i ++)
    if (!(A== 10))
        Para01();

有什么工具、平台可以提供帮助吗？如果我们需要从头开始开发，有什么建议吗？ 非常感谢

Answer 1

有些人尝试用正则表达式来做这种事情。这不起作用；正则表达式无法处理上下文无关匹配。

正确答案是Program Transformation Systems .

这些工具可以解析源代码、构建 AST，并让人们用源语法编写代码转换，就像 OP 所示的那样。

虽然有大量的理论(请参阅 seller.google.com 中的术语程序转换)，但构建这些工具相当困难。只是解析代码片段的概念(正如OP所暗示的那样)需要在解析机制中进行一些非常有趣的转变。我从 20 世纪 80 年代起就进入了这个领域，并看到了 Wikipedia 上列出的过去 15-20 年构建的工具；我没有看到更多的人。我们在构建系统方面拥有的经验(请参阅我的简历)是大约 50 人年的博士级软件工程，因此我没有看到更多这样的经验，我并不感到惊讶。

这些工具通常需要精确的语言前端才能发挥作用，这就是在构建了基本转换引擎之后实际使用它们的大部分工作。 (参见此 discussion on parsing Java and C++ ；它同样适用于 complex legacy languages like COBOL )。

[评论中的一个查询想了解更多在哪里可以了解更多技术细节。如果你想要“初切”但深入的技术细节，这个survey相当不错，但主要关注“纯”转换引擎(仅在抽象语法树上运行)。

我碰巧相信一个人需要的远不止于此；请参阅我的简历，了解“解析后的生活”的讨论。您可以获得older technical paper on our DMS system和/或我们系统的最新视频概述，包括它的不同之处，在我的 Google Tech Talk 中.

在对原始问题的评论中，有一个“深度技术之旅”的请求。请参阅this for detailed discussion on how DMS handles rewrite rules ;该页面链接到相关主题的类似深入讨论。