Kooperativität

In einem dezentral organisierten Software-System nehmen viele Module aufeinander Einfluß, obwohl sie einander fremd sind. Zwei Module $A$ und $B$ (mit $A \not= B$) sind dann einander fremd, wenn weder $A \rightarrow^+ B$ noch $B \rightarrow^+ A$ gilt, wobei bei den ggf. zwischenliegenden Modulen $M_1 ... M_n$ nur die öffentlichen Importbeziehungen betrachtet werden (d.h. die in Oberon im DEFINITION sind).

Konfliktsituationen durch einander fremde Module entstehen durch globale Ressourcen. Dazu gehören Raum, Zeit, globale Variablen und das umgebende System.