1. M U H A M M A D R I Z A N B M O H D H A N I F A H
A 1 4 1 7 7 1
M A T H E M A T IC A L S T A T E M E N T
P R O F D R . ZA R I N A B T S H U K U R
FA C U LT Y O F S C I E N C E A N D I N F O R M AT I O N
T E C H N O L O G Y
G R O U P T U TO R I A L : T K 8
2. TITLE OF SOFTWARE REQUIREMENT
Software Requirement Specification
For
Cluster Management System
User of this system :
- User and Administrator
4. FUNCTIONAL REQUIREMENT
Submit Jobs
User information such as name and authentication id need to be used to submit
a job to cluster
To determine whether the cluster can accept more jobs and cater to the
particular user job and job details are provided in functional feature.
Need to determine cluster type and scheduling mechanism details such as
current load status, submission direction and criteria
5. FUNCTIONAL REQUIREMENT
VIEW JOB STATUS
Allow user or administrator to view details about the job that have been
submitted and the progress of execution of the job
User id and password to ensure that only the appropriate user able to
see the job status.
Show the user available option about submitted job and information
about the progress of job execution.
User can view available option about job submitted by the user
6. FUNCTIONAL REQUIREMENT
DELETE/CHANGE JOB
both user and administrator can cancel a job or under
specific circumstances, change a job parameters such as
deadline and cost.
If the user want to specify a different output directory or a
delayed deadline may be permitted
Can remove job from the queue and update cluster status
7. FUNCTIONAL REQUIREMENT
ACCEPT/REJECT JOB
Responsible for determining the possibility of satisfying the user, given
his budget and deadline
The most important inputs are budget deadline and execution time to
determine whether the job can be accepted or not.
The output includes a boolean value specifying whether the job has
been accepted or rejected.
A suggested deadline or cost is given to the user, as aprecondition for
the job to be accepted.
13. COMMENT ABOUT TRANSLATION PROCESS
Natural Language Statement
o Natural language is distinguished from constructed
languages and formal languages such as computer-
programming languages or the "languages" used in
the study of formal logic, especially mathematical
logic.
o Natural languages are not actually constructed as
artificial languages and they do not actually appear
as formal languages.
o Natural language is used in opposition to the terms
'formal language' and 'artificial language.
14. COMMENT ABOUT TRANSLATION PROCESS
Mathematical Statement – Propositional Calculus
Propositional calculus or logic (also called sentential
calculus or sentential logic) is a formal system in which
formulas of a formal language may be interpreted as
representing propositions.
The propositional calculus (PC) is a formal language that
adequately represents the set of valid (truth preserving)
inferences which depend on coordinate expressions such
as and, or, not, if…then…, if and only if.
15. COMMENT ABOUT TRANSLATION PROCESS
Mathematical Statement – Predicate Calculus
o Predicate calculus also called Logic Of Quantifiers, that
part of modern formal or symbolic logic which
systematically exhibits the logical relations between
sentences that hold purely in virtue of the manner in
which predicates or noun expressions are distributed
through ranges of subjects by means of quantifiers such
as “all” and “some” without regard to the meanings or
conceptual contents of any predicates in particular. Such
predicates can include both qualities and relations and in
a higher-order form called the functional calculus.
