Object Models

• Corba_Objex
• Corba_Objex_Context

Functional Models

• All
• Corba_Interface_state1
• contextService
• decipherData
• receiveData
• sendData

Event Trace Diagrams

• AddAttUserEventTrace
• AddUserEventTrace
• DeleteUserEventTrace
• LogUnsucEventTrace
• LoginSucEventTrace
• ModAttUserEventTrace
• ModUserEventTrace

Dynamic Models

• Guistate
• Interface_To_Service_State
• Object_store_interface_state
• Service_To_Interface_State
• authstate
• loginstate