elesys.mdl

电梯仿真系统的实现

(object Petal
    version    	44
    _written   	"Rose 7.0.9420.17"
    charSet    	134)

(object Design "Logical View"
    is_unit    	TRUE
    is_loaded  	TRUE
    attributes 	(list Attribute_Set
	(object Attribute
	    tool       	"cg"
	    name       	"cg_style"
	    value      	"电梯仿真系统")
	(object Attribute
	    tool       	"Traversal"
	    name       	"CodeFile"
	    value      	"D:\\Program\\OOP\\Elevators\\ESystem"))
    quid       	"3C32F6E60334"
    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       	10
	    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       	"3C0C7BC801A6"
	exportControl 	"Public"
	global     	TRUE
	logical_models 	(list unit_reference_list
	    (object Class "乘客"
		quid       	"3C0C7D1301CC"
		stereotype 	"Actor")
	    (object UseCase "乘坐电梯"
		quid       	"3C0C7D2B00F0"
		documentation 	
|乘客乘坐电梯
|
		
		superclasses 	(list inheritance_relationship_list
		    (object Inheritance_Relationship
			quid       	"3C0C869100FA"
			stereotype 	"uses"
			supplier   	"Use Case View::选择电梯"
			quidu      	"3C0C80160078")
		    (object Inheritance_Relationship
			quid       	"3C0C873F0096"
			stereotype 	"uses"
			supplier   	"Use Case View::提交请求"
			quidu      	"3C0C801A0122")
		    (object Inheritance_Relationship
			quid       	"3C0C874200DC"
			stereotype 	"uses"
			supplier   	"Use Case View::乘梯"
			quidu      	"3C0C801C00A0")
		    (object Inheritance_Relationship
			quid       	"3C0C87440212"
			stereotype 	"uses"
			supplier   	"Use Case View::乘坐结束"
			quidu      	"3C0C80AD03DE"))
		visible_modules 	(list dependency_list
		    (object Dependency_Relationship
			quid       	"3C0C895002A8"
			stereotype 	"include"
			supplier   	"Use Case View::选择电梯"
			quidu      	"3C0C80160078")
		    (object Dependency_Relationship
			quid       	"3C0C8960030C"
			stereotype 	"include"
			supplier   	"Use Case View::提交请求"
			quidu      	"3C0C801A0122")
		    (object Dependency_Relationship
			quid       	"3C0C89660140"
			stereotype 	"include"
			supplier   	"Use Case View::乘梯"
			quidu      	"3C0C801C00A0")
		    (object Dependency_Relationship
			quid       	"3C0C89680352"
			stereotype 	"include"
			supplier   	"Use Case View::乘坐结束"
			quidu      	"3C0C80AD03DE")))
	    (object UseCase "选择电梯"
		quid       	"3C0C80160078")
	    (object UseCase "提交请求"
		quid       	"3C0C801A0122")
	    (object UseCase "乘梯"
		quid       	"3C0C801C00A0")
	    (object UseCase "乘坐结束"
		quid       	"3C0C80AD03DE")
	    (object UseCase "商务活动"
		quid       	"3C2FD89801AE"
		documentation 	"乘客在某一楼层停留，进行商业事务上的活动。")
	    (object Association "$UNNAMED$0"
		quid       	"3C0C7EBE000A"
		stereotype 	"subscribe"
		roles      	(list role_list
		    (object Role "$UNNAMED$1"
			quid       	"3C0C7EBE02D0"
			supplier   	"Use Case View::乘坐电梯"
			quidu      	"3C0C7D2B00F0")
		    (object Role "$UNNAMED$2"
			quid       	"3C0C7EBE02D1"
			supplier   	"Use Case View::乘客"
			quidu      	"3C0C7D1301CC")))
	    (object Association "$UNNAMED$3"
		quid       	"3C0C8164000A"
		stereotype 	"include"
		roles      	(list role_list
		    (object Role "$UNNAMED$4"
			quid       	"3C0C8164030C"
			supplier   	"Use Case View::乘坐电梯"
			quidu      	"3C0C7D2B00F0"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$5"
			quid       	"3C0C8164033E"
			supplier   	"Use Case View::选择电梯"
			quidu      	"3C0C80160078")))
	    (object Association "$UNNAMED$6"
		quid       	"3C0C817603C0"
		roles      	(list role_list
		    (object Role "$UNNAMED$7"
			quid       	"3C0C81770230"
			supplier   	"Use Case View::乘坐电梯"
			quidu      	"3C0C7D2B00F0"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$8"
			quid       	"3C0C81770231"
			supplier   	"Use Case View::提交请求"
			quidu      	"3C0C801A0122")))
	    (object Association "$UNNAMED$9"
		quid       	"3C0C817A01A4"
		roles      	(list role_list
		    (object Role "$UNNAMED$10"
			quid       	"3C0C817B00F0"
			supplier   	"Use Case View::乘坐电梯"
			quidu      	"3C0C7D2B00F0"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$11"
			quid       	"3C0C817B012C"
			supplier   	"Use Case View::乘梯"
			quidu      	"3C0C801C00A0")))
	    (object Association "$UNNAMED$12"
		quid       	"3C0C817C030C"
		roles      	(list role_list
		    (object Role "$UNNAMED$13"
			quid       	"3C0C817D0294"
			supplier   	"Use Case View::乘坐电梯"
			quidu      	"3C0C7D2B00F0"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$14"
			quid       	"3C0C817D02D0"
			supplier   	"Use Case View::乘坐结束"
			quidu      	"3C0C80AD03DE")))
	    (object Association "$UNNAMED$15"
		quid       	"3C0C85C0028A"
		roles      	(list role_list
		    (object Role "the乘坐电梯"
			quid       	"3C0C85C20190"
			label      	"the乘坐电梯"
			supplier   	"Use Case View::乘坐电梯"
			quidu      	"3C0C7D2B00F0"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$16"
			quid       	"3C0C85C201CC"
			supplier   	"Use Case View::乘客"
			quidu      	"3C0C7D1301CC")))
	    (object Association "$UNNAMED$17"
		quid       	"3C0C884B023A"
		stereotype 	"include"
		roles      	(list role_list
		    (object Role "$UNNAMED$18"
			quid       	"3C0C884C0230"
			supplier   	"Use Case View::选择电梯"
			quidu      	"3C0C80160078"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$19"
			quid       	"3C0C884C0262"
			supplier   	"Use Case View::乘坐电梯"
			quidu      	"3C0C7D2B00F0")))
	    (object Association "$UNNAMED$20"
		quid       	"3C2FD8A30208"
		roles      	(list role_list
		    (object Role "$UNNAMED$21"
			quid       	"3C2FD8A4026C"
			supplier   	"Use Case View::商务活动"
			quidu      	"3C2FD89801AE"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$22"
			quid       	"3C2FD8A4029E"
			supplier   	"Use Case View::乘客"
			quidu      	"3C0C7D1301CC")))
	    (object Mechanism @1
		logical_models 	(list unit_reference_list
		    (object Object "调度者"
			quid       	"3C0EFF5B028A"
			collaborators 	(list link_list
			    (object Link
				quid       	"3C0F00140028"
				supplier   	"调度者"
				quidu      	"3C0EFF5B028A"
				messages   	(list Messages
				    (object Message "派发乘客请求"
					quid       	"3C301BA40212"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"2"
					ordinal    	3)
				    (object Message "根据请求选择电梯"
					quid       	"3C301C2A01B8"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"3"
					ordinal    	4)))
			    (object Link
				quid       	"3C0F01310398"
				supplier   	" 乘客"
				quidu      	"3C0EFF4B0186"
				messages   	(list Messages
				    (object Message "询问乘客请求"
					quid       	"3C301A52001E"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"1"
					ordinal    	0)
				    (object Message "提交乘梯请求"
					quid       	"3C301AB80316"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"ToClientFromSupplier"
					sequence   	"1.2"
					ordinal    	2)))
			    (object Link
				quid       	"3C0F00390000"
				supplier   	"电梯"
				quidu      	"3C0EFF7701F4"
				messages   	(list Messages
				    (object Message "将乘客请求转发给电梯"
					quid       	"3C301CE1030C"
					documentation 	
|具体的操作：
|    电梯将该乘客的请求加入到消息队列中去。
					
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"4"
					ordinal    	5))))
			persistence 	"Transient"
			multi      	FALSE)
		    (object Object " 乘客"
			quid       	"3C0EFF4B0186"
			collaborators 	(list link_list
			    (object Link
				quid       	"3C0F1FAD023A"
				supplier   	" 乘客"
				quidu      	"3C0EFF4B0186"
				messages   	(list Messages
				    (object Message "检查自己有无请求"
					quid       	"3C301A700348"
					documentation 	"根据乘客自己的状态，决定是否要发请求。"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"1.1"
					ordinal    	1)
				    (object Message "结束一次乘坐"
					quid       	"3C3028F3037A"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"14"
					ordinal    	15))))
			persistence 	"Transient"
			multi      	FALSE)
		    (object Object "电梯"
			quid       	"3C0EFF7701F4"
			collaborators 	(list link_list
			    (object Link
				quid       	"3C0F0EE20262"
				supplier   	" 乘客"
				quidu      	"3C0EFF4B0186"
				messages   	(list Messages
				    (object Message "通知乘客上梯"
					quid       	"3C3020830190"
					documentation 	
|到达乘客所在的楼层时，通知乘客
|
|
					
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"6"
					ordinal    	7)
				    (object Message "乘客进入电梯"
					quid       	"3C3026B80262"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"ToClientFromSupplier"
					sequence   	"8"
					ordinal    	9)
				    (object Message "通知乘客下梯"
					quid       	"3C30274F028A"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"11"
					ordinal    	12)
				    (object Message "乘客下梯"
					quid       	"3C302780032A"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"ToClientFromSupplier"
					sequence   	"13"
					ordinal    	14)))
			    (object Link
				quid       	"3C0F0FBB00E6"
				supplier   	"电梯"
				quidu      	"3C0EFF7701F4"
				messages   	(list Messages
				    (object Message "启动电梯"
					quid       	"3C301F2003C0"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"5"
					ordinal    	6)
				    (object Message "增加梯内的乘客"
					quid       	"3C3026E5028A"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"9"
					ordinal    	10)
				    (object Message "停止电梯"
					quid       	"3C302705037A"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"7"
					ordinal    	8)
				    (object Message "启动电梯"
					quid       	"3C3027300122"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"10"
					ordinal    	11)
				    (object Message "停止电梯"
					quid       	"3C30275F0320"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"12"
					ordinal    	13))))
			persistence 	"Transient"
			multi      	FALSE)))
	    (object Mechanism @2
		logical_models 	(list unit_reference_list
		    (object Object "passenger"
			quid       	"3C32F72402D0"
			documentation 	
|乘客对象
|
			
			collaborators 	(list link_list
			    (object Link
				quid       	"3C32F95A00E6"
				supplier   	"monitor"
				quidu      	"3C32F7500000"
				messages   	(list Messages
				    (object Message "请求乘梯"
					quid       	"3C32F96301CC"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"1"
					ordinal    	0))))
			class      	"Logical View::CPassenger"
			quidu      	"3C12151703DE"
			persistence 	"Transient"
			multi      	TRUE)
		    (object Object "monitor"
			quid       	"3C32F7500000"
			collaborators 	(list link_list
			    (object Link
				quid       	"3C32F9B40398"
				supplier   	"elevator"
				quidu      	"3C32F785033E"
				messages   	(list Messages
				    (object Message "请求转发"
					quid       	"3C32F9D4006E"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"2"
					ordinal    	1)))
			    (object Link
				quid       	"3C32F9B702D0"
				supplier   	"floor"
				quidu      	"3C32F7AA03C0"))
			class      	"Logical View::CMonitor"
			quidu      	"3C12154C029E"
			persistence 	"Transient"
			multi      	FALSE)
		    (object Object "elevator"
			quid       	"3C32F785033E"
			documentation 	"电梯对象"
			collaborators 	(list link_list
			    (object Link
				quid       	"3C32FA48003C"
				supplier   	"floor"
				quidu      	"3C32F7AA03C0"
				supplier_containment 	"By Value"
				client_containment 	"By Value"
				messages   	(list Messages
				    (object Message "电梯到达"
					quid       	"3C32FA68012C"
					documentation 	
|通知给楼层
|
					
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"3"
					ordinal    	2)
				    (object Message "乘客上下电梯"
					quid       	"3C32FA8F0316"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"ToClientFromSupplier"
					sequence   	"4"
					ordinal    	3))))
			class      	"Logical View::CElevator"
			quidu      	"3C1206FF0294"
			persistence 	"Transient"
			multi      	TRUE)
		    (object Object "floor"
			quid       	"3C32F7AA03C0"
			documentation 	"楼层对象"
			class      	"Logical View::CFloor"
			quidu      	"3C12153D037A"
			persistence 	"Transient"
			multi      	TRUE))))
	logical_presentations 	(list unit_reference_list
	    (object UseCaseDiagram "乘客业务活动"
		quid       	"3C0C7BDC00C9"
		title      	"乘客业务活动"
		zoom       	100
		max_height 	28350
		max_width  	21600
		origin_x   	0
		origin_y   	1938