library system.mdl

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

				    Parent_View 	@30
				    location   	(813, 1694)
				    fill_color 	13434879
				    nlines     	2
				    max_width  	290
				    label      	"Payroll  process")
				line_color 	3342489
				fill_color 	13434879
				width      	350
				height     	112)
			    (object NoteView @31
				location   	(976, 1984)
				label      	(object ItemLabel
				    Parent_View 	@31
				    location   	(813, 1934)
				    fill_color 	13434879
				    nlines     	2
				    max_width  	290
				    label      	"Money role")
				line_color 	3342489
				fill_color 	13434879
				width      	350
				height     	112)
			    (object NoteView @32
				location   	(1616, 1520)
				label      	(object ItemLabel
				    Parent_View 	@32
				    location   	(1453, 1470)
				    fill_color 	13434879
				    nlines     	2
				    max_width  	290
				    label      	"Purchase process")
				line_color 	3342489
				fill_color 	13434879
				width      	350
				height     	112)
			    (object NoteView @33
				location   	(1616, 1728)
				label      	(object ItemLabel
				    Parent_View 	@33
				    location   	(1453, 1678)
				    fill_color 	13434879
				    nlines     	2
				    max_width  	290
				    label      	"Lend process")
				line_color 	3342489
				fill_color 	13434879
				width      	350
				height     	112)
			    (object NoteView @34
				location   	(1616, 1984)
				label      	(object ItemLabel
				    Parent_View 	@34
				    location   	(1453, 1934)
				    fill_color 	13434879
				    nlines     	2
				    max_width  	290
				    label      	"Payment process")
				line_color 	3342489
				fill_color 	13434879
				width      	350
				height     	112)
			    (object NoteView @35
				location   	(352, 1264)
				label      	(object ItemLabel
				    Parent_View 	@35
				    location   	(211, 1214)
				    fill_color 	13434879
				    nlines     	2
				    max_width  	246
				    label      	"Reader role")
				line_color 	3342489
				fill_color 	13434879
				width      	306
				height     	113)
			    (object AttachView "" @36
				stereotype 	TRUE
				line_color 	3342489
				client     	@27
				supplier   	@28
				line_style 	0)
			    (object AttachView "" @37
				stereotype 	TRUE
				line_color 	3342489
				client     	@26
				supplier   	@28
				vertices   	(list Points
				    (1151, 1103)
				    (1615, 1103)
				    (1615, 1207))
				line_style 	0)
			    (object AttachView "" @38
				stereotype 	TRUE
				line_color 	3342489
				client     	@27
				supplier   	@29
				line_style 	0)
			    (object AttachView "" @39
				stereotype 	TRUE
				line_color 	3342489
				client     	@26
				supplier   	@29
				vertices   	(list Points
				    (800, 1149)
				    (687, 1182)
				    (687, 1519)
				    (800, 1519))
				line_style 	0)
			    (object AttachView "" @40
				stereotype 	TRUE
				line_color 	3342489
				client     	@29
				supplier   	@30
				line_style 	0)
			    (object AttachView "" @41
				stereotype 	TRUE
				line_color 	3342489
				client     	@30
				supplier   	@31
				line_style 	0)
			    (object AttachView "" @42
				stereotype 	TRUE
				line_color 	3342489
				client     	@28
				supplier   	@32
				line_style 	0)
			    (object AttachView "" @43
				stereotype 	TRUE
				line_color 	3342489
				client     	@32
				supplier   	@33
				line_style 	0)
			    (object AttachView "" @44
				stereotype 	TRUE
				line_color 	3342489
				client     	@31
				supplier   	@34
				line_style 	0)
			    (object AttachView "" @45
				stereotype 	TRUE
				line_color 	3342489
				client     	@33
				supplier   	@34
				line_style 	0)
			    (object AttachView "" @46
				stereotype 	TRUE
				line_color 	3342489
				client     	@35
				supplier   	@26
				vertices   	(list Points
				    (353, 1207)
				    (356, 1106)
				    (800, 1104))
				line_style 	0)
			    (object AttachView "" @47
				stereotype 	TRUE
				line_color 	3342489
				client     	@35
				supplier   	@27
				line_style 	0))))))
	logical_presentations 	(list unit_reference_list
	    (object UseCaseDiagram "Main"
		quid       	"3A14F18601E1"
		title      	"Main"
		zoom       	100
		max_height 	28350
		max_width  	21600
		origin_x   	0
		origin_y   	0
		items      	(list diagram_item_list
		    (object CategoryView "Use Case View::Library System" @48
			location   	(256, 560)
			label      	(object ItemLabel
			    Parent_View 	@48
			    location   	(112, 476)
			    fill_color 	13434879
			    nlines     	2
			    max_width  	288
			    justify    	0
			    label      	"Library System")
			icon_style 	"Icon"
			line_color 	3342489
			fill_color 	13434879
			quidu      	"3A14F55203DE"
			width      	300
			height     	180)
		    (object CategoryView "Use Case View::Library System::Lend system" @49
			location   	(816, 288)
			label      	(object ItemLabel
			    Parent_View 	@49
			    location   	(620, 253)
			    fill_color 	13434879
			    nlines     	2
			    max_width  	392
			    justify    	0
			    label      	"Lend system")
			stereotype 	(object ItemLabel
			    Parent_View 	@49
			    location   	(620, 203)
			    fill_color 	13434879
			    anchor     	10
			    nlines     	1
			    max_width  	392
			    justify    	0
			    label      	"<<subsystem>>")
			icon_style 	"Icon"
			line_color 	3342489
			fill_color 	13434879
			quidu      	"3A1510710046"
			width      	404
			height     	182)
		    (object CategoryView "Use Case View::Library System::Purchase system" @50
			location   	(816, 560)
			label      	(object ItemLabel
			    Parent_View 	@50
			    location   	(620, 509)
			    fill_color 	13434879
			    nlines     	2
			    max_width  	392
			    justify    	0
			    label      	"Purchase system")
			stereotype 	(object ItemLabel
			    Parent_View 	@50
			    location   	(620, 459)
			    fill_color 	13434879
			    anchor     	10
			    nlines     	1
			    max_width  	392
			    justify    	0
			    label      	"<<subsystem>>")
			icon_style 	"Icon"
			line_color 	3342489
			fill_color 	13434879
			quidu      	"3A14F514032A"
			width      	404
			height     	214)
		    (object ImportView "" @51
			stereotype 	TRUE
			line_color 	3342489
			quidu      	"3A15D1400320"
			client     	@48
			supplier   	@49
			line_style 	0)
		    (object ImportView "" @52
			stereotype 	TRUE
			line_color 	3342489
			quidu      	"3A14F67403AC"
			client     	@48
			supplier   	@50
			line_style 	0)
		    (object CategoryView "Use Case View::Library System::Manager" @53
			location   	(816, 864)
			label      	(object ItemLabel
			    Parent_View 	@53
			    location   	(620, 829)
			    fill_color 	13434879
			    nlines     	2
			    max_width  	392
			    justify    	0
			    label      	"Manager")
			stereotype 	(object ItemLabel
			    Parent_View 	@53
			    location   	(620, 779)
			    fill_color 	13434879
			    anchor     	10
			    nlines     	1
			    max_width  	392
			    justify    	0
			    label      	"<<subsystem>>")
			icon_style 	"Icon"
			line_color 	3342489
			fill_color 	13434879
			quidu      	"3A14F3640258"
			width      	404
			height     	182)
		    (object ImportView "" @54
			stereotype 	TRUE
			line_color 	3342489
			quidu      	"3A14F61A005A"
			client     	@48
			supplier   	@53
			line_style 	0)))))
    root_category 	(object Class_Category "Logical View"
	quid       	"3A14F1860029"
	exportControl 	"Public"
	global     	TRUE
	subsystem  	"Component View"
	quidu      	"3A14F186002B"
	logical_models 	(list unit_reference_list
	    (object Class "Generic Role"
		quid       	"3A150A52006E"
		class_attributes 	(list class_attribute_list
		    (object ClassAttribute "identity"
			quid       	"3A150A75024E")))
	    (object Class "Book role"
		quid       	"3A150C9C0334"
		superclasses 	(list inheritance_relationship_list
		    (object Inheritance_Relationship
			quid       	"3A1517400352"
			supplier   	"Logical View::Generic Role"
			quidu      	"3A150A52006E")))
	    (object Class "Reader role"
		quid       	"3A15144700FA"
		superclasses 	(list inheritance_relationship_list
		    (object Inheritance_Relationship
			quid       	"3A15170B0352"
			supplier   	"Logical View::Reader role::Book account"
			quidu      	"3A1516220168")
		    (object Inheritance_Relationship
			quid       	"3A15171D032A"
			supplier   	"Logical View::Generic Role"
			quidu      	"3A150A52006E"))
		nestedClasses 	(list nestedClasses
		    (object Class "Book account"
			quid       	"3A1516220168"
			class_attributes 	(list class_attribute_list
			    (object ClassAttribute "BookName"
				quid       	"3A15D23302E4")
			    (object ClassAttribute "No."
				quid       	"3A15D23D0208")
			    (object ClassAttribute "Date"
				quid       	"3A15D2410320")))
		    (object Class "Reader Detail"
			quid       	"3A1515690104"
			class_attributes 	(list class_attribute_list
			    (object ClassAttribute "name"
				quid       	"3A15158D00F0")
			    (object ClassAttribute "Registration#"
				quid       	"3A1515A2017C")
			    (object ClassAttribute "RegisterTime"
				quid       	"3A1515E900F0")
			    (object ClassAttribute "Occupation"
				quid       	"3A1515AC02C6")
			    (object ClassAttribute "Address"
				quid       	"3A15160F02A8")
			    (object ClassAttribute "Phone number"
				quid       	"3A1515C1038E")
			    (object ClassAttribute "E-mail"
				quid       	"3A1515D1029E")))))
	    (object Class "Librarian role"
		quid       	"3A1517D20384"
		superclasses 	(list inheritance_relationship_list
		    (object Inheritance_Relationship
			quid       	"3A1519AB0172"
			supplier   	"Logical View::Generic Role"
			quidu      	"3A150A52006E"))
		nestedClasses 	(list nestedClasses
		    (object Class "Personal Detail"
			quid       	"3A15186201A4"
			class_attributes 	(list class_attribute_list
			    (object ClassAttribute "name"
				quid       	"3A15188203DE")
			    (object ClassAttribute "Address"
				quid       	"3A151886029E")
			    (object ClassAttribute "Phone number"
				quid       	"3A1518960140")
			    (object ClassAttribute "E-mail"
				quid       	"3A15189E0190")
			    (object ClassAttribute "Bank number"
				quid       	"3A1518B60190")
			    (object ClassAttribute "Account number"
				quid       	"3A1518C40190")
			    (object ClassAttribute "Birthday"
				quid       	"3A1518EA0050")))
		    (object Class "Payroll Account"
			quid       	"3A15195B037A"
			operations 	(list Operations
			    (object Operation "debit"
				quid       	"3A15196F02D0"
				concurrency 	"Sequential"
				opExportControl 	"Public"
				uid        	0)
			    (object Operation "credit"
				quid       	"3A15197702A8"
				concurrency 	"Sequential"
				opExportControl 	"Public"
				uid        	0)
			    (object Operation "balance"
				quid       	"3A15198302C6"
				concurrency 	"Sequential"
				opExportControl 	"Public"
				uid        	0)
			    (object Operation "payroll"
				quid       	"3A15198E001E"
				concurrency 	"Sequential"
				opExportControl 	"Public"
				uid        	0)))))
	    (object Class "Supplier role"
		quid       	"3A1519EF0168"
		superclasses 	(list inheritance_relationship_list
		    (object Inheritance_Relationship
			quid       	"3A151AF80334"
			supplier   	"Logical View::Generic Role"
			quidu      	"3A150A52006E")))
	    (object Class "Lend process"
		quid       	"3A1521E50028"
		superclasses 	(list inheritance_relationship_list
		    (object Inheritance_Relationship
			quid       	"3A15256C0122"
			supplier   	"Logical View::Generic Role"
			quidu      	"3A150A52006E")
		    (object Inheritance_Relationship
			quid       	"3A15D480017C"
			supplier   	"Logical View::Generic Process"
			quidu      	"3A15D4220348"))
		used_nodes 	(list uses_relationship_list
		    (object Uses_Relationship
			quid       	"3A15D3250050"
			supplier   	"Logical View::Reader role::Book account"
			quidu      	"3A1516220168")
		    (object Uses_Relationship
			quid       	"3A15D33B0258"
			supplier   	"Logical View::LendOut"
			quidu      	"3A1522E5017C"))
		operations 	(list Operations
		    (object Operation "precondition"
			quid       	"3A15D2CF0046"
			concurrency 	"Sequential"