• •Homework: Answer the following true or false and if false explain why –Canexe
ID: 3857337 • Letter: #
Question
•
•Homework: Answer the following true or false and if false explain why
–Canexec(John, open homework assignment) = true/false ?
–Canexec(Stephan, open plans for project A) = true/false ?
–Canexec(Olivia, open homework assignment) = true/false ?
•
–Canexec(Ivan, code set A) = true/false ?
–Canexec(Sam, status project A) = true/false ?
–Canexec(Lisa, code set A) = true/false ?
Details:
•rans(r): the set of files someone can read in role r
–trans(professor) = {grading sheets, class list, homework assignments, turned in homework}
–trans(student) = {homework assignment, class videos, graded homework}
–trans(dean) = {homework assignment, class videos}
–
–trans(CTO) = {plans for project A, plans for project B, hiring plans, code, engineering salaries, project A status, project B status}
–trans(programmer in group A) = {code set A, plans for project A}
–trans(programmer in group B) = {code set B, plans for project B}
–trans(tech lead in group A) = {code set A, plans for project A, project A status}
–trans(tech lead in group B) = {code set B, plans for project B, project B status}
–trans(CEO) = {hiring place, engineering salaries, project A status, project B status}
–
•
•actr(s) role subject s is in at the current time (now)
–Actr(Stephan) = professor
–Actr(Olivia) = dean
–Actr(John) = student
–
–Actr(Sam) = CEO
–Actr(Lisa) = tech lead in group B
–Actr(Ivan) = programmer in group A
•Authr(s) is the set of all possible roles that subject s can take
–Authr(John) = {student}
–Authr(Stephan) = {CTO, Professor}
–Authr(Olivia) = {student}
–
–Authr(Sam) = {Tech lead in group A, programmer in group A)
–Authr(Lisa) = {tech lead in group B, programmer in group B)
–Authr(Ivan) = {programmer in group A)
Explanation / Answer
Canexec(John, open homework assignment) = true
As John is a student and he can open the assignment, therefore it is True.
–Canexec(Stephan, open plans for project A) = true
Stephan is a professor and CTO therefore he can open plans for project A. hence, true.
–Canexec(Olivia, open homework assignment) = true
Olivia is a student and student can open the homework assignments therefore it is True.
–Canexec(Ivan, code set A) = true
As Ivan is a programmer in group A, and a group A programmer can code set A, therefore it is True.
–Canexec(Sam, status project A) = true
Sam is a tech lead in group A, therefore he can check the status of project A, therfore True.
–Canexec(Lisa, code set A) = false
Lisa is a tech lead in group B therefore she can code set for B not for A, therefore False.
Related Questions
Navigate
Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.