Positivbeispiel: Konsistente Benennung von Unterprozessen