In a class, a feature with an associated algorithm that does not return a result directly but often changes the state of the object associated with the Procedure