An Application of the Process Mechanism to a Room Allocation Problem Using the pCG Language