All concepts that are part of the domain model and are represented as agents in the requirement models need to be considered for transformation. If requirements annotated with constraints are assigned to them, a specialised observer and controller for this agent type has to be created. Therefore, create transformation rules that check for these conditions and create new classes that are specialisations of the generic concepts in the observation model.

The functionality of some classes, specified as activity diagrams in the definition of the observation model, has to be specialised for the sub-classes of observers, controllers, and constraints that will be created during the transformation. The method that checks whether a constraint holds, e.g., has to check for the actual constraints. If placeholders were used in the specification of the generic observation models, rules have to be created that replace the placeholders with the actual information required, e.g., the constraint to be checked.