4. 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.
5. 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.
6. ADD AUTHOR
Either field is blank, the Editor is instructed to add
an entry. No validation for correctness is made.
7. 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.
8. UPDATE PERSON
If any required field is blank, the Editor is instructed
to add an entry. No validation for correctness is
made.
10. 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.
11. 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.
13. 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.
14. 2.0 THE MATHEMATICAL STATEMENTS
OF THE FUNCTIONAL REQUIREMENTS.
(PROPOSITIONAL CALCULUS & PREDICATE
CALCULUS)
15. SEARCH ARTICLE
PROPOSITIONAL CALCULUS
Search_by_author : the search is by Author
system_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
16. 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
17. COMMUNICATE
PROPOSITIONAL CALCULUS
User_email_directly : the user prefers to use his or her own email directly
sufficient_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)
18. ADD AUTHOR
PROPOSITIONAL CALCULUS
Field_blank : field is blank
editor_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
19. PREDICATE CALCULUS
blank(field) : Either field is blank
add(editor_instructed) : the Editor is instructed to add
an entry
correctness(~valid) : No validation for correctness is
made
blank(field) add(editor_instructed).
correctness(~valid)
20. ADD REVIEWER
PROPOSITIONAL CALCULUS
entry_email : there is no entry for the email address in
the HS database or on this grid
Editor_reprompted : the Editor will be reprompted for
an entry
valid_correctness : No validation for correctness is
made.
~entry_email -> Editor_reprompted.
~valid_correctness
21. PREDICATE CALCULUS
email_address(~entry,database)^grid : there is no entry for the email address
in the HS database or on this grid
reprompted(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)
22. UPDATE PERSON
PROPOSITIONAL CALCULUS
Field_blank : any required field is blank
editor_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
23. PREDICATE CALCULUS
Blank(required_field): any required field is blank
instructed(editor,add_entry): the Editor is instructed to add an entry
Correctness (~valid) : No validation for correctness is made.
Blank(required_field)=> instructed(editor,add_entry)
Correctness (~valid)
24. 3.0 COMMENTS ABOUT THE TRANSLATION PROCESS
FROM NATURAL LANGUAGES STATEMENTS TO
MATHEMATICAL STATEMENTS.
25. 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.
26. 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 :
