Operation declaration

Concept operations need to be declared in the domain model in the format

action_verb [action_object]

• action_verb is a verb in infinitive and the
• action_object refers to a concept or an attribute of a concept affected by the action.

As an example, ``validate user identification'' is an operation name where the action verb is ``validate'' and the action object is ``user identification'' (an attribute of concept ``User'').