UML Formal Definition Initiatives

Examples of the formal UML definitions have been described by Gabbar (2001c). For the purpose of representing the plant design and simulation models, mathematical equations solver is needed (Linninger et al., 1999). OCL as a standard object-constraint language has been used within UML to enable defining constraints associated with each model element. For that it is proposed to enable the mathematical equations representation within OCL. [Pg.91]

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]

Big Chemical Encyclopedia