This content is for DEMONSTRATION
This content area is UNDER CONSTRUCTION or MIGRATION
Source
Packages
Generalizations
Description
Attributes

No additional attributes

Associations

No additional associations

Constraints
  1. self.ownedAttribute->forAll ( a |
    (a.association->notEmpty()) implies
    ((a.association.memberEnd.size() = 2) and
    (a.opposite.class.oclIsKindOf(UseCase) or
    (a.opposite.class.oclIsKindOf(Class) and not a.opposite.class.oclIsKindOf(Behavior))))

  2. name->notEmpty()

Semantics
Notation
Presentation Options
Style Guidelines
Notes
randomness