




























































































Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
This is assignment solution for Basic Software Engineering course. Different examples from real life have been implemented in this course using its core concepts. This assignment was submitted to Prof. Pingala Kambhampat. It includes: Electronic, Voting, Software, Class, Diagram, Object, Attributes, User, Defined, Tools, Value, Design, Logical, View, Default, Global
Typology: Exercises
1 / 134
This page cannot be seen from the preview
Don't miss anything!





























































































(object Petal version 45 _written "Rose 7.6.0109.2314" charSet 0)
(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 "4DDDF0990058" defaults (object defaults rightMargin 0. leftMargin 0.
topMargin 0. bottomMargin 0. pageOverlap 0. 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 1 showClassOfObject TRUE notation "Unified") root_usecase_package (object Class_Category "Use Case View" quid "4DDDF099005A" exportControl "Public" global TRUE logical_models (list unit_reference_list (object Class "Operator" quid "4DDDF0C90125" stereotype "Actor") (object Class "Admin" quid "4DDDF12502A1" stereotype "Actor") (object Class "Student" quid "4DDDF15502A3" stereotype "Actor") (object UseCase "Enter book details" quid "4DDDF1680148") (object UseCase "Issue Book" quid "4DDDF1C00004") (object UseCase "Recall Book" quid "4DDDF1E70118") (object UseCase "Provide Membership" quid "4DDDF20A002A") (object UseCase "Read Info" quid "4DDDF23101DA") (object UseCase "write info" quid "4DDDF266032B") (object UseCase "update Membership" quid "4DDDF282021E") (object UseCase "Delete Membership" quid "4DDDF29001DE") (object UseCase "Create Membership" quid "4DDDF2AA0094") (object UseCase "Buy Books" quid "4DDDF2FA02A1"
roles (list role_list (object Role "$UNNAMED$10" quid "4DDDF3AC0320" supplier "Use Case View::Provide Membership" quidu "4DDDF20A002A" is_navigable TRUE) (object Role "$UNNAMED$11" quid "4DDDF3AC0322" supplier "Use Case View::Operator" quidu "4DDDF0C90125"))) (object Association "$UNNAMED$12" quid "4DDDF3B00310" roles (list role_list (object Role "theRead Info " quid "4DDDF3B10245" label "theRead Info " supplier "Use Case View::Read Info" quidu "4DDDF23101DA" is_navigable TRUE) (object Role "$UNNAMED$13" quid "4DDDF3B10247" supplier "Use Case View::Admin" quidu "4DDDF12502A1"))) (object Association "$UNNAMED$14" quid "4DDDF3B400FC" roles (list role_list (object Role "$UNNAMED$15" quid "4DDDF3B4039C" supplier "Use Case View::write info" quidu "4DDDF266032B" is_navigable TRUE) (object Role "$UNNAMED$16" quid "4DDDF3B4039E" supplier "Use Case View::Admin" quidu "4DDDF12502A1"))) (object Association "$UNNAMED$17" quid "4DDDF3B70225" roles (list role_list (object Role "$UNNAMED$18" quid "4DDDF3B80300" supplier "Use Case View::update Membership" quidu "4DDDF282021E" is_navigable TRUE) (object Role "$UNNAMED$19" quid "4DDDF3B80302" supplier "Use Case View::Admin" quidu "4DDDF12502A1"))) (object Association "$UNNAMED$20" quid "4DDDF3BC033E" roles (list role_list (object Role "$UNNAMED$21" quid "4DDDF3BD039B" supplier "Use Case View::Delete Membership" quidu "4DDDF29001DE"
is_navigable TRUE) (object Role "$UNNAMED$22" quid "4DDDF3BD039D" supplier "Use Case View::Admin" quidu "4DDDF12502A1"))) (object Association "$UNNAMED$23" quid "4DDDF3BF039B" roles (list role_list (object Role "$UNNAMED$24" quid "4DDDF3C002EF" supplier "Use Case View::Create Membership" quidu "4DDDF2AA0094" is_navigable TRUE) (object Role "$UNNAMED$25" quid "4DDDF3C002F1" supplier "Use Case View::Admin" quidu "4DDDF12502A1"))) (object Association "$UNNAMED$26" quid "4DDDF3C603BA" roles (list role_list (object Role "$UNNAMED$27" quid "4DDDF3C800BD" supplier "Use Case View::Buy Books" quidu "4DDDF2FA02A1" is_navigable TRUE) (object Role "$UNNAMED$28" quid "4DDDF3C800BF" supplier "Use Case View::Admin" quidu "4DDDF12502A1"))) (object Association "$UNNAMED$29" quid "4DDDF3E603A9" roles (list role_list (object Role "$UNNAMED$30" quid "4DDDF3E7037A" supplier "Use Case View::Borrow Book" quidu "4DDDF34102AB" is_navigable TRUE) (object Role "$UNNAMED$31" quid "4DDDF3E7037C" supplier "Use Case View::Student" quidu "4DDDF15502A3"))) (object Association "$UNNAMED$32" quid "4DDDF3EA00DA" roles (list role_list (object Role "$UNNAMED$33" quid "4DDDF3EB004D" supplier "Use Case View::View his profile" quidu "4DDDF34D03D3" is_navigable TRUE) (object Role "$UNNAMED$34" quid "4DDDF3EB004F" supplier "Use Case View::Student" quidu "4DDDF15502A3"))) (object Association "$UNNAMED$35"
line_color 3342489 fill_color 13434879 quidu "4DDDF1680148" height 118) (object UseCaseView "Use Case View::Issue Book" @ location (944, 544) font (object Font size 10 face "Arial" bold FALSE italics FALSE underline FALSE strike FALSE color 0 default_color TRUE) label (object ItemLabel Parent_View @ location (944, 682) anchor_loc 1 nlines 2 max_width 630 justify 0 label "Issue Book") icon_style "Icon" line_color 3342489 fill_color 13434879 quidu "4DDDF1C00004" height 118) (object UseCaseView "Use Case View::Recall Book" @ location (960, 816) font (object Font size 10 face "Arial" bold FALSE italics FALSE underline FALSE strike FALSE color 0 default_color TRUE) label (object ItemLabel Parent_View @ location (960, 954) anchor_loc 1 nlines 2 max_width 630 justify 0 label "Recall Book") icon_style "Icon" line_color 3342489 fill_color 13434879 quidu "4DDDF1E70118" height 118) (object ClassView "Class" "Use Case View::Operator" @ ShowCompartmentStereotypes TRUE
IncludeAttribute TRUE IncludeOperation TRUE location (288, 544) font (object Font size 10 face "Arial" bold FALSE italics FALSE underline FALSE strike FALSE color 0 default_color TRUE) label (object ItemLabel Parent_View @ location (288, 704) anchor_loc 1 nlines 2 max_width 325 justify 0 label "Operator") icon "Actor" icon_style "Icon" line_color 3342489 quidu "4DDDF0C90125" annotation 8 autoResize TRUE) (object AssociationViewNew "$UNNAMED$0" @ location (551, 448) font (object Font size 10 face "Arial" bold FALSE italics FALSE underline FALSE strike FALSE color 0 default_color TRUE) stereotype TRUE line_color 3342489 quidu "4DDDF39701E9" roleview_list (list RoleViews (object RoleView "$UNNAMED$1" @ Parent_View @ location (263, -80) stereotype TRUE line_color 3342489 quidu "4DDDF39900B0" client @ supplier @ line_style 0) (object RoleView "$UNNAMED$2" @ Parent_View @ location (263, -80) stereotype TRUE
Parent_View @ location (309, 123) stereotype TRUE line_color 3342489 quidu "4DDDF3A603AD" client @ supplier @ line_style 0) (object RoleView "$UNNAMED$8" @ Parent_View @ location (309, 123) stereotype TRUE line_color 3342489 quidu "4DDDF3A603AF" client @ supplier @ line_style 0))) (object UseCaseView "Use Case View::Read Info" @ location (1680, 1552) font (object Font size 10 face "Arial" bold FALSE italics FALSE underline FALSE strike FALSE color 0 default_color TRUE) label (object ItemLabel Parent_View @ location (1680, 1690) anchor_loc 1 nlines 2 max_width 630 justify 0 label "Read Info") icon_style "Icon" line_color 3342489 fill_color 13434879 quidu "4DDDF23101DA" height 118) (object UseCaseView "Use Case View::write info" @ location (1696, 1824) font (object Font size 10 face "Arial" bold FALSE italics FALSE underline FALSE strike FALSE color 0 default_color TRUE) label (object ItemLabel Parent_View @
location (1696, 1962) anchor_loc 1 nlines 2 max_width 630 justify 0 label "write info") icon_style "Icon" line_color 3342489 fill_color 13434879 quidu "4DDDF266032B" height 118) (object UseCaseView "Use Case View::update Membership" @ location (1696, 2064) font (object Font size 10 face "Arial" bold FALSE italics FALSE underline FALSE strike FALSE color 0 default_color TRUE) label (object ItemLabel Parent_View @ location (1696, 2202) anchor_loc 1 nlines 2 max_width 630 justify 0 label "update Membership") icon_style "Icon" line_color 3342489 fill_color 13434879 quidu "4DDDF282021E" height 118) (object UseCaseView "Use Case View::Delete Membership" @ location (1696, 2304) font (object Font size 10 face "Arial" bold FALSE italics FALSE underline FALSE strike FALSE color 0 default_color TRUE) label (object ItemLabel Parent_View @ location (1696, 2442) anchor_loc 1 nlines 2 max_width 630
quidu "4DDDF2FA02A1" height 118) (object ClassView "Class" "Use Case View::Admin" @ ShowCompartmentStereotypes TRUE IncludeAttribute TRUE IncludeOperation TRUE location (928, 2080) font (object Font size 10 face "Arial" bold FALSE italics FALSE underline FALSE strike FALSE color 0 default_color TRUE) label (object ItemLabel Parent_View @ location (928, 2240) anchor_loc 1 nlines 2 max_width 325 justify 0 label "Admin") icon "Actor" icon_style "Icon" line_color 3342489 quidu "4DDDF12502A1" annotation 8 autoResize TRUE) (object AssociationViewNew "$UNNAMED$12" @ location (1286, 1823) font (object Font size 10 face "Arial" bold FALSE italics FALSE underline FALSE strike FALSE color 0 default_color TRUE) stereotype TRUE line_color 3342489 quidu "4DDDF3B00310" roleview_list (list RoleViews (object RoleView "theRead Info " @ Parent_View @ location (1062, 63) font (object Font size 10 face "Arial" bold FALSE italics FALSE underline FALSE
strike FALSE color 0 default_color TRUE) stereotype TRUE line_color 3342489 quidu "4DDDF3B10245" client @ supplier @ line_style 0) (object RoleView "$UNNAMED$13" @ Parent_View @ location (1062, 63) stereotype TRUE line_color 3342489 quidu "4DDDF3B10247" client @ supplier @ line_style 0))) (object AssociationViewNew "$UNNAMED$14" @ location (1285, 1956) font (object Font size 10 face "Arial" bold FALSE italics FALSE underline FALSE strike FALSE color 0 default_color TRUE) stereotype TRUE line_color 3342489 quidu "4DDDF3B400FC" roleview_list (list RoleViews (object RoleView "$UNNAMED$15" @ Parent_View @ location (1061, 196) stereotype TRUE line_color 3342489 quidu "4DDDF3B4039C" client @ supplier @ line_style 0) (object RoleView "$UNNAMED$16" @ Parent_View @ location (1061, 196) stereotype TRUE line_color 3342489 quidu "4DDDF3B4039E" client @ supplier @ line_style 0))) (object AssociationViewNew "$UNNAMED$17" @ location (1285, 2070) font (object Font
(object RoleView "$UNNAMED$22" @ Parent_View @ location (1061, 422) stereotype TRUE line_color 3342489 quidu "4DDDF3BD039D" client @ supplier @ line_style 0))) (object AssociationViewNew "$UNNAMED$23" @ location (1296, 2325) font (object Font size 10 face "Arial" bold FALSE italics FALSE underline FALSE strike FALSE color 0 default_color TRUE) stereotype TRUE line_color 3342489 quidu "4DDDF3BF039B" roleview_list (list RoleViews (object RoleView "$UNNAMED$24" @ Parent_View @ location (1072, 565) stereotype TRUE line_color 3342489 quidu "4DDDF3C002EF" client @ supplier @ line_style 0) (object RoleView "$UNNAMED$25" @ Parent_View @ location (1072, 565) stereotype TRUE line_color 3342489 quidu "4DDDF3C002F1" client @ supplier @ line_style 0))) (object AssociationViewNew "$UNNAMED$26" @ location (1317, 2527) font (object Font size 10 face "Arial" bold FALSE italics FALSE underline FALSE strike FALSE color 0 default_color TRUE) stereotype TRUE
line_color 3342489 quidu "4DDDF3C603BA" roleview_list (list RoleViews (object RoleView "$UNNAMED$27" @ Parent_View @ location (1093, 767) stereotype TRUE line_color 3342489 quidu "4DDDF3C800BD" client @ supplier @ line_style 0) (object RoleView "$UNNAMED$28" @ Parent_View @ location (1093, 767) stereotype TRUE line_color 3342489 quidu "4DDDF3C800BF" client @ supplier @ line_style 0))) (object UseCaseView "Use Case View::Borrow Book" @ location (2592, 256) font (object Font size 10 face "Arial" bold FALSE italics FALSE underline FALSE strike FALSE color 0 default_color TRUE) label (object ItemLabel Parent_View @ location (2592, 394) anchor_loc 1 nlines 2 max_width 630 justify 0 label "Borrow Book") icon_style "Icon" line_color 3342489 fill_color 13434879 quidu "4DDDF34102AB" height 118) (object UseCaseView "Use Case View::View his profile" @ location (2592, 592) font (object Font size 10 face "Arial" bold FALSE italics FALSE underline FALSE strike FALSE
anchor_loc 1 nlines 2 max_width 630 justify 0 label "Check No of books issued") icon_style "Icon" line_color 3342489 fill_color 13434879 quidu "4DDDF37603DF" height 118) (object ClassView "Class" "Use Case View::Student" @ ShowCompartmentStereotypes TRUE IncludeAttribute TRUE IncludeOperation TRUE location (1872, 704) font (object Font size 10 face "Arial" bold FALSE italics FALSE underline FALSE strike FALSE color 0 default_color TRUE) label (object ItemLabel Parent_View @ location (1872, 864) anchor_loc 1 nlines 2 max_width 325 justify 0 label "Student") icon "Actor" icon_style "Icon" line_color 3342489 quidu "4DDDF15502A3" annotation 8 autoResize TRUE) (object AssociationViewNew "$UNNAMED$29" @ location (2200, 496) font (object Font size 10 face "Arial" bold FALSE italics FALSE underline FALSE strike FALSE color 0 default_color TRUE) stereotype TRUE line_color 3342489 quidu "4DDDF3E603A9" roleview_list (list RoleViews (object RoleView "$UNNAMED$30" @
Parent_View @ location (648, -144) stereotype TRUE line_color 3342489 quidu "4DDDF3E7037A" client @ supplier @ line_style 0) (object RoleView "$UNNAMED$31" @ Parent_View @ location (648, -144) stereotype TRUE line_color 3342489 quidu "4DDDF3E7037C" client @ supplier @ line_style 0))) (object AssociationViewNew "$UNNAMED$32" @ location (2205, 648) font (object Font size 10 face "Arial" bold FALSE italics FALSE underline FALSE strike FALSE color 0 default_color TRUE) stereotype TRUE line_color 3342489 quidu "4DDDF3EA00DA" roleview_list (list RoleViews (object RoleView "$UNNAMED$33" @ Parent_View @ location (653, 8) stereotype TRUE line_color 3342489 quidu "4DDDF3EB004D" client @ supplier @ line_style 0) (object RoleView "$UNNAMED$34" @ Parent_View @ location (653, 8) stereotype TRUE line_color 3342489 quidu "4DDDF3EB004F" client @ supplier @ line_style 0))) (object AssociationViewNew "$UNNAMED$35" @ location (2212, 790) font (object Font size 10