The ecosystem of Privacy Calculus is a formal framework for privacy comprising (a) the Privacy Calculus, a Turing-complete language of message-exchanging processes based on the pi-calculus, (b) a privacy policy language, and (c) a type checker that checks adherence of Privacy Calculus terms to privacy policies. BPMN is a standard for the graphical description of business processes which aims to be understandable by all business users, from those with no technical background to those implementing software. This paper presents how (a subset of) BPMN diagrams can be converted to Privacy Calculus terms, in the hope that it will serve as a small piece of larger workflows for building privacy-preserving software. The conversion is described mathematically in the paper, but has also been implemented as a software tool.

翻译：隐私演算生态系统是一个用于隐私保护的形式化框架，包含：(a) 隐私演算，一种基于π演算的、具备图灵完备性的消息交换进程语言；(b) 一种隐私策略语言；以及(c) 一个类型检查器，用于检查隐私演算项对隐私策略的遵循情况。BPMN是一种用于图形化描述业务流程的标准，旨在让所有业务用户（从无技术背景者到软件实施者）都能理解。本文阐述了如何将（子集的）BPMN图转换为隐私演算项，期望这能成为构建隐私保护软件的更大工作流程中的一小部分。该转换在文中以数学方式描述，但也已实现为一个软件工具。