1 / 10

TeacherReviews

Learn how to model and enforce constraints in JMermaid for teacher reviews. Test positive and negative cases to see constraint enforcement in action. Model additional constraints and explain their implementation.

alissaw
Download Presentation

TeacherReviews

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. TeacherReviews Constraints

  2. Assignment • Download the EDG from the cases website • Look at the OET and explain • Model the constraints in JMermaid • Test your model to see how constraints are enforced in the application. Perform both a positive test (where instances satisfy the constraints) and a negative test (where instances violate the constraint). • Explain how would you model the additional constraints

  3. Explain why… • two faculties are involved in TeachingAssignment events • three faculties are involved in Reviewer events • two people are involved in reviewer events

  4. Explain why… • two faculties are involved in TeachingAssignmentevents

  5. Explain why… • three faculties are involved in Reviewer events

  6. Explain why… • two people are involved in reviewer events

  7. Model the following constraints in JMermaid • A person can only teach courses from his/her own faculty

  8. Model the following constraints in JMermaid • A person can only review teaching assignments from colleagues from his/her own faculty.

  9. How would you express the following constraints? • A person can never be a reviewer of his/her own teaching assignments Invariant Reviewerself.Reviewer_TeachingAssignment.TeachingAssignment_FacultyMember.FacultyMember_Person <> self.Reviewer_FacultyMember.FacultyMember_Person

  10. How would you express the following constraints? • At the moment of the review assignment, the person who is assigned as reviewer for a teaching assignment should have a higher rank than the person being reviewed. Precondition EV_cr_Reviewerself.Reviewer_FacultyMember.FacultyMember_Person.Rank > self.Reviewer_TeachingAssignment.TeachingAssignment_FacultyMember.FacultyMember_Person.Rank If this constraint would be modelled as an invariant, a person would not be able to earn a higher rank when review assignments exists.

More Related