Class BVRStateInvariant {Analysis} derived from: BVRInteractionFragment

Documentation
A StateInvariant is a constraint on the state of a Lifeline. In this case we mean by state also the values of eventual
attributes of the DeployableInstance the Lifeline refers to.


Parent PackageinteractionsAbstractNo
Export ControlPublicAccessLink Class forNone
Class KindNormalClassCardinalityn
Space ConcurrencySequential
PersistenceNo  


Attributes
NameClassTypeInitial Value
nameBVRInteractionFragmentString 
descriptionBVRInteractionFragmentString 
idBVRInteractionFragmentString 


Associations
NameMy RoleMy ClassOther RoleOther Element
--Not Named--interationFragmentsBVRInteractionFragmentlifelinesBVRLifeline
--Not Named--interactionFragmentsBVRInteractionFragmentinteractionOperandBVRInteractionOperand
--Not Named--interactionFragmentBVRInteractionFragmentgeneralOrderingsBVRGeneralOrdering
--Not Named--interactionFragmentBVRInteractionFragmentmessagesBVRMessage
--Not Named----Not Named--BVRInteractionFragmentpropertiesBVRProperty
--Not Named--interactionFragmentsBVRInteractionFragmentinteractionBVRInteraction
--Not Named--interactionFragmentBVRInteractionFragmentdefaultApplicationTPFDefaultApplication
--Not Named--interactionFragmentBVRInteractionFragmentexecutionEventsTPFExecutionEvent


Generalization Relationships
NameClassSupplier
--Not Named--BVRStateInvariantBVRInteractionFragment



Property Settings

Data Modeler
dmItemFalseDMName 
IsTableFalseIsViewFalse
IsDomainFalseIsSPPackageFalse
Synonymns TableSpaceID 
SourceId SourceType 
CorrelationName SelectClause 
IsUpdateableTrueCheckOptionNone
IsSnapShotFalseIsDistinctFalse
PersistToServer IsPackageFalse