/*
 * Protection of Privacy and Transborder Flows of Personal Data
 */

initial:

	cc(dc,asker,asked_data,sent_data).


constitutive:

/*
 *  Send of personal data
 */

ask_data
	means 
		asked_data
	if
		!asked_data.

send_data
	means 
		sent_data
	if
		asked_data &
		!sent_data &
		!refuse_data.

refuse_data
	means 
		refuse_data,
		cancel(c(dc,asker,sent_data))
	if
		asked_data &
		!sent_data &
		!refuse_data.