Ph.D. - geht es zur Homepage der Informatik des Fachbereiches 3 ...

4.5. The Object Constraint Language for Static Semantics
context CProject
inv : m_GraphSet−>s e l e c t (m_Type = ’ EVCStateMachine ’ )−>s i z e ( ) = 1
inv : m_GraphSet−>f o r A l l (
graph |
graph . m_RelationshipSet−>s e l e c t (m_Type = ’ ModeTransition ’ )−>f o r A l l (
r e l a t i o n s h i p |
graph . m_BindingSet−>e x i s t s (
m_Connection . m_pRole . m_Type = ’ CurrentState ’
and
m_Connection . m_Calls−>e x i s t s (
m_pObject . m_Explosions−>e x i s t s (
e x p l o s i o n |
e x p l o s i o n . m_ObjectSet−>e x i s t s (
r e l a t i o n s h i p . m_Properties−>any (m_Type =
’EVCGuard ’ ) . m_NonProperties−>any (m_Type = ’ ModeGuard ’ )
)
)
)
)
)
)
4.5.4. OCL Example: Port Connection Specification
For all graphs and for all ports, the amount of connected “DataInput” roles must be exact one:
context CProject
inv : m_GraphSet−>s e l e c t (m_Type = ’ EVCStateMachine ’ )−>s i z e ( ) = 1
inv : m_GraphSet−>f o r A l l (
graph |
graph . m_PortSet−>f o r A l l (
port |
graph . m_BindingSet−>s e l e c t ( m_Connection . m_Calls−>e x i s t s (m_pPort = port and
m_pRole . m_Type = ’ DataInput ’ ) )−>s i z e ( ) = 1
)
)
4.5.5. OCL Example: Graphical Containment
In all “CommunicationIn” graphs, all “Packet” objects that are graphically contained by any
“Telegram” object must exist also in the decomposition of the related “Telegram” object:
context CProject
inv : m_GraphSet−>s e l e c t (m_Type = ’ EVCStateMachine ’ )−>s i z e ( ) = 1
inv : m_GraphSet−>s e l e c t (m_Type = ’ CommunicationIn ’ )−>f o r A l l (
graph |
graph . m_ObjectSet−>s e l e c t (m_Type = ’ Telegram ’ )−>f o r A l l (
telegram |
graph . m_Containers−>any ( m_pContainer = telegram ) . m_ContainedObjects−>f o r A l l (
o b j e c t |
telegram . m_pDecomposition . m_ObjectSet−>i n c l u d e s ( o b j e c t )
)
)
)
49