FDR 1.9 introduced the notion of compression operators into CSPM (see 5.1.1 Methods of compression). These are used to reduce the state-space or otherwise optimise the underlying representation of a process within FDR. While these could be defined using external definitions, they are required to be semantically neutral. It is thus safe for tools which do not understand the compression operations to ignore them. By defining them as transparent, tools are able to do so; unrecognised external operations would be treated as errors. As an example,
transparent diamond, normalise squidge(P) = normalise(diamond(P))
enables the diamond and normalise compression operators in
FDR2, while other tools see definitions of the identity functions,
as if we had written
diamond(P) = P normalise(P) = P squidge(P) = normalise(diamond(P))
Go to the Next or Previous section, the Detailed Contents, or the FS(E)L Home Page.