SPL program

2 SPL program

service

program	::=	service ident {service}
service	::=	processing {declarations^? session^*}
session	::=	registration {declarations^? session^*}
	\|	dialog {declarations^? method⁺}
	\|	event eventIdent {declarations^? method⁺}
	\|	method
method	::=	typExp direction^? methodName(arg^?) {stmt⁺}
	\|	typExp direction^? methodName(arg^?) {branch⁺}
branch	::=	branch ident (\| ident)^* {stmt⁺}
	\|	branch default {stmt⁺}
direction	::=	incoming
	\|	outgoing
methodName	::=	SIPmethod
	\|	ctrlMethod
SIPmethod	::=	ACK
	\|	BYE
	\|	CANCEL
	\|	INVITE
	\|	NOTIFY
	\|	OPTIONS
	\|	REACK
	\|	REGISTER
	\|	REINVITE
	\|	REREGISTER
	\|	RESUBSCRIBE
	\|	SUBSCRIBE
ctrlMethod	::=	deploy
	\|	undeploy
	\|	uninvite
	\|	unregister
	\|	unsubscribe

Notes :

Without explicit direction, a method applies for both direction, incoming and outgoing.

There is no SIP message associated with control methods, so headers are not accessible. These methods do not have a response return type but a void one.

unregister is called after a REGISTER with a zero Expire field or after related timeout.

unsubscribe is called after a SUBSCRIBE with a zero Expire field, a NOTIFY with Subscription-State: terminated header or after related timeout.

deploy and undeploy can only appear directly in the processing block.

Processing block can have only one registration block.

Registration block can have only one session block.

Registration block can have multiple event block, but each one must have an unique event identifier.