library system.mdl

图书管理系统Rose实例的源代码

			supplier   	"Logical View::Price"
			quidu      	"3A15DAC80064"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$137"
			quid       	"3A15DBFD00DC"
			supplier   	"Logical View::Book role"
			quidu      	"3A150C9C0334"
			is_aggregate 	TRUE)))
	    (object Association "$UNNAMED$138"
		quid       	"3A15DC4601EA"
		roles      	(list role_list
		    (object Role "$UNNAMED$139"
			quid       	"3A15DC4C005A"
			supplier   	"Logical View::Book Detail"
			quidu      	"3A150CC8017C"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$140"
			quid       	"3A15DC4C0096"
			supplier   	"Logical View::Book role"
			quidu      	"3A150C9C0334"
			is_aggregate 	TRUE)))
	    (object Association "$UNNAMED$141"
		quid       	"3A15DC9402F8"
		roles      	(list role_list
		    (object Role "$UNNAMED$142"
			quid       	"3A15DC9600BE"
			supplier   	"Logical View::Registration"
			quidu      	"3A150E450118"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$143"
			quid       	"3A15DC96015E"
			supplier   	"Logical View::Book role"
			quidu      	"3A150C9C0334"
			is_aggregate 	TRUE)))
	    (object Association "$UNNAMED$144"
		quid       	"3A15DCAB01F4"
		roles      	(list role_list
		    (object Role "$UNNAMED$145"
			quid       	"3A15DCAC00A0"
			supplier   	"Logical View::Payable Account"
			quidu      	"3A151AA702B2"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$146"
			quid       	"3A15DCAC01AE"
			supplier   	"Logical View::Supplier role"
			quidu      	"3A1519EF0168"
			is_aggregate 	TRUE)))
	    (object Association "$UNNAMED$147"
		quid       	"3A15DCCF01E0"
		roles      	(list role_list
		    (object Role "$UNNAMED$148"
			quid       	"3A15DCD50316"
			supplier   	"Logical View::Supplier role"
			quidu      	"3A1519EF0168"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$149"
			quid       	"3A15DCD600B4"
			supplier   	"Logical View::Book role"
			quidu      	"3A150C9C0334")))
	    (object Association "$UNNAMED$150"
		quid       	"3A15DCDD0172"
		roles      	(list role_list
		    (object Role "$UNNAMED$151"
			quid       	"3A15DCE402A8"
			supplier   	"Logical View::Book role"
			quidu      	"3A150C9C0334"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$152"
			quid       	"3A15DCE50186"
			supplier   	"Logical View::Supplier role"
			quidu      	"3A1519EF0168")))
	    (object Mechanism @55
		logical_models 	(list unit_reference_list
		    (object Object ":Lend process"
			quid       	"3A15DEE400C8"
			collaborators 	(list link_list
			    (object Link
				quid       	"3A15DF240014"
				supplier   	":Reader role"
				quidu      	"3A15DEF30208"
				messages   	(list Messages
				    (object Message ""
					quid       	"3A15DF240015"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"1"
					ordinal    	0)))
			    (object Link
				quid       	"3A15DFAB001E"
				supplier   	"Book role"
				quidu      	"3A15DF050398"
				messages   	(list Messages
				    (object Message ""
					quid       	"3A1A010B02A8"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"2"
					ordinal    	1)))
			    (object Link
				quid       	"3A15DFCB03A2"
				supplier   	":Lend process"
				quidu      	"3A15DEE400C8"
				messages   	(list Messages
				    (object Message ""
					quid       	"3A1A014E00C8"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"4"
					ordinal    	3)))
			    (object Link
				quid       	"3A188C250136"
				supplier   	":Book account"
				quidu      	"3A188BAC0136"
				messages   	(list Messages
				    (object Message ""
					quid       	"3A188D8200FA"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"5"
					ordinal    	4)))
			    (object Link
				quid       	"3A188C370064"
				supplier   	":Registration"
				quidu      	"3A188BBF0104"
				messages   	(list Messages
				    (object Message ""
					quid       	"3A188D96015E"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"6"
					ordinal    	5)))
			    (object Link
				quid       	"3A188CBE00DC"
				supplier   	":Book Detail"
				quidu      	"3A188C6F0316"
				messages   	(list Messages
				    (object Message ""
					quid       	"3A1A0192008C"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"3"
					ordinal    	2))))
			persistence 	"Transient"
			multi      	FALSE)
		    (object Object ":Reader role"
			quid       	"3A15DEF30208"
			persistence 	"Transient"
			multi      	FALSE)
		    (object Object "Book role"
			quid       	"3A15DF050398"
			persistence 	"Transient"
			multi      	FALSE)
		    (object Object ":Book account"
			quid       	"3A188BAC0136"
			persistence 	"Transient"
			multi      	FALSE)
		    (object Object ":Registration"
			quid       	"3A188BBF0104"
			persistence 	"Transient"
			multi      	FALSE)
		    (object Object ":Book Detail"
			quid       	"3A188C6F0316"
			persistence 	"Transient"
			multi      	FALSE)))
	    (object Mechanism @56
		logical_models 	(list unit_reference_list
		    (object Object ":return process"
			quid       	"3A15E28C00B4"
			collaborators 	(list link_list
			    (object Link
				quid       	"3A15E2CB0122"
				supplier   	"Reader role"
				quidu      	"3A15E2AB017C"
				messages   	(list Messages
				    (object Message ""
					quid       	"3A1A00500370"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"1"
					ordinal    	0)))
			    (object Link
				quid       	"3A15E2D00348"
				supplier   	"Book role"
				quidu      	"3A15E2B8026C"
				messages   	(list Messages
				    (object Message ""
					quid       	"3A19FFD3010E"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"4"
					ordinal    	3)))
			    (object Link
				quid       	"3A19FEE601E0"
				supplier   	":Book account"
				quidu      	"3A19FE9E0104"
				messages   	(list Messages
				    (object Message ""
					quid       	"3A19FEE601E1"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"3"
					ordinal    	2)
				    (object Message ""
					quid       	"3A19FF9B0050"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"2"
					ordinal    	1)))
			    (object Link
				quid       	"3A1A000102E4"
				supplier   	":Registration"
				quidu      	"3A19FEA9023A"
				messages   	(list Messages
				    (object Message ""
					quid       	"3A1A000102E5"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"5"
					ordinal    	4))))
			persistence 	"Transient"
			multi      	FALSE)
		    (object Object "Reader role"
			quid       	"3A15E2AB017C"
			persistence 	"Transient"
			multi      	FALSE)
		    (object Object "Book role"
			quid       	"3A15E2B8026C"
			persistence 	"Transient"
			multi      	FALSE)
		    (object Object ":Book account"
			quid       	"3A19FE9E0104"
			persistence 	"Transient"
			multi      	FALSE)
		    (object Object ":Registration"
			quid       	"3A19FEA9023A"
			persistence 	"Transient"
			multi      	FALSE)))
	    (object Mechanism @57
		logical_models 	(list unit_reference_list
		    (object Object ":payment process"
			quid       	"3A15E4B90014"
			collaborators 	(list link_list
			    (object Link
				quid       	"3A15E52B0028"
				supplier   	":supplier role"
				quidu      	"3A15E4C701CC"
				messages   	(list Messages
				    (object Message ""
					quid       	"3A15E52B0029"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"1"
					ordinal    	0)))
			    (object Link
				quid       	"3A15E613010E"
				supplier   	":money role"
				quidu      	"3A15E4D30370"
				messages   	(list Messages
				    (object Message ""
					quid       	"3A1A0CD900FA"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"3"
					ordinal    	2)))
			    (object Link
				quid       	"3A1A0B9A026C"
				supplier   	":payable account"
				quidu      	"3A1A0B11005A"
				messages   	(list Messages
				    (object Message ""
					quid       	"3A1A0B9A026D"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"2"
					ordinal    	1)
				    (object Message ""
					quid       	"3A1A0D5603CA"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"5"
					ordinal    	4)
				    (object Message ""
					quid       	"3A1A0D720258"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"7"
					ordinal    	6)))
			    (object Link
				quid       	"3A1A0D120096"
				supplier   	":bank account"
				quidu      	"3A1A0B290104"
				messages   	(list Messages
				    (object Message ""
					quid       	"3A1A0D120097"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"4"
					ordinal    	3)
				    (object Message ""
					quid       	"3A1A0D5C0050"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"6"
					ordinal    	5))))
			persistence 	"Transient"
			multi      	FALSE)
		    (object Object ":supplier role"
			quid       	"3A15E4C701CC"
			persistence 	"Transient"
			multi      	FALSE)
		    (object Object ":money role"
			quid       	"3A15E4D30370"
			persistence 	"Transient"
			multi      	FALSE)
		    (object Object ":payable account"
			quid       	"3A1A0B11005A"
			persistence 	"Transient"
			multi      	FALSE)
		    (object Object ":bank account"
			quid       	"3A1A0B290104"
			persistence 	"Transient"
			multi      	FALSE)))
	    (object Mechanism @58
		logical_models 	(list unit_reference_list
		    (object Object ":payroll process"
			quid       	"3A16062B02A8"
			collaborators 	(list link_list
			    (object Link
				quid       	"3A160AF301A4"
				supplier   	"Librarian role"
				quidu      	"3A160A640078"
				messages   	(list Messages
				    (object Message ""
					quid       	"3A160AF301A5"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"1"
					ordinal    	0)))
			    (object Link
				quid       	"3A160B9F0122"
				supplier   	"Money role"
				quidu      	"3A160AAD000A"
				messages   	(list Messages
				    (object Message ""
					quid       	"3A160BE00104"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"3"
					ordinal    	2)))
			    (object Link
				quid       	"3A1A0E830168"
				supplier   	":payroll account"
				quidu      	"3A1A0E1300C8"
				messages   	(list Messages
				    (object Message ""
					quid       	"3A1A0E830169"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"2"
					ordinal    	1)
				    (object Message ""
					quid       	"3A1A0F2D0352"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"5"
					ordinal    	4)))
			    (object Link
				quid       	"3A1A0ED702D0"
				supplier   	":bank account"
				quidu      	"3A1A0E300212"
				messages   	(list Messages
				    (object Message ""
					quid       	"3A1A0ED702D1"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"4"
					ordinal    	3)
				    (object Message ""
					quid       	"3A1A0F3301C2"
					frequency  	"Aperiodic"
					synchronization 	"Simple"
					dir        	"FromClientToSupplier"
					sequence   	"6"
					ordinal    	5))))
			persistence 	"Transient"
			multi      	FALSE)
		    (object Object "Librarian role"
			quid       	"3A160A640078"
			persistence 	"Transient"
			multi      	FALSE)
		    (object Object "Money role"
			quid       	"3A160AAD000A"
			persistence 	"Transient"
			multi