coursereg(analysis).mdl

需求调查的选课系统的需求和模型

				uid        	0))
			class_attributes 	(list class_attribute_list
			    (object ClassAttribute "name"
				quid       	"35E9A8EA00BE")
			    (object ClassAttribute "address"
				quid       	"374D92DE019A")
			    (object ClassAttribute "studentID"
				quid       	"374D931301DC"))
			statemachine 	(object State_Machine ""
			    quid       	"35E97CBB03A2"
			    states     	(list States
				(object State "$UNNAMED$43"
				    quid       	"35E97CC3023A"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"35E97D71012C"
					    supplier   	"Applied"
					    quidu      	"35E97D5C02BC"
					    sendEvent  	(object sendEvent
						quid       	"35E97D7101CE")))
				    type       	"StartState")
				(object State "Enrolled"
				    quid       	"35E97CC900DC"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"35E97E8800D2"
					    label      	""
					    supplier   	"Hiatus"
					    quidu      	"35E97E7702A8"
					    Event      	(object Event "leave"
						quid       	"35E97E8800D3")
					    sendEvent  	(object sendEvent
						quid       	"35E97E8800D5")))
				    statemachine 	(object State_Machine ""
					quid       	"35E97CC900DD"
					states     	(list States
					    (object State "Freshman"
						quid       	"35E97CD40366"
						transitions 	(list transition_list
						    (object State_Transition
							quid       	"35E97DF50262"
							label      	""
							supplier   	":Enrolled:Sophmore"
							quidu      	"35E97CDE02BC"
							condition  	"credits >= 28 "
							sendEvent  	(object sendEvent
							    quid       	"35E97DF5030C")))
						type       	"Normal")
					    (object State "Sophmore"
						quid       	"35E97CDE02BC"
						transitions 	(list transition_list
						    (object State_Transition
							quid       	"35E97DFC0212"
							label      	""
							supplier   	":Enrolled:Junior"
							quidu      	"35E97CF503DE"
							condition  	"credits >= 56"
							sendEvent  	(object sendEvent
							    quid       	"35E97DFC0215")))
						type       	"Normal")
					    (object State "Junior"
						quid       	"35E97CF503DE"
						transitions 	(list transition_list
						    (object State_Transition
							quid       	"35E97E05010E"
							label      	""
							supplier   	":Enrolled:Senior"
							quidu      	"35E97CFA02C6"
							condition  	"credits >= 84"
							sendEvent  	(object sendEvent
							    quid       	"35E97E050111")))
						type       	"Normal")
					    (object State "Senior"
						quid       	"35E97CFA02C6"
						transitions 	(list transition_list
						    (object State_Transition
							quid       	"35E97D3B0208"
							label      	""
							supplier   	"Graduated"
							quidu      	"35E97D2000E6"
							condition  	"credits >= 112"
							sendEvent  	(object sendEvent
							    quid       	"35E97D3B02B3")))
						type       	"Normal")
					    (object State "$UNNAMED$44"
						quid       	"35E97DE80254"
						type       	"History")
					    (object State "$UNNAMED$45"
						quid       	"35E97F7402D0"
						transitions 	(list transition_list
						    (object State_Transition
							quid       	"35E97F78030C"
							supplier   	":Enrolled:Freshman"
							quidu      	"35E97CD40366"
							sendEvent  	(object sendEvent
							    quid       	"35E97F78030F")))
						type       	"StartState"))
					partitions 	(list Partitions)
					statediagrams 	(list StateDiagrams))
				    type       	"Normal")
				(object State "Graduated"
				    quid       	"35E97D2000E6"
				    type       	"Normal")
				(object State "Applied"
				    quid       	"35E97D5C02BC"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"35E97D7700AA"
					    label      	""
					    supplier   	"$UNNAMED$46"
					    quidu      	"35E97D730226"
					    condition  	"rejected"
					    sendEvent  	(object sendEvent
						quid       	"35E97D7700AD"))
					(object State_Transition
					    quid       	"35E97D7B01FE"
					    label      	""
					    supplier   	"Enrolled"
					    quidu      	"35E97CC900DC"
					    condition  	"accepted"
					    sendEvent  	(object sendEvent
						quid       	"35E97D7B0201")))
				    actions    	(list action_list
					(object action "Review Application"
					    quid       	"35E97DB50190"
					    ActionTime 	(object ActionTime
						when       	"Activity")))
				    type       	"Normal")
				(object State "$UNNAMED$46"
				    quid       	"35E97D730226"
				    type       	"EndState")
				(object State "Hiatus"
				    quid       	"35E97E7702A8"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"35E97E8D0140"
					    supplier   	"$UNNAMED$46"
					    quidu      	"35E97D730226"
					    sendEvent  	(object sendEvent
						quid       	"35E97E8D0143"))
					(object State_Transition
					    quid       	"35E97E910226"
					    label      	""
					    supplier   	"Enrolled"
					    quidu      	"35E97CC900DC"
					    Event      	(object Event "return"
						quid       	"35E97E910227")
					    sendEvent  	(object sendEvent
						quid       	"35E97E910229")))
				    actions    	(list action_list
					(object action "wait 4 years"
					    quid       	"35E97EA8030C"
					    ActionTime 	(object ActionTime
						when       	"Activity")))
				    type       	"Normal"))
			    partitions 	(list Partitions)
			    statediagrams 	(list StateDiagrams
				(object State_Diagram ""
				    quid       	"35E97CBB03DE"
				    title      	""
				    zoom       	90
				    max_height 	28350
				    max_width  	21600
				    origin_x   	0
				    origin_y   	0
				    items      	(list diagram_item_list
					(object StateView "StartState" "$UNNAMED$43" @103
					    location   	(112, 80)
					    label      	(object ItemLabel
						Parent_View 	@103
						location   	(154, 50)
						nlines     	1
						max_width  	600
						label      	"")
					    icon_style 	"Icon"
					    line_color 	3342489
					    fill_color 	13434879
					    quidu      	"35E97CC3023A"
					    autoResize 	TRUE)
					(object StateView "Normal" "Enrolled" @104
					    location   	(1184, 816)
					    label      	(object ItemLabel
						Parent_View 	@104
						location   	(1184, 403)
						fill_color 	13434879
						anchor_loc 	1
						nlines     	1
						max_width  	689
						justify    	0
						label      	"Enrolled")
					    icon_style 	"Icon"
					    line_color 	3342489
					    fill_color 	13434879
					    quidu      	"35E97CC900DC"
					    width      	701
					    height     	917
					    autoResize 	TRUE)
					(object StateView "Normal" "Freshman" @105
					    Parent_View 	@104
					    location   	(1216, 576)
					    label      	(object ItemLabel
						Parent_View 	@105
						location   	(1216, 554)
						fill_color 	13434879
						anchor_loc 	1
						nlines     	1
						max_width  	288
						justify    	0
						label      	"Freshman")
					    icon_style 	"Icon"
					    line_color 	3342489
					    fill_color 	13434879
					    quidu      	"35E97CD40366"
					    autoResize 	TRUE)
					(object StateView "Normal" "Sophmore" @106
					    Parent_View 	@104
					    location   	(1215, 754)
					    label      	(object ItemLabel
						Parent_View 	@106
						location   	(1215, 732)
						fill_color 	13434879
						anchor_loc 	1
						nlines     	1
						max_width  	288
						justify    	0
						label      	"Sophmore")
					    icon_style 	"Icon"
					    line_color 	3342489
					    fill_color 	13434879
					    quidu      	"35E97CDE02BC"
					    autoResize 	TRUE)
					(object StateView "Normal" "Junior" @107
					    Parent_View 	@104
					    location   	(1215, 930)
					    label      	(object ItemLabel
						Parent_View 	@107
						location   	(1215, 908)
						fill_color 	13434879
						anchor_loc 	1
						nlines     	1
						max_width  	288
						justify    	0
						label      	"Junior")
					    icon_style 	"Icon"
					    line_color 	3342489
					    fill_color 	13434879
					    quidu      	"35E97CF503DE"
					    autoResize 	TRUE)
					(object StateView "Normal" "Senior" @108
					    Parent_View 	@104
					    location   	(1216, 1104)
					    label      	(object ItemLabel
						Parent_View 	@108
						location   	(1216, 1082)
						fill_color 	13434879
						anchor_loc 	1
						nlines     	1
						max_width  	288
						justify    	0
						label      	"Senior")
					    icon_style 	"Icon"
					    line_color 	3342489
					    fill_color 	13434879
					    quidu      	"35E97CFA02C6"
					    autoResize 	TRUE)
					(object StateView "Normal" "Graduated" @109
					    location   	(1120, 1600)
					    label      	(object ItemLabel
						Parent_View 	@109
						location   	(1120, 1578)
						fill_color 	13434879
						anchor_loc 	1
						nlines     	1
						max_width  	288
						justify    	0
						label      	"Graduated")
					    icon_style 	"Icon"
					    line_color 	3342489
					    fill_color 	13434879
					    quidu      	"35E97D2000E6"
					    autoResize 	TRUE)
					(object TransView "" @110
					    label      	(object SegLabel @111
						Parent_View 	@110
						location   	(1211, 1361)
						anchor_loc 	1
						nlines     	1
						max_width  	894
						justify    	0
						label      	"[ credits >= 112 ]"
						pctDist    	0.500000
						height     	45
						orientation 	0)
					    stereotype 	TRUE
					    line_color 	3342489
					    quidu      	"35E97D3B0208"
					    client     	@108
					    supplier   	@109
					    line_style 	0
					    x_offset   	FALSE)
					(object StateView "Normal" "Applied" @112
					    location   	(304, 224)
					    label      	(object ItemLabel
						Parent_View 	@112
						location   	(304, 202)
						fill_color 	13434879
						anchor_loc 	1
						nlines     	1
						max_width  	409
						justify    	0
						label      	"Applied")
					    icon_style 	"Icon"
					    line_color 	3342489
					    fill_color 	13434879
					    quidu      	"35E97D5C02BC"
					    width      	421
					    autoResize 	TRUE)
					(object TransView "" @113
					    stereotype 	TRUE
					    line_color 	3342489
					    quidu      	"35E97D71012C"
					    client     	@103
					    supplier   	@112
					    line_style 	0
					    x_offset   	FALSE)
					(object StateView "EndState" "$UNNAMED$46" @114
					    location   	(224, 704)
					    label      	(object ItemLabel
						Parent_View 	@114
						location   	(278, 662)
						nlines     	1
						max_width  	600
						label      	"")
					    icon_style 	"Icon"
					    line_color 	3342489
					    fill_color 	13434879
					    quidu      	"35E97D730226"
					    autoResize 	TRUE)
					(object TransView "" @115
					    label      	(object SegLabel @116
						Parent_View 	@115
						location   	(305, 484)
						anchor_loc 	1
						nlines     	1
						max_width  	558
						justify    	0
						label      	"[ rejected ]"
						pctDist    	0.500000
						height     	45
						orientation 	0)
					    stereotype 	TRUE
					    line_color 	3342489
					    quidu      	"35E97D7700AA"
					    client     	@112
					    supplier   	@114
					    line_style 	0
					    x_offset   	FALSE)
					(object TransView "" @117
					    label      	(object SegLabel @118
						Parent_View 	@117
						location   	(643, 399)
						anchor_loc 	1
						nlines     	1
						max_width  	618
						justify    	0
						label      	"[ accepted ]"
						pctDist    	0.500000
						height     	45
						orientation 	0)
					    stereotype 	TRUE
					    line_color 	3342489
					    quidu      	"35E97D7B01FE"
					    client     	@112
					    supplier   	@104
					    line_style 	0
					    x_offset   	FALSE)
					(object StateView "History" "$UNNAMED$44" @119
					    Parent_View 	@104
					    location   	(912, 1184)
					    icon_style 	"Icon"
					    line_color 	3342489
					    fill_color 	13434879
					    quidu      	"35E97DE80254"
					    autoResize 	TRUE)
					(object TransView "" @120
					    label      	(object SegLabel @121
						Parent_View 	@120
						location   	(1548, 627)
						anchor_loc 	1
						nlines     	1
						max_width  	858
						justify    	0
						label      	"[ credits >= 28  ]"
						pctDist    	0.500000
						height     	45
						orientation 	0)
					    stereotype 	TRUE
					    line_color 	3342489
					    quidu      	"35E97DF50262"
					    client     	@105
					    supplier   	@106
					    vertices   	(list Points
						(1366, 619)
						(1535, 669)
						(1365, 714))
					    line_style 	0
					    x_offset   	FALSE)
					(object TransView "" @122
					    label      	(object SegLabel @123
						Parent_View 	@122
						location   	(1546, 858)
						anchor_loc 	1
						nlines     	1
						max_width  	822
						justify    	0
						label      	"[ credits >= 56 ]"
						pctDist    	0.500000
						height     	45
						ori