FACULTY TECHONOLOGY AND
INFROMATION SCIENCE
Mathematics III TR1413Web Publishing System
ROZALIA BINTI ALIK
A141963TK8
1.0 LOGICAL STRUCTURE OF THE DATA
The logical structure of the data to be stored in the internal Article Manager database is given above.
2.0 STATEMENTS OF FUNCTIONAL REQUIREMENTS OF THE SYSTEM.
SEARCH ARTICLE
If the search is by Author, the system creates and presents an alphabetical list of all authors in the database
If the Reader selects to search by category, the system creates and presents a list of all categories in the database.
If the Reader selects to search by keyword, the system presents a dialog box to enter the keyword or phrase.
COMMUNICATE
If the user prefers to use his or her own email directly, sufficient information will be contained on the Web page to do so.
ADD AUTHOR
Either field is blank, the Editor is instructed to add an entry. No validation for correctness is made.
ADD REVIEWER
If there is no entry for the email address in the HS database or on this grid, the Editor will be reprompted for an entry. No validation for correctness is made.
UPDATE PERSON
If any required field is blank, the Editor is instructed to add an entry. No validation for correctness is made.
2.0NON-FUNCTIONAL REQUIREMENTS
The Online Journal will be on a server with high speed Internet capability.
The physical machine to be used will be determined by the Historical Society.
The software developed here assumes the use of a tool such as Tomcat for connection between the Web pages and the database.
The speed of the Reader’s connection will depend on the hardware used rather than characteristics of this system.
The Article Manager will run on the editor’s PC and will contain an Access database.
Access is already installed on this computer and is a Windows operating system.
3.O ASSUMPTIONS
The Reader is expected to be Internet literate and be able to use a search engine.
The Author and Reviewer are expected to be Internet literate and to be able to use email with attachments.
The Editor is expected to be Windows literate and to be able to use button, pull-down menus, and similar tools.
2.0 THE MATHEMATICAL STATEMENTS OF THE FUNCTIONAL REQUIREMENTS. (PROPOSITIONAL CALCULUS & PREDICATE CALCULUS)
SEARCH ARTICLEPROPOSITIONAL CALCULUS
Search_by_author : the search is by Authorsystem_creates : the system creates present_alphabetical : presents an alphabetical list of all authors in the database.
Search_by_author -> system_creates^present_alphabetical
Reader_selects_by_category : the Reader selects to search by category
system_creates : the system creates
present_list_categories : presents a list of all categories in the database
Reader_selects_by_category -> system_creates^present_list_categories
Reader_search_keyword : the Reader selects to search by keyword
system_presents_dialog_box_enter_keyword : the system presents a dialog box to enter the keyword phrase : phrase
Reader_search_keyword -> system_presents_dialog_box_enter_keyword V phrase
PREDICATE CALCULUS
Search(author) : the search is by Author
system(creates) : the system creates
alphabetical(present,authors) :presents an alphabetical list of all authors in the database
Search(author) => system(creates)^ alphabetical(present,authors)
Search(reader_selects,category): the Reader selects to search by category
creates(system): the system creates
categories(present,database):presents a list of all categories in the database.
Search(reader_selects,category)=>creates(system)^categories(present,database)
Search(reader,keyword) : the Reader selects to search by keyword
present(system,dialogbox)_enter(keyword: the system presents a dialog box to enter the keyword
Phrase : phrase
Search(reader,keyword) => present(system,dialogbox)_enter(keyword) V phrase
COMMUNICATEPROPOSITIONAL CALCULUSUser_email_directly : the user prefers to use his or her own email directlysufficient_information : sufficient information ` will be contained on the Web page to do so
User_email_directly -> sufficient_information
PREDICATE CALCULUS
Use(user_prefers,email_directly): the user prefers to use his or her own email directly contained(sufficient_information,webpage): sufficient information will be contained on the Web page to do so
Use(user_prefers,email_directly)=>contained(sufficient_information,webpage)
ADD AUTHOR
PROPOSITIONAL CALCULUS
Field_blank : field is blankeditor_add_entry : the Editor is instructed to add an entryvalid_correctness : No validation for correctness is made.
Field_blank editor_add_entry. ~valid_correctness
PREDICATE CALCULUS
blank(field) : Either field is blankadd(editor_instructed) : the Editor is instructed to add an entrycorrectness(~valid) : No validation for correctness is made
blank(field) add(editor_instructed). correctness(~valid)
ADD REVIEWER
PROPOSITIONAL CALCULUS
entry_email : there is no entry for the email address in the HS database or on this gridEditor_reprompted : the Editor will be reprompted for an entryvalid_correctness : No validation for correctness is made.
~entry_email -> Editor_reprompted. ~valid_correctness
PREDICATE CALCULUS
email_address(~entry,database)^grid : there is no entry for the email address in the HS database or on this gridreprompted(entry) : there is no entry for the email address in the HS database or on this grid
email_address(~entry,database)^grid=>reprompted(entry)Correctness (~valid)
UPDATE PERSON
PROPOSITIONAL CALCULUS
Field_blank : any required field is blankeditor_add_entry : the Editor is instructed to add an entry. valid_correctness : No validation for correctness is made.
Field_blank -> editor_add_entry. ~valid_correctness
PREDICATE CALCULUS
Blank(required_field): any required field is blank instructed(editor,add_entry): the Editor is instructed to add an entryCorrectness (~valid) : No validation for correctness is made.
Blank(required_field)=> instructed(editor,add_entry)Correctness (~valid)
3.0 COMMENTS ABOUT THE TRANSLATION PROCESS FROM NATURAL LANGUAGES STATEMENTS TO MATHEMATICAL STATEMENTS.
ambiguity:Natural languages are full of ambiguity, which people deal with by using contextual clues and other information. Mathematical statements are designed to be unambiguous, which means that any statement has exactly one meaning, regardless of context.
redundancy:To make up for ambiguity and reduce misunderstandings, natural languages are often redundant. Mathematical statements are more concise.
Statement :The meaning of a Mathematical statements is unambiguous and literal, and can be understood entirely by analysis of the tokens and structure.
literalness:Natural languages are full of idiom and metaphor. Formal languages mean exactly what they say.People who grow up speaking a natural language (everyone) often have a hard time adjusting to formal languages. In some ways the difference between formal and natural language is like the difference between poetry and prose, but more so :