July 2001
Intermediate to advanced
656 pages
15h 51m
English
The UML formally defines operations. To quote:
An operation is a specification of a transformation or query that an object may be called to execute [RJB99]
For example, the elements of an interface are operations, in UML terms. An operation is an abstraction, not an implementation. By contrast, a method (in the UML) is an implementation of an operation.
A UML operation has a signature (name and parameters), and also an operation specification, which describes the effects produced by executing the operation; that is, the postconditions. The UML operation specification format is flexible, and does not have be the contract format shown in this chapter. However, ...
Read now
Unlock full access