摘要：着重研究同步合成操作中可回复性的保持性.讨论了在同步合成操作中系统间动态、并发的行为关系,即语言关系.提出一种基于最小可回复路径及它们并发合成的方法.进一步,给出了一个合成系统有可回复性的充分必要条件.此外,提出了在同步合成操作中有可回复性的条件.最后给出一些例子来说明所提出的方法在建模和分析大系统时的有效性.

关键词：同步合成 可回复性的保持性 并发语言 最小可回复路径 

单位：中国科学院软件研究所; 计算机科学重点实验室; 北京; 100080; 中国科学院数学与系统科学研究院; 数学研究所; 北京; 100080