1 / 13

Formal Specification

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

diem
Download Presentation

Formal Specification

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Formal Specification

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

  3. Business functions • Accused details • Incident reporting • FIR details • Complaint details • Case file records • i.e. section of law • Investigation officer • Victim details

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

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

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

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

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

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

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

  11. Investigation officer 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

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

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

More Related