- Document Number:
20180294055
- Appl. No:
16/004773
- Application Filed:
June 11, 2018
- Abstract:
A method of using temporal logic technique to verify and validate blood safety workflows, the method includes creating a model workflow of blood supply chain process, wherein humans and machines are included as workflow constructs where involved, translating regulations governing blood safety into statements in temporal logic formula, wherein components satisfying a temporal logic formula correspond to satisfying the translated regulation, combining the translated regulations with the created blood supply chain model workflow, and validating that all translated regulations have been satisfied using a theorem prover.
- Claim:
1. A method of using temporal logic technique to verify and validate blood safety workflows, the method comprising: creating a model workflow of blood supply chain process, wherein humans and machines are included as workflow constructs where involved; translating regulations governing blood safety into statements in temporal logic formula, wherein components satisfying a temporal logic formula correspond to satisfying the translated regulation; combining the translated regulations with the created blood supply chain model workflow; and validating that all translated regulations have been satisfied using a theorem prover.
- Claim:
2. The method of claim 1, further comprising a model checker to prove that the created model workflow satisfies all of the regulations governing blood safety.
- Claim:
3. The method of claim 1, further comprising using formal workflow specification and execution environment and language in Yet Another Workflow Model (YAWL) to create the model workflow of the blood supply chain process.
- Claim:
4. The method of claim 3, further comprising using YAWL to check that the created model workflow satisfies reachability, structure, and soundness.
- Claim:
5. The method of claim 1, wherein the created model workflow of the blood supply chain process includes registering a donor, conducting a physical exam, conducting an interview, determining eligibility, creating labels, drawing blood, determining post donation status, and transfusing blood.
- Claim:
6. The method of claim 1, wherein the validating of the translated regulations occurs automatically.
- Claim:
7. A method of using temporal logic technique to verify and validate blood safety workflows, the method comprising: creating a model workflow of blood supply chain process, wherein humans and machines are included as workflow constructs where involved; translating regulations governing blood safety into a formula, wherein components satisfying the formula correspond to satisfying the translated regulation; combining the translated regulations with the created blood supply chain model workflow; and validating that all translated regulations have been satisfied using a theorem prover.
- Claim:
8. The method of claim 7, wherein the blood safety regulations are translated into statements in a temporal logic formula.
- Claim:
9. The method of claim 8, the model workflow comprises: selecting a country; determining regulations based on the selected country: checking donor requirements for registration; verifying safety of the donor requirements; allowing donor to register and donate; checking vitals of donor to verify suitability and safety of donor's blood; collecting blood from donor; checking application of safety controls to collection of donor's blood; determining whether donor has adverse reactions; checking collected blood for infectious diseases and donor blood grouping; verifying requirements of blood storage; storing collected blood based on verified blood storage requirements; verifying donor information; and performing serology testing on the collected blood.
- Claim:
10. The method of claim 9, wherein the verifying requirements of blood storage includes verifying correct labelling.
- Current International Class:
16; 06; 16
- Accession Number:
edspap.20180294055
Processing Request
No Comments.