Control Specification of “Physician Billing System”

System Name: “Physician Billing System”

Sr. # Source State Event Action Destination State

State Name: “Start”
1 None Start is invoked Invoke “To Start” Inserting insurance details
2 None Start is invoked Invoke “To Start” Inserting diagnosis records
3 None Start is invoked Invoke “To Start” Inserting payment records
State Name: “Inserting Insurance details”
1 Start Insurance details Invoke “ To insert Generating invoices
reached insurance details”
State Name: “inserting diagnosis records”
1 Start Diagnosis Invoke “ To insert Calculating valid fee
completed diagnosis records”
State Name: “inserting payments records”
1 Start Payment ready Invoke “ To insert Verifying payments
payment records”
Remaining state will be maintained like wise
State
name :”calculating
valid fee”
Insetring diagnosis Diagnosis record Invoke to calculate Generating invoices
record inserted valid fee
State
name:”generating
invoices”
Inserting insurance Insurance details Invoke to generate Verifying payments
details inserted invoices
State
name :”verifying
payments”
Generating invoices Payments record Invoke to verify end
inserted payments
State name “end”
Verifying payments Payments verified Invoke to end null