------------------------SDT2’’’’DemonGame----------------------------------------------------ObjectName----------------------------------------ObjectType----------------------------------------!%&()LinkEndpoints--------------------------------!%()HeadingText----------------------------------- ’’’’’’’’’’’’’’’’’’’’’’’’DemonGame------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ ’’’’16-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------’’’’()[8(! DemonGame)]}-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------!’’’’()[w(!GMSC)]}-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------’’’’()[(! lü! !(d)[Ö š(! 6—!!²u—&)][Ā u(! 6—&!€ —łGame!"Ē —Š process Game)][& ˜(!Ū¤—¤!°nŪ^!%()HeadingText-----------------------------------!%()PageOrder-------------------------------------1---------------------------------------------------------------------------------------------------- ---- ----’’’’’’’’’’’’’’’’----’’’’!%&()LinkEndpoints----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- ------------------------------------’’’’!±u—&!ā™!€ ōrGameOver)][Ā o(! 69^!€ 91Demon!#Ē 9 process Demon)][Ā n(! 6Ū^!€ Ū1Main!"Ē Ū pr ocess Main)][Ā m(! 6}^!!€ }1 Environment)][& “(!}@Ū@!°m}^!±nŪ^!ā”!€ –Endgame)][& ‘(!—Ü}Ü!°u—&! ±m}^!ā’!€ ~ŖScore! ~õ1)][& (!—ū}ū!°u—&!±m}^!āŽ!€ ~ÉWin)][& (!}x—x!°m}^ !±u—&!ā!€ –FResult)][& ‹(!}———!°m}^!±u—&!āŒ!€ –eProbe)][ź Š(! 6—č!²u—&!€ —  (!4š)[!(! 1!!!3)]}-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------E’’’’Winning)][& ˆ(!9¶—¶!°o9^!±u—&!ā‰!€ R„Bump)][D †(!"9ŠkŠkR9R!°o9^!±o9^!ā‡!I !€ RXT)][& p(!}©Ū©!°m}^!±nŪ^!āq!€ –wNewgame)][ź v(! 6—X!²u—&!€ —zLosing)][ s(!Ū 3 !°nŪ^!±u—&!āt)][9l(! 6d!E)[8(!‡ /* This MSC describes one simple interchange of signals where the user starts one game, guesses once, wins and terminates the game */)]][ i(! 6)][j(! 6)][k(! lü)]]}----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------H’’’’