Oops: A Language for Formalizing Fallible Biological Protocols
Formalizing protocols used in wetlab biological research as programs improves reproducibility by making protocols replicable and standardized. However, existing protocol languages have limited capacity for codifying error sources and standardizing error handling. When protocols inevitably go wrong, debugging must still be done by technicians, a process which is challenging for unfamiliar protocols and a scalability constraint in automated facilities. We introduce OO_SCPLOWOPSC_SCPLOW, a programming language for describing biological protocols along with how they can fail. OO_SCPLOWOPSC_SCPLOW makes expression of how errors affect outcomes concise through probabilistic semantics, an extensible abstraction of the lab, and metaprogramming. Given an outcome, OO_SCPLOWOPSC_SCPLOW enables analyses of what errors occurred by mapping lab observations to enforced program conditions and applying existing probabilistic inference algorithms. We formalize a collection of molecular cloning protocols and present case studies demonstrating how OO_SCPLOWOPSC_SCPLOW can explain errors and assess diagnostic capabilities.