. , . , , , . [8], [23], [53], [67]. , () . :
q , ;
q , .
, . . 11.1.
. 11.1.
, . (). () , , (. 11.2).
? , () , .
. 11.2.
[]: = {}
.
UML :
public protected private | (), + (), # () , - |
, , .
:
changeable addOnly frozen | , ; , |
, , changeable.
:
+ : [0..1]: String : =(0, 10) : Integer {frozen} | , , , , |
|
|
( ): {}
:
+ ) : , : ) (): Integer () (guarded) |
, :
: =
:
in out inout | , , , |
:
leaf isQuery sequential guarded concurrent | , ( ) . , . , ( ) , . , ( ) ( ). ( ) . , |