Edited UML model definition for completeness.