Rozalia alik a141963 math3
•Download as PPTX, PDF•
0 likes•311 views
This document outlines the functional requirements for an online journal management system. It describes the use cases for readers, authors, reviewers, and editors. For each user type, it lists the key actions and processes. It then translates the natural language requirements into mathematical statements using propositional calculus to formally and precisely define the functional requirements. Some challenges in translating all statements are noted due to limitations of the calculus.
Recommended
More Related Content
Similar to Rozalia alik a141963 math3
Similar to Rozalia alik a141963 math3 (11)
Rozalia alik a141963 math3
- 2. 1.0 Statements of functional requirements of the system.
- 3. 1.0.1 Reader Use Case The Reader accesses the Online Journal Website, searches for an article and downloads it to his/her machine.
- 4. Article Submission Process An Author submits an article for consideration. The Editor enters it into the system and assigns it to and sends it to at least three reviewers. Either the article is accepted as written, declined, or the Author is asked to make some changes based on the reviews.
- 5. 1.0.2 Author Use Case Use case : Submit Article The author either submits an original article or resubmits an edited article.
- 6. 1.0.3 Reviewer Use Case The reviewer submits a review of an article.
- 7. 1.0.4 Editor Use Cases Use Case : Update Author The Editor enters a new Author or updates information about a current Author. Use case: Update Reviewer The Editor enters a new Reviewer or updates information about a current Reviewer. Use case: Update Article The Editor enters information about an existing article. Use case: Receive Article The Editor enters a new or revised article into the system Use case: Assign Reviewer The Editor assigns one or more reviewers to an article.
- 8. Use Case : Receive Review The Editor enters a review into the system. Use case: Check Status The Editor checks the status of all active articles. Use case: Send Response The Editor sends a response to an Author. Use case: Send Copyright The Editor sends a copyright form to an Author. Use case: Remove Article The Editor removes an article from the active category. Use case: Publish Article The Editor transfers an accepted article to the Online Journal.
- 9. 2.0 The mathematical statements of the functional requirements. (PROPOSITIONAL CALCULUS)
- 10. 1.0.1 Reader Use Case reader_acceses_searches: The Reader accesses the Online Journal Website, searches for an article download : downloads it to his/her machine reader_acesses_searches ^ downloads
- 11. Article Submission Process author_submits_article : An Author submits an article for consideration editor_enter : The Editor enters it into the system assign : assigns it to sends_reviewers : sends it to at least three reviewers author_submits_article ^ editor_enter ^ assign ^ sends_reviewers.
- 12. Article_accepted : Either the article is accepted as written, declined, Author : the Author is asked to make_some_changes : to make some changes based on the reviews. Article ⇔ accepted v author_ make_some_changes
- 13. 1.0.2 Author Use Case Use case : Submit Article Author : The author submit_original_article : submits an original article resubmits_edited_article : resubmits an edited article Author ⇔ submit_original_article ^ resubmits_edited_article
- 14. 1.0.3 Reviewer Use Case Reviewer_submits_an_article : The reviewer submits a review of an article. Reviewer_submits_an_article
- 15. 1.0.4 Editor Use Cases Use Case : Update Author editor_enter_new_author : The Editor enters a new Author updates_information : updates information about a current Author editor_enter_new_author v updates_information
- 16. use case: Update Reviewer Editor_enter_new_reviewer: The Editor enters a new Reviewer updates_information : updates information about a current Reviewer Editor_enter_new_reviewer v updates_information
- 17. Use case: Update Article Editor_enter_information_existing_article : The Editor enters information about an existing article. Editor_enter_information_existing_article
- 18. Use case: Receive Article Editor_enter_new : The Editor enters a new revised_article_system : revised article into the system Editor_enter_new v revised_article_system
- 19. Use case: Assign Reviewer Editor_assign_one : : The Editor assigns one more_reviewers_article : more reviewers to an article Editor_assign_one v more_reviewers_article
- 20. Use Case : Receive Review Editor_enter_review_system : The Editor enters a review into the system. Editor_enter_review_system
- 21. Use case: Check Status Editor_check_status_all_active_article : The Editor checks the status of all active articles. Editor_check_status_all_active_article
- 22. Use case: Send Response Editor_sends_response_author : The Editor sends a response to an Author. Editor_sends_response_author
- 23. Use case: Send Copyright Editor_sends_copyright_author : The Editor sends a copyright form to an Author. Editor_sends_copyright_author
- 24. Use case: Remove Article Editor_remove_article_from_active_category : The Editor removes an article from the active category. Editor_remove_article_from_active_category
- 25. Use case: Publish Article Editor_transfer_accepted _article_online_ journal : The Editor transfers an accepted article to the Online Journal. Editor_transfer_accepted _article_online_ journal
- 26. 3.0 comments about the translation process from natural languages statements to mathematical statements.
- 27. It is more easy to understand than natural languanges and simple. Mathematical statement give more complex solution Not all statements is true or false and not all statement can be changes to mathematical statement (propositional calculus) because it is limited.