Rules

Package

Classifier

Tree

Index

Help

Poseidon for UML^TM
UMLdoc

PREV PACKAGE NEXT PACKAGE		FRAMES NO FRAMES
SUMMARY: PACKAGE \| CLASS \| INTERFACE \| ACTOR \| USE CASE		DIAGRAMS: CLASS \| COLLAB \| DEPLOY \| SEQ \| STATE \| ACTIV \| USE CASE

Package Rules

Class diagrams of package Rules

Fig.: Class diagram Rules

Class Diagram Summary

Rules

Class Summary

ANDConstraint

a constraint requiring its two operands to be equal as sets.

Extent

the collection of all Instances in a given Population that satisfy the specified EntityType.

GlobalRule

a SchemaElement denoting a collection of NamedRules for the interaction of the Extents of one or more EntityTypes.

NamedRule

a constraint requiring a given Boolean Expression involving the Extents of one or more EntityTypes to evaluate to True.

ONEOFConstraint

a constraint requiring all of its operands to be mutually exclusive.

SubtypeConstraint

a Rule requiring a specific relationship among the Extents of two or more subtypes of a given supertype EntityType.

SupertypeRule

a collection of rules requiring specific relationships among the Extents of two or more subtypes of a given supertype EntityType.

TOTAL_OVERConstraint

a constraint requiring the union of all of its operands to be equal to the Extent of the supertype.

Created 2005 - 6 - 15

Overview