Automated system and method for blood safety workflow verification and validation
OwnerNoha Hazzaziinventor
Life of this patent
Estimating the term…
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.
Claims10
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.
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.
Dependencies are inferred from the claim text.