2. 1.0 LOGICAL STRUCTURE OF THE DATAThe logical structure of the
data to be stored in the internal ArticleManager database is given
above. 3. 2.0 STATEMENTS OFFUNCTIONAL REQUIREMENTSOF THE SYSTEM. 4.
SEARCH ARTICLE If the search is by Author, the system creates and
presentsan alphabetical list of all authors in the database. In the
caseof an article with multiple authors, each is contained in
thelist. If the Reader selects to search by category, the
systemcreates and presents a list of all categories in the
database. If the Reader selects to search by keyword, the
systempresents a dialog box to enter the keyword or phrase. 5.
COMMUNICATE If the user prefers to use his or her own
emaildirectly, sufficient information will be contained onthe Web
page to do so. 6. ADD AUTHOR Either field is blank, the Editor is
instructed to addan entry. No validation for correctness is made.
7. ADD REVIEWER If there is no entry for the email address in the
HSdatabase or on this grid, the Editor will bereprompted for an
entry. No validation forcorrectness is made. 8. UPDATE PERSON If
any required field is blank, the Editor is instructedto add an
entry. No validation for correctness ismade. 9.
2.0NON-FUNCTIONALREQUIREMENTS 10. The Online Journal will be on a
server withhigh speed Internet capability. The physical machine to
be used will bedetermined by the Historical Society. The software
developed here assumes theuse of a tool such as Tomcat for
connectionbetween the Web pages and the database. 11. The speed of
the Readers connection willdepend on the hardware used rather
thancharacteristics of this system. The Article Manager will run on
the editorsPC and will contain an Access database. Access is
already installed on this computerand is a Windows operating
system. 12. 3.O ASSUMPTIONS 13. The Reader is expected to be
Internet literate andbe able to use a search engine. The Author and
Reviewer are expected to beInternet literate and to be able to use
email withattachments. The Editor is expected to be Windows
literate andto be able to use button, pull-down menus, andsimilar
tools. 14. 2.0 THE MATHEMATICAL STATEMENTSOF THE FUNCTIONAL
REQUIREMENTS.(PROPOSITIONAL CALCULUS) 15. SEARCH
ARTICLESearch_by_author : the search is by Authorsystem_creates :
the system createspresent_alphabetical : presents an alphabetical
list of all authors in the database.Search_by_author ->
system_creates^present_alphabeticalReader_selects_by_category : the
Reader selects to search by categorysystem_creates : the system
createspresent_list_categories : presents a list of all categories
in the databaseReader_selects_by_category ->
system_creates^present_list_categoriesReader_search_keyword : the
Reader selects to search by
keywordsystem_presents_dialog_box_enter_keyword : the system
presents a dialog box to enterthe keywordphrase :
phraseReader_search_keyword ->
system_presents_dialog_box_enter_keyword V phrase 16.
COMMUNICATEUser_email_directly : the user prefers to use his orher
own email directlysufficient_information : sufficient information `
willbe contained on the Web page to do soUser_email_directly ->
sufficient_information 17. ADD AUTHORField_blank : field is
blankeditor_add_entry : the Editor is instructed to add
anentryvalid_correctness : No validation for correctness ismade.
Field_blank editor_add_entry. ~valid_correctness 18. ADD
REVIEWERentry_email : there is no entry for the email address inthe
HS database or on this gridEditor_reprompted : the Editor will be
reprompted foran entryvalid_correctness : No validation for
correctness ismade. ~entry_email -> Editor_reprompted.
~valid_correctness 19. UPDATE PERSONField_blank : any required
field is blankeditor_add_entry : the Editor is instructed to add
anentry.valid_correctness : No validation for correctness ismade.
Field_blank -> editor_add_entry. ~valid_correctness 20. 3.0
COMMENTS ABOUT THE TRANSLATION PROCESSFROM NATURAL LANGUAGES
STATEMENTS TOMATHEMATICAL STATEMENTS. 21. ambiguity:Natural
languages are full of ambiguity, whichpeople deal with by using
contextual clues and otherinformation. Mathematical statements are
designed to beunambiguous, which means that any statement
hasexactly one meaning, regardless of context. redundancy:To make
up for ambiguity and reducemisunderstandings, natural languages are
oftenredundant. Mathematical statements are more concise. 22.
Statement :The meaning of a Mathematicalstatements is unambiguous
and literal, and can beunderstood entirely by analysis of the
tokens andstructure. literalness:Natural languages are full of
idiom andmetaphor. Formal languages mean exactly whatthey
say.People who grow up speaking a naturallanguage (everyone) often
have a hard timeadjusting to formal languages. In some ways
thedifference between formal and natural language islike the
difference between poetry and prose, butmore so :
