📄 coursereg(analysis).mdl
字号:
(object Petal
version 43
_written "Rose 6.1.9113.5"
charSet 0)
(object Design "Logical View"
is_unit TRUE
is_loaded TRUE
quid "374681070289"
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 16
gridY 16
defaultFont (object Font
size 10
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 "35A6224F02F0"
external_docs (list external_doc_list
(object external_doc
external_doc_path "$REGISTRATION\\Requirements\\Course Registration Problem Statement.doc")
(object external_doc
external_doc_path "$REGISTRATION\\Requirements\\Glossary.doc")
(object external_doc
external_doc_path "$REGISTRATION\\Requirements\\Supplementary Specifications.doc"))
exportControl "Public"
global TRUE
logical_models (list unit_reference_list
(object Class "Student"
quid "35A622C80212"
stereotype "Actor")
(object Class "Professor"
quid "35A622CF0190"
stereotype "Actor")
(object Class "Registrar"
quid "35A622D800F0"
stereotype "Actor")
(object Class "Course Catalog"
quid "35A6231A0136"
stereotype "Actor"
operations (list Operations
(object Operation "// get course offerings"
quid "37C3F421026B"
concurrency "Sequential"
opExportControl "Public"
uid 0)))
(object Class "Billing System"
quid "35A627DB019A"
stereotype "Actor")
(object UseCase "Register for Courses"
quid "35A6230A0000"
documentation "This use case allows a student to register for courses in the current semester. The student can also modify or delete course selections if changes are made within the add/drop period at the beginning of the semester. The Billing System is notified of all registration updates. The Course Catalog provides a list of all the course offerings for the current semester."
external_docs (list external_doc_list
(object external_doc
external_doc_path "$REGISTRATION\\Requirements\\RegisterForCourses.doc"))
statemachine (object State_Machine "State/Activity Model"
quid "37B82DD1035E"
states (list States
(object State "$UNNAMED$0"
quid "37B82E14012A"
transitions (list transition_list
(object State_Transition
quid "37B82E2500CA"
supplier "Select Course"
quidu "37B82E1902FE"
sendEvent (object sendEvent
quid "37B82E2500CD")))
type "StartState")
(object ActivityState "Select Course"
quid "37B82E1902FE"
transitions (list transition_list
(object State_Transition
quid "37B82E2F0205"
supplier "$UNNAMED$1"
quidu "37B82E2A00FA"
sendEvent (object sendEvent
quid "37B82E2F0208"))))
(object SynchronizationState "$UNNAMED$1"
quid "37B82E2A00FA"
transitions (list transition_list
(object State_Transition
quid "37B82E8A01E8"
supplier "Check Schedule"
quidu "37B82E6500C2"
sendEvent (object sendEvent
quid "37B82E8A01EB"))
(object State_Transition
quid "37B82E8F01F9"
supplier "Check Pre-requisites"
quidu "37B82E6C0271"
sendEvent (object sendEvent
quid "37B82E8F01FC"))))
(object ActivityState "Check Schedule"
quid "37B82E6500C2"
transitions (list transition_list
(object State_Transition
quid "37B82E9F0238"
supplier "$UNNAMED$2"
quidu "37B82E9903B6"
sendEvent (object sendEvent
quid "37B82E9F023B"))))
(object ActivityState "Check Pre-requisites"
quid "37B82E6C0271"
transitions (list transition_list
(object State_Transition
quid "37B82EA30392"
supplier "$UNNAMED$2"
quidu "37B82E9903B6"
sendEvent (object sendEvent
quid "37B82EA3039D"))))
(object SynchronizationState "$UNNAMED$2"
quid "37B82E9903B6"
transitions (list transition_list
(object State_Transition
quid "37B82F0E02C8"
supplier "$UNNAMED$3"
quidu "37B82F2C014F"
sendEvent (object sendEvent
quid "37B82F0E02CB"))))
(object ActivityState "Assign to course"
quid "37B82EFB0022"
transitions (list transition_list
(object State_Transition
quid "37B82FE3036F"
label ""
supplier "Update schedule"
quidu "37B82F8903B6"
condition "student added to the course"
sendEvent (object sendEvent
quid "37B82FE30372"))))
(object ActivityState "Resolve conflicts"
quid "37B82F0302B9")
(object SynchronizationState "$UNNAMED$3"
quid "37B82F2C014F"
transitions (list transition_list
(object State_Transition
quid "37B82F510058"
label ""
supplier "Assign to course"
quidu "37B82EFB0022"
condition "checks completed"
sendEvent (object sendEvent
quid "37B82F51005B"))
(object State_Transition
quid "37B82F5402F1"
label ""
supplier "Resolve conflicts"
quidu "37B82F0302B9"
condition "checks failed"
sendEvent (object sendEvent
quid "37B82F5402FC"))))
(object ActivityState "Update schedule"
quid "37B82F8903B6"))
partitions (list Partitions)
statediagrams (list StateDiagrams
(object ActivityDiagram "RegisterForCourses"
quid "37B82DD1039B"
title "RegisterForCourses"
zoom 100
max_height 28350
max_width 21600
origin_x 0
origin_y 0
items (list diagram_item_list
(object Swimlane "" @1
line_color 3342489
width 450)
(object StateView "StartState" "$UNNAMED$0" @2
Parent_View @1
location (688, 48)
label (object ItemLabel
Parent_View @2
location (730, 18)
nlines 2
max_width 600
label "")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "37B82E14012A"
autoResize TRUE)
(object ActivityStateView "Select Course" @3
Parent_View @1
location (688, 208)
label (object ItemLabel
Parent_View @3
location (688, 209)
fill_color 13434879
anchor_loc 1
nlines 2
max_width 244
justify 0
label "Select Course")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "37B82E1902FE"
autoResize TRUE)
(object TransView "" @4
stereotype TRUE
line_color 3342489
quidu "37B82E2500CA"
client @2
supplier @3
line_style 0
x_offset FALSE)
(object ActivityStateView "Check Schedule" @5
Parent_View @1
location (448, 512)
label (object ItemLabel
Parent_View @5
location (448, 513)
fill_color 13434879
anchor_loc 1
nlines 2
max_width 244
justify 0
label "Check Schedule")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "37B82E6500C2"
autoResize TRUE)
(object ActivityStateView "Check Pre-requisites" @6
Parent_View @1
location (992, 544)
label (object ItemLabel
Parent_View @6
location (992, 525)
fill_color 13434879
anchor_loc 1
nlines 2
max_width 256
justify 0
label "Check Pre-requisites")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "37B82E6C0271"
width 390
height 144
autoResize TRUE)
(object ActivityStateView "Assign to course" @7
Parent_View @1
location (432, 1056)
label (object ItemLabel
Parent_View @7
location (432, 1057)
fill_color 13434879
anchor_loc 1
nlines 2
max_width 244
justify 0
label "Assign to course")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "37B82EFB0022"
autoResize TRUE)
(object ActivityStateView "Resolve conflicts" @8
Parent_View @1
location (976, 1056)
label (object ItemLabel
Parent_View @8
location (976, 1057)
fill_color 13434879
anchor_loc 1
nlines 2
max_width 244
justify 0
label "Resolve conflicts")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "37B82F0302B9"
autoResize TRUE)
(object ActivityStateView "Update schedule" @9
Parent_View @1
location (432, 1344)
label (object ItemLabel
Parent_View @9
location (432, 1345)
fill_color 13434879
anchor_loc 1
nlines 2
max_width 244
justify 0
label "Update schedule")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "37B82F8903B6"
autoResize TRUE)
(object TransView "" @10
label (object SegLabel @11
Parent_View @10
location (477, 1200)
anchor_loc 1
nlines 1
max_width 578
justify 0
label "[ student added to the course ]"
pctDist 0.500000
height 45
orientation 0)
stereotype TRUE
line_color 3342489
quidu "37B82FE3036F"
client @7
supplier @9
line_style 0
x_offset FALSE)
(object SynchronizationView "$UNNAMED$1" @12
location (688, 368)
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "37B82E2A00FA"
autoResize TRUE
sync_is_horizontal TRUE)
(object TransView "" @13
stereotype TRUE
line_color 3342489
quidu "37B82E2F0205"
client @3
supplier @12
line_style 0
x_offset FALSE)
(object TransView "" @14
stereotype TRUE
line_color 3342489
quidu "37B82E8A01E8"
client @12
supplier @5
line_style 0
x_offset FALSE)
(object TransView "" @15
stereotype TRUE
line_color 3342489
quidu "37B82E8F01F9"
client @12
supplier @6
line_style 0
x_offset FALSE)
(object SynchronizationView "$UNNAMED$2" @16
location (672, 736)
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "37B82E9903B6"
autoResize TRUE
sync_is_horizontal TRUE)
(object TransView "" @17
stereotype TRUE
line_color 3342489
quidu "37B82E9F0238"
client @5
supplier @16
vertices (list Points
(503, 567)
(572, 636)
(572, 727))
line_style 0
x_offset FALSE)
(object TransView "" @18
stereotype TRUE
line_color 3342489
quidu "37B82EA30392"
client @6
supplier @16
vertices (list Points
(837, 606)
(765, 636)
(765, 727))
line_style 0
x_offset FALSE)
(object SynchronizationView "$UNNAMED$3" @19
location (672, 832)
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "37B82F2C014F"
autoResize TRUE
sync_is_horizontal TRUE)
(object TransView "" @20
stereotype TRUE
line_color 3342489
quidu "37B82F0E02C8"
client @16
supplier @19
line_style 0
x_offset FALSE)
(object TransView "" @21
label (object SegLabel @22
Parent_View @21
location (388, 932)
anchor_loc 1
nlines 1
max_width 450
justify 0
label "[ checks completed ]"
pctDist 1.201614
height 122
orientation 1)
stereotype TRUE
line_color 3342489
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -