Merge branch 'ttf_t009' of https://forge.etsi.org/rep/emtel/NG112 into ttf_t009 (ea189ffb) · Commits · EMTEL - Emergency Communications / NG112 Conformance Test Suites

.gitignore

0 → 100644

+2 −0

Original line number	Diff line number	Diff line
		.project

test_purposes/common/sip_commons.tplan2

+3 −3

Original line number	Diff line number	Diff line
		Package sip_commons {
		Domain {
		pics:
		- SIP_SUBSCRIPTION_ELEMENT_STATE
		- SIP_SUBSCRIPTION_SECURITY_POSTURE
		- SIP_SUBSCRIPTION_SERVICE_STATE
		- PICS_SIP_SUBSCRIPTION_ELEMENT_STATE
		- PICS_SIP_SUBSCRIPTION_SECURITY_POSTURE
		- PICS_SIP_SUBSCRIPTION_SERVICE_STATE
		;
		}
		Data {

test_purposes/ecrf/ecrf_commons.tplan2

+13 −13

Original line number	Diff line number	Diff line
		Package ecrf_commons {
		Domain {
		pics:
		- FIND_SERVICE
		- LIST_SERVICES
		- LIST_SERVICES_BY_LOCATION
		- GEOMETRY_POINT
		- GEOMETRY_CIRCLE
		- GEOMETRY_ELLIPSE
		- GEOMETRY_ARCBAND
		- GEOMETRY_POLYGON
		- TLS_AUTHENTICATION
		- LOOP_DETECTION
		- REDIRECT
		- RECURSION
		- PICS_ECRF_FIND_SERVICE
		- PICS_ECRF_LIST_SERVICES
		- PICS_ECRF_LIST_SERVICES_BY_LOCATION
		- PICS_ECRF_GEOMETRY_POINT
		- PICS_ECRF_GEOMETRY_CIRCLE
		- PICS_ECRF_GEOMETRY_ELLIPSE
		- PICS_ECRF_GEOMETRY_ARCBAND
		- PICS_ECRF_GEOMETRY_POLYGON
		- PICS_ECRF_TLS_AUTHENTICATION
		- PICS_ECRF_LOOP_DETECTION
		- PICS_ECRF_REDIRECT
		- PICS_ECRF_RECURSION
		;
		entities:
		- IUT
		@@ -36,7 +36,7 @@ Package ecrf_commons {
		type Service;
		type ServiceList;
		type Certificate;

		type InvalidRequest;

		type Mapping
		with

test_purposes/ecrf/ecrf_tps.tplan2

+92 −66

Original line number	Diff line number	Diff line
		@@ -3,7 +3,7 @@ Package ECRF {
		import all from ecrf_commons;

		Test Purpose {
		TP Id TP_LOST_BV_01
		TP Id TP_ECRF_LOST_BV_01

		Test objective
		"IUT successfully responds with a service URI for a Point in the service boundary"
		@@ -13,7 +13,7 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE and GEOMETRY_POINT
		PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_GEOMETRY_POINT

		Initial conditions
		with {
		@@ -38,7 +38,7 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_LOST_BV_02
		TP Id TP_ECRF_LOST_BV_02

		Test objective
		"IUT successfully responds with a service URI for a Circle in the service boundary"
		@@ -48,7 +48,7 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE and GEOMETRY_CIRCLE
		PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_GEOMETRY_CIRCLE

		Initial conditions
		with {
		@@ -74,7 +74,7 @@ Package ECRF {


		Test Purpose {
		TP Id TP_LOST_BV_03
		TP Id TP_ECRF_LOST_BV_03

		Test objective
		"IUT successfully responds with an error response for an unknown Service URN in the service boundary"
		@@ -84,7 +84,7 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE
		PICS Selection PICS_ECRF_FIND_SERVICE

		Initial conditions
		with {
		@@ -109,7 +109,7 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_LOST_BV_04
		TP Id TP_ECRF_LOST_BV_04

		Test objective
		"IUT successfully responds with an error response for an unrecognized location profile"
		@@ -119,7 +119,7 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE
		PICS Selection PICS_ECRF_FIND_SERVICE

		Initial conditions
		with {
		@@ -144,7 +144,7 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_LOST_BV_05
		TP Id TP_ECRF_LOST_BV_05

		Test objective
		"IUT successfully includes the service boundary by value"
		@@ -154,7 +154,7 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE and GEOMETRY_POINT
		PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_GEOMETRY_POINT

		Initial conditions
		with {
		@@ -181,7 +181,7 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_LOST_BV_06
		TP Id TP_ECRF_LOST_BV_06

		Test objective
		"IUT successfully responds with the service URI for intersecting Circle"
		@@ -191,7 +191,7 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE and GEOMETRY_CIRCLE
		PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_GEOMETRY_CIRCLE

		Initial conditions
		with {
		@@ -217,7 +217,7 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_LOST_BV_07
		TP Id TP_ECRF_LOST_BV_07

		Test objective
		"IUT successfully responds with the service URI for Circle intersecting multiple service boundaries"
		@@ -227,7 +227,7 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE and GEOMETRY_CIRCLE
		PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_GEOMETRY_CIRCLE

		Initial conditions
		with {
		@@ -253,7 +253,7 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_LOST_BV_08
		TP Id TP_ECRF_LOST_BV_08

		Test objective
		"IUT successfully responds with the service URI for Circle a boundary with multiple services"
		@@ -263,7 +263,7 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE and GEOMETRY_CIRCLE
		PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_GEOMETRY_CIRCLE

		Initial conditions
		with {
		@@ -289,7 +289,7 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_LOST_BV_09
		TP Id TP_ECRF_LOST_BV_09

		Test objective
		"IUT successfully responds with configured service types for a ListServices request"
		@@ -299,7 +299,7 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection LIST_SERVICES
		PICS Selection PICS_ECRF_LIST_SERVICES

		Expected behaviour
		ensure that {
		@@ -317,7 +317,7 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_LOST_BV_10
		TP Id TP_ECRF_LOST_BV_10

		Test objective
		"IUT successfully responds with configured service types for a ListServicesByLocation request"
		@@ -327,7 +327,7 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection LIST_SERVICES_BY_LOCATION
		PICS Selection PICS_ECRF_LIST_SERVICES_BY_LOCATION

		Initial conditions
		with {
		@@ -353,7 +353,7 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_LOST_BV_11
		TP Id TP_ECRF_LOST_BV_11

		Test objective
		"IUT successfully responds with configured service types for a ListServices request without service element"
		@@ -363,7 +363,7 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection LIST_SERVICES
		PICS Selection PICS_ECRF_LIST_SERVICES

		Expected behaviour
		ensure that {
		@@ -379,7 +379,7 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_LOST_BV_12
		TP Id TP_ECRF_LOST_BV_12

		Test objective
		"IUT successfully responds with configured service types for a ListServicesByLocation request without service"
		@@ -389,7 +389,7 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection LIST_SERVICES_BY_LOCATION
		PICS Selection PICS_ECRF_LIST_SERVICES_BY_LOCATION

		Initial conditions
		with {
		@@ -415,7 +415,7 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_LOST_BV_13
		TP Id TP_ECRF_LOST_BV_13

		Test objective
		"IUT successfully responds with a service URI for an ellipse in the service boundary"
		@@ -425,7 +425,7 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE and GEOMETRY_ELLIPSE
		PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_GEOMETRY_ELLIPSE

		Initial conditions
		with {
		@@ -450,7 +450,7 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_LOST_BV_14
		TP Id TP_ECRF_LOST_BV_14

		Test objective
		"IUT successfully responds with a service URI for an arcband in the service boundary"
		@@ -460,7 +460,7 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE and GEOMETRY_ARCBAND
		PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_GEOMETRY_ARCBAND

		Initial conditions
		with {
		@@ -485,7 +485,7 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_LOST_BV_15
		TP Id TP_ECRF_LOST_BV_15

		Test objective
		"IUT successfully responds with a service URI for an polygon in the service boundary"
		@@ -495,7 +495,7 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE and GEOMETRY_POLYGON
		PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_GEOMETRY_POLYGON

		Initial conditions
		with {
		@@ -520,7 +520,7 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_LOST_BV_16
		TP Id TP_ECRF_LOST_BV_16

		Test objective
		"IUT responds with redirect response for a findServiceRequest"
		@@ -530,7 +530,7 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE and GEOMETRY_POINT and REDIRECT
		PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_GEOMETRY_POINT and PICS_ECRF_REDIRECT

		Initial conditions
		with {
		@@ -557,7 +557,7 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_LOST_BV_17
		TP Id TP_ECRF_LOST_BV_17

		Test objective
		"IUT responds with redirect response for a listServiceByLocation"
		@@ -567,7 +567,7 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection LIST_SERVICES_BY_LOCATION and GEOMETRY_POINT and REDIRECT
		PICS Selection PICS_ECRF_LIST_SERVICES_BY_LOCATION and PICS_ECRF_GEOMETRY_POINT and PICS_ECRF_REDIRECT

		Initial conditions
		with {
		@@ -593,17 +593,17 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_LOST_BV_18
		TP Id TP_ECRF_LOST_BV_18

		Test objective
		"IUT responds with redirect response for a findServiceRequest"
		"IUT responds with redirect response for a findServiceRequest with recursive set to false"

		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE and GEOMETRY_POINT and REDIRECT and RECURSION
		PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_GEOMETRY_POINT and PICS_ECRF_REDIRECT and PICS_ECRF_RECURSION

		Initial conditions
		with {
		@@ -630,17 +630,17 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_LOST_BV_17
		TP Id TP_ECRF_LOST_BV_17

		Test objective
		"IUT responds with redirect response for a listServiceByLocation"
		"IUT responds with redirect response for a listServiceByLocation with recursive set to false"

		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection LIST_SERVICES_BY_LOCATION and GEOMETRY_POINT and REDIRECT and RECURSION
		PICS Selection PICS_ECRF_LIST_SERVICES_BY_LOCATION and PICS_ECRF_GEOMETRY_POINT and PICS_ECRF_REDIRECT and PICS_ECRF_RECURSION

		Initial conditions
		with {
		@@ -670,17 +670,17 @@ Package ECRF {
		import all from ecrf_commons;

		Test Purpose {
		TP Id TP_LOST_BI_01
		TP Id TP_ECRF_LOST_BI_01

		Test objective
		"IUT responds to an findServiceRequest with an loop error response "
		"IUT responds to a findServiceRequest with an loop error response"

		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE and LOOP_DETECTION
		PICS Selection PICS_ECRF_FIND_SERVICE and PICS_ECRF_LOOP_DETECTION

		Expected behaviour
		ensure that {
		@@ -698,17 +698,17 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_LOST_BI_02
		TP Id TP_ECRF_LOST_BI_02

		Test objective
		"IUT responds to an listServiceByLocation with an loop error response "
		"IUT responds to a listServiceByLocation with an loop error response"

		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection LIST_SERVICES_BY_LOCATION and LOOP_DETECTION
		PICS Selection PICS_ECRF_LIST_SERVICES_BY_LOCATION and PICS_ECRF_LOOP_DETECTION

		Expected behaviour
		ensure that {
		@@ -724,6 +724,32 @@ Package ECRF {
		}
		}
		}

		Test Purpose {
		TP Id TP_ECRF_LOST_BI_03

		Test objective
		"IUT responds to an invalid findService with an badRequest error response"

		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection PICS_ECRF_FIND_SERVICE

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a (typed) request InvalidRequest
		}
		then {
		the IUT entity sends a (typed) response ErrorResponse containing
		errors indicating value "badRequest"
		;
		}
		}
		}
		}


		@@ -732,7 +758,7 @@ Package ECRF {
		import all from sip_commons;

		Test Purpose {
		TP Id TP_SIP_BV_01
		TP Id TP_ECRF_SIP_BV_01

		Test objective
		"IUT responds to SIP Subscribe for Element State with an 200 OK"
		@@ -742,7 +768,7 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], Clause 4.10",
		"RFC5985 [3]"

		PICS Selection SIP_SUBSCRIPTION_ELEMENT_STATE
		PICS Selection PICS_SIP_SUBSCRIPTION_ELEMENT_STATE

		Expected behaviour
		ensure that {
		@@ -763,7 +789,7 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_SIP_BV_02
		TP Id TP_ECRF_SIP_BV_02

		Test objective
		"IUT responds to SIP Unsubscribe with an 200 OK"
		@@ -773,11 +799,11 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], Clause 4.10",
		"RFC5985 [3]"

		PICS Selection SIP_SUBSCRIPTION_ELEMENT_STATE
		PICS Selection PICS_SIP_SUBSCRIPTION_ELEMENT_STATE

		Initial conditions
		with {
		the IUT entity receives a UnsubscribeRequest containing
		the IUT entity receives a SubscribeRequest containing
		"event" set to "emergency-ElementState"
		;
		and the IUT entity sends an OkResponse
		@@ -799,7 +825,7 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_SIP_BV_03
		TP Id TP_ECRF_SIP_BV_03

		Test objective
		"IUT responds to SIP Subscribe for SecurityPosture with an 200 OK"
		@@ -809,7 +835,7 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], Clause 4.10",
		"RFC5985 [3]"

		PICS Selection SIP_SUBSCRIPTION_SECURITY_POSTURE
		PICS Selection PICS_SIP_SUBSCRIPTION_SECURITY_POSTURE

		Expected behaviour
		ensure that {
		@@ -830,7 +856,7 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_SIP_BV_04
		TP Id TP_ECRF_SIP_BV_04

		Test objective
		"IUT responds to SIP Unsubscribe with an 200 OK"
		@@ -840,11 +866,11 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], Clause 4.10",
		"RFC5985 [3]"

		PICS Selection SIP_SUBSCRIPTION_SECURITY_POSTURE
		PICS Selection PICS_SIP_SUBSCRIPTION_SECURITY_POSTURE

		Initial conditions
		with {
		the IUT entity receives a UnsubscribeRequest containing
		the IUT entity receives a SubscribeRequest containing
		"event" set to "emergency-SecurityPosture"
		;
		and the IUT entity sends an OkResponse
		@@ -866,7 +892,7 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_SIP_BV_05
		TP Id TP_ECRF_SIP_BV_05

		Test objective
		"IUT responds to SIP Subscribe for ServiceState with an 200 OK"
		@@ -876,7 +902,7 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], Clause 4.10",
		"RFC5985 [3]"

		PICS Selection SIP_SUBSCRIPTION_SERVICE_STATE
		PICS Selection PICS_SIP_SUBSCRIPTION_SERVICE_STATE

		Expected behaviour
		ensure that {
		@@ -897,7 +923,7 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_SIP_BV_06
		TP Id TP_ECRF_SIP_BV_06

		Test objective
		"IUT responds to SIP Unsubscribe with an 200 OK"
		@@ -907,11 +933,11 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], Clause 4.10",
		"RFC5985 [3]"

		PICS Selection SIP_SUBSCRIPTION_SERVICE_STATE
		PICS Selection PICS_SIP_SUBSCRIPTION_SERVICE_STATE

		Initial conditions
		with {
		the IUT entity receives a UnsubscribeRequest containing
		the IUT entity receives a SubscribeRequest containing
		"event" set to "emergency-ServiceState"
		;
		and the IUT entity sends an OkResponse
		@@ -937,7 +963,7 @@ Package ECRF {
		import all from ecrf_commons;

		Test Purpose {
		TP Id TP_TLS_BI_01
		TP Id TP_ECRF_TLS_BI_01

		Test objective
		"IUT rejects requests without a certificate"
		@@ -947,7 +973,7 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], Clause 4.10",
		"RFC5985 [3]"

		PICS Selection TLS_AUTHENTICATION
		PICS Selection PICS_ECRF_TLS_AUTHENTICATION

		Expected behaviour
		ensure that {
		@@ -963,7 +989,7 @@ Package ECRF {
		}

		Test Purpose {
		TP Id TP_TLS_BI_02
		TP Id TP_ECRF_TLS_BI_02

		Test objective
		"IUT rejects SIP requests without a certificate"
		@@ -973,7 +999,7 @@ Package ECRF {
		"EENA Next Generation 112 LTD [2], Clause 4.10",
		"RFC5985 [3]"

		PICS Selection TLS_AUTHENTICATION
		PICS Selection PICS_ECRF_TLS_AUTHENTICATION

		Expected behaviour
		ensure that {

test_purposes/esrp/esrp_commons.tplan2

+117 −9

Original line number	Diff line number	Diff line
		Package esrp_commons {
		Domain {
		pics:
		- PICS_TARGET_SIP_REGISTER_SUPPORT
		- PICS_TARGET_DEQUEUE_REGISTRATION_SUPPORT
		- PICS_FIXED_TARGET_SUPPORT
		- PICS_QUEUE_STATE_SUPPORT
		- PICS_SECURITY_POSTURE_SUPPORT
		- PICS_ELEMENT_STATE_SUPPORT
		- PICS_SERVICE_STATE_SUPPORT
		- PICS_ESRP_TARGET_SIP_REGISTER_SUPPORT
		- PICS_ESRP_TARGET_DEQUEUE_REGISTRATION_SUPPORT
		- PICS_ESRP_FIXED_TARGET_SUPPORT
		- PICS_ESRP_QUEUE_STATE_SUPPORT
		- PICS_ESRP_SECURITY_POSTURE_SUPPORT
		- PICS_ESRP_ELEMENT_STATE_SUPPORT
		- PICS_ESRP_SERVICE_STATE_SUPPORT
		- PICS_ESRP_LOST
		- PICS_ESRP_LOST_REDIRECT
		- PICS_ESRP_HELD
		- PICS_ESRP_HELD_LOCATION_REFERENCE
		- PICS_ESRP_TLS_AUTHENTICATION

		;
		entities:
		- DOWNSTREAM
		@@ -15,20 +21,23 @@ Package esrp_commons {
		- UPSTREAM
		- DIVERSION
		- ECRF
		- ECRF_2
		- LIS
		;
		events:
		- configured
		- isConfiguredWith
		- receives
		- returns
		- forwards
		- sends
		- dequeue_registered // complete dequeue registration + IUT subscribed for QueueState
		- rejects
		- dequeueRegistered // complete dequeue registration + IUT subscribed for QueueState
		- default_routes
		- reachable_by
		;
		}
		Data {
		type SIP_INVITE;
		type SIP_REGISTER;
		type SIP_RESPONSE
		with
		@@ -54,5 +63,104 @@ Package esrp_commons {

		type Number;
		type QueueState;


		type Boolean;
		type String;
		type StringList;
		type URI;
		type URN;
		type Geometry;
		type Service;
		type ServiceList;
		type Certificate;
		type IncidentIdInfoHeader;
		type CallIdInfoHeader;

		type Mapping
		with
		geometry of type Geometry,
		service of type URN,
		uri of type URI
		;

		type SipInvite
		with
		service of type String,
		caller of type URI,
		optional location of type Geometry,
		optional locationReference of type URI,
		optional certificate of type Certificate,
		optional incidentIdHeader of type IncidentIdInfoHeader,
		optional callIdHeader of type CallIdInfoHeader
		;

		type EcrfConfig
		with
		uri of type URI
		;

		type LisConfig
		with
		uri of type URI
		;

		type FindServiceRequest
		with
		location of type Geometry,
		service of type String,
		profile of type String,
		optional certificate of type Certificate
		;

		type FindServiceResponse
		with
		uri of type URI,
		service of type String
		;

		type RedirectResponse
		with
		target of type URI
		;

		type LocationType
		with
		optional exact of type Boolean,
		optional values of type StringList
		;

		type LocationRequest
		with
		locationType of type LocationType,
		uri of type URI,
		optional certificate of type Certificate
		;

		Service POLICE; // urn:service:sos.police
		URI URI_POLICE_G1; // "sip:police@G1.org";

		// ######
		// PIXITS
		Geometry PX_G1;

		Geometry PX_CIRCLE_IN_G1;



		Mapping PX_POLICE_G1 containing
		geometry set to PX_G1,
		service set to POLICE,
		uri set to URI_POLICE_G1
		;

		URI PX_REDIRECT_TARGET;
		URI PX_ECRF;
		URI PX_LIS;
		URI PX_CALLER;
		URI PX_LOCATION_REFERENCE;

		StringList PX_CONFIGURED_SERVICES;

		}
		}
		No newline at end of file