minivs.mdl

UML软件建模与实际规划-武汉大学软件学院课件。

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

(object Design "Logical View"
    is_unit    	TRUE
    is_loaded  	TRUE
    attributes 	(list Attribute_Set
	(object Attribute
	    tool       	"Java"
	    name       	"IDE"
	    value      	"Internal Editor")
	(object Attribute
	    tool       	"Java"
	    name       	"UserDefineTagName1"
	    value      	"")
	(object Attribute
	    tool       	"Java"
	    name       	"UserDefineTagText1"
	    value      	"")
	(object Attribute
	    tool       	"Java"
	    name       	"UserDefineTagApply1"
	    value      	"")
	(object Attribute
	    tool       	"Java"
	    name       	"UserDefineTagName2"
	    value      	"")
	(object Attribute
	    tool       	"Java"
	    name       	"UserDefineTagText2"
	    value      	"")
	(object Attribute
	    tool       	"Java"
	    name       	"UserDefineTagApply2"
	    value      	"")
	(object Attribute
	    tool       	"Java"
	    name       	"UserDefineTagName3"
	    value      	"")
	(object Attribute
	    tool       	"Java"
	    name       	"UserDefineTagText3"
	    value      	"")
	(object Attribute
	    tool       	"Java"
	    name       	"UserDefineTagApply3"
	    value      	""))
    quid       	"48552E9201F4"
    defaults   	(object defaults
	rightMargin 	0.250000
	leftMargin 	0.250000
	topMargin  	0.250000
	bottomMargin 	0.500000
	pageOverlap 	0.250000
	clipIconLabels 	TRUE
	autoResize 	TRUE
	snapToGrid 	FALSE
	gridX      	0
	gridY      	0
	defaultFont 	(object Font
	    size       	12
	    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       	"48552E9201F6"
	exportControl 	"Public"
	global     	TRUE
	logical_models 	(list unit_reference_list)
	logical_presentations 	(list unit_reference_list
	    (object UseCaseDiagram "Main"
		quid       	"48552E920214"
		title      	"Main"
		zoom       	100
		max_height 	28350
		max_width  	21600
		origin_x   	0
		origin_y   	0
		items      	(list diagram_item_list))))
    root_category 	(object Class_Category "Logical View"
	quid       	"48552E9201F5"
	exportControl 	"Public"
	global     	TRUE
	subsystem  	"Component View"
	quidu      	"48552E9201F7"
	logical_models 	(list unit_reference_list)
	statemachine 	(object State_Machine "State/Activity Model"
	    quid       	"485530D303C8"
	    states     	(list States
		(object State "$UNNAMED$0"
		    quid       	"485543B8032C"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"4855440E030D"
			    label      	""
			    supplier   	"进货"
			    quidu      	"485543F6006D"
			    Event      	(object Event "采购"
				quid       	"4855440E031C")
			    sendEvent  	(object sendEvent
				quid       	"4855440E031E"))
			(object State_Transition
			    quid       	"4855498D0232"
			    supplier   	"$UNNAMED$1"
			    quidu      	"48554981008C"
			    sendEvent  	(object sendEvent
				quid       	"4855498D0235")))
		    type       	"StartState")
		(object State "进货"
		    quid       	"485543F6006D"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"485546420261"
			    label      	""
			    supplier   	"存货"
			    quidu      	"4855462501B5"
			    Event      	(object Event "放入仓库"
				quid       	"485546420262")
			    condition  	"检验"
			    sendEvent  	(object sendEvent
				quid       	"485546420264")))
		    type       	"Normal")
		(object State "存货"
		    quid       	"4855462501B5"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"485546A2006D"
			    label      	""
			    supplier   	"订货"
			    quidu      	"4855468E037A"
			    Event      	(object Event "顾客订货"
				quid       	"485546A2006E")
			    condition  	"检测是否已注册"
			    sendEvent  	(object sendEvent
				quid       	"485546A20070")))
		    type       	"Normal")
		(object State "订货"
		    quid       	"4855468E037A"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"4855471601E4"
			    label      	""
			    supplier   	"销售"
			    quidu      	"4855470E03A9"
			    Event      	(object Event "顾客购买"
				quid       	"4855471601E5")
			    sendEvent  	(object sendEvent
				quid       	"4855471601E7")))
		    type       	"Normal")
		(object State "销售"
		    quid       	"4855470E03A9"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"4855472D038A"
			    label      	""
			    supplier   	"存货"
			    quidu      	"4855462501B5"
			    Event      	(object Event "退货"
				quid       	"4855472D038B")
			    sendEvent  	(object sendEvent
				quid       	"4855472D038D"))
			(object State_Transition
			    quid       	"4855473D02FD"
			    label      	""
			    supplier   	"$UNNAMED$2"
			    quidu      	"4855473A01A5"
			    Event      	(object Event "售出"
				quid       	"4855473D02FE")
			    sendEvent  	(object sendEvent
				quid       	"4855473D0300")))
		    type       	"Normal")
		(object State "$UNNAMED$2"
		    quid       	"4855473A01A5"
		    type       	"EndState")
		(object SynchronizationState "$UNNAMED$1"
		    quid       	"48554981008C"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"48554A950261"
			    supplier   	"检查商品"
			    quidu      	"485549B602DE"
			    sendEvent  	(object sendEvent
				quid       	"48554A950264"))
			(object State_Transition
			    quid       	"48554AFA030D"
			    supplier   	"购买确认"
			    quidu      	"48554AA4009C"
			    sendEvent  	(object sendEvent
				quid       	"48554AFA0310"))
			(object State_Transition
			    quid       	"48554CBF01B5"
			    supplier   	"退货确认"
			    quidu      	"48554BBE0280"
			    sendEvent  	(object sendEvent
				quid       	"48554CBF01B8"))))
		(object State "检查商品"
		    quid       	"485549B602DE"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"48554A2D00DA"
			    label      	""
			    supplier   	"等待"
			    quidu      	"485549F40000"
			    Event      	(object Event "货存不足"
				quid       	"48554A2D00DB")
			    sendEvent  	(object sendEvent
				quid       	"48554A2D00DD"))
			(object State_Transition
			    quid       	"48554A7202FD"
			    label      	""
			    supplier   	"办理订货"
			    quidu      	"48554A010157"
			    Event      	(object Event "货品足量"
				quid       	"48554A7202FE")
			    sendEvent  	(object sendEvent
				quid       	"48554A720300")))
		    type       	"Normal")
		(object State "等待"
		    quid       	"485549F40000"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"48554A4A0000"
			    supplier   	"等待"
			    quidu      	"485549F40000"
			    sendEvent  	(object sendEvent
				quid       	"48554A4A0003"))
			(object State_Transition
			    quid       	"48554A580128"
			    label      	""
			    supplier   	"办理订货"
			    quidu      	"48554A010157"
			    Event      	(object Event "货源充足"
				quid       	"48554A580129")
			    sendEvent  	(object sendEvent
				quid       	"48554A58012B")))
		    type       	"Normal")
		(object State "办理订货"
		    quid       	"48554A010157"
		    type       	"Normal")
		(object State "购买确认"
		    quid       	"48554AA4009C"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"48554B01006D"
			    label      	""
			    supplier   	"付款确认"
			    quidu      	"48554AC9037A"
			    Event      	(object Event "顾客付款"
				quid       	"48554B01006E")
			    sendEvent  	(object sendEvent
				quid       	"48554B010070")))
		    type       	"Normal")
		(object State "付款确认"
		    quid       	"48554AC9037A"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"48554B3A0186"
			    label      	""
			    supplier   	"确认"
			    quidu      	"48554AE70167"
			    Event      	(object Event "销售收据"
				quid       	"48554B3A0187")
			    sendEvent  	(object sendEvent
				quid       	"48554B3A0189")))
		    type       	"Normal")
		(object State "确认"
		    quid       	"48554AE70167"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"48554CFB029F"
			    label      	""
			    supplier   	"$UNNAMED$3"
			    quidu      	"48554CF7009C"
			    Event      	(object Event "发货"
				quid       	"48554CFB02A0")
			    sendEvent  	(object sendEvent
				quid       	"48554CFB02A2")))
		    type       	"Normal")
		(object State "退货确认"
		    quid       	"48554BBE0280"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"48554BF702AF"
			    label      	""
			    supplier   	"撤销交易"
			    quidu      	"48554BCB01B5"
			    Event      	(object Event "顾客退货"
				quid       	"48554BF702B0")
			    condition  	"非购买货品"
			    sendEvent  	(object sendEvent
				quid       	"48554BF702B2")))
		    type       	"Normal")
		(object State "撤销交易"
		    quid       	"48554BCB01B5"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"48554D0E00BB"
			    label      	""
			    supplier   	"$UNNAMED$4"
			    quidu      	"48554D07006D"
			    Event      	(object Event "退货"
				quid       	"48554D0E00BC")
			    sendEvent  	(object sendEvent
				quid       	"48554D0E00BE")))
		    type       	"Normal")
		(object State "$UNNAMED$3"
		    quid       	"48554CF7009C"
		    type       	"EndState")
		(object State "$UNNAMED$4"
		    quid       	"48554D07006D"
		    type       	"EndState"))
	    partitions 	(list Partitions)
	    objects    	(list Objects)
	    statediagrams 	(list StateDiagrams
		(object State_Diagram "NewDiagram"
		    quid       	"485530D40128"
		    title      	"NewDiagram"
		    zoom       	100
		    max_height 	28350
		    max_width  	21600
		    origin_x   	0
		    origin_y   	0
		    items      	(list diagram_item_list
			(object StateView "StartState" "$UNNAMED$0" @1
			    location   	(267, 732)
			    font       	(object Font
				size       	12
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object ItemLabel
				Parent_View 	@1
				location   	(309, 702)
				nlines     	2
				max_width  	600
				label      	"")
			    icon_style 	"Icon"
			    line_color 	3342489
			    quidu      	"485543B8032C"
			    autoResize 	TRUE)
			(object StateView "Normal" "进货" @2
			    location   	(1184, 67)
			    font       	(object Font
				size       	12
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object ItemLabel
				Parent_View 	@2
				location   	(1184, 62)
				fill_color 	13434879
				anchor_loc 	1
				nlines     	2
				max_width  	204
				justify    	0
				label      	"进货")
			    icon_style 	"Icon"
			    line_color 	3342489
			    fill_color 	13434879
			    quidu      	"485543F6006D"
			    autoResize 	TRUE)
			(object TransView "" @3
			    font       	(object Font
				size       	12
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @4
				Parent_View 	@3
				location   	(724, 377)
				font       	(object Font
				    size       	12
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor_loc 	1
				nlines     	1
				max_width  	450
				justify    	0
				label      	"采购"
				pctDist    	0.500000
				height     	45
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"4855440E030D"
			    client     	@1
			    supplier   	@2
			    line_style 	0
			    x_offset   	FALSE)
			(object StateView "Normal" "存货" @5
			    location   	(2184, 67)
			    font       	(object Font
				size       	12
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object ItemLabel
				Parent_View 	@5
				location   	(2184, 62)
				fill_color 	13434879
				anchor_loc 	1
				nlines     	2
				max_width  	204
				justify    	0
				label      	"存货")
			    icon_style 	"Icon"
			    line_color 	3342489
			    fill_color 	13434879
			    quidu      	"4855462501B5"
			    autoResize 	TRUE)
			(object TransView "" @6
			    font       	(object Font
				size       	12
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @7
				Parent_View 	@6
				location   	(1714, 23)
				font       	(object Font
				    size       	12
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor_loc 	1
				nlines     	1
				max_width  	450
				justify    	0
				label      	"放入仓库[ 检验 ]"
				pctDist    	0.500000
				height     	45
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489