Documentation of OCL-Schemata
ProduceForAssociationSet
selectedParameter >= 0
AssociationRole->select(SelectionCriterion)->size = AssociationRole@pre->select(SelectionCriterion)->size + selectedParameter
RobustGetFromAssociation
AssociationRole->select(SelectionCriterion) = AssociationRole@pre->select(SelectionCriterion)->excluding(result)
GetFromAssociationSet
AssociationRole->select(SelectionCriterion)->notEmpty
AssociationRole->select(SelectionCriterion) = AssociationRole@pre->select(SelectionCriterion)->excluding(result)
ProduceForAssociationSet~
AssociationRole->select(SelectionCriterion)->size = AssociationRole@pre->select(SelectionCriterion)->size + selectedParameter
DecreaseAttribute
self.attr=self.attr@pre-1
IncreaseAttribute
self.attr=self.attr@pre+1