fms.mdl

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

					(object TransView "" @81
					    stereotype 	TRUE
					    line_color 	3342489
					    quidu      	"3EFA9C3601E1"
					    client     	@42
					    supplier   	@66
					    line_style 	0
					    x_offset   	FALSE)
					(object TransView "" @82
					    font       	(object Font
						size       	10
						face       	"Arial"
						bold       	FALSE
						italics    	FALSE
						underline  	FALSE
						strike     	FALSE
						color      	0
						default_color 	TRUE)
					    label      	(object SegLabel @83
						Parent_View 	@82
						location   	(126, 2681)
						font       	(object Font
						    size       	10
						    face       	"Arial"
						    bold       	FALSE
						    italics    	FALSE
						    underline  	FALSE
						    strike     	FALSE
						    color      	0
						    default_color 	TRUE)
						anchor_loc 	1
						nlines     	1
						max_width  	112
						justify    	0
						label      	"Failed"
						pctDist    	0.500000
						height     	45
						orientation 	0)
					    stereotype 	TRUE
					    line_color 	3342489
					    quidu      	"3EFA9F4601FC"
					    client     	@39
					    supplier   	@34
					    vertices   	(list Points
						(374, 2085)
						(94, 2528)
						(101, 3446))
					    line_style 	0
					    x_offset   	FALSE)
					(object TransView "" @84
					    stereotype 	TRUE
					    line_color 	3342489
					    quidu      	"3EFA9C3803CE"
					    client     	@64
					    supplier   	@43
					    vertices   	(list Points
						(1267, 425)
						(1776, 1985)
						(1632, 3131))
					    line_style 	0
					    x_offset   	FALSE)
					(object TransView "" @85
					    stereotype 	TRUE
					    line_color 	3342489
					    quidu      	"3EFA9C3B0057"
					    client     	@64
					    supplier   	@42
					    vertices   	(list Points
						(1284, 425)
						(1566, 559)
						(1600, 683))
					    line_style 	0
					    x_offset   	FALSE))))))
		    (object Operation "Create"
			quid       	"3EF81A52009D"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0
			statemachine 	(object State_Machine "State/Activity Model2"
			    quid       	"3EFAB45E00B6"
			    states     	(list States
				(object State "$UNNAMED$10"
				    quid       	"3EFAB5670176"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFAB61C00AE"
					    supplier   	"Check path"
					    quidu      	"3EFAB5C1011B"
					    sendEvent  	(object sendEvent
						quid       	"3EFAB61C00B1")))
				    type       	"StartState")
				(object ActivityState "Check path"
				    quid       	"3EFAB5C1011B"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFAB62A00B8"
					    supplier   	"$UNNAMED$11"
					    quidu      	"3EFAB62501D3"
					    sendEvent  	(object sendEvent
						quid       	"3EFAB62A00BB"))))
				(object SynchronizationState "$UNNAMED$11"
				    quid       	"3EFAB62501D3"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFAB65B0393"
					    supplier   	"Exist"
					    quidu      	"3EFAB6480241"
					    sendEvent  	(object sendEvent
						quid       	"3EFAB65B0396"))
					(object State_Transition
					    quid       	"3EFAB66A0024"
					    supplier   	"Not Exist"
					    quidu      	"3EFAB65F0227"
					    sendEvent  	(object sendEvent
						quid       	"3EFAB66A0027"))))
				(object Decision "Exist"
				    quid       	"3EFAB6480241"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFAB6C10065"
					    supplier   	"Check file"
					    quidu      	"3EFAB6B60326"
					    sendEvent  	(object sendEvent
						quid       	"3EFAB6C10068"))
					(object State_Transition
					    quid       	"3EFAB7240202"
					    label      	""
					    supplier   	"$UNNAMED$12"
					    quidu      	"3EFAB65501A0"
					    Event      	(object Event "Failed"
						quid       	"3EFAB7240203")
					    sendEvent  	(object sendEvent
						quid       	"3EFAB7240205"))
					(object State_Transition
					    quid       	"3EFAB8C8022E"
					    label      	""
					    supplier   	"$UNNAMED$12"
					    quidu      	"3EFAB65501A0"
					    Event      	(object Event "Succeed"
						quid       	"3EFAB8C8022F")
					    sendEvent  	(object sendEvent
						quid       	"3EFAB8C80231"))))
				(object State "$UNNAMED$12"
				    quid       	"3EFAB65501A0"
				    type       	"EndState")
				(object Decision "Not Exist"
				    quid       	"3EFAB65F0227"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFAB6580118"
					    label      	""
					    supplier   	"$UNNAMED$12"
					    quidu      	"3EFAB65501A0"
					    Event      	(object Event "Failed"
						quid       	"3EFAB6580119")
					    sendEvent  	(object sendEvent
						quid       	"3EFAB658011B"))
					(object State_Transition
					    quid       	"3EFAB8DF0353"
					    label      	""
					    supplier   	"$UNNAMED$12"
					    quidu      	"3EFAB65501A0"
					    Event      	(object Event "Failed"
						quid       	"3EFAB8DF0354")
					    sendEvent  	(object sendEvent
						quid       	"3EFAB8DF0356"))))
				(object ActivityState "Check file"
				    quid       	"3EFAB6B60326"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFAB7120256"
					    supplier   	"$UNNAMED$13"
					    quidu      	"3EFAB70E02E6"
					    sendEvent  	(object sendEvent
						quid       	"3EFAB7120259"))))
				(object SynchronizationState "$UNNAMED$13"
				    quid       	"3EFAB70E02E6"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFAB7200288"
					    supplier   	"Exist"
					    quidu      	"3EFAB6480241"
					    sendEvent  	(object sendEvent
						quid       	"3EFAB720028B"))
					(object State_Transition
					    quid       	"3EFAB7350347"
					    supplier   	"Not exist"
					    quidu      	"3EFAB72C0019"
					    sendEvent  	(object sendEvent
						quid       	"3EFAB735034A"))))
				(object Decision "Not exist"
				    quid       	"3EFAB72C0019"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFAB7FA0097"
					    supplier   	"Create file"
					    quidu      	"3EFAB7ED0215"
					    sendEvent  	(object sendEvent
						quid       	"3EFAB7FA009A"))))
				(object ActivityState "Create file"
				    quid       	"3EFAB7ED0215"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFAB8BD0001"
					    supplier   	"$UNNAMED$14"
					    quidu      	"3EFAB8BA0007"
					    sendEvent  	(object sendEvent
						quid       	"3EFAB8BD0004"))))
				(object SynchronizationState "$UNNAMED$14"
				    quid       	"3EFAB8BA0007"
				    transitions 	(list transition_list
					(object State_Transition
					    quid       	"3EFAB8CF01F2"
					    supplier   	"Exist"
					    quidu      	"3EFAB6480241"
					    sendEvent  	(object sendEvent
						quid       	"3EFAB8CF01F5"))
					(object State_Transition
					    quid       	"3EFAB8D902AA"
					    supplier   	"Not Exist"
					    quidu      	"3EFAB65F0227"
					    sendEvent  	(object sendEvent
						quid       	"3EFAB8D902AD")))))
			    partitions 	(list Partitions
				(object Partition "Console"
				    quid       	"3EFAB4F60259"
				    persistence 	"Transient"
				    creationObj 	FALSE
				    multi      	FALSE)
				(object Partition "File"
				    quid       	"3EFAB50B0047"
				    persistence 	"Transient"
				    creationObj 	FALSE
				    multi      	FALSE)
				(object Partition "System.IO.File"
				    quid       	"3EFAB51402DF"
				    persistence 	"Transient"
				    creationObj 	FALSE
				    multi      	FALSE)
				(object Partition "System.IO.Directory"
				    quid       	"3EFAB52D01CC"
				    persistence 	"Transient"
				    creationObj 	FALSE
				    multi      	FALSE))
			    objects    	(list Objects)
			    statediagrams 	(list StateDiagrams
				(object ActivityDiagram "Create"
				    quid       	"3EFAB45E011A"
				    title      	"Create"
				    zoom       	100
				    max_height 	28350
				    max_width  	21600
				    origin_x   	1475
				    origin_y   	1090
				    items      	(list diagram_item_list
					(object Swimlane "Console" @86
					    line_color 	3342489
					    quidu      	"3EFAB4F60259"
					    width      	492)
					(object StateView "StartState" "$UNNAMED$10" @87
					    Parent_View 	@86
					    location   	(96, 96)
					    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 	@87
						location   	(138, 66)
						nlines     	2
						max_width  	600
						label      	"")
					    icon_style 	"Icon"
					    line_color 	3342489
					    quidu      	"3EFAB5670176"
					    autoResize 	TRUE)
					(object StateView "EndState" "$UNNAMED$12" @88
					    Parent_View 	@86
					    location   	(384, 2256)
					    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 	@88
						location   	(438, 2214)
						nlines     	2
						max_width  	600
						label      	"")
					    icon_style 	"Icon"
					    line_color 	3342489
					    quidu      	"3EFAB65501A0"
					    autoResize 	TRUE)
					(object Swimlane "File" @89
					    location   	(492, 0)
					    line_color 	3342489
					    quidu      	"3EFAB50B0047"
					    width      	1134)
					(object ActivityStateView "Check path" @90
					    Parent_View 	@89
					    location   	(752, 336)
					    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 	@90
						location   	(752, 330)
						fill_color 	13434879
						anchor_loc 	1
						nlines     	2
						max_width  	293
						justify    	0
						label      	"Check path")
					    icon_style 	"Icon"
					    line_color 	3342489
					    fill_color 	13434879
					    quidu      	"3EFAB5C1011B"
					    width      	411
					    height     	124
					    annotation 	1
					    autoResize 	TRUE)
					(object TransView "" @91
					    stereotype 	TRUE
					    line_color 	3342489
					    quidu      	"3EFAB61C00AE"
					    client     	@87
					    supplier   	@90
					    line_style 	0
					    x_offset   	FALSE)
					(object ActivityStateView "Check file" @92
					    Parent_View 	@89
					    location   	(1360, 976)
					    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 	@92
						location   	(1360, 970)
						fill_color 	13434879
						anchor_loc 	1
						nlines     	2
						max_width  	293
						justify    	0
						label      	"Check file")
					    icon_style 	"Icon"
					    line_color 	3342489
					    fill_color 	13434879
					    quidu      	"3EFAB6B60326"
					    width      	411
					    height     	124
					    annotation 	1
					    autoResize 	TRUE)
					(object Swimlane "System.IO.File" @93
					    location   	(1626, 0)
					    line_color 	3342489
					    quidu      	"3EFAB51402DF"
					    width      	720)
					(object DecisionView "Exist" @94
					    Parent_View 	@93
					    location   	(1762, 1696)
					    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 	@94
						location   	(1818, 1647)
						nlines     	2
						max_width  	300
						label      	"Exist")
					    icon_style 	"Icon"
					    line_color 	3342489
					    fill_color 	13434879
					    quidu      	"3EFAB6480241"
					    autoResize 	TRUE)
					(object DecisionView "Not exist" @95
					    Parent_View 	@93
					    location   	(2064, 1376)
					    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 	@95
						location   	(2120, 1327)
						nlines     	2
						max_width  	300
						label      	"Not exist")
					    icon_style 	"Icon"
					    line_color 	3342489
					    fill_color 	13434879
					    quidu      	"3EFAB72C0019"
					    autoResize 	TRUE)
					(object ActivityStateView "Create file" @96
					    Parent_View 	@93
					    location   	(2064, 1632)
					    font       	(object Font
						size       	10
						face       	"Arial"
						bold       	FALSE
						italics