nestedstates.mdl

Rose初级教程

					    supplier   	"$UNNAMED$20"
					    quidu      	"340C7F3D0310"
					    sendEvent  	(object sendEvent
						quid       	"33CFB3330034")))
				    type       	"Normal"
				    actions    	(list action_list
					(object action "Send cancellation notices"
					    quid       	"33CFAD8302B2"
					    ActionTime 	(object ActionTime
						when       	"Activity"))))
				(object State "$UNNAMED$21"
				    quid       	"33CFB328037A"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"33CFB32C0122"
					    supplier   	"Initialization"
					    quidu      	"33CE59580050"
					    sendEvent  	(object sendEvent
						quid       	"33CFB32C0124")))
				    type       	"StartState")
				(object State "$UNNAMED$20"
				    quid       	"33CFB32F01E0"
				    type       	"EndState")
				(object State "Registration"
				    quid       	"33CFB7EF0212"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"33CE9F3000FA"
					    supplier   	"Cancelled"
					    quidu      	"33CE595A0154"
					    Event      	(object Event "Cancel course")
					    sendEvent  	(object sendEvent
						quid       	"33CE9F3000FC")))
				    type       	"Normal"
				    statemachine 	(object State_Machine
					states     	(list States
					    (object State "Open"
						quid       	"33CE595802E4"
						transitions 	(list transition_list
						    (object State_Transition
							quid       	"33CE9EFC0122"
							supplier   	":Registration:Open"
							quidu      	"33CE595802E4"
							Event      	(object Event "Add student")
							condition  	"Count < 10"
							sendEvent  	(object sendEvent
							    quid       	"33CE9EFC0124"))
						    (object State_Transition
							quid       	"33CE9F39021C"
							supplier   	":Registration:Closed"
							quidu      	"33CE595901FE"
							condition  	"Count = 10"
							sendEvent  	(object sendEvent
							    quid       	"33CE9F39021E"
							    Event      	(object Event "Create report")
							    target     	"CourseReport")))
						type       	"Normal"
						actions    	(list action_list
						    (object action "Register student "
							quid       	"33CFAD5B01AE"
							ActionTime 	(object ActionTime
							    when       	"Entry"))))
					    (object State "Closed"
						quid       	"33CE595901FE"
						transitions 	(list transition_list
						    (object State_Transition
							quid       	"33CFB33600E6"
							supplier   	"$UNNAMED$20"
							quidu      	"33CFB77300F8"
							sendEvent  	(object sendEvent
							    quid       	"33CFB33600E8")))
						type       	"Normal"
						actions    	(list action_list
						    (object action "Finalize course"
							quid       	"33CFAE5C01E0"
							ActionTime 	(object ActionTime
							    when       	"Entry"))
						    (object sendEvent
							quid       	"33CFAE890316"
							ActionTime 	(object ActionTime
							    when       	"Exit")
							Event      	(object Event "Create roster")
							target     	"CourseRoster"))))))))
			statediagram 	(object State_Diagram ""
			    quid       	"33CE594F02E4"
			    title      	""
			    zoom       	100
			    max_height 	28350
			    max_width  	21600
			    origin_x   	210
			    origin_y   	0
			    items      	(list diagram_item_list
				(object StateView "Normal" "Initialization" @114
				    location   	(352, 496)
				    label      	(object ItemLabel
					Parent_View 	@114
					location   	(352, 469)
					anchor_loc 	1
					nlines     	1
					max_width  	463
					justify    	0
					label      	"Initialization")
				    quidu      	"33CE59580050"
				    compartment 	(object Compartment
					Parent_View 	@114
					location   	(121, 509)
					anchor     	2
					nlines     	1
					max_width  	463
					justify    	0
					compartmentItems 	(list Compartment
					    "do: Initialize course"))
				    width      	475
				    height     	144
				    autoResize 	TRUE)
				(object StateView "Normal" "Cancelled" @115
				    location   	(304, 896)
				    label      	(object ItemLabel
					Parent_View 	@115
					location   	(304, 860)
					anchor_loc 	1
					nlines     	1
					max_width  	613
					justify    	0
					label      	"Cancelled")
				    quidu      	"33CE595A0154"
				    compartment 	(object Compartment
					Parent_View 	@115
					location   	(-2, 900)
					anchor     	2
					nlines     	1
					max_width  	613
					justify    	0
					compartmentItems 	(list Compartment
					    "do: Send cancellation notices"))
				    width      	625
				    height     	162
				    autoResize 	TRUE)
				(object StateView "StartState" "$UNNAMED$21" @116
				    location   	(176, 208)
				    quidu      	"33CFB328037A"
				    autoResize 	TRUE)
				(object TransView "" @117
				    quidu      	"33CFB32C0122"
				    client     	@116
				    supplier   	@114
				    line_style 	0
				    x_offset   	FALSE)
				(object StateView "EndState" "$UNNAMED$20" @118
				    location   	(544, 1408)
				    quidu      	"33CFB32F01E0"
				    autoResize 	TRUE)
				(object TransView "" @119
				    quidu      	"33CFB3330032"
				    client     	@115
				    supplier   	@118
				    line_style 	0
				    x_offset   	FALSE)
				(object StateView "Normal" "Registration" @120
				    location   	(1456, 736)
				    label      	(object ItemLabel
					Parent_View 	@120
					location   	(1456, 209)
					anchor_loc 	1
					nlines     	1
					max_width  	1151
					justify    	0
					label      	"Registration")
				    quidu      	"33CFB7EF0212"
				    width      	1163
				    height     	1144
				    autoResize 	TRUE)
				(object StateView "Normal" "Open" @121
				    Parent_View 	@120
				    location   	(1408, 560)
				    label      	(object ItemLabel
					Parent_View 	@121
					location   	(1408, 505)
					anchor_loc 	1
					nlines     	1
					max_width  	551
					justify    	0
					label      	"Open")
				    quidu      	"33CE595802E4"
				    compartment 	(object Compartment
					Parent_View 	@121
					location   	(1133, 545)
					anchor     	2
					nlines     	1
					max_width  	551
					justify    	0
					compartmentItems 	(list Compartment
					    "entry: Register student "))
				    width      	563
				    height     	200
				    autoResize 	TRUE)
				(object TransView "" @122
				    label      	(object SegLabel @123
					Parent_View 	@122
					location   	(861, 482)
					anchor_loc 	1
					nlines     	3
					max_width  	382
					justify    	0
					label      	"Add student / Set count = 0"
					pctDist    	0.500000
					height     	45
					orientation 	0)
				    quidu      	"33CE9153019A"
				    client     	@114
				    supplier   	@121
				    line_style 	0
				    x_offset   	FALSE)
				(object StateView "Normal" "Closed" @124
				    Parent_View 	@120
				    location   	(1456, 1088)
				    label      	(object ItemLabel
					Parent_View 	@124
					location   	(1456, 1024)
					anchor_loc 	1
					nlines     	1
					max_width  	625
					justify    	0
					label      	"Closed")
				    quidu      	"33CE595901FE"
				    compartment 	(object Compartment
					Parent_View 	@124
					location   	(1144, 1064)
					anchor     	2
					nlines     	2
					max_width  	625
					justify    	0
					compartmentItems 	(list Compartment
					    "entry: Finalize course"
					    "exit: ^CourseRoster.Create roster"))
				    width      	637
				    height     	219
				    autoResize 	TRUE)
				(object TransView "" @125
				    quidu      	"33CFB33600E6"
				    client     	@124
				    supplier   	@118
				    line_style 	0
				    x_offset   	FALSE)
				(object TransView "" @126
				    label      	(object SegLabel @127
					Parent_View 	@126
					location   	(814, 894)
					anchor_loc 	1
					nlines     	1
					max_width  	264
					justify    	0
					label      	"Cancel course"
					pctDist    	0.272124
					height     	69
					orientation 	0)
				    quidu      	"33CE9F3000FA"
				    client     	@120
				    supplier   	@115
				    line_style 	0
				    x_offset   	FALSE)
				(object TransView "" @128
				    label      	(object SegLabel @129
					Parent_View 	@128
					location   	(1540, 320)
					anchor_loc 	1
					nlines     	1
					max_width  	525
					justify    	0
					label      	"Add student[ Count < 10 ]"
					pctDist    	0.785311
					height     	59
					orientation 	1)
				    quidu      	"33CE9EFC0122"
				    client     	@121
				    supplier   	@121
				    vertices   	(list Points
					(1689, 559)
					(1732, 559)
					(1732, 378)
					(1507, 378)
					(1507, 460))
				    line_style 	3
				    origin_attachment 	(1689, 560)
				    terminal_attachment 	(1408, 660)
				    x_offset   	FALSE)
				(object TransView "" @130
				    label      	(object SegLabel @131
					Parent_View 	@130
					location   	(1717, 812)
					anchor_loc 	1
					nlines     	2
					max_width  	494
					justify    	0
					label      	"[ Count = 10 ] ^CourseReport.Create report"
					pctDist    	0.560486
					height     	285
					orientation 	0)
				    quidu      	"33CE9F39021C"
				    client     	@121
				    supplier   	@124
				    line_style 	0
				    x_offset   	FALSE))))
		    (object Class "Catalog"
			quid       	"33C4071603B6"
			documentation 	"Information about course offerings for a specified semester."
			used_nodes 	(list uses_relationship_list
			    (object Uses_Relationship
				quid       	"33CBE2840280"
				supplier   	"Course"
				quidu      	"33C16CC700D2")))
		    (object Association "$UNNAMED$22"
			quid       	"33CBC74203C0"
			roles      	(list role_list
			    (object Role "$UNNAMED$23"
				quid       	"33CBC743030C"
				supplier   	"ProfessorInformation"
				quidu      	"33C16CB301B8"
				client_cardinality 	(value cardinality "1")
				is_navigable 	TRUE)
			    (object Role "$UNNAMED$24"
				quid       	"33CBC743030D"
				supplier   	"CourseOffering"
				quidu      	"33C16CD9000A"
				client_cardinality 	(value cardinality "1..n"))))
		    (object Association "$UNNAMED$25"
			quid       	"33CBC75E0280"
			roles      	(list role_list
			    (object Role "$UNNAMED$26"
				quid       	"33CBC75F00BE"
				supplier   	"CourseOffering"
				quidu      	"33C16CD9000A"
				client_cardinality 	(value cardinality "4"))
			    (object Role "$UNNAMED$27"
				quid       	"33CBC75F01D6"
				supplier   	"StudentInformation"
				quidu      	"33C16C870370"
				client_cardinality 	(value cardinality "3..10")
				is_navigable 	TRUE)))
		    (object Association "$UNNAMED$28"
			quid       	"33CBD7DD0136"
			roles      	(list role_list
			    (object Role "$UNNAMED$29"
				quid       	"33CBD7DE001E"
				supplier   	"Course"
				quidu      	"33C16CC700D2"
				client_cardinality 	(value cardinality "1")
				is_aggregate 	TRUE)
			    (object Role "$UNNAMED$30"
				quid       	"33CBD7DE0244"
				supplier   	"CourseOffering"
				quidu      	"33C16CD9000A"
				client_cardinality 	(value cardinality "1..n")
				is_navigable 	TRUE))))
		logical_presentations 	(list unit_reference_list
		    (object ClassDiagram "Main"
			quid       	"33C406DE00A0"
			title      	"Main"
			zoom       	100
			max_height 	28350
			max_width  	21600
			origin_x   	0
			origin_y   	0
			items      	(list diagram_item_list
			    (object ClassView "Class" "Catalog" @132
				location   	(272, 544)
				label      	(object ItemLabel
				    Parent_View 	@132
				    location   	(185, 495)
				    nlines     	1
				    max_width  	172
				    justify    	0
				    label      	"Catalog")
				quidu      	"33C4071603B6"
				width      	186
				height     	122
				annotation 	8
				autoResize 	TRUE)
			    (object ClassView "Class" "ProfessorInformation" @133
				location   	(1296, 256)
				label      	(object ItemLabel
				    Parent_View 	@133
				    location   	(1094, 183)
				    nlines     	1
				    max_width  	403
				    justify    	0
				    label      	"ProfessorInformation")
				quidu      	"33C16CB301B8"
				width      	436
				height     	170
				annotation 	8
				autoResize 	TRUE)
			    (object ClassView "Class" "StudentInformation" @134
				location   	(320, 976)
				label      	(object ItemLabel
				    Parent_View 	@134
				    location   	(136, 903)
				    nlines     	1
				    max_width  	366
				    justify    	0
				    label      	"StudentInformation")
				quidu      	"33C16C870370"
				width      	396
				height     	170
				annotation 	8
				autoResize 	TRUE)
			    (object ClassView "Class" "Course" @135
				location   	(624, 192)
				label      	(object ItemLabel
				    Parent_View 	@135
				    location   	(540, 143)
				    nlines     	1
				    max_width  	166
				    justify    	0
				    label      	"Course")
				quidu      	"33C16CC700D2"
				height     	122
				annotation 	8
				autoResize 	TRUE)
			    (object ClassView "Class" "CourseOffering" @136
				location   	(1120, 784)
				label      	(object ItemLabel
				    Parent_View 	@136
				    location   	(961, 735)
				    nlines     	1
				    max_width  	316
				    justify    	0
				    label      	"CourseOffering")
				quidu      	"33C16CD9000A"
				wi