Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
/* ETSI Software License
* As long as the here under conditions are respected, non-exclusive permission is hereby granted,
* free of charge, to use, reproduce and modify this software source code, under the following conditions:
* This source code is provided AS IS with no warranties, express or implied, including but not limited to,
* the warranties of merchant ability, fitness for a particular purpose and warranties for non-infringement
* of intellectual property rights.
* ETSI shall not be held liable in any event for any direct or indirect damages whatsoever (including, without
* limitation, damages for loss of profits, business interruption, loss of information, or any other pecuniary
* loss) arising out of or related to the use of or inability to use the source code.
* This permission is granted to facilitate the implementation of the related ETSI standard, provided that
* ETSI is given the right to use, reproduce and amend the modified source code under the same conditions
* as the present permission.
* This permission does not apply to any documentation associated with this source code for which ETSI keeps
* all rights reserved.
* The present ETSI Source Code license shall be included in all copies of whole or part of this source code
* and shall not imply any sub-license right.
* (c) ETSI 2019-2020
*/
Package Sip_Common {
Domain {
pics:
- NONE
- PICS_2
- NOT_PICS_2
;
entities:
- UE_A
- UE_B
- NW_UE_A
- NW_UE_B
- Enum_DB
- IMS_A
- IMS_B
- EPC_A
- EPC_B
- EPC_PCRF_A
- EPC_PCRF_B
- EPC_PGW_A
- EPC_PGW_B
- EPC_MME_A
- EPC_MME_B
- IMS_P_CSCF_A
- IMS_I_CSCF_A
- IMS_S_CSCF_A
- IMS_IBCF_A
- IMS_AS_A
- IMS_HSS_A
- IMS_P_CSCF_B
- IMS_I_CSCF_B
- IMS_S_CSCF_B
- IMS_IBCF_B
- IMS_HSS_B
;
events:
- receives
- sends
- forwards
// Initial conditions
- isTriggeredToStart
- isNotRegisteredTo
- hasAchievedFirstRegistration
- isRegisteredTo
- isNotAttachedTo
- isAttachedTo
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
- isNotConfiguredForTopologyHiding
- isConfiguredForTopologyHiding
- isExistingIn
- establishedSecurityRelation
- registeredIdentityTelURI
- registeredIdentitySipURI
- hasInitiatedDialogWith
- isConfiguredWithENUMentryForTelURI_E164NumberOf
- hasReceivedInitialRequestForDialog
- hasReceived200OkOnInitialRequestForDialogWith
- hasReceived180OnInitialRequest
- hasReceived200OkCancel
- hasReceivedTerminatedRequest
- registeredPublicIdsWithTelUriAndSipUri
- hasReceivedSubsequentOrTargetRefreshRequestInDialog
- previouslyEstablishedCallWith
- isRequestedToSend
- isRequestedToDeregisterUser
- isBusy
- isNoLongerAvailable
- isTriggeredToDetachUser
- isRequestedToDetachfromNetwork
- hasAchievedFirstREGISTER
- hasResponded486INVITE
- hasAchievedInitialINVITE
- hasAchievedINVITE
;
} // End of Domain section
// Const {
// PX_Stored_Domain_Uri,
// PX_Affected_IMPU,
// PX_Contact,
// PX_UE_A_SIP_URI,
// PX_UE_A_TEL_URI,
// PX_UE_A_CALLID,
// PX_UE_A_REALM,
// PX_UE_A_USERNAME,
// PX_UE_A_INVALID_USERNAME,
// PX_UE_A_VIA,
// PX_UE_A_AUTH_ALG,
// PX_OPERATOR_ID_A,
// PX_UE_B_SIP_URI,
// PX_UE_B_TEL_URI,
// PX_UE_B_USERNAME,
// PX_UE_B_INVALID_USERNAME,
// PX_UE_B_VIA,
// PX_UE_B_AUTH_ALG,
// PX_OPERATOR_ID_B,
// PX_P_CSCF_A_SIP_URI,
// PX_IMS_A_ICID,
// PX_IMS_A_ORIG_IOI,
// PX_S_CSCF_A_SIP_URI,
// PX_P_CSCF_A_SIP_URI,
// PX_IBCF_B_SIP_URI,
// PX_TO_BE_DEFINED
// ;
// } // End of Const section
Data {
type SipMessage;
type EnumMessage;
SipMessage REGISTER;
SipMessage SUBSCRIBE;
SipMessage INVITE;
SipMessage ACK;
SipMessage CANCEL;
SipMessage BYE;
// SIP Responses
SipMessage r_100_Trying;
SipMessage r_180_Ringing;
SipMessage r_200_Ok;
SipMessage r_2xx_Any;
SipMessage r_401_Unauthorized;
SipMessage r_403_Forbidden;
SipMessage r_404_NotFound;
SipMessage r_486_INVITE;
SipMessage r_4xx_Any;
} // End of Data section
Configuration {
Interface Type defaultGT accepts SipMessage;
Interface Type enumGT accepts EnumMessage;
Component Type SipComponent with gate g of type defaultGT;
Component Type SipEnumComponent with gate gSip of type defaultGT gate gEnum of type enumGT;
Component Type EnumDBComponent with gate gEnum of type enumGT;
Test Configuration CF_VxLTE_INT
containing
SUT component UE_A of type SipComponent
SUT component IMS_P_CSCF_A of type SipComponent
SUT component IMS_S_CSCF_A of type SipComponent
SUT component IMS_I_CSCF_A of type SipComponent
SUT component IMS_AS_A of type SipComponent
SUT component IMS_IBCF_A of type SipComponent
SUT component IMS_IBCF_B of type SipComponent
connection between UE_A.g and IMS_P_CSCF_A.g
connection between IMS_P_CSCF_A.g and IMS_S_CSCF_A.g
connection between IMS_S_CSCF_A.g and IMS_I_CSCF_A.g
connection between IMS_I_CSCF_A.g and IMS_IBCF_A.g
connection between IMS_IBCF_A.g and IMS_IBCF_B.g
connection between IMS_S_CSCF_A.g and IMS_AS_A.g
;
Test Configuration CF_VxLTE_RMI
containing
SUT component UE_A of type SipComponent
SUT component IMS_P_CSCF_B of type SipComponent
SUT component IMS_S_CSCF_B of type SipComponent
SUT component IMS_I_CSCF_B of type SipComponent
SUT component IMS_AS_B of type SipComponent
SUT component IMS_IBCF_B of type SipComponent
SUT component IMS_IBCF_A of type SipComponent
connection between UE_A.g and IMS_P_CSCF_B.g
connection between IMS_P_CSCF_B.g and IMS_S_CSCF_B.g
connection between IMS_S_CSCF_B.g and IMS_I_CSCF_B.g
connection between IMS_I_CSCF_B.g and IMS_IBCF_B.g
connection between IMS_IBCF_B.g and IMS_IBCF_A.g
;
Test Configuration CF_VxLTE_RMI_A
containing
SUT component UE_B of type SipComponent
SUT component IMS_P_CSCF_A of type SipComponent
SUT component IMS_S_CSCF_A of type SipComponent
SUT component IMS_IBCF_A of type SipComponent
SUT component IMS_IBCF_B of type SipComponent
connection between UE_B.g and IMS_P_CSCF_A.g
connection between IMS_P_CSCF_A.g and IMS_S_CSCF_A.g
connection between IMS_S_CSCF_A.g and IMS_IBCF_A.g
connection between IMS_IBCF_A.g and IMS_IBCF_B.g
;
Test Configuration CF_VxLTE_RMI_B
containing
SUT component UE_A of type SipComponent
SUT component IMS_P_CSCF_B of type SipComponent
SUT component IMS_S_CSCF_B of type SipComponent
SUT component IMS_I_CSCF_B of type SipComponent
SUT component IMS_AS_B of type SipComponent
SUT component IMS_IBCF_B of type SipComponent
SUT component IMS_IBCF_A of type SipComponent
connection between UE_A.g and IMS_P_CSCF_B.g
connection between IMS_P_CSCF_B.g and IMS_S_CSCF_B.g
connection between IMS_S_CSCF_B.g and IMS_I_CSCF_B.g
connection between IMS_I_CSCF_B.g and IMS_IBCF_B.g
connection between IMS_IBCF_B.g and IMS_IBCF_A.g
;
Test Configuration CF_VxLTE_RMI_S8HR
containing
SUT component UE_A of type SipComponent
SUT component IMS_P_CSCF_A of type SipComponent
SUT component IMS_S_CSCF_A of type SipComponent
SUT component IMS_I_CSCF_A of type SipComponent
SUT component IMS_IBCF_A of type SipComponent
SUT component IMS_IBCF_B of type SipComponent
connection between UE_A.g and IMS_P_CSCF_A.g
connection between IMS_P_CSCF_A.g and IMS_S_CSCF_A.g
connection between IMS_S_CSCF_A.g and IMS_I_CSCF_A.g
connection between IMS_I_CSCF_A.g and IMS_IBCF_A.g
connection between IMS_IBCF_A.g and IMS_IBCF_B.g
;
} // End of Configuration section
//Type MSG (optional TCP of type CONTENT);
//Type CONTENT;
//CONTENT tcp;
//MSG MESSAGE;
//Type MSG_SIZE;
//Message_Body_Size MSG_SIZE;
} // End of Package Sip_Common