next up previous
Next: Type Compatibility Up: Specification Previous: Types

Role Compatibility

While most changes of the current role of a process are implicit with certain actions, processes can also actively change their current role. This is specially useful for short term administration tasks and for server programs, whose subprocesses have to act in several roles without changing their user ID.5 In both cases, the original role should not be regained. The right to do so is called Role Compatibility: A process may change its current role r$_1$ to role r$_2$, if role r$_2$ is in the set of compatible roles of role r$_1$.

\mathrm{changerole}_{tn}(\mathrm{p,r}) \Rightarrow\ r \in
\end{displaymath} (15)

Amon Ott