untitled.pr

手机软件系统的设计(MSC图及SDL图) 本系统实现的是一个简易的手机软件系统

Session;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Get_Through.spd(1),191(80,157))*/
(false):
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Get_Through.spd(1),149(85,155))*/
enddecision;
grst2:
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Get_Through.spd(1),167(130,265))*/
return /*#E*/ 
;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Get_Through.spd(1),155(120,200))*/
state /*#E*/ 
Session;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Get_Through.spd(1),161(120,225))*/
input /*#E*/ 
          PutOff;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Get_Through.spd(1),167(130,265))*/
join /*#E*/ 
grst2;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Get_Through.spd(1),155(120,200))*/
endstate;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Get_Through.spd,4)*/
endprocedure Get_Through;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\CallOut.spr,4)*/
process CallOut
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\CallOut.spr,1)*/
;
signalset keyinput,Seisure_Result,Anser;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\CallOut.spr(1),149(15,25))*/
dcl Valid boolean;
dcl NormalRing,BusyLR,BusyNR integer;
dcl PhoneNum integer;
signal RingAlert ;
signal  keyinput,PhoneNo ;
signal Seisure_Result,FailedReason;
signal Anser;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\CallOut.spr(1),119(5,60))*/
procedure KeyBoard_Dial referenced;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\CallOut.spr(1),128(5,90))*/
procedure User_Interface_Act referenced;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\CallOut.spr(1),152(5,115))*/
procedure Connected referenced;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\CallOut.spr(1),155(5,140))*/
procedure DisConnected referenced;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\CallOut.spr(1),116(115,10))*/
start /*#E*/ 
;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\CallOut.spr(1),191(100,25))*/
task {/*#E*/ 
NormalRing:=0;
BusyLR:=1;
BusyNR:= 2;};
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\CallOut.spr(1),131(95,50))*/
call /*#E*/ 
KeyBoard_Dial(PhoneNum);
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\CallOut.spr(1),137(85,80))*/
call /*#E*/ 
User_Interface_Act(Valid);
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\CallOut.spr(1),143(105,105))*/
decision /*#E*/ 
Valid;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\CallOut.spr(1),161(97,110))*/
(true):
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\CallOut.spr(1),158(65,135))*/
call /*#E*/ 
Connected;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\CallOut.spr(1),167(147,110))*/
(false):
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\CallOut.spr(1),164(135,135))*/
call /*#E*/ 
DisConnected;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\CallOut.spr(1),143(105,105))*/
enddecision;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\CallOut.spr(1),236(120,205))*/
stop /*#E*/ 
;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\CallOut.spr,4)*/
endprocess CallOut;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd,4)*/
procedure KeyBoard_Dial
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd,1)*/
;fpar
in keyinput integer;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd(1),119(10,30))*/
dcl num integer ;

dcl PutOn,PutOff integer;

/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd(1),116(55,25))*/
start /*#E*/ 
;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd(1),146(45,45))*/
task {/*#E*/ 
PhoneNum := 0 ;
Valid := false ;
PutOn:=11;
PutOff:= 10;};
grst3:
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd(1),242(50,75))*/
nextstate /*#E*/ 
Waiting;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd(1),242(50,75))*/
state /*#E*/ 
Waiting;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd(1),269(50,110))*/
input /*#E*/ 
keyinput;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd(1),185(45,155))*/
decision /*#E*/ 
keyinput = PutOn;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd(1),200(90,160))*/
(false):
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd(1),197(80,180))*/
decision /*#E*/ 
keyinput= PutOff;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd(1),206(62,192))*/
(true):
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd(1),203(45,210))*/
task /*#E*/ 
PhoneNum := 0;
grst4:
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd(1),191(15,245))*/
return /*#E*/ 
;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd(1),215(142,192))*/
(false):
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd(1),176(105,210))*/
task /*#E*/ 
PhoneNum:=PhoneNum*10+keyinput;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd(1),242(50,75))*/
join /*#E*/ 
grst3;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd(1),197(80,180))*/
enddecision;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd(1),194(17,167))*/
(true):
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd(1),191(15,245))*/
join /*#E*/ 
grst4;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd(1),185(45,155))*/
enddecision;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd(1),242(50,75))*/
endstate;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\KeyBoard_Dial.spd,4)*/
endprocedure KeyBoard_Dial;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd,4)*/
procedure User_Interface_Act
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd,1)*/
;fpar 
in/out Seisure_Result boolean,
PhoneNo integer,
RingAlert integer,
PhoneNUm integer,
BusyLR integer,
BusyNR integer,
FailedReason boolean;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),116(55,15))*/
start /*#E*/ 
;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),119(50,30))*/
task /*#E*/ 
Valid := false;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),128(45,45))*/
decision /*#E*/ 
PhoneNum =  0;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),143(90,47))*/
(false):
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),212(100,65))*/
task /*#E*/ 
PhoneNo:=PhoneNum;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),146(105,95))*/
nextstate /*#E*/ 
Waiting;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),137(37,47))*/
(true):
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),128(45,45))*/
enddecision;
grst5:
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),134(30,215))*/
return /*#E*/ 
;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),146(105,95))*/
state /*#E*/ 
Waiting;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),227(105,110))*/
input /*#E*/ 
Seisure_Result;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),158(100,130))*/
decision /*#E*/ 
Seisure_Result;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),167(77,135))*/
(true):
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),164(55,145))*/
task {/*#E*/ 
RingAlert :=NormalRing;
Valid := true;};
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),185(122,152))*/
(false):
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),182(95,165))*/
decision /*#E*/ 
FailedReason;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),191(85,172))*/
(true):
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),188(60,195))*/
task /*#E*/ 
RingAlert := BusyLR;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),197(145,172))*/
(false):
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),194(130,195))*/
task /*#E*/ 
RingAlert:=BusyNR;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),182(95,165))*/
enddecision;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),158(100,130))*/
enddecision;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),134(30,215))*/
join /*#E*/ 
grst5;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd(1),146(105,95))*/
endstate;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\User_Interface_Act.spd,4)*/
endprocedure User_Interface_Act;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd,4)*/
procedure Connected
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd,1)*/
;fpar 
in Anser boolean,
keyinput integer,
dsplOut integer,
NormalRing integer,
stopRing integer,
dsplCnt integer,
dsplRmv integer,
dsplCtrl integer,
toRing integer;

/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd(1),299(10,80))*/
dcl i integer;

/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd(1),119(75,15))*/
start /*#E*/ 
;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd(1),335(70,35))*/
task /*#E*/ 
dsplCtrl:=dsplOut;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd(1),341(65,65))*/
task /*#E*/ 
toRing:=NormalRing;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd(1),146(65,110))*/
nextstate /*#E*/ 
Waiting;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd(1),146(65,110))*/
state /*#E*/ 
Waiting;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd(1),152(70,130))*/
input /*#E*/ 
          Anser;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd(1),158(65,150))*/
decision /*#E*/ 
Anser ;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd(1),173(47,160))*/
(true):
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd(1),350(35,180))*/
task /*#E*/ 
toRing:=stopRing;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd(1),356(35,210))*/
task /*#E*/ 
dsplCtrl:=dsplCnt;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd(1),179(30,250))*/
nextstate /*#E*/ 
Session;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd(1),206(122,160))*/
(false):
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd(1),362(105,180))*/
task {/*#E*/ 
toRing:=stopRing;};
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd(1),368(105,210))*/
task /*#E*/ 
dsplCtrl:=dsplRmv;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd(1),158(65,150))*/
enddecision;
grst6:
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd(1),326(115,355))*/
return /*#E*/ 
;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd(1),146(65,110))*/
endstate;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd(1),179(30,250))*/
state /*#E*/ 
Session;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd(1),185(30,275))*/
input /*#E*/ 
           keyinput;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd(1),326(115,355))*/
join /*#E*/ 
grst6;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd(1),179(30,250))*/
endstate;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\Connected.spd,4)*/
endprocedure Connected;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\DisConnected.spd,4)*/
procedure DisConnected
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\DisConnected.spd,1)*/
;fpar 
dsplRmv integer,
stopRing integer,
dsplCtrl integer,
toRing integer;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\DisConnected.spd(1),116(75,25))*/
start /*#E*/ 
;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\DisConnected.spd(1),158(70,45))*/
task /*#E*/ 
dsplCtrl:=dsplRmv;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\DisConnected.spd(1),164(70,65))*/
task /*#E*/ 
toRing:=stopRing;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\DisConnected.spd(1),131(80,100))*/
return /*#E*/ 
;
/*#SDTREF(SDL,E:\协议工程_075590_林昕\PE_075590_林昕\DisConnected.spd,4)*/
endprocedure DisConnected;