“…Execution order rules have to be enforced for each private workspace and the common workspace separately [RKT + 95a, KTW + 96d, FEdB96]. This allows the enforcement of execution order rules even for those applications, where the workspaces are not permanently connected, e.g., in mobile environments [KTW97b,KTW97a]. For more details on execution order rules, see [FEdB96,FEdBA97,FEdB98, KTW + 96d].…”