📄 senquence.mdl
字号:
(object Petal
version 47
_written "Rose 8.0.0303.1400"
charSet 134)
(object Design "Logical View"
is_unit TRUE
is_loaded TRUE
attributes (list Attribute_Set
(object Attribute
tool "Java"
name "IDE"
value "Internal Editor")
(object Attribute
tool "Java"
name "UserDefineTagName1"
value "")
(object Attribute
tool "Java"
name "UserDefineTagText1"
value "")
(object Attribute
tool "Java"
name "UserDefineTagApply1"
value "")
(object Attribute
tool "Java"
name "UserDefineTagName2"
value "")
(object Attribute
tool "Java"
name "UserDefineTagText2"
value "")
(object Attribute
tool "Java"
name "UserDefineTagApply2"
value "")
(object Attribute
tool "Java"
name "UserDefineTagName3"
value "")
(object Attribute
tool "Java"
name "UserDefineTagText3"
value "")
(object Attribute
tool "Java"
name "UserDefineTagApply3"
value ""))
quid "4941EC9F01C5"
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 0
gridY 0
defaultFont (object Font
size 12
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 "4941EC9F01C7"
exportControl "Public"
global TRUE
logical_models (list unit_reference_list
(object Class "user"
quid "4941FE550196"
used_nodes (list uses_relationship_list
(object Uses_Relationship
quid "49420F4E036B"
label "登录"
supplier "Use Case View::MainFace"
quidu "49420DE10148"))
operations (list Operations
(object Operation "login"
quid "4941FF080186"
concurrency "Sequential"
opExportControl "Public"
uid 0))
class_attributes (list class_attribute_list
(object ClassAttribute "name"
quid "4941FE7F0186"
type "String")
(object ClassAttribute "address"
quid "4941FE80030D"
type "String")))
(object Class "BorrowBook"
quid "4941FF9203C8"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "49420E7C0196"
supplier "Use Case View::MainFace"
quidu "49420DE10148"))
used_nodes (list uses_relationship_list
(object Uses_Relationship
quid "49420C700128"
label "操作数据库"
supplier "Use Case View::ConnectionDB"
quidu "49420B93031C"))
operations (list Operations
(object Operation "getBook"
quid "4941FFB70203"
concurrency "Sequential"
opExportControl "Public"
uid 0)
(object Operation "getConnection"
quid "494203E3036B"
concurrency "Sequential"
opExportControl "Public"
uid 0))
class_attributes (list class_attribute_list
(object ClassAttribute "bookname"
quid "4941FFFA00DA"
type "Book"
quidu "4942013E0261"
exportControl "Public")
(object ClassAttribute "bookid"
quid "4941FFFC0109"
type "Book"
quidu "4942013E0261"
exportControl "Public")
(object ClassAttribute "borrowdate"
quid "494200040138"
type "Book"
quidu "4942013E0261"
exportControl "Public")
(object ClassAttribute "returndate"
quid "494200780128"
type "Book"
quidu "4942013E0261"
exportControl "Public")
(object ClassAttribute "readername"
quid "49420399008C"
type "Book"
quidu "4942013E0261"
exportControl "Public")))
(object Class "ReturnBook"
quid "494200EE0203"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "49420E8301F4"
supplier "Use Case View::MainFace"
quidu "49420DE10148"))
used_nodes (list uses_relationship_list
(object Uses_Relationship
quid "49420C730203"
label "操作数据库"
supplier "Use Case View::ConnectionDB"
quidu "49420B93031C"))
operations (list Operations
(object Operation "returnBook"
quid "49420122031C"
concurrency "Sequential"
opExportControl "Public"
uid 0)
(object Operation "getConnection"
quid "494203F5032C"
concurrency "Sequential"
opExportControl "Public"
uid 0))
class_attributes (list class_attribute_list
(object ClassAttribute "bookname"
quid "494202D401C5"
type "Book"
quidu "4942013E0261"
exportControl "Public")
(object ClassAttribute "bookid"
quid "49420697009C"
type "Book"
quidu "4942013E0261"
exportControl "Public")
(object ClassAttribute "returndate"
quid "494206C20213"
type "Book"
quidu "4942013E0261"
exportControl "Public")
(object ClassAttribute "currentdate"
quid "494206C4000F"
type "Book"
quidu "4942013E0261"
exportControl "Public")
(object ClassAttribute "readername"
quid "4942078102FD"
type "Book"
quidu "4942013E0261"
exportControl "Public")))
(object Class "Book"
quid "4942013E0261"
used_nodes (list uses_relationship_list
(object Uses_Relationship
quid "4942088F02CE"
supplier "Use Case View::BorrowBook"
quidu "4941FF9203C8")
(object Uses_Relationship
quid "494208950196"
supplier "Use Case View::ReturnBook"
quidu "494200EE0203"))
operations (list Operations
(object Operation "get"
quid "4942015902AF"
concurrency "Sequential"
opExportControl "Public"
uid 0)
(object Operation "set"
quid "4942015D01F4"
concurrency "Sequential"
opExportControl "Public"
uid 0))
class_attributes (list class_attribute_list
(object ClassAttribute "bookname"
quid "4942016502CE"
type "String"
exportControl "Public")
(object ClassAttribute "bookid"
quid "494201690399"
type "String"
exportControl "Public")
(object ClassAttribute "bookprice"
quid "494201730232"
type "Double"
exportControl "Public")
(object ClassAttribute "bookaccount"
quid "4942017F0196"
type "Integer"
exportControl "Public")
(object ClassAttribute "borrowdate"
quid "4942046A01D4"
type "Date"
exportControl "Public")
(object ClassAttribute "returndate"
quid "4942048D0167"
type "Date"
exportControl "Public")
(object ClassAttribute "readername"
quid "494204AD008C"
type "String"
exportControl "Public")
(object ClassAttribute "currentdate"
quid "4942070903A9"
type "Date"
exportControl "Public")
(object ClassAttribute "publishdate"
quid "494208CB006D"
type "Date"
exportControl "Public")
(object ClassAttribute "publishcompany"
quid "494208D902CE"
type "String"
exportControl "Public")))
(object Class "ConnectionDB"
quid "49420B93031C"
operations (list Operations
(object Operation "connectionDB"
quid "49420C1B0157"
concurrency "Sequential"
opExportControl "Public"
uid 0)
(object Operation "disconnectionDB"
quid "49420C370157"
concurrency "Sequential"
opExportControl "Public"
uid 0))
class_attributes (list class_attribute_list
(object ClassAttribute "dbuser"
quid "49420BF2003E"
type "String"
exportControl "Public")
(object ClassAttribute "dbuserpwd"
quid "49420BF3006D"
type "String"
exportControl "Public")))
(object Class "MainFace"
quid "49420DE10148"
stereotype "control"
used_nodes (list uses_relationship_list
(object Uses_Relationship
quid "49420EB80271"
label "借书界面"
supplier "Use Case View::BorrowBook"
quidu "4941FF9203C8")
(object Uses_Relationship
quid "49420EBE02FD"
label "还书界面"
supplier "Use Case View::ReturnBook"
quidu "494200EE0203")))
(object Class "图书管理员"
quid "4942114700DA"
stereotype "Actor")
(object Class "NewClass2"
quid "494215B5000F"
stereotype "Actor")
(object UseCase "新增书籍信息"
quid "494214650222")
(object UseCase "查询书籍信息"
quid "494214AF0280")
(object UseCase "图书借阅信息"
quid "494214CF038A")
(object UseCase "图书归还信息"
quid "494214D101A5")
(object UseCase "统计金额信息"
quid "494214E80251")
(object UseCase "统计册数信息"
quid "494214EB01A5")
(object UseCase "修改书籍信息"
quid "494215310128")
(object UseCase "查询外借信息"
quid "494215470186")
(object Association "$UNNAMED$0"
quid "4942159F00BB"
roles (list role_list
(object Role "$UNNAMED$1"
quid "4942159F02CE"
supplier "Use Case View::新增书籍信息"
quidu "494214650222"
is_navigable TRUE)
(object Role "$UNNAMED$2"
quid "4942159F02D0"
supplier "Use Case View::图书管理员"
quidu "4942114700DA")))
(object Association "$UNNAMED$3"
quid "494215A4037A"
roles (list role_list
(object Role "$UNNAMED$4"
quid "494215A50251"
supplier "Use Case View::查询书籍信息"
quidu "494214AF0280"
is_navigable TRUE)
(object Role "$UNNAMED$5"
quid "494215A50253"
supplier "Use Case View::图书管理员"
quidu "4942114700DA")))
(object Association "$UNNAMED$6"
quid "494215A902FD"
roles (list role_list
(object Role "$UNNAMED$7"
quid "494215AA0128"
supplier "Use Case View::图书借阅信息"
quidu "494214CF038A"
is_navigable TRUE)
(object Role "$UNNAMED$8"
quid "494215AA012A"
supplier "Use Case View::图书管理员"
quidu "4942114700DA")))
(object Association "$UNNAMED$9"
quid "494215AC000F"
roles (list role_list
(object Role "$UNNAMED$10"
quid "494215AC0242"
supplier "Use Case View::图书归还信息"
quidu "494214D101A5"
is_navigable TRUE)
(object Role "$UNNAMED$11"
quid "494215AC0244"
supplier "Use Case View::图书管理员"
quidu "4942114700DA")))
(object Association "$UNNAMED$12"
quid "494215B2008C"
roles (list role_list
(object Role "$UNNAMED$13"
quid "494215B202AF"
supplier "Use Case View::统计金额信息"
quidu "494214E80251"
is_navigable TRUE)
(object Role "$UNNAMED$14"
quid "494215B202B1"
supplier "Use Case View::图书管理员"
quidu "4942114700DA")))
(object Association "$UNNAMED$15"
quid "494215BD005D"
roles (list role_list
(object Role "$UNNAMED$16"
quid "494215BE0000"
supplier "Use Case View::统计册数信息"
quidu "494214EB01A5"
is_navigable TRUE)
(object Role "$UNNAMED$17"
quid "494215BE0002"
supplier "Use Case View::图书管理员"
quidu "4942114700DA")))
(object Association "$UNNAMED$18"
quid "494215C60148"
stereotype "extend"
roles (list role_list
(object Role "$UNNAMED$19"
quid "494215C6029F"
supplier "Use Case View::查询书籍信息"
quidu "494214AF0280"
is_navigable TRUE)
(object Role "$UNNAMED$20"
quid "494215C602A1"
supplier "Use Case View::修改书籍信息"
quidu "494215310128")))
(object Association "$UNNAMED$21"
quid "494215E40109"
stereotype "include"
roles (list role_list
(object Role "$UNNAMED$22"
quid "494215E500AB"
supplier "Use Case View::查询外借信息"
quidu "494215470186"
is_navigable TRUE)
(object Role "$UNNAMED$23"
quid "494215E500AD"
supplier "Use Case View::查询书籍信息"
quidu "494214AF0280")))
(object Mechanism @1
logical_models (list unit_reference_list)))
statemachine (object State_Machine "State/Activity Model"
quid "494218C00109"
states (list States
(object State "读者"
quid "494218CC002E"
transitions (list transition_list
(object State_Transition
quid "49421B1900EA"
supplier "检查图书证"
quidu "49421AE500FA"
sendEvent (object sendEvent
quid "49421B1900ED"))
(object State_Transition
quid "49421D8102CE"
supplier "NewActivity"
quidu "49421D540000"
sendEvent (object sendEvent
quid "49421D8102D1")))
type "StartState")
(object ActivityState "检查图书证"
quid "49421AE500FA"
transitions (list transition_list
(object State_Transition
quid "4942213402FD"
supplier "图书证无效或已过期"
quidu "49421EF20167"
sendEvent (object sendEvent
quid "494221340300"))))
(object State "$UNNAMED$24"
quid "49421D4A0232"
type "EndState")
(object ActivityState "NewActivity"
quid "49421D540000")
(object ActivityState "NewActivity2"
quid "49421D9800EA")
(object ActivityState "借书"
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -