该文首先在一个分类比较框架下分析了各种一致性检查和维护机制,比较了各种方法的优缺点.其次我们用图作为开发系统中对象和关系的统一模型,这样软件演化和一致性条件的描述都可以不限于特定的对象集合.最后我们给出了在重写规则描述的演化操作的作用下检查和恢复一致性的方案,在增量一致性假设下,我们提供子一致性检查的两种方案:·用最弱前条件运算导出演化规则保持指定一致性条件的充要测试条件的方法.在演化执行前检查这一条件是否成立就可以知道演化后一致性条件是否满足,并能保证如果检查条件不成立,那么演化后一致性必定被违反.·用增量前条件运算获得演化规则保持指定一致性条件的充分测试条件的方法,可以获得比充要条件形式简单的检查条件,但以放弃检查的完全性为代价.如果测试条件在演化规则作用前成立,那么可以保证规则作用后系统仍处于一致状态,但或不成立并不能说明演化会违反一致性.在同一假设下,我们给出了一致性恢复的方案:根据演化操作的定义,按照一定的代换规则,从一致性条件推导出操作执行后恢复一致性的二次修改条件,从中可以得出相应的恢复操作.如果演化步骤破坏指定的一致性条件,开发人员可以选择适当的恢复步骤执行.演化步骤和恢复步骤的共同执行会使系统再次进入一致状态.