startstopstates.mdl

Rose初级教程

					    supplier   	"Open"
					    quidu      	"33CE595802E4"
					    Event      	(object Event "Add student")
					    condition  	"Count < 10"
					    sendEvent  	(object sendEvent
						quid       	"33CE9EFC0124"))
					(object State_Transition
					    quid       	"33CE9F230316"
					    supplier   	"Cancelled"
					    quidu      	"33CE595A0154"
					    Event      	(object Event "Cancel course")
					    sendEvent  	(object sendEvent
						quid       	"33CE9F230318"))
					(object State_Transition
					    quid       	"33CE9F39021C"
					    supplier   	"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       	"33CE9F3000FA"
					    supplier   	"Cancelled"
					    quidu      	"33CE595A0154"
					    Event      	(object Event "Cancel course")
					    sendEvent  	(object sendEvent
						quid       	"33CE9F3000FC"))
					(object State_Transition
					    quid       	"33CFB33600E6"
					    supplier   	"$UNNAMED$20"
					    quidu      	"33CFB32F01E0"
					    sendEvent  	(object sendEvent
						quid       	"33CFB33600E8")))
				    type       	"Normal"
				    actions    	(list action_list
					(object action "Finalize course"
					    quid       	"33CFAE5C01E0"
					    ActionTime 	(object ActionTime
						when       	"Activity"))
					(object sendEvent
					    quid       	"33CFAE890316"
					    ActionTime 	(object ActionTime
						when       	"Exit")
					    Event      	(object Event "Create roster")
					    target     	"CourseRoster")))
				(object State "Cancelled"
				    quid       	"33CE595A0154"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"33CFB3330032"
					    supplier   	"$UNNAMED$20"
					    quidu      	"33CFB32F01E0"
					    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")))
			statediagram 	(object State_Diagram ""
			    quid       	"33CE594F02E4"
			    title      	""
			    zoom       	100
			    max_height 	28350
			    max_width  	21600
			    origin_x   	0
			    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" "Open" @115
				    location   	(1296, 496)
				    label      	(object ItemLabel
					Parent_View 	@115
					location   	(1296, 441)
					anchor_loc 	1
					nlines     	1
					max_width  	551
					justify    	0
					label      	"Open")
				    quidu      	"33CE595802E4"
				    compartment 	(object Compartment
					Parent_View 	@115
					location   	(1021, 481)
					anchor     	2
					nlines     	1
					max_width  	551
					justify    	0
					compartmentItems 	(list Compartment
					    "entry: Register student "))
				    width      	563
				    height     	200
				    autoResize 	TRUE)
				(object StateView "Normal" "Closed" @116
				    location   	(1376, 1040)
				    label      	(object ItemLabel
					Parent_View 	@116
					location   	(1376, 976)
					anchor_loc 	1
					nlines     	1
					max_width  	625
					justify    	0
					label      	"Closed")
				    quidu      	"33CE595901FE"
				    compartment 	(object Compartment
					Parent_View 	@116
					location   	(1064, 1016)
					anchor     	2
					nlines     	2
					max_width  	625
					justify    	0
					compartmentItems 	(list Compartment
					    "do: Finalize course"
					    "exit: ^CourseRoster.Create roster"))
				    width      	637
				    height     	219
				    autoResize 	TRUE)
				(object StateView "Normal" "Cancelled" @117
				    location   	(368, 1008)
				    label      	(object ItemLabel
					Parent_View 	@117
					location   	(368, 972)
					anchor_loc 	1
					nlines     	1
					max_width  	613
					justify    	0
					label      	"Cancelled")
				    quidu      	"33CE595A0154"
				    compartment 	(object Compartment
					Parent_View 	@117
					location   	(62, 1012)
					anchor     	2
					nlines     	1
					max_width  	613
					justify    	0
					compartmentItems 	(list Compartment
					    "do: Send cancellation notices"))
				    width      	625
				    height     	162
				    autoResize 	TRUE)
				(object TransView "" @118
				    label      	(object SegLabel @119
					Parent_View 	@118
					location   	(802, 452)
					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   	@115
				    line_style 	0
				    x_offset   	FALSE)
				(object TransView "" @120
				    label      	(object SegLabel @121
					Parent_View 	@120
					location   	(869, 1068)
					anchor_loc 	1
					nlines     	1
					max_width  	264
					justify    	0
					label      	"Cancel course"
					pctDist    	0.500000
					height     	45
					orientation 	0)
				    quidu      	"33CE9F3000FA"
				    client     	@116
				    supplier   	@117
				    line_style 	0
				    x_offset   	FALSE)
				(object TransView "" @122
				    label      	(object SegLabel @123
					Parent_View 	@122
					location   	(1441, 281)
					anchor_loc 	1
					nlines     	1
					max_width  	525
					justify    	0
					label      	"Add student[ Count < 10 ]"
					pctDist    	0.495370
					height     	37
					orientation 	1)
				    quidu      	"33CE9EFC0122"
				    client     	@115
				    supplier   	@115
				    vertices   	(list Points
					(1564, 396)
					(1564, 317)
					(1314, 317)
					(1314, 396))
				    line_style 	3
				    origin_attachment 	(1564, 396)
				    terminal_attachment 	(1314, 396)
				    x_offset   	FALSE)
				(object TransView "" @124
				    label      	(object SegLabel @125
					Parent_View 	@124
					location   	(837, 800)
					anchor_loc 	1
					nlines     	1
					max_width  	264
					justify    	0
					label      	"Cancel course"
					pctDist    	0.500000
					height     	45
					orientation 	0)
				    quidu      	"33CE9F230316"
				    client     	@115
				    supplier   	@117
				    line_style 	0
				    x_offset   	FALSE)
				(object TransView "" @126
				    label      	(object SegLabel @127
					Parent_View 	@126
					location   	(1554, 694)
					anchor_loc 	1
					nlines     	2
					max_width  	494
					justify    	0
					label      	"[ Count = 10 ] ^CourseReport.Create report"
					pctDist    	0.386503
					height     	227
					orientation 	0)
				    quidu      	"33CE9F39021C"
				    client     	@115
				    supplier   	@116
				    line_style 	0
				    x_offset   	FALSE)
				(object StateView "StartState" "$UNNAMED$21" @128
				    location   	(176, 208)
				    quidu      	"33CFB328037A"
				    autoResize 	TRUE)
				(object TransView "" @129
				    quidu      	"33CFB32C0122"
				    client     	@128
				    supplier   	@114
				    line_style 	0
				    x_offset   	FALSE)
				(object StateView "EndState" "$UNNAMED$20" @130
				    location   	(832, 1344)
				    quidu      	"33CFB32F01E0"
				    autoResize 	TRUE)
				(object TransView "" @131
				    quidu      	"33CFB3330032"
				    client     	@117
				    supplier   	@130
				    line_style 	0
				    x_offset   	FALSE)
				(object TransView "" @132
				    quidu      	"33CFB33600E6"
				    client     	@116
				    supplier   	@130
				    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" @133
				location   	(272, 544)
				label      	(object ItemLabel
				    Parent_View 	@133
				    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" @134
				location   	(1296, 256)
				label      	(object ItemLabel
				    Parent_View 	@134
				    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" @135
				location   	(320, 976)
				label      	(object ItemLabel
				    Parent_View 	@135
				    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" @136
				location   	(624, 192)
				label      	(object ItemLabel
				    Parent_View 	@136
				    location   	(540, 143)
				    nlines     	1
				    max_width  	166
				    justify    	0
				    label      	"Course")
				quidu      	"33C16CC700D2"
				height     	122
				annotation 	8
				autoResize 	TRUE)
			    (object ClassView "Class" "CourseOffering" @137
				location   	(1120, 784)
				label      	(object ItemLabel
				    Parent_View 	@137
				    location   	(961, 735)
				    nlines     	1
				    max_width  	316
				    justify    	0
				    label      	"CourseOffering")
				quidu      	"33C16CD9000A"
				width      	342