Formal Specification

13
Formal Specification

description

Formal Specification. Introduction. FIR management is a system that provides storage , manipulating , extraction of records and to view information. - PowerPoint PPT Presentation

Transcript of Formal Specification

Page 1: Formal  Specification

Formal Specification

Page 2: 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.

Page 3: Formal  Specification

Business functionsAccused detailsIncident reportingFIR detailsComplaint detailsCase file recordsi.e. section of lawInvestigation officerVictim details

Page 4: Formal  Specification

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.

Page 5: Formal  Specification

Users of F.I.R management sys

PoliceSecurity agenciesAdministrator

Page 6: Formal  Specification

Tables in F.I.R MS:Accused Case_fileCompliantFIRInvestigation_officervictim Field_againstField_forFilesInitiates Investigates

Page 7: Formal  Specification

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

Page 8: Formal  Specification

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.

Page 9: Formal  Specification

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.

Page 10: Formal  Specification

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..

Page 11: Formal  Specification

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

Page 12: Formal  Specification

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)

Page 13: Formal  Specification

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)