43、图变换与领域知识演化及完整性保留的双向图语法构建

图变换与领域知识演化及完整性保留的双向图语法构建

1. 领域知识演化的图变换

1.1 规范级别与运行时级别的演化

在处理动态领域知识时，规范级别和运行时级别的演化具有不同的特点和影响。规范级别演化更为基础，因为它可能影响所有现有的运行时图。技术实现上，规范级别演化需满足规范语言及其支持环境施加的严格约束，尤其不能违反运行时图与规范的一致性。而运行时级别演化则涉及规范开发者定义和（可能）执行的软约束。

1.2 演化时间

不同系统在领域知识演化时间上有所不同。ConDes 和 CHASID 中，领域知识是运行时图的一部分，演化在运行时进行。IREEN 中，虽然领域知识在规范中表示，但由于解释 GraTra 规则，演化也在运行时进行。只有 AHEAD 被限制在编译时进行演化。值得注意的是，演化级别对规范影响显著，而演化时间对规范没有影响。若 PROGRES 规范采用解释而非编译方式，AHEAD 可实现运行时演化。

1.3 相关工作

在 GraTra 系统中，“演化”含义广泛，通常指通过图变换实现图的演化。例如，Mens 将图变换用于面向对象软件系统的重构，Engels 等人用图变换指定 UML/RT 模型的一致性保持变换，但这些主要是被建模系统的演化，而非底层领域知识的演化。

在数据库管理系统中，类型演化（模式演化）长期受到关注，重点在于数据迁移问题，即让数据符合新的模式。在模型驱动软件工程中，也出现了实例迁移问题（模型迁移），如引入 Epsilon Flock 语言进行模型迁移，以及在 COPE 框架中提出元模型和模型耦合演化的操作符目录。此外，GraTra 领域也开发了多种方法，如形式化定义