Examples from UML Formal Definition

Model / Model Element MODEL NAME= model-name , OWNER= model-owner , VISIBILITY= model-visibility [Pg.91]

Qualifiers List of qualifiers can be associated with the model elements, e.g. LEVEL= abstract (or leaf . Roof ) [Pg.91]

Tagged Value Tagged value can be associated with the model element as T agged-value-name Qualifier(p 1, p2,p3) [Pg.91]

Attribute Attribute Name= attribute-name , OWNER= attribute-owner , VISIBILITY= attribute-visibility , INTENSION=( modeling-phase , Intension-Description , Intension-owner ) [Pg.91]

Constraints OCL is used to formally describe any constraints associated with any model element. Differential equations can be defined within the OCL to describe the behavior of a certain equipment i.e. class [1,2]. [Pg.91]

Big Chemical Encyclopedia