Computer scientists use a number of well-established techniques that have the potential to improve the safety of patient care processes. One is the formal definition of a process; the other is the formal definition of the properties of a process. Even highly regulated processes, such as laboratory specimen acquisition and transfusion therapy, use guidelines that may be vague, misunderstood, and hence erratically implemented. Examining processes in a systematic way has led us to appreciate the potential variability in routine health care practice and the impact of this variability on patient safety in the clinical setting. The purpose of this article is to discuss the use of innovative computer science techniques as a means of formally defining and specifying certain desirable goals of common, high-risk, patient care processes. Our focus is on describing the specification of process properties, that is, the high-level goals of a process that ultimately dictate why a process should be performed in a given manner.

中文翻译：

---

设计属性规范以提高输血过程的安全性。

计算机科学家使用了许多完善的技术，这些技术有可能提高患者护理过程的安全性。一个是过程的正式定义；另一个是过程属性的形式定义。即使是受到严格监管的过程（例如实验室标本采集和输血治疗），也可能会使用含糊，误解并因此错误地实施的准则。以系统的方式检查过程使我们认识到常规医疗保健实践中的潜在变异性，以及这种变异性对临床环境中患者安全的影响。本文的目的是讨论使用创新的计算机科学技术作为正式定义和指定常见的高风险患者护理过程的某些理想目标的方法。