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