supermarket.mdl

该文件包含四个系统（报帐系统、超市管理系统、图书馆管理系统、学生信息管理系统、保险管理系统）的设计文档和rationale rose的mdl文件

		    (object Operation "modify"
			quid       	"474E7F56038A"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "count"
			quid       	"474E7CA50138"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "store"
			quid       	"474E7CFB0271"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "FindOnLastname"
			quid       	"474E7CAB005D"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "FindOnIBSN"
			quid       	"474E7D5F033C"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "goodsIF"
			quid       	"474E82D701B5"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0))
		class_attributes 	(list class_attribute_list
		    (object ClassAttribute "IBSN"
			quid       	"474E7A750203")
		    (object ClassAttribute "brand"
			quid       	"474E7AF4004E")
		    (object ClassAttribute "price"
			quid       	"474E7B6A02FD")
		    (object ClassAttribute "place"
			quid       	"474E7B6E033C")
		    (object ClassAttribute "date"
			quid       	"474E7B7A01E4")
		    (object ClassAttribute "quality deadline"
			quid       	"474E7B7E01F4")
		    (object ClassAttribute "storage"
			quid       	"474E7C630196")))
	    (object Class "purchase"
		quid       	"474E79B1006D"
		operations 	(list Operations
		    (object Operation "FindOnLastName"
			quid       	"474E7FF900EA"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "FindOnIBSN"
			quid       	"474E801F0196"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "addPurchas_Clicked"
			quid       	"474E80370280"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "purchaseIF"
			quid       	"474E82A00000"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "score"
			quid       	"474E831301C5"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0))
		class_attributes 	(list class_attribute_list
		    (object ClassAttribute "goods IBSN"
			quid       	"474E7E5F005D")
		    (object ClassAttribute "purchase date"
			quid       	"474E7E7600AB")
		    (object ClassAttribute "customer member ID"
			quid       	"474E7E8D0167")))
	    (object Class "payment"
		quid       	"474E79BB0196"
		operations 	(list Operations
		    (object Operation "FindOnLastName"
			quid       	"474E838900FA"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "FindOnIBSN"
			quid       	"474E83990271"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "account total"
			quid       	"474E83D60242"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "payment"
			quid       	"474E83DE01F4"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "check the pay"
			quid       	"474E8412038A"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "addPayment"
			quid       	"474E841B00AB"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "deletePayment"
			quid       	"474E83A103B9"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0))
		class_attributes 	(list class_attribute_list
		    (object ClassAttribute "goods IBSN"
			quid       	"474E831F02EE")
		    (object ClassAttribute "total price"
			quid       	"474E832B007D")
		    (object ClassAttribute "customer member ID"
			quid       	"474E836000DA")))
	    (object Class "cancel purchase"
		quid       	"474E79C1008C"
		operations 	(list Operations
		    (object Operation "FindOnLastName"
			quid       	"474E84A50213"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "FindONIBSN"
			quid       	"474E8543002E"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "delete"
			quid       	"474E854D0148"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "cancelPurchaseIF"
			quid       	"474E85C00148"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "refund"
			quid       	"474E86130271"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0))
		class_attributes 	(list class_attribute_list
		    (object ClassAttribute "goods IBSN"
			quid       	"474E84630261")
		    (object ClassAttribute "purchase date"
			quid       	"474E846D0167")
		    (object ClassAttribute "price"
			quid       	"474E84750186")
		    (object ClassAttribute "customer member ID"
			quid       	"474E847A00BB")))
	    (object Association "$UNNAMED$24"
		quid       	"474E864600FA"
		roles      	(list role_list
		    (object Role "1"
			quid       	"474E8647005D"
			label      	"1"
			supplier   	"Logical View::customer"
			quidu      	"474E783100BB"
			is_navigable 	TRUE)
		    (object Role "n"
			quid       	"474E8647005F"
			label      	"n"
			supplier   	"Logical View::adiminster"
			quidu      	"474E775F0138")))
	    (object Association "maintenance"
		quid       	"4750C5E702EE"
		roles      	(list role_list
		    (object Role "$UNNAMED$25"
			quid       	"4750C5E8036B"
			supplier   	"Logical View::adiminster"
			quidu      	"474E775F0138"
			client_cardinality 	(value cardinality "1")
			is_navigable 	TRUE)
		    (object Role "0..*"
			quid       	"4750C5E8036D"
			label      	"0..*"
			supplier   	"Logical View::customer"
			quidu      	"474E783100BB"
			client_cardinality 	(value cardinality "*"))))
	    (object Association "$UNNAMED$26"
		quid       	"4750C6B6034B"
		roles      	(list role_list
		    (object Role "0..*"
			quid       	"4750C6BA007D"
			label      	"0..*"
			supplier   	"Logical View::emploree"
			quidu      	"474E7873006D"
			client_cardinality 	(value cardinality "*")
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$27"
			quid       	"4750C6BA007F"
			supplier   	"Logical View::adiminster"
			quidu      	"474E775F0138"
			client_cardinality 	(value cardinality "1"))))
	    (object Association "$UNNAMED$28"
		quid       	"4750C6CE0196"
		roles      	(list role_list
		    (object Role "0..*"
			quid       	"4750C6D2001F"
			label      	"0..*"
			supplier   	"Logical View::goods"
			quidu      	"474E799F01D4"
			client_cardinality 	(value cardinality "1")
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$29"
			quid       	"4750C6D20021"
			supplier   	"Logical View::adiminster"
			quidu      	"474E775F0138"
			client_cardinality 	(value cardinality "*"))))
	    (object Association "$UNNAMED$30"
		quid       	"4750C793035B"
		roles      	(list role_list
		    (object Role "0..*"
			quid       	"4750C7960261"
			label      	"0..*"
			supplier   	"Logical View::purchase"
			quidu      	"474E79B1006D"
			client_cardinality 	(value cardinality "1")
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$31"
			quid       	"4750C7960263"
			supplier   	"Logical View::adiminster"
			quidu      	"474E775F0138"
			client_cardinality 	(value cardinality "*"))))
	    (object Association "$UNNAMED$32"
		quid       	"4750C7A103A9"
		roles      	(list role_list
		    (object Role "0..*"
			quid       	"4750C7AA02FD"
			label      	"0..*"
			supplier   	"Logical View::cancel purchase"
			quidu      	"474E79C1008C"
			client_cardinality 	(value cardinality "1")
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$33"
			quid       	"4750C7AA02FF"
			supplier   	"Logical View::adiminster"
			quidu      	"474E775F0138")))
	    (object Association "$UNNAMED$34"
		quid       	"4750C7B9001F"
		roles      	(list role_list
		    (object Role "0..*"
			quid       	"4750C7C001A5"
			label      	"0..*"
			supplier   	"Logical View::payment"
			quidu      	"474E79BB0196"
			client_cardinality 	(value cardinality "1")
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$35"
			quid       	"4750C7C001B5"
			supplier   	"Logical View::adiminster"
			quidu      	"474E775F0138"
			client_cardinality 	(value cardinality "*"))))
	    (object Association "$UNNAMED$36"
		quid       	"475881970119"
		roles      	(list role_list
		    (object Role "$UNNAMED$37"
			quid       	"47588198035B"
			supplier   	"Logical View::cancel purchase"
			quidu      	"474E79C1008C"
			client_cardinality 	(value cardinality "1")
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$38"
			quid       	"47588198036B"
			supplier   	"Logical View::adiminster"
			quidu      	"474E775F0138"
			client_cardinality 	(value cardinality "*"))))
	    (object Class_Category "javax"
		is_unit    	TRUE
		is_loaded  	FALSE
		file_name  	"$FRAMEWORK_PATH\\Shared Components\\j2ee_javax.cat"
		quid       	"39C926610018")
	    (object Class_Category "java"
		is_unit    	TRUE
		is_loaded  	FALSE
		file_name  	"$FRAMEWORK_PATH\\Shared Components\\j2se_1_3_java.cat"
		quid       	"39C92661003B")
	    (object Class_Category "org"
		is_unit    	TRUE
		is_loaded  	FALSE
		file_name  	"$FRAMEWORK_PATH\\Shared Components\\j2se_1_3_org.cat"
		quid       	"39C92693036F")
	    (object Mechanism @30
		logical_models 	(list unit_reference_list
		    (object Object "$UNNAMED$39"
			quid       	"474C43EA033C"
			collaborators 	(list link_list
			    (object Link
				quid       	"474C43FF02AF"
				supplier   	"customer frame"
				quidu      	"474C43F1000F"
				messages   	(list Messages
				    (object Message "1:UpdateButton_clicked()"
					quid       	"474C43FF02B0"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"1"
					ordinal    	0
					quidu      	"000000000000"
					creation   	FALSE)
				    (object Message "1.1:addButton_clicked()"
					quid       	"474CB9790109"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"2"
					ordinal    	1
					quidu      	"000000000000"
					creation   	FALSE)
				    (object Message "1.2:deleteButton_clicked()"
					quid       	"474CB9C9009C"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"3"
					ordinal    	2
					quidu      	"000000000000"
					creation   	FALSE)
				    (object Message "1.3:modifyButton_clicked()"
					quid       	"474CBB400119"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"4"
					ordinal    	3
					quidu      	"000000000000"
					creation   	FALSE)))
			    (object Link
				quid       	"474C441201A5"
				supplier   	"customer information"
				quidu      	"474C43F3038A"))
			class      	"Use Case View::adiminister"
			quidu      	"474C27F301E4"
			persistence 	"Transient"
			creationObj 	FALSE
			multi      	FALSE)
		    (object Object "customer frame"
			quid       	"474C43F1000F"
			collaborators 	(list link_list
			    (object Link
				quid       	"474C44080232"
				supplier   	"customer information"
				quidu      	"474C43F3038A"
				messages   	(list Messages
				    (object Message "2:FindOnLastName(String)"
					quid       	"474C44080233"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"5"
					ordinal    	4
					quidu      	"000000000000"
					creation   	FALSE)
				    (object Message "3:CustomerInformation(String,String,String,String,String)"
					quid       	"474CADF8034B"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"6"
					ordinal    	5
					quidu      	"000000000000"
					creation   	FALSE)
				    (object Message "4:store()"
					quid       	"474CAF0D00DA"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"7"
					ordinal    	6
					quidu      	"000000000000"
					creation   	FALSE))))
			persistence 	"Transient"
			creationObj 	FALSE
			multi      	FALSE)
		    (object Object "customer information"
			quid       	"474C43F3038A"
			persistence 	"Transient"
			creationObj 	FALSE
			multi      	FALSE)))
	    (object Mechanism @31
		logical_models 	(list unit_reference_list
		    (object Object "$UNNAMED$40"
			quid       	"474CB253007D"
			collaborators 	(list link_list
			    (object Link
				quid       	"474CC6B7000F"
				supplier   	"goods frame"
				quidu      	"474CC68103D8"
				messages   	(list Messages
				    (object Message "1:UpdateButton_clicked()"
					quid       	"474CC6B70010"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"1"
					ordinal    	0
					quidu      	"000000000000"
					creation   	FALSE)
				    (object Message "1.1:addButton_clicked()"
					quid       	"474CC6BC005D"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"2"
					ordinal    	1
					quidu      	"000000000000"