25五月20231第六講：SDL中面向對象概念25五月20232SDL中的類typeinstantiatesasspecializesasparameterizedtypedefinitionwithsomecontextparametersboundiswithallcontextparametersboundisparameterizesasinstanceimpliedtype25五月20233代理類——代理類的定義（1）<agenttypediagram>::=<systemtypediagram>|<blocktypediagram>|<processtypediagram><systemtypediagram>::=<framesymbol>contains

{<systemtypeheading><agenttypediagramcontent>}[isassociatedwith<packageusearea>]<systemtypeheading>::=systemtype[<qualifier>]<systemtypename><agenttypeadditionalheading>25五月20234代理類——代理類的定義（2）<blocktypediagram>::=<framesymbol>contains

{<blocktypeheading><agenttypediagramcontent>}

isconnectedto{{<gateondiagram>*}set}[isassociatedwith<packageusearea>]<blocktypeheading>::=<typepreamble>

blocktype[<qualifier>]<blocktypename><agenttypeadditionalheading><typepreamble>::=[<virtuality>|<abstract>]<virtuality>::=virtual|redefined|finalized<abstract>::=abstract25五月20235代理類——代理類的定義（3）<processtypediagram>::=<framesymbol>contains

{<processtypeheading><agenttypediagramcontent>}

isconnectedto{{<gateondiagram>*}set}[isassociatedwith<packageusearea>]<processtypeheading>::=<typepreamble>

processtype[<qualifier>]<processtypename><agenttypeadditionalheading>25五月20236代理類——代理類的定義（4）<agenttypeadditionalheading>::=[<formalcontextparameters>][virtualityconstraint]<agentadditionalheading><virtualityconstraint>::=atleast<identifier><agentadditionalheading>::=[<specialization>][<agentformalparameters>]<specialization>::=inherits<typeexpression>[adding]<agentformalparameters>::=(<parametersofsort>{,<parametersofsort>}*)<parametersofsort>::=<variablename>{,<variablename>}*<sort>25五月20237processtypeGame(playerPid)GameidtoplayerevendclcountInteger:=01(3)ProbeResultEndGameg1GameidWin,LoseScoreg2Gameoverg3進程類定義Gate定義信號列表25五月20238processtypeGame(playerPid)2(3)Probe,Result,EndGameg1Gameid,Win,Lose,Scoreg2g3Gameovercount:=count+1-evennoneLosetoplayerProbeProbenoneevenWintoplayeroddcount:=count-1-25五月20239processtypeGame(playerPid)3(3)Probe,Result,EndGameg1Gameid,Win,Lose,Scoreg2g3GameoverGameover(player)*ResultEndGameScore(count)toplayer-25五月202310代理類的實例化systemDemongamesignalNewgame,Probe,Result,Endgame,Gameid,Win,Lose,Score(Integer)GameservermsginmsgoutNewGame,Probe,EndGameResult,GameidWin,ScoreLose,25五月202311blockGameserversignalGameover(Pid)GameMonitor(1,1)g3

Games(0,):Gameg1g2Gameid,Win,Lose,ScoreNewgameR1R4R3GameoverProbe,Result,EndgameR2引用進程類實例化Gate與信道相連msginmsgout25五月202312類的參數化形式化上下文參數定義

<formalcontextparameters>::=<contextparametersstart><formalcontextparameterlist><contextparametersend><contextparametersstart>::=<lessthansign><contextparametersend>::=<greaterthansign><formalcontextparameterlist>::=<formalcontextparameter>{<end><formalcontextparameter>}*25五月202313<formalcontextparameter>::=<agentcontextparameter>|<procedurecontextparameter>|<remoterprocedurecontextparameter>|<signalcontextparameter>|<variablecontextparameter>|<timercontextparameter>|…<agentcontextparameter>::={process|block}<agentname>[<agentconstraint>]<agentconstraint>::={atleast|<colon>}<agenttypeidentifier>|<agentsignature><agentsignature>::=<sortlist>25五月202314processtypeMonitor<processLog>EventtoLogblockB1MonitorLogP1Monitors:Monitor<logP1>g1ToLog[Event]ToMon[..][..]C125五月202315類的特例化（繼承）<specialization>::=inherits<typeexpression>[adding]<typeexpression>::=<basetype>[<actualcontextparameters>]<basetype>::=<identifier>25五月202316blocktypeSpeakingGameServerinheritsGameserveradding

Gamesg2LoadSpeakerR3R4[Gameid,Win,Lose,Score,voiceWin,voiceLose]mo[voiceWin,voiceLose]子類中添加進程25五月202317processtypeSpecialGameinheritsGameadding

g4[Evil]Evil-evenEvilevenodd子類中增加遷移25五月202318類中的虛定義（virtual）processtypeGame(playerPid)2(3)evennoneoddcount:=count+1-WintoplayernoneevenProbe,Result,EndGameg1Gameid,Win,Lose,Scoreg2g3GameoverLosetoplayerProbevirtualProbevirtualcount:=count-1-25五月202319processtypeOppositeGameinheritsGame1(1)oddcount:=count-1-LosetoplayerProberedefinedevencount:=count+1-WintoplayerProberedefined25五月202320虛定義可以應用在下列符號中：進程開始符過程開始符連續信號優先輸入自發輸入遠端過程輸入25五月202321SDL中的選擇域usesig_packagesynonymnotATMonlyBoolean=external;systembankSystemBankHeadQuarterBankHeadQuarterATMC1[card,code,amount][cash,receipt,(failure)]C2[transactOK,transactNOK,(failure)][