⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 minivs活动.mdl

📁 UML软件建模与实际规划-武汉大学软件学院课件。
💻 MDL
📖 第 1 页 / 共 5 页
字号:

(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")
		(object State "用户"
		    quid       	"485552B0006D"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"485552C1032C"
			    supplier   	"$UNNAMED$5"
			    quidu      	"485552BB004E"
			    sendEvent  	(object sendEvent
				quid       	"485552C1032F")))
		    type       	"Normal")
		(object SynchronizationState "$UNNAMED$5"
		    quid       	"485552BB004E"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"485553950271"
			    label      	""
			    supplier   	"系统管理"
			    quidu      	"485552E50186"
			    Event      	(object Event "权限操作"
				quid       	"485553950272")
			    sendEvent  	(object sendEvent
				quid       	"485553950274"))
			(object State_Transition
			    quid       	"485553B003C8"
			    supplier   	"销售管理"
			    quidu      	"485552DC01B5"
			    sendEvent  	(object sendEvent
				quid       	"485553B003CB"))
			(object State_Transition
			    quid       	"485553B600EA"
			    supplier   	"进货管理"
			    quidu      	"485552D4005D"
			    sendEvent  	(object sendEvent
				quid       	"485553B600ED"))
			(object State_Transition
			    quid       	"485553BA032C"
			    supplier   	"人员管理"
			    quidu      	"485552C70242"
			    sendEvent  	(object sendEvent
				quid       	"485553BA032F"))
			(object State_Transition
			    quid       	"485553C0004E"
			    supplier   	"订货管理"
			    quidu      	"485552F301A5"
			    sendEvent  	(object sendEvent
				quid       	"485553C00051"))
			(object State_Transition
			    quid       	"485553CE0000"
			    supplier   	"退货管理"
			    quidu      	"4855530A0280"
			    sendEvent  	(object sendEvent
				quid       	"485553CE0003"))
			(object State_Transition
			    quid       	"485553D300CB"
			    supplier   	"商品管理"
			    quidu      	"4855532A03D8"
			    sendEvent  	(object sendEvent
				quid       	"485553D300CE"))))
		(object State "人员管理"
		    quid       	"485552C70242"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"4855544103B9"
			    supplier   	"$UNNAMED$6"
			    quidu      	"485553E20119"
			    sendEvent  	(object sendEvent
				quid       	"4855544103BC")))
		    type       	"Normal")
		(object State "进货管理"
		    quid       	"485552D4005D"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"48555439036B"
			    supplier   	"$UNNAMED$6"
			    quidu      	"485553E20119"
			    sendEvent  	(object sendEvent
				quid       	"48555439036E")))
		    type       	"Normal")
		(object State "销售管理"
		    quid       	"485552DC01B5"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"485553FF0222"
			    supplier   	"$UNNAMED$6"
			    quidu      	"485553E20119"
			    sendEvent  	(object sendEvent
				quid       	"485553FF0225")))
		    type       	"Normal")
		(object State "系统管理"
		    quid       	"485552E50186"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"485553F2008C"
			    supplier   	"$UNNAMED$6"
			    quidu      	"485553E20119"
			    sendEvent  	(object sendEvent
				quid       	"485553F2008F")))
		    type       	"Normal")
		(object State "订货管理"
		    quid       	"485552F301A5"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"4855540800EA"
			    supplier   	"$UNNAMED$6"
			    quidu      	"485553E20119"
			    sendEvent  	(object sendEvent
				quid       	"4855540800ED")))
		    type       	"Normal")
		(object State "退货管理"
		    quid       	"4855530A0280"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"48555432033C"
			    supplier   	"$UNNAMED$6"
			    quidu      	"485553E20119"
			    sendEvent  	(object sendEvent
				quid       	"48555432033F")))
		    type       	"Normal")
		(object State "商品管理"
		    quid       	"4855532A03D8"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"4855543E0157"
			    supplier   	"$UNNAMED$6"
			    quidu      	"485553E20119"
			    sendEvent  	(object sendEvent
				quid       	"4855543E015A")))
		    type       	"Normal")
		(object SynchronizationState "$UNNAMED$6"
		    quid       	"485553E20119"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"4855545A004E"
			    supplier   	"报表管理"
			    quidu      	"4855544B034B"
			    sendEvent  	(object sendEvent
				quid       	"4855545A0051"))))
		(object State "报表管理"
		    quid       	"4855544B034B"
		    transitions 	(list transition_list
			(object State_Transition
			    quid       	"4855548A0196"
			    supplier   	"注销"
			    quidu      	"4855546F01C5"
			    sendEvent  	(object sendEvent
				quid       	"4855548A0199")))
		    type       	"Normal")
		(object State "注销"

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -