fms.mdl

文件系统管理 在内存中为文件开辟存储空间 可以创建文件和文件夹 （至少有两级目录 ：模拟DOS文件系统的操作 可以存储文件的内容 可以查看删除和修改文件(15 2

			line_color 	3342489
			quidu      	"3EF8184402BD"
			client     	@9
			supplier   	@4
			line_style 	0)
		    (object DependencyView "" @12
			font       	(object Font
			    size       	10
			    face       	"Arial"
			    bold       	FALSE
			    italics    	FALSE
			    underline  	FALSE
			    strike     	FALSE
			    color      	0
			    default_color 	TRUE)
			stereotype 	(object SegLabel @13
			    Parent_View 	@12
			    location   	(1769, 804)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    anchor     	10
			    anchor_loc 	1
			    nlines     	1
			    max_width  	450
			    justify    	0
			    label      	"<<include>>"
			    pctDist    	0.500000
			    height     	120
			    orientation 	0)
			line_color 	3342489
			quidu      	"3EF8186B013D"
			client     	@8
			supplier   	@3
			line_style 	0)
		    (object UseCaseView "Use Case View::View File" @14
			location   	(528, 560)
			font       	(object Font
			    size       	10
			    face       	"Arial"
			    bold       	FALSE
			    italics    	FALSE
			    underline  	FALSE
			    strike     	FALSE
			    color      	0
			    default_color 	TRUE)
			label      	(object ItemLabel
			    Parent_View 	@14
			    location   	(528, 698)
			    anchor_loc 	1
			    nlines     	2
			    max_width  	630
			    justify    	0
			    label      	"View File")
			icon_style 	"Icon"
			line_color 	3342489
			fill_color 	13434879
			quidu      	"3EF8160B0016"
			height     	118)
		    (object DependencyView "" @15
			stereotype 	TRUE
			line_color 	3342489
			quidu      	"3EF81674005D"
			client     	@14
			supplier   	@5
			line_style 	0)
		    (object DependencyView "" @16
			stereotype 	TRUE
			line_color 	3342489
			quidu      	"3EF8167602A5"
			client     	@14
			supplier   	@6
			line_style 	0)
		    (object UseCaseView "Use Case View::View Directory" @17
			location   	(528, 944)
			font       	(object Font
			    size       	10
			    face       	"Arial"
			    bold       	FALSE
			    italics    	FALSE
			    underline  	FALSE
			    strike     	FALSE
			    color      	0
			    default_color 	TRUE)
			label      	(object ItemLabel
			    Parent_View 	@17
			    location   	(528, 1082)
			    anchor_loc 	1
			    nlines     	2
			    max_width  	630
			    justify    	0
			    label      	"View Directory")
			icon_style 	"Icon"
			line_color 	3342489
			fill_color 	13434879
			quidu      	"3EF8189F01D8"
			height     	118)
		    (object AssociationViewNew "$UNNAMED$0" @18
			location   	(528, 804)
			font       	(object Font
			    size       	10
			    face       	"Arial"
			    bold       	FALSE
			    italics    	FALSE
			    underline  	FALSE
			    strike     	FALSE
			    color      	0
			    default_color 	TRUE)
			stereotype 	TRUE
			line_color 	3342489
			quidu      	"3EF818B20153"
			roleview_list 	(list RoleViews
			    (object RoleView "$UNNAMED$1" @19
				Parent_View 	@18
				location   	(-800, -2412)
				stereotype 	TRUE
				line_color 	3342489
				quidu      	"3EF818BA01FF"
				client     	@18
				supplier   	@14
				line_style 	0)
			    (object RoleView "$UNNAMED$2" @20
				Parent_View 	@18
				location   	(-800, -2412)
				stereotype 	TRUE
				line_color 	3342489
				quidu      	"3EF818BA0209"
				client     	@18
				supplier   	@17
				line_style 	0)))
		    (object UseCaseView "Use Case View::Operate File" @21
			location   	(1424, 944)
			font       	(object Font
			    size       	10
			    face       	"Arial"
			    bold       	FALSE
			    italics    	FALSE
			    underline  	FALSE
			    strike     	FALSE
			    color      	0
			    default_color 	TRUE)
			label      	(object ItemLabel
			    Parent_View 	@21
			    location   	(1424, 1082)
			    anchor_loc 	1
			    nlines     	2
			    max_width  	630
			    justify    	0
			    label      	"Operate File")
			icon_style 	"Icon"
			line_color 	3342489
			fill_color 	13434879
			quidu      	"3EF8143D0058"
			height     	118)
		    (object DependencyView "" @22
			stereotype 	TRUE
			line_color 	3342489
			quidu      	"3EF8166700CD"
			client     	@21
			supplier   	@1
			line_style 	0)
		    (object DependencyView "" @23
			stereotype 	TRUE
			line_color 	3342489
			quidu      	"3EF816690057"
			client     	@21
			supplier   	@2
			line_style 	0)
		    (object DependencyView "" @24
			stereotype 	TRUE
			line_color 	3342489
			quidu      	"3EF8166B003C"
			client     	@21
			supplier   	@3
			line_style 	0)
		    (object DependencyView "" @25
			stereotype 	TRUE
			line_color 	3342489
			quidu      	"3EF8166C0387"
			client     	@21
			supplier   	@4
			line_style 	0)
		    (object DependencyView "" @26
			stereotype 	TRUE
			line_color 	3342489
			quidu      	"3EF816710081"
			client     	@21
			supplier   	@14
			line_style 	0)
		    (object UseCaseView "Use Case View::Operate Directory" @27
			location   	(2112, 1312)
			font       	(object Font
			    size       	10
			    face       	"Arial"
			    bold       	FALSE
			    italics    	FALSE
			    underline  	FALSE
			    strike     	FALSE
			    color      	0
			    default_color 	TRUE)
			label      	(object ItemLabel
			    Parent_View 	@27
			    location   	(2112, 1450)
			    anchor_loc 	1
			    nlines     	2
			    max_width  	630
			    justify    	0
			    label      	"Operate Directory")
			icon_style 	"Icon"
			line_color 	3342489
			fill_color 	13434879
			quidu      	"3EF817A1033B"
			height     	118)
		    (object DependencyView "" @28
			stereotype 	TRUE
			line_color 	3342489
			quidu      	"3EF818C601A2"
			client     	@27
			supplier   	@7
			line_style 	0)
		    (object DependencyView "" @29
			stereotype 	TRUE
			line_color 	3342489
			quidu      	"3EF818C8033F"
			client     	@27
			supplier   	@8
			line_style 	0)
		    (object DependencyView "" @30
			stereotype 	TRUE
			line_color 	3342489
			quidu      	"3EF818CA0284"
			client     	@27
			supplier   	@9
			line_style 	0)
		    (object DependencyView "" @31
			stereotype 	TRUE
			line_color 	3342489
			quidu      	"3EF818CC02AF"
			client     	@27
			supplier   	@17
			line_style 	0)))))
    root_category 	(object Class_Category "Logical View"
	quid       	"3EF7ECE30248"
	exportControl 	"Public"
	global     	TRUE
	subsystem  	"Component View"
	quidu      	"3EF7ECE3025B"
	logical_models 	(list unit_reference_list
	    (object Class "File"
		quid       	"3EF7EDA10088"
		stereotype 	"entity"
		operations 	(list Operations
		    (object Operation "Copy"
			quid       	"3EF81A4F003F"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0
			statemachine 	(object State_Machine "State/Activity Model"
			    quid       	"3EFA8ED803CB"
			    states     	(list States
				(object State "$UNNAMED$3"
				    quid       	"3EFA9B5801E1"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFA9B8900C9"
					    supplier   	"Check path"
					    quidu      	"3EFA9B79004E"
					    sendEvent  	(object sendEvent
						quid       	"3EFA9B8900CC")))
				    type       	"StartState")
				(object ActivityState "Check path"
				    quid       	"3EFA9B79004E"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFA9B9A0146"
					    supplier   	"$UNNAMED$4"
					    quidu      	"3EFA9B950153"
					    sendEvent  	(object sendEvent
						quid       	"3EFA9B9A0149"))))
				(object SynchronizationState "$UNNAMED$4"
				    quid       	"3EFA9B950153"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFA9C3803CE"
					    supplier   	" Source file doesn't exist"
					    quidu      	"3EFA9BBD016E"
					    sendEvent  	(object sendEvent
						quid       	"3EFA9C3803D1"))
					(object State_Transition
					    quid       	"3EFA9C3B0057"
					    supplier   	"Source file exist"
					    quidu      	"3EFA9BA300D1"
					    sendEvent  	(object sendEvent
						quid       	"3EFA9C3B005A"))))
				(object Decision "Source file exist"
				    quid       	"3EFA9BA300D1"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFA9C3601E1"
					    supplier   	"$UNNAMED$5"
					    quidu      	"3EFA9C33022C"
					    sendEvent  	(object sendEvent
						quid       	"3EFA9C3601E4"))))
				(object Decision " Source file doesn't exist"
				    quid       	"3EFA9BBD016E"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFA9BEE0165"
					    label      	""
					    supplier   	"$UNNAMED$6"
					    quidu      	"3EFA9BEA0368"
					    Event      	(object Event "Failed"
						quid       	"3EFA9BEE0166")
					    sendEvent  	(object sendEvent
						quid       	"3EFA9BEE0168"))))
				(object State "$UNNAMED$6"
				    quid       	"3EFA9BEA0368"
				    type       	"EndState")
				(object SynchronizationState "$UNNAMED$5"
				    quid       	"3EFA9C33022C"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFA9CAE0139"
					    supplier   	"Destination directory doesn't exist"
					    quidu      	"3EFA9C51009F"
					    sendEvent  	(object sendEvent
						quid       	"3EFA9CAE013C"))
					(object State_Transition
					    quid       	"3EFA9CB202A7"
					    supplier   	"Destination directory exist"
					    quidu      	"3EFA9C7200BA"
					    sendEvent  	(object sendEvent
						quid       	"3EFA9CB202AA"))))
				(object Decision "Destination directory doesn't exist"
				    quid       	"3EFA9C51009F"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFA9C6D01E0"
					    label      	""
					    supplier   	"$UNNAMED$6"
					    quidu      	"3EFA9BEA0368"
					    Event      	(object Event "Failed"
						quid       	"3EFA9C6D01E1")
					    sendEvent  	(object sendEvent
						quid       	"3EFA9C6D01E3"))))
				(object Decision "Destination directory exist"
				    quid       	"3EFA9C7200BA"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFA9E9B003D"
					    supplier   	"Check file"
					    quidu      	"3EFA9E8B0117"
					    sendEvent  	(object sendEvent
						quid       	"3EFA9E9B0040"))))
				(object ActivityState "Check file"
				    quid       	"3EFA9E8B0117"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFA9EBA022D"
					    supplier   	"$UNNAMED$7"
					    quidu      	"3EFA9EB601AF"
					    sendEvent  	(object sendEvent
						quid       	"3EFA9EBA0230"))))
				(object SynchronizationState "$UNNAMED$7"
				    quid       	"3EFA9EB601AF"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFA9F080211"
					    supplier   	"Destination file exist"
					    quidu      	"3EFA9EF00004"
					    sendEvent  	(object sendEvent
						quid       	"3EFA9F080214"))
					(object State_Transition
					    quid       	"3EFAA08C009C"
					    supplier   	"Destination file doesn't exist"
					    quidu      	"3EFA9F130176"
					    sendEvent  	(object sendEvent
						quid       	"3EFAA08C009F"))))
				(object Decision "Destination file exist"
				    quid       	"3EFA9EF00004"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFA9F0B0310"
					    supplier   	"$UNNAMED$8"
					    quidu      	"3EFA9F0200AA"
					    sendEvent  	(object sendEvent
						quid       	"3EFA9F0B0313"))
					(object State_Transition
					    quid       	"3EFA9FF300A6"
					    label      	""
					    supplier   	"$UNNAMED$6"
					    quidu      	"3EFA9BEA0368"
					    Event      	(object Event "Succeed"
						quid       	"3EFA9FF300A7")
					    sendEvent  	(object sendEvent
						quid       	"3EFA9FF300A9"))))
				(object SynchronizationState "$UNNAMED$8"
				    quid       	"3EFA9F0200AA"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFA9F6A0168"
					    supplier   	"Do not replace"
					    quidu      	"3EFA9F3B00F2"
					    sendEvent  	(object sendEvent
						quid       	"3EFA9F6A016B"))
					(object State_Transition
					    quid       	"3EFA9F7200C9"
					    supplier   	"Replace"
					    quidu      	"3EFA9F4B0271"
					    sendEvent  	(object sendEvent
						quid       	"3EFA9F7200CC"))))
				(object Decision "Destination file doesn't exist"
				    quid       	"3EFA9F130176"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFA9F230129"
					    label      	""
					    supplier   	"$UNNAMED$6"
					    quidu      	"3EFA9BEA0368"
					    Event      	(object Event "Failed"
						quid       	"3EFA9F23012A")
					    sendEvent  	(object sendEvent
						quid       	"3EFA9F23012C"))
					(object State_Transition
					    quid       	"3EFAA16102DD"
					    supplier   	"Copy and replace file"
					    quidu      	"3EFA9F5F01D0"