Modeling Information System
Modelling Information Systems
INSTRUCTIONS
Modelling tool to develop models. We recommend that you use BPM Academic Initiative
(http://www.signavio.com/bpm-academic-initiative/) to model Petri nets. For the final result, create a
PDF file by clicking on the Print icon in the menu bar and then selecting the “Create PDF” option.
Due date to submit Assignment 2 via BlackBoard is Tuesday, 18 October 2016, 11:59pm.
Submitted files MUST be in the PDF format.
IAB201 – Assignment 2 – Process Modelling with Petri Nets (Semester 2, 2016)
Page 2
SCENARIO: ONLINE AUTHENTICATION AT MYBANK
In the following, the procedure of online authentication at MyBank is described.
The typical routine for logging into an Internet bank account starts once the credentials entered from the user have been retrieved. First, the username is validated. If the username is not valid, the routine is interrupted and the invalid username is logged. If the username is valid, the number of password trials is set to zero. Then the password is validated. If this is not valid, the counter for the number of trials is incremented and if lower than three, the user is asked to enter the password again, this time together with a CAPTCHA test to increase the security level. If the number of failed attempts reaches three times, the routine is interrupted and the account is frozen. Moreover, the username and password validation may be interrupted should the validation server not be available. Similarly, the server to test the CAPTCHA may not be available at the time of log in. In these cases, the procedure is interrupted after notifying the user to try again later. At any time during the log in routine, the customer may close the web-page, resulting in the interruption of the routine.
TASK 1 (20 Marks)
Develop a Petri net system that captures all the processes in the proposed scenario description. As this model will be used as a basis for implementing an information system to support MyBank’s business, it must reflect the proposed scenario as close as possible. Ensure that your model is free of syntactic errors. The model must be semantically valid and complete as per the proposed scenario description, i.e., every execution sequence of your Petri net system must reflect a valid sequence of steps from the scenario description and every sequence of steps from the scenario description must be reflected in some execution sequence of your Petri net system.
TASK 2 (10 Marks)
Discuss limitations of Petri nets that you have experienced when capturing the proposed scenario description. Which aspects of the proposed scenario have found their representation in the Petri net system that you developed to accomplish Task 1 and which aspects were not captured? For every aspect of the scenario that was not (precisely) reflected in your Petri net system, explain why (in your opinion) Petri nets are not appropriate for modelling the respective aspect.
HAND-IN REQUIREMENT
Each submission must contain a declaration, signed by the student, stating that it is his/her original work
(see Appendix A).
Sample structure for Assignment 2 report is provided below:
Signed declaration form (see Appendix A).
Cover page.
Answer to Task 1, provided as a Petri net system.
Answer to Task 2 (up to 500 words).
Conclusion (summarize work done, you can also discuss the experience you have obtained and/or
lessons you have learned while working on this assignment).
IAB201 – Assignment 2 – Process Modelling with Petri Nets (Semester 2, 2016)
Page 3
LATE SUBMISSIONS
According to QUT policies, submissions past the deadline will NOT be marked, and will thus attract a mark
of 0/100. Therefore, you are strongly advised to submit your report, even if this is a draft only, by the due
date.
EXTENSIONS
According to QUT policies, an extension to the due date of the assignment may only be granted on medical/compassionate grounds. All requests for extensions must be in writing with appropriate documentation (e.g. a medical certificate clearly stating the actual condition, the period of illness, and the length of the illness – which must be for a continuous period of 5 days or more prior to the due date of the assignment) to be received at the latest 48 hours before the due date. Reasons such as busy schedules, other commitments, machine downtime, unexpected work pressures, interstate travels for work, unawareness of the due date of the assignment, corrupted discs etc. will not qualify as a basis for requesting an extension.
NO extensions will be granted for assignments performed in a group.
REVIEWS
We will not be remarking assessments. All assessments will have detailed feedback explaining the reasons for the marks allocated. If appropriate feedback is not given, the student should contact their tutor/relevant marker. However, if there is a unique situation where you feel that you have not been marked fairly, or that you require further explanation, then you must contact your tutor. You will have to provide a written application detailing the reasons for mark review.
ACADEMIC HONESTY
Any action or practice on your part which would defeat the purposes of assessment is regarded as academic dishonesty. The penalties for academic dishonesty are provided in the Student Rules. For more information consult the QUT Library resources for avoiding plagiarism.
GETTING FEEDBACK
The teaching team will be available to answer specific questions about the assignment, but not to pre-mark assignments. Lecturers and tutors will NOT read report drafts and review detailed models prior to the submission of the assignment. So please do not ask.
Detailed feedback will be provided in written form, when the marker returns the marked assignment back to the students. Students are also welcome to discuss any queries about the feedback they will receive.
GENERAL INQUIRIES
For specific content-related inquiries about your assessments, please contact your tutor.
IAB201 – Assignment 2 – Process Modelling with Petri Nets (Semester 2, 2016)
Page 4
MARKING CRITERIA
Task 1:
1) Proposed Petri net system has no syntactic errors, i.e., it follows the rules for constructing Petri nets.
(3 Marks)
2) Proposed Petri net system correctly captures the following process aspects:
- Initial input of username and password (3 Marks)
- Handling of valid username and password entries (2 Marks)
- Handling of invalid username (2 Marks)
- Interruption upon unavailability of the validation server (2 Marks)
- Interruption upon unavailability of the CAPTCHA server (2 Marks)
- Handling of invalid password (2 Marks)
- Handling of three password entry attempts (3 Marks)
- Handling of account freezing upon three invalid password entries (1 Mark)
(17 Marks)
Task 2:
Your answers to Tasks 1 and 2 must cover the proposed scenario, i.e., every aspect of the proposed scenario must be either modelled in your answer to Task 1 or discussed in your answer to Task 2. In addition, the ratio between the information from the proposed scenario reflected in your answers to Task 1 and Task 2
must be reasonable, i.e., all the information on process steps and their dependencies must be captured in the proposed Petri net system, while those aspects that were not captured in your model due to the limitations of
Petri nets must be mentioned and discussed in Task 2. Your answer to Task 2 can be short (under 500 words), but must be precise.
(10 Marks)
IAB201 – Assignment 2 – Process Modelling with Petri Nets (Semester 2, 2016)
Page 5
APPENDIX A – DECLARATION TEMPLATE
By submitting this assignment, I am aware of the University rule that a student must not act in a manner which constitutes academic dishonesty as stated and explained in the QUT Manual of Policies and
Procedures. I confirm that this work represents my individual effort. I declare that it does not contain plagiarized material.