Advances in Software Engineering

Research Article

A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT

Table 7

Transitions in the capsule Handover and its subcapsules.


Capsule	Transition	UML-RT trigger	UML-RT action

Handover	Initial	—	talk = talk1;
			change = change1;
			setCar·signal()·send();

Car	Initial	—	—
	start	Port: setCar	= *rtdata;
			= talk;
		Signal: signal	= change;
			talk·registerSAP();
			change·registerSAP();
	updateConnection	Port: change	= *rtdata;
			= talk;
		Signal: signal	= change;
			talk·registerSAP();
			change·registerSAP();
	communicate	Port: timer	talk·signal(info)·send();
		Signal: timeout

Trans	Initial	—	—
	activate	Port: gain	= *rtdata;
			= talk;
		Signal: signal	= change;
			talk·registerSPP();
			change·registerSPP();
	deactivate	Port: lose	= *rtdata;
			= talk;
			= change
		Signal: signal	talk = ;
			change = ;
			change·signal()·send();
	communicate	Port: talk	myinfo = *rtdata;
		Signal: signal

Control	Initial	—	talk = talk1;
			change = change1;
			gain1·signal()·send();
	startControl1	Port: timer	talk = talk1;
			change = change1;
		Signal: timeout	lose2·signal()·send();
			gain1·signal()·send();
	startControl2	Port: timer	talk = talk2;
			change = change2;
		Signal: timeout	lose1·signal()·send();
			gain2·signal()·send();