Recommendations on necessary concepts to model behavioural semantics