(object Petal
    version    	43
    _written   	"Rose 6.1.9113.5"
    charSet    	0)

(object Design "Logical View"
    is_unit    	TRUE
    is_loaded  	TRUE
    quid       	"374681070289"
    defaults   	(object defaults
	rightMargin 	0.250000
	leftMargin 	0.250000
	topMargin  	0.250000
	bottomMargin 	0.500000
	pageOverlap 	0.250000
	clipIconLabels 	TRUE
	autoResize 	TRUE
	snapToGrid 	TRUE
	gridX      	16
	gridY      	16
	defaultFont 	(object Font
	    size       	10
	    face       	"Arial"
	    bold       	FALSE
	    italics    	FALSE
	    underline  	FALSE
	    strike     	FALSE
	    color      	0
	    default_color 	TRUE)
	showMessageNum 	3
	showClassOfObject 	TRUE
	notation   	"Unified")
    root_usecase_package 	(object Class_Category "Use Case View"
	quid       	"35A6224F02F0"
	external_docs 	(list external_doc_list
	    (object external_doc
		external_doc_path 	"$REGISTRATION\\Requirements\\Course Registration Problem Statement.doc")
	    (object external_doc
		external_doc_path 	"$REGISTRATION\\Requirements\\Glossary.doc")
	    (object external_doc
		external_doc_path 	"$REGISTRATION\\Requirements\\Supplementary Specifications.doc"))
	exportControl 	"Public"
	global     	TRUE
	logical_models 	(list unit_reference_list
	    (object Class "Student"
		quid       	"35A622C80212"
		stereotype 	"Actor")
	    (object Class "Professor"
		quid       	"35A622CF0190"
		stereotype 	"Actor")
	    (object Class "Registrar"
		quid       	"35A622D800F0"
		stereotype 	"Actor")
	    (object Class "Course Catalog"
		quid       	"35A6231A0136"
		stereotype 	"Actor"
		operations 	(list Operations
		    (object Operation "// get course offerings"
			quid       	"37C3F421026B"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)))
	    (object Class "Billing System"
		quid       	"35A627DB019A"
		stereotype 	"Actor")
	    (object UseCase "Register for Courses"
		quid       	"35A6230A0000"
		documentation 	"This use case allows a student to register for courses in the current semester. The student can also modify or delete course selections if changes are made within the add/drop period at the beginning of the semester.  The Billing System is notified of all registration updates. The Course Catalog provides a list of all the course offerings for the current semester."
		external_docs 	(list external_doc_list
		    (object external_doc
			external_doc_path 	"$REGISTRATION\\Requirements\\RegisterForCourses.doc"))
		statemachine 	(object State_Machine "State/Activity Model"
		    quid       	"37B82DD1035E"
		    states     	(list States
			(object State "$UNNAMED$0"
			    quid       	"37B82E14012A"
			    transitions 	(list transition_list
				(object State_Transition
				    quid       	"37B82E2500CA"
				    supplier   	"Select Course"
				    quidu      	"37B82E1902FE"
				    sendEvent  	(object sendEvent
					quid       	"37B82E2500CD")))
			    type       	"StartState")
			(object ActivityState "Select Course"
			    quid       	"37B82E1902FE"
			    transitions 	(list transition_list
				(object State_Transition
				    quid       	"37B82E2F0205"
				    supplier   	"$UNNAMED$1"
				    quidu      	"37B82E2A00FA"
				    sendEvent  	(object sendEvent
					quid       	"37B82E2F0208"))))
			(object SynchronizationState "$UNNAMED$1"
			    quid       	"37B82E2A00FA"
			    transitions 	(list transition_list
				(object State_Transition
				    quid       	"37B82E8A01E8"
				    supplier   	"Check Schedule"
				    quidu      	"37B82E6500C2"
				    sendEvent  	(object sendEvent
					quid       	"37B82E8A01EB"))
				(object State_Transition
				    quid       	"37B82E8F01F9"
				    supplier   	"Check Pre-requisites"
				    quidu      	"37B82E6C0271"
				    sendEvent  	(object sendEvent
					quid       	"37B82E8F01FC"))))
			(object ActivityState "Check Schedule"
			    quid       	"37B82E6500C2"
			    transitions 	(list transition_list
				(object State_Transition
				    quid       	"37B82E9F0238"
				    supplier   	"$UNNAMED$2"
				    quidu      	"37B82E9903B6"
				    sendEvent  	(object sendEvent
					quid       	"37B82E9F023B"))))
			(object ActivityState "Check Pre-requisites"
			    quid       	"37B82E6C0271"
			    transitions 	(list transition_list
				(object State_Transition
				    quid       	"37B82EA30392"
				    supplier   	"$UNNAMED$2"
				    quidu      	"37B82E9903B6"
				    sendEvent  	(object sendEvent
					quid       	"37B82EA3039D"))))
			(object SynchronizationState "$UNNAMED$2"
			    quid       	"37B82E9903B6"
			    transitions 	(list transition_list
				(object State_Transition
				    quid       	"37B82F0E02C8"
				    supplier   	"$UNNAMED$3"
				    quidu      	"37B82F2C014F"
				    sendEvent  	(object sendEvent
					quid       	"37B82F0E02CB"))))
			(object ActivityState "Assign to course"
			    quid       	"37B82EFB0022"
			    transitions 	(list transition_list
				(object State_Transition
				    quid       	"37B82FE3036F"
				    label      	""
				    supplier   	"Update schedule"
				    quidu      	"37B82F8903B6"
				    condition  	"student added to the course"
				    sendEvent  	(object sendEvent
					quid       	"37B82FE30372"))))
			(object ActivityState "Resolve conflicts"
			    quid       	"37B82F0302B9")
			(object SynchronizationState "$UNNAMED$3"
			    quid       	"37B82F2C014F"
			    transitions 	(list transition_list
				(object State_Transition
				    quid       	"37B82F510058"
				    label      	""
				    supplier   	"Assign to course"
				    quidu      	"37B82EFB0022"
				    condition  	"checks completed"
				    sendEvent  	(object sendEvent
					quid       	"37B82F51005B"))
				(object State_Transition
				    quid       	"37B82F5402F1"
				    label      	""
				    supplier   	"Resolve conflicts"
				    quidu      	"37B82F0302B9"
				    condition  	"checks failed"
				    sendEvent  	(object sendEvent
					quid       	"37B82F5402FC"))))
			(object ActivityState "Update schedule"
			    quid       	"37B82F8903B6"))
		    partitions 	(list Partitions)
		    statediagrams 	(list StateDiagrams
			(object ActivityDiagram "RegisterForCourses"
			    quid       	"37B82DD1039B"
			    title      	"RegisterForCourses"
			    zoom       	100
			    max_height 	28350
			    max_width  	21600
			    origin_x   	0
			    origin_y   	0
			    items      	(list diagram_item_list
				(object Swimlane "" @1
				    line_color 	3342489
				    width      	450)
				(object StateView "StartState" "$UNNAMED$0" @2
				    Parent_View 	@1
				    location   	(688, 48)
				    label      	(object ItemLabel
					Parent_View 	@2
					location   	(730, 18)
					nlines     	2
					max_width  	600
					label      	"")
				    icon_style 	"Icon"
				    line_color 	3342489
				    fill_color 	13434879
				    quidu      	"37B82E14012A"
				    autoResize 	TRUE)
				(object ActivityStateView "Select Course" @3
				    Parent_View 	@1
				    location   	(688, 208)
				    label      	(object ItemLabel
					Parent_View 	@3
					location   	(688, 209)
					fill_color 	13434879
					anchor_loc 	1
					nlines     	2
					max_width  	244
					justify    	0
					label      	"Select Course")
				    icon_style 	"Icon"
				    line_color 	3342489
				    fill_color 	13434879
				    quidu      	"37B82E1902FE"
				    autoResize 	TRUE)
				(object TransView "" @4
				    stereotype 	TRUE
				    line_color 	3342489
				    quidu      	"37B82E2500CA"
				    client     	@2
				    supplier   	@3
				    line_style 	0
				    x_offset   	FALSE)
				(object ActivityStateView "Check Schedule" @5
				    Parent_View 	@1
				    location   	(448, 512)
				    label      	(object ItemLabel
					Parent_View 	@5
					location   	(448, 513)
					fill_color 	13434879
					anchor_loc 	1
					nlines     	2
					max_width  	244
					justify    	0
					label      	"Check Schedule")
				    icon_style 	"Icon"
				    line_color 	3342489
				    fill_color 	13434879
				    quidu      	"37B82E6500C2"
				    autoResize 	TRUE)
				(object ActivityStateView "Check Pre-requisites" @6
				    Parent_View 	@1
				    location   	(992, 544)
				    label      	(object ItemLabel
					Parent_View 	@6
					location   	(992, 525)
					fill_color 	13434879
					anchor_loc 	1
					nlines     	2
					max_width  	256
					justify    	0
					label      	"Check Pre-requisites")
				    icon_style 	"Icon"
				    line_color 	3342489
				    fill_color 	13434879
				    quidu      	"37B82E6C0271"
				    width      	390
				    height     	144
				    autoResize 	TRUE)
				(object ActivityStateView "Assign to course" @7
				    Parent_View 	@1
				    location   	(432, 1056)
				    label      	(object ItemLabel
					Parent_View 	@7
					location   	(432, 1057)
					fill_color 	13434879
					anchor_loc 	1
					nlines     	2
					max_width  	244
					justify    	0
					label      	"Assign to course")
				    icon_style 	"Icon"
				    line_color 	3342489
				    fill_color 	13434879
				    quidu      	"37B82EFB0022"
				    autoResize 	TRUE)
				(object ActivityStateView "Resolve conflicts" @8
				    Parent_View 	@1
				    location   	(976, 1056)
				    label      	(object ItemLabel
					Parent_View 	@8
					location   	(976, 1057)
					fill_color 	13434879
					anchor_loc 	1
					nlines     	2
					max_width  	244
					justify    	0
					label      	"Resolve conflicts")
				    icon_style 	"Icon"
				    line_color 	3342489
				    fill_color 	13434879
				    quidu      	"37B82F0302B9"
				    autoResize 	TRUE)
				(object ActivityStateView "Update schedule" @9
				    Parent_View 	@1
				    location   	(432, 1344)
				    label      	(object ItemLabel
					Parent_View 	@9
					location   	(432, 1345)
					fill_color 	13434879
					anchor_loc 	1
					nlines     	2
					max_width  	244
					justify    	0
					label      	"Update schedule")
				    icon_style 	"Icon"
				    line_color 	3342489
				    fill_color 	13434879
				    quidu      	"37B82F8903B6"
				    autoResize 	TRUE)
				(object TransView "" @10
				    label      	(object SegLabel @11
					Parent_View 	@10
					location   	(477, 1200)
					anchor_loc 	1
					nlines     	1
					max_width  	578
					justify    	0
					label      	"[ student added to the course ]"
					pctDist    	0.500000
					height     	45
					orientation 	0)
				    stereotype 	TRUE
				    line_color 	3342489
				    quidu      	"37B82FE3036F"
				    client     	@7
				    supplier   	@9
				    line_style 	0
				    x_offset   	FALSE)
				(object SynchronizationView "$UNNAMED$1" @12
				    location   	(688, 368)
				    icon_style 	"Icon"
				    line_color 	3342489
				    fill_color 	13434879
				    quidu      	"37B82E2A00FA"
				    autoResize 	TRUE
				    sync_is_horizontal 	TRUE)
				(object TransView "" @13
				    stereotype 	TRUE
				    line_color 	3342489
				    quidu      	"37B82E2F0205"
				    client     	@3
				    supplier   	@12
				    line_style 	0
				    x_offset   	FALSE)
				(object TransView "" @14
				    stereotype 	TRUE
				    line_color 	3342489
				    quidu      	"37B82E8A01E8"
				    client     	@12
				    supplier   	@5
				    line_style 	0
				    x_offset   	FALSE)
				(object TransView "" @15
				    stereotype 	TRUE
				    line_color 	3342489
				    quidu      	"37B82E8F01F9"
				    client     	@12
				    supplier   	@6
				    line_style 	0
				    x_offset   	FALSE)
				(object SynchronizationView "$UNNAMED$2" @16
				    location   	(672, 736)
				    icon_style 	"Icon"
				    line_color 	3342489
				    fill_color 	13434879
				    quidu      	"37B82E9903B6"
				    autoResize 	TRUE
				    sync_is_horizontal 	TRUE)
				(object TransView "" @17
				    stereotype 	TRUE
				    line_color 	3342489
				    quidu      	"37B82E9F0238"
				    client     	@5
				    supplier   	@16
				    vertices   	(list Points
					(503, 567)
					(572, 636)
					(572, 727))
				    line_style 	0
				    x_offset   	FALSE)
				(object TransView "" @18
				    stereotype 	TRUE
				    line_color 	3342489
				    quidu      	"37B82EA30392"
				    client     	@6
				    supplier   	@16
				    vertices   	(list Points
					(837, 606)
					(765, 636)
					(765, 727))
				    line_style 	0
				    x_offset   	FALSE)
				(object SynchronizationView "$UNNAMED$3" @19
				    location   	(672, 832)
				    icon_style 	"Icon"
				    line_color 	3342489
				    fill_color 	13434879
				    quidu      	"37B82F2C014F"
				    autoResize 	TRUE
				    sync_is_horizontal 	TRUE)
				(object TransView "" @20
				    stereotype 	TRUE
				    line_color 	3342489
				    quidu      	"37B82F0E02C8"
				    client     	@16
				    supplier   	@19
				    line_style 	0
				    x_offset   	FALSE)
				(object TransView "" @21
				    label      	(object SegLabel @22
					Parent_View 	@21
					location   	(388, 932)
					anchor_loc 	1
					nlines     	1
					max_width  	450
					justify    	0
					label      	"[ checks completed ]"
					pctDist    	1.201614
					height     	122
					orientation 	1)
				    stereotype 	TRUE
				    line_color 	3342489