⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 library system.mdl

📁 图书管理系统Rose实例的源代码
💻 MDL
📖 第 1 页 / 共 5 页
字号:
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "complete"
			quid       	"3A15D2E602B2"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)))
	    (object Class "Return process"
		quid       	"3A1529D003B6"
		superclasses 	(list inheritance_relationship_list
		    (object Inheritance_Relationship
			quid       	"3A15D464038E"
			supplier   	"Logical View::Generic Process"
			quidu      	"3A15D4220348"))
		used_nodes 	(list uses_relationship_list
		    (object Uses_Relationship
			quid       	"3A15D38D03AC"
			supplier   	"Logical View::Reader role::Book account"
			quidu      	"3A1516220168")
		    (object Uses_Relationship
			quid       	"3A15D391000A"
			supplier   	"Logical View::LendOut"
			quidu      	"3A1522E5017C"))
		operations 	(list Operations
		    (object Operation "precondition"
			quid       	"3A152D440104"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "complete"
			quid       	"3A152D5D00FA"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)))
	    (object Class "Generic Process"
		quid       	"3A15D4220348"
		class_attributes 	(list class_attribute_list
		    (object ClassAttribute "identity"
			quid       	"3A15D440003C")))
	    (object Class "Money role"
		quid       	"3A15D4A600AA"
		superclasses 	(list inheritance_relationship_list
		    (object Inheritance_Relationship
			quid       	"3A15D7090334"
			supplier   	"Logical View::Generic Role"
			quidu      	"3A150A52006E")))
	    (object Class "NewClass"
		quid       	"3A15D519029E")
	    (object Class "LendOut"
		quid       	"3A1522E5017C"
		superclasses 	(list inheritance_relationship_list
		    (object Inheritance_Relationship
			quid       	"3A15254D0104"
			supplier   	"Logical View::Lend process"
			quidu      	"3A1521E50028"))
		operations 	(list Operations
		    (object Operation "SetLendOutFlag"
			quid       	"3A15232F0136"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)))
	    (object Class "Company Detail"
		quid       	"3A151A040230"
		class_attributes 	(list class_attribute_list
		    (object ClassAttribute "Common name"
			quid       	"3A151A330280")
		    (object ClassAttribute "Bank number"
			quid       	"3A15D6D10082")
		    (object ClassAttribute "Account number"
			quid       	"3A15D6DC01F4")
		    (object ClassAttribute "Address"
			quid       	"3A151A470316")
		    (object ClassAttribute "Phone number"
			quid       	"3A151A5103B6")
		    (object ClassAttribute "Fax number"
			quid       	"3A151A9000F0")
		    (object ClassAttribute "E-mail"
			quid       	"3A151A5A00BE")
		    (object ClassAttribute "URL"
			quid       	"3A151A60030C")))
	    (object Class "Payable Account"
		quid       	"3A151AA702B2"
		operations 	(list Operations
		    (object Operation "debit"
			quid       	"3A151AC00316"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "credit"
			quid       	"3A151AC700AA"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "balance"
			quid       	"3A151ACC0000"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "payment due"
			quid       	"3A151ACF01FE"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)))
	    (object Class "Book Detail"
		quid       	"3A150CC8017C"
		class_attributes 	(list class_attribute_list
		    (object ClassAttribute "name"
			quid       	"3A150CF801B8")
		    (object ClassAttribute "Abstract"
			quid       	"3A150CFC0370")
		    (object ClassAttribute "Year"
			quid       	"3A150CFD03D4")
		    (object ClassAttribute "Publishing house"
			quid       	"3A150D440190")))
	    (object Class "Registration"
		quid       	"3A150E450118"
		class_attributes 	(list class_attribute_list
		    (object ClassAttribute "Type"
			quid       	"3A150E5501AE")
		    (object ClassAttribute "No."
			quid       	"3A150E600212")
		    (object ClassAttribute "BuyInTime"
			quid       	"3A150E65001E")
		    (object ClassAttribute "LendOutFlag"
			quid       	"3A15239D0226")))
	    (object Class "Bank Account"
		quid       	"3A15D693030C"
		operations 	(list Operations
		    (object Operation "debit"
			quid       	"3A15D6B10118"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "credit"
			quid       	"3A15D6BA0186"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "balance"
			quid       	"3A15D6BE02DA"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)))
	    (object Class "Payment process"
		quid       	"3A15D7350398"
		superclasses 	(list inheritance_relationship_list
		    (object Inheritance_Relationship
			quid       	"3A15D7DB02B2"
			supplier   	"Logical View::Generic Process"
			quidu      	"3A15D4220348"))
		used_nodes 	(list uses_relationship_list
		    (object Uses_Relationship
			quid       	"3A15D8260294"
			supplier   	"Logical View::Bank Account"
			quidu      	"3A15D693030C")
		    (object Uses_Relationship
			quid       	"3A15D8290352"
			supplier   	"Logical View::Payable Account"
			quidu      	"3A151AA702B2"))
		operations 	(list Operations
		    (object Operation "precondition"
			quid       	"3A15D77B0384"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "complete"
			quid       	"3A15D78302BC"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)))
	    (object Class "Payroll process"
		quid       	"3A15D86801CC"
		superclasses 	(list inheritance_relationship_list
		    (object Inheritance_Relationship
			quid       	"3A15D9BE0366"
			supplier   	"Logical View::Generic Process"
			quidu      	"3A15D4220348"))
		used_nodes 	(list uses_relationship_list
		    (object Uses_Relationship
			quid       	"3A15D9AF01EA"
			supplier   	"Logical View::Librarian role::Payroll Account"
			quidu      	"3A15195B037A")
		    (object Uses_Relationship
			quid       	"3A15D9F7010E"
			supplier   	"Logical View::Bank Account"
			quidu      	"3A15D693030C"))
		operations 	(list Operations
		    (object Operation "precondition"
			quid       	"3A160C4001EA"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "complete"
			quid       	"3A160C53033E"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)))
	    (object Class "Purchase process"
		quid       	"3A15D91D00AA")
	    (object Class "Request"
		quid       	"3A15DA37028A"
		superclasses 	(list inheritance_relationship_list
		    (object Inheritance_Relationship
			quid       	"3A15DBB10172"
			supplier   	"Logical View::Purchase process"
			quidu      	"3A15D91D00AA"))
		used_nodes 	(list uses_relationship_list
		    (object Uses_Relationship
			quid       	"3A15DBC30294"
			supplier   	"Logical View::Book Detail"
			quidu      	"3A150CC8017C")))
	    (object Class "Quote"
		quid       	"3A15DA4C0050"
		superclasses 	(list inheritance_relationship_list
		    (object Inheritance_Relationship
			quid       	"3A15DBB40154"
			supplier   	"Logical View::Purchase process"
			quidu      	"3A15D91D00AA"))
		used_nodes 	(list uses_relationship_list
		    (object Uses_Relationship
			quid       	"3A15DBC6023A"
			supplier   	"Logical View::Price"
			quidu      	"3A15DAC80064")))
	    (object Class "Order"
		quid       	"3A15DA56019A"
		superclasses 	(list inheritance_relationship_list
		    (object Inheritance_Relationship
			quid       	"3A15DBBA017C"
			supplier   	"Logical View::Purchase process"
			quidu      	"3A15D91D00AA"))
		used_nodes 	(list uses_relationship_list
		    (object Uses_Relationship
			quid       	"3A15DBC90140"
			supplier   	"Logical View::Registration"
			quidu      	"3A150E450118")))
	    (object Class "Receipt"
		quid       	"3A15DA640050"
		superclasses 	(list inheritance_relationship_list
		    (object Inheritance_Relationship
			quid       	"3A15DBBE006E"
			supplier   	"Logical View::Purchase process"
			quidu      	"3A15D91D00AA"))
		used_nodes 	(list uses_relationship_list
		    (object Uses_Relationship
			quid       	"3A15DBCC0230"
			supplier   	"Logical View::Registration"
			quidu      	"3A150E450118")
		    (object Uses_Relationship
			quid       	"3A15DCB603D4"
			supplier   	"Logical View::Payable Account"
			quidu      	"3A151AA702B2")))
	    (object Class "Price"
		quid       	"3A15DAC80064"
		operations 	(list Operations
		    (object Operation "getprice"
			quid       	"3A15DAD802E4"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)
		    (object Operation "setprice"
			quid       	"3A15DAE4006E"
			concurrency 	"Sequential"
			opExportControl 	"Public"
			uid        	0)))
	    (object Association "$UNNAMED$0"
		quid       	"3A15170303DE"
		roles      	(list role_list
		    (object Role "$UNNAMED$1"
			quid       	"3A15170500C8"
			supplier   	"Logical View::Reader role::Reader Detail"
			quidu      	"3A1515690104"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$2"
			quid       	"3A1517050104"
			supplier   	"Logical View::Reader role"
			quidu      	"3A15144700FA"
			is_aggregate 	TRUE)))
	    (object Association "$UNNAMED$3"
		quid       	"3A15171601F4"
		roles      	(list role_list
		    (object Role "$UNNAMED$4"
			quid       	"3A151717006E"
			supplier   	"Logical View::Reader role::Book account"
			quidu      	"3A1516220168"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$5"
			quid       	"3A15171700DC"
			supplier   	"Logical View::Reader role"
			quidu      	"3A15144700FA"
			is_aggregate 	TRUE)))
	    (object Association "$UNNAMED$6"
		quid       	"3A15173503CA"
		roles      	(list role_list
		    (object Role "$UNNAMED$7"
			quid       	"3A1517360276"
			supplier   	"Logical View::Book Detail"
			quidu      	"3A150CC8017C"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$8"
			quid       	"3A15173602E4"
			supplier   	"Logical View::Book role"
			quidu      	"3A150C9C0334"
			is_aggregate 	TRUE)))
	    (object Association "$UNNAMED$9"
		quid       	"3A15173B001E"
		roles      	(list role_list
		    (object Role "$UNNAMED$10"
			quid       	"3A15173B0276"
			supplier   	"Logical View::Registration"
			quidu      	"3A150E450118"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$11"
			quid       	"3A15173B0320"
			supplier   	"Logical View::Book role"
			quidu      	"3A150C9C0334"
			is_aggregate 	TRUE)))
	    (object Association "$UNNAMED$12"
		quid       	"3A1517520064"
		roles      	(list role_list
		    (object Role "$UNNAMED$13"
			quid       	"3A15175602F8"
			supplier   	"Logical View::Generic Role"
			quidu      	"3A150A52006E"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$14"
			quid       	"3A1517570028"
			supplier   	"Logical View::Generic Role"
			quidu      	"3A150A52006E"
			is_aggregate 	TRUE)))
	    (object Association "$UNNAMED$15"
		quid       	"3A1517AA001E"
		roles      	(list role_list
		    (object Role "$UNNAMED$16"
			quid       	"3A1517B0026C"
			supplier   	"Logical View::Generic Role"
			quidu      	"3A150A52006E"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$17"
			quid       	"3A1517B1000A"
			supplier   	"Logical View::Generic Role"
			quidu      	"3A150A52006E"
			is_aggregate 	TRUE)))
	    (object Association "$UNNAMED$18"
		quid       	"3A15199C032A"
		roles      	(list role_list
		    (object Role "$UNNAMED$19"
			quid       	"3A15199E0348"
			supplier   	"Logical View::Librarian role::Personal Detail"
			quidu      	"3A15186201A4"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$20"
			quid       	"3A15199E03B6"
			supplier   	"Logical View::Librarian role"
			quidu      	"3A1517D20384"
			is_aggregate 	TRUE)))
	    (object Association "$UNNAMED$21"
		quid       	"3A1519A20168"
		roles      	(list role_list
		    (object Role "$UNNAMED$22"
			quid       	"3A1519A30122"
			supplier   	"Logical View::Librarian role::Payroll Account"
			quidu      	"3A15195B037A"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$23"
			quid       	"3A1519A3015E"
			supplier   	"Logical View::Librarian role"
			quidu      	"3A1517D20384"
			is_aggregate 	TRUE)))
	    (object Association "$UNNAMED$24"
		quid       	"3A1519AF024E"
		roles      	(list role_list
		    (object Role "$UNNAMED$25"
			quid       	"3A1519B6026C"
			supplier   	"Logical View::Generic Role"
			quidu      	"3A150A52006E"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$26"
			quid       	"3A1519B70078"
			supplier   	"Logical View::Generic Role"
			quidu      	"3A150A52006E"
			is_aggregate 	TRUE)))
	    (object Association "$UNNAMED$27"
		quid       	"3A151AEA032A"
		roles      	(list role_list
		    (object Role "$UNNAMED$28"
			quid       	"3A151AEC0082"
			supplier   	"Logical View::Company Detail"
			quidu      	"3A151A040230"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$29"
			quid       	"3A151AEC00F0"
			supplier   	"Logical View::Supplier role"
			quidu      	"3A1519EF0168"
			is_aggregate 	TRUE)))
	    (object Association "$UNNAMED$30"
		quid       	"3A151AF00168"
		roles      	(list role_list
		    (object Role "$UNNAMED$31"
			quid       	"3A151AF200AA"
			supplier   	"Logical View::Payable Account"
			quidu      	"3A151AA702B2"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$32"
			quid       	"3A151AF20154"
			supplier   	"Logical View::Supplier role"
			quidu      	"3A1519EF0168"
			is_aggregate 	TRUE)))
	    (object Association "$UNNAMED$33"
		quid       	"3A151B770104"
		roles      	(list role_list
		    (object Role "$UNNAMED$34"
			quid       	"3A151B7A014A"
			supplier   	"Logical View::Book role"
			quidu      	"3A150C9C0334"
			is_navigable 	TRUE)
		    (object Role "$UNNAMED$35"
			quid       	"3A151B7A0226"
			supplier   	"Logical View::Supplier role"

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -