Formal Specification - Techniques for the unambiguous specification of software
Formal Specification
description
Transcript of Formal Specification
Formal Specification
IntroductionFIR management is a system that provides
storage , manipulating , extraction of records and to view
information. Such records include incident and accident
place , status Accused details ,complaint details , case , section of law and other related records.
FIR management System does not address the functions such as court proceedings finances, payroll and law enforcement personnel records etc.
Business functionsAccused detailsIncident reportingFIR detailsComplaint detailsCase file recordsi.e. section of lawInvestigation officerVictim details
Project scopeAllot unique identity number to each
complaint.Allot unique identity number to each victim.Allot unique identity number to each
Accused.Allot unique identity number to each case.Allot unique identity number to each
Investigation officer.Allot unique identity number to each F.I.RTrack all the F.I.R , victim ,
Accused ,complaint, case and investigation officer’s details.
Users of F.I.R management sys
PoliceSecurity agenciesAdministrator
Tables in F.I.R MS:Accused Case_fileCompliantFIRInvestigation_officervictim Field_againstField_forFilesInitiates Investigates
Accused
F.I.R is field against accusedAccused ID: every accused person will have a unique idName : Name of the person who is accusedAge : age specifies the age of accusedStatus : i.e. arrested, guilty or under observation etc
Case_File
FIR initiates a caseEvery Case has a unique IDCase has some status cheating,
fraud ,murder and theft etc.Section of law implies that case would be
proceeded according to which section of law.
ComplaintEvery complaint files a F.I.REvery complaint has got a unique IDName will contain the name of person who
files an F.I.RNIC num will be having national Identity card
of the person filing a complaint.Father name will contain the father name of
person filing a complaint.Address will contain the address so that the
person could be contacted.
victimThere should be one victim for the fir and it
can be more than one and F.I.R is field for victim.
Every Victim has a unique ID Name specifies the victim nameAddress will contain the address of victim to
be used in investigation Father name will be having the name of the
father of the affecties..
Investigation officer
Investigation officer investigates the case fileEvery officer will have a unique IDName will contain the name of investigation
officerRank will be having the designation of
investigation officer i.e. Inspector ,sub Inspector I.G etc
F.I.RComplaint files a FIR it is field against some
one who is accused for some crime and should have one or can more than one victim and it initiates the case proceedings.
Each FIR has a unique IDIncident detailsIncident place detailsHas a status like (murder, cheating, medical
negligence etc)
Relations Initiates(FIR ID, Case ID)Investigates(Officer_ID , Case_ID)Files (FIR ID, Complaint_ID)Field_for ( Victim_id , FIR_ID)Field against (Accused_ID, FIR_ID)