修正编排

编排是对系统行为的全局描述，通过投影可自动获得各端点实体的局部行为。为保证其投影正确（即具有与原编排相同的行为），编排通常必须满足一些一致性条件。这限制了可被投影的编排集合。本文提出了一种变换，用于修正不满足投影正确性常见句法条件的编排。具体而言，我们的变换自动减少并发量，推断并添加隐藏通信，使生成的编排满足所需条件，同时保持其行为不变。