Formal Specification

Post on 06-Jan-2016

20 views 0 download

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

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)