595 300 80 80 auto auto true 278789656 340455707 true Actor 595 300 300 380 true 85 120 80 80 auto auto true 1297433429 1346638932 true Actor 85 120 275 495 true 535 60 80 80 auto auto true 1308490022 714321324 true Actor 555 60 215 210 true 345 560 80 80 auto auto true 47071697 1800121308 true Actor 350 560 240 240 true 225 510 95 60 auto auto true 1197677209 575197272 true SoftGoal 1346638932 0 125 480 95 60 auto auto true 1220695295 1681455504 true SoftGoal 1346638932 0 430 710 95 60 auto auto true 345877365 808631827 true SoftGoal 1800121308 0 670 590 95 60 auto auto true 927233706 1597939904 true SoftGoal 340455707 0 390 290 95 60 auto auto true 1783782390 1620302898 true Resource 0 410 435 95 60 auto auto true 58284884 357425630 true Resource 0 385 180 95 60 auto auto true 719654171 889969069 true Resource 0 440 605 95 60 auto auto true 729349908 649472739 true Task 1800121308 0 635 85 95 60 auto auto true 417193469 629427828 true Task 714321324 0 630 425 95 60 auto auto true 730477967 556203435 true Goal 340455707 0 125 345 95 60 auto auto true 1660143767 1023651742 true Task 1346638932 0 225 400 95 60 auto auto true 989074960 714987723 true Task 1346638932 0 170 190 95 60 auto auto true 654993064 1784595193 true Goal 1346638932 0 730 365 95 60 auto auto true 1501783491 828783533 true Task 340455707 0 810 220 95 60 auto auto true 1976395630 1581221490 true Task 0 755 510 95 60 auto auto true 1370788612 688849245 true Task 340455707 0 620 180 95 60 auto auto true 1679375655 484202007 true SoftGoal 714321324 0 1362732821 1916708451 732 555 62 59 0 0.0 0 688849245 1597939904 true Contribution 1851161553 1166280558 715 415 74 196 0 0.0 0 828783533 1597939904 true Contribution 176710955 1688778213 661 135 36 65 0 0.0 0 629427828 484202007 true Contribution 445565852 1654770361 469 655 35 75 0 0.0 0 649472739 808631827 true Contribution 1534811786 818965020 192 442 70 62 0 0.0 0 714987723 1681455504 true Contribution 27318839 1731152237 179 395 97 141 0 -0.5 0 1023651742 575197272 true Contribution 1565694272 1364481851 161 395 30 105 0 0.0 0 1023651742 1681455504 true Contribution 647323205 1713875165 202 319 208 67 0 -1 1023651742 1620302898 true Dependency 1335107434 1713875165 462 128 211 182 0 -1 1620302898 629427828 true Dependency 1005180878 5351632 451 485 51 140 0 -1 649472739 357425630 true Dependency 1526369615 5351632 302 428 128 48 0 -1 357425630 714987723 true Dependency 1211407343 648886671 470 119 195 93 0 -1 629427828 889969069 true Dependency 482891060 648886671 192 230 213 144 0 -1 889969069 1023651742 true Dependency 650130398 2128553670 162 240 75 121 0 1023651742 1784595193 true Composition 606051108 203158582 207 240 85 176 0 714987723 1784595193 true Composition 1977267720 1400489041 667 351 130 154 0 828783533 556203435 true Composition 538750094 1845525022 783 270 78 115 0 -1 1581221490 828783533 true Dependency 537528154 1845525022 700 127 147 120 0 -1 629427828 1581221490 true Dependency 1570485267 690844685 667 475 155 51 0 688849245 556203435 true Composition Actor Passenger false StandardTropos PermissionTrust ExecutionTrust FunctionalRequirements TrustManagement

Actor Staff in station false StandardTropos PermissionTrust ExecutionTrust FunctionalRequirements TrustManagement

Goal travel by train AND achieve

StandardTropos PermissionTrust ExecutionTrust FunctionalRequirements TrustManagement Task validate ticket AND achieve

StandardTropos PermissionTrust ExecutionTrust FunctionalRequirements TrustManagement Composition 989074960 654993064 AND achieve

Task buy ticket AND achieve

StandardTropos PermissionTrust ExecutionTrust FunctionalRequirements TrustManagement Composition 1660143767 654993064 AND achieve

Goal support passengers AND achieve

StandardTropos PermissionTrust ExecutionTrust FunctionalRequirements TrustManagement Task sell ticket AND achieve

StandardTropos PermissionTrust ExecutionTrust FunctionalRequirements TrustManagement Task examine ticket AND achieve

StandardTropos PermissionTrust ExecutionTrust FunctionalRequirements TrustManagement Resource money AND achieve

StandardTropos PermissionTrust ExecutionTrust FunctionalRequirements TrustManagement Dependency 1308490022 1297433429 719654171 achieve

Resource ticket AND achieve

StandardTropos PermissionTrust ExecutionTrust FunctionalRequirements TrustManagement Dependency 47071697 1297433429 58284884 achieve

Resource new ticket AND achieve

StandardTropos PermissionTrust ExecutionTrust FunctionalRequirements TrustManagement Dependency 1297433429 1308490022 1783782390 achieve

SoftGoal effort AND achieve

StandardTropos PermissionTrust ExecutionTrust FunctionalRequirements TrustManagement SoftGoal accurate AND achieve

StandardTropos PermissionTrust ExecutionTrust FunctionalRequirements TrustManagement SoftGoal quick AND achieve

StandardTropos PermissionTrust ExecutionTrust FunctionalRequirements TrustManagement Contribution 1220695295 989074960 0 -0.5 achieve SoftGoal flexible AND achieve

StandardTropos PermissionTrust ExecutionTrust FunctionalRequirements TrustManagement Actor ticket vender false StandardTropos PermissionTrust ExecutionTrust FunctionalRequirements TrustManagement

Actor Auto gate false StandardTropos PermissionTrust ExecutionTrust FunctionalRequirements TrustManagement

Task maintain vender AND achieve

StandardTropos PermissionTrust ExecutionTrust FunctionalRequirements TrustManagement Composition 1501783491 730477967 AND achieve

Task manage AND achieve

StandardTropos PermissionTrust ExecutionTrust FunctionalRequirements TrustManagement Dependency 1308490022 278789656 1976395630 achieve

Task manage auto gate AND achieve

StandardTropos PermissionTrust ExecutionTrust FunctionalRequirements TrustManagement Composition 1370788612 730477967 AND achieve

SoftGoal accurate AND achieve

StandardTropos PermissionTrust ExecutionTrust FunctionalRequirements TrustManagement Contribution 927233706 1370788612 0 0.0 achieve Contribution 1660143767 1220695295 0 0.0 achieve Contribution 1660143767 1197677209 0 -0.5 achieve Contribution 989074960 1220695295 0 0.0 achieve Contribution 729349908 345877365 0 0.0 achieve Contribution 417193469 1679375655 0 0.0 achieve Contribution 1501783491 927233706 0 0.0 achieve Contribution 1370788612 927233706 0 0.0 achieve 0