Formal Specification Introduction FIR management is a system

Formal Specification

Introduction �FIR 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 functions �Accused details �Incident reporting �FIR details �Complaint details �Case file records �i. e. section of law �Investigation officer �Victim details

Project scope �Allot 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. R �Track all the F. I. R , victim , Accused , complaint, case and investigation officer’s details.

Users of F. I. R management sys �Police �Security agencies �Administrator

Tables in F. I. R MS: �Accused �Case_file �Compliant �FIR �Investigation_officer �victim �Field_against �Field_for �Files �Initiates �Investigates

Accused F. I. R is field against accused �Accused ID: every accused person will have a unique id �Name : Name of the person who is accused �Age : age specifies the age of accused �Status : i. e. arrested, guilty or under observation etc

Case_File FIR initiates a case �Every Case has a unique ID �Case has some status cheating, fraud , murder and theft etc. �Section of law implies that case would be proceeded according to which section of law.

Complaint Every complaint files a F. I. R �Every complaint has got a unique ID �Name will contain the name of person who files an F. I. R �NIC 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.

victim �There 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 name �Address 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 investigates the case file �Every officer will have a unique ID �Name will contain the name of investigation officer �Rank will be having the designation of investigation officer i. e. Inspector , sub Inspector I. G etc

F. I. R Complaint 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 ID �Incident details �Incident place details �Has 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)