(object Petal
    version    	47
    _written   	"Rose 8.2.0310.2800"
    charSet    	134)

(object Design "顯示邏輯"
    is_unit    	TRUE
    is_loaded  	TRUE
    quid       	"36D487460258"
    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       	9
	    face       	"Arial"
	    charSet    	134
	    bold       	FALSE
	    italics    	FALSE
	    underline  	FALSE
	    strike     	FALSE
	    color      	0
	    default_color 	TRUE)
	showMessageNum 	1
	showClassOfObject 	TRUE
	notation   	"Unified")
    root_usecase_package 	(object Class_Category "顯示用例"
	quid       	"34DBB4830142"
	documentation 	
|The Use Case View organizes the Use-Case Model and the optional Business Use-Case Model.
|
	
	exportControl 	"Public"
	global     	TRUE
	logical_models 	(list unit_reference_list
	    (object Class_Category "Business Use-Case Model"
		quid       	"35B677D701B8"
		documentation 	
|Optional Model:
|The business modeling workflow in Rational Unified Process produces two models: the business use-case model, and the business object model. Both show the business 
|processes, but different aspects of them. In the business use-case model each business use case represents a business process, described (text and/or activity diagrams) from an "external" view point without worrying about who does what to whom inside of the organization. 
|In the business object model, you include realizations of each business use case to show how workers and entities collaborate to perform the process. You do that using class diagrams, activity diagrams with swimlanes, collaboration diagrams, and/or interaction diagrams.
|
|<Any additional description of the Business Use Case Model, such as modeling conventions that the reader/reviewer may need to understand the model, should be described here.>
		
		exportControl 	"Public"
		logical_models 	(list unit_reference_list
		    (object Class "Borrower"
			quid       	"4769C95500A3"
			documentation 	"讀者"
			stereotype 	"Actor"
			visible_modules 	(list dependency_list
			    (object Dependency_Relationship
				quid       	"4769CA930381"
				supplier   	"顯示用例::Business Use-Case Model::Search for book"
				quidu      	"4769C7D90287"))
			statemachine 	(object State_Machine "State/Activity Model3"
			    quid       	"476A52DB0119"
			    states     	(list States
				(object State "Now Borrower"
				    quid       	"476A52E000CB"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"476A530D0232"
					    supplier   	"Account Available"
					    quidu      	"476A52E102FD"
					    sendEvent  	(object sendEvent
						quid       	"476A530D0235")))
				    type       	"Normal")
				(object State "Account Available"
				    quid       	"476A52E102FD"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"476A530F0242"
					    label      	""
					    supplier   	"Account Unavailable"
					    quidu      	"476A52E30177"
					    Event      	(object Event "the number of book equal or extends the linit"
						quid       	"476A530F0243")
					    sendEvent  	(object sendEvent
						quid       	"476A530F0245"))
					(object State_Transition
					    quid       	"476A5328036B"
					    label      	""
					    supplier   	"Account Available"
					    quidu      	"476A52E102FD"
					    Event      	(object Event "the number of book is OK"
						quid       	"476A5328036C")
					    sendEvent  	(object sendEvent
						quid       	"476A5328036E")))
				    type       	"Normal")
				(object State "Account Unavailable"
				    quid       	"476A52E30177"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"476A5312004E"
					    supplier   	"Delete Account"
					    quidu      	"476A52E5001F"
					    sendEvent  	(object sendEvent
						quid       	"476A53120051"))
					(object State_Transition
					    quid       	"476A533502EE"
					    label      	""
					    supplier   	"Account Available"
					    quidu      	"476A52E102FD"
					    Event      	(object Event "return some book"
						quid       	"476A533502EF")
					    sendEvent  	(object sendEvent
						quid       	"476A533502F1")))
				    type       	"Normal")
				(object State "Delete Account"
				    quid       	"476A52E5001F"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"476A5345032C"
					    supplier   	"$UNNAMED$0"
					    quidu      	"476A533F004E"
					    sendEvent  	(object sendEvent
						quid       	"476A5345032F")))
				    type       	"Normal")
				(object ActivityState "NewActivity"
				    quid       	"476A52E70232")
				(object State "$UNNAMED$1"
				    quid       	"476A533D009C"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"476A5342038A"
					    supplier   	"Now Borrower"
					    quidu      	"476A52E000CB"
					    sendEvent  	(object sendEvent
						quid       	"476A5342038D")))
				    type       	"StartState")
				(object State "$UNNAMED$0"
				    quid       	"476A533F004E"
				    type       	"EndState"))
			    partitions 	(list Partitions)
			    objects    	(list Objects)
			    statediagrams 	(list StateDiagrams
				(object ActivityDiagram "NewDiagram"
				    quid       	"476A52DB01B5"
				    title      	"NewDiagram"
				    zoom       	100
				    max_height 	28350
				    max_width  	21600
				    origin_x   	156
				    origin_y   	0
				    items      	(list diagram_item_list
					(object Swimlane "" @1
					    line_color 	3342489
					    width      	450)
					(object StateView "Normal" "Now Borrower" @2
					    Parent_View 	@1
					    location   	(352, 416)
					    font       	(object Font
						size       	9
						face       	"Arial"
						charSet    	134
						bold       	FALSE
						italics    	FALSE
						underline  	FALSE
						strike     	FALSE
						color      	0
						default_color 	TRUE)
					    label      	(object ItemLabel
						Parent_View 	@2
						location   	(352, 392)
						fill_color 	13434879
						anchor_loc 	1
						nlines     	2
						max_width  	204
						justify    	0
						label      	"Now Borrower")
					    icon_style 	"Icon"
					    line_color 	3342489
					    fill_color 	13434879
					    quidu      	"476A52E000CB"
					    autoResize 	TRUE)
					(object StateView "Normal" "Account Available" @3
					    Parent_View 	@1
					    location   	(1024, 416)
					    font       	(object Font
						size       	9
						face       	"Arial"
						charSet    	134
						bold       	FALSE
						italics    	FALSE
						underline  	FALSE
						strike     	FALSE
						color      	0
						default_color 	TRUE)
					    label      	(object ItemLabel
						Parent_View 	@3
						location   	(1024, 392)
						fill_color 	13434879
						anchor_loc 	1
						nlines     	2
						max_width  	204
						justify    	0
						label      	"Account Available")
					    icon_style 	"Icon"
					    line_color 	3342489
					    fill_color 	13434879
					    quidu      	"476A52E102FD"
					    autoResize 	TRUE)
					(object TransView "" @4
					    stereotype 	TRUE
					    line_color 	3342489
					    quidu      	"476A530D0232"
					    client     	@2
					    supplier   	@3
					    line_style 	0
					    x_offset   	FALSE)
					(object TransView "" @5
					    font       	(object Font
						size       	9
						face       	"Arial"
						charSet    	134
						bold       	FALSE
						italics    	FALSE
						underline  	FALSE
						strike     	FALSE
						color      	0
						default_color 	TRUE)
					    label      	(object SegLabel @6
						Parent_View 	@5
						location   	(1056, 65)
						font       	(object Font
						    size       	9
						    face       	"Arial"
						    charSet    	134
						    bold       	FALSE
						    italics    	FALSE
						    underline  	FALSE
						    strike     	FALSE
						    color      	0
						    default_color 	TRUE)
						anchor_loc 	1
						nlines     	1
						max_width  	450
						justify    	0
						label      	"the number of book is OK"
						pctDist    	0.500000
						height     	45
						orientation 	0)
					    stereotype 	TRUE
					    line_color 	3342489
					    quidu      	"476A5328036B"
					    client     	@3
					    supplier   	@3
					    vertices   	(list Points
						(1109, 349)
						(1109, 109)
						(943, 109)
						(943, 349))
					    line_style 	3
					    origin_attachment 	(1109, 349)
					    terminal_attachment 	(943, 349)
					    x_offset   	FALSE)
					(object StateView "Normal" "Account Unavailable" @7
					    Parent_View 	@1
					    location   	(1856, 416)
					    font       	(object Font
						size       	9
						face       	"Arial"
						charSet    	134
						bold       	FALSE
						italics    	FALSE
						underline  	FALSE
						strike     	FALSE
						color      	0
						default_color 	TRUE)
					    label      	(object ItemLabel
						Parent_View 	@7
						location   	(1856, 393)
						fill_color 	13434879
						anchor_loc 	1
						nlines     	2
						max_width  	204
						justify    	0
						label      	"Account Unavailable")
					    icon_style 	"Icon"
					    line_color 	3342489
					    fill_color 	13434879
					    quidu      	"476A52E30177"
					    autoResize 	TRUE)
					(object TransView "" @8
					    font       	(object Font
						size       	9
						face       	"Arial"
						charSet    	134
						bold       	FALSE
						italics    	FALSE
						underline  	FALSE
						strike     	FALSE
						color      	0
						default_color 	TRUE)
					    label      	(object SegLabel @9
						Parent_View 	@8
						location   	(1474, 328)
						font       	(object Font
						    size       	9
						    face       	"Arial"
						    charSet    	134
						    bold       	FALSE
						    italics    	FALSE
						    underline  	FALSE
						    strike     	FALSE
						    color      	0
						    default_color 	TRUE)
						anchor_loc 	1
						nlines     	2
						max_width  	454
						justify    	0
						label      	"the number of book equal or extends the linit"
						pctDist    	0.577957
						height     	89
						orientation 	0)
					    stereotype 	TRUE
					    line_color 	3342489
					    quidu      	"476A530F0242"
					    client     	@3
					    supplier   	@7
					    line_style 	0
					    x_offset   	FALSE)
					(object StateView "Normal" "Delete Account" @10
					    Parent_View 	@1
					    location   	(1856, 752)
					    font       	(object Font
						size       	9
						face       	"Arial"
						charSet    	134
						bold       	FALSE
						italics    	FALSE
						underline  	FALSE
						strike     	FALSE
						color      	0
						default_color 	TRUE)
					    label      	(object ItemLabel
						Parent_View 	@10
						location   	(1856, 729)
						fill_color 	13434879
						anchor_loc 	1
						nlines     	2
						max_width  	204
						justify    	0
						label      	"Delete Account")
					    icon_style 	"Icon"
					    line_color 	3342489
					    fill_color 	13434879
					    quidu      	"476A52E5001F"
					    autoResize 	TRUE)
					(object StateView "StartState" "$UNNAMED$1" @11
					    Parent_View 	@1
					    location   	(352, 144)
					    font       	(object Font
						size       	9
						face       	"Arial"
						charSet    	134
						bold       	FALSE
						italics    	FALSE
						underline  	FALSE
						strike     	FALSE
						color      	0
						default_color 	TRUE)
					    label      	(object ItemLabel
						Parent_View 	@11
						location   	(394, 114)
						nlines     	2
						max_width  	600
						label      	"")
					    icon_style 	"Icon"
					    line_color 	3342489
					    quidu      	"476A533D009C"
					    autoResize 	TRUE)
					(object StateView "EndState" "$UNNAMED$0" @12
					    Parent_View 	@1
					    location   	(1856, 1008)
					    font       	(object Font
						size       	9
						face       	"Arial"
						charSet    	134
						bold       	FALSE
						italics    	FALSE
						underline  	FALSE
						strike     	FALSE
						color      	0
						default_color 	TRUE)
					    label      	(object ItemLabel
						Parent_View 	@12
						location   	(1910, 966)
						nlines     	2
						max_width  	600
						label      	"")
					    icon_style 	"Icon"
					    line_color 	3342489
					    quidu      	"476A533F004E"
					    autoResize 	TRUE)
					(object TransView "" @13
					    stereotype 	TRUE