We present Soda (Symbolic Objective Descriptive Analysis), a language that helps to treat qualities and quantities in a natural way and greatly simplifies the task of checking their correctness. We present key properties for the language motivated by the design of a descriptive language to encode complex requirements on computer systems, and we explain how these key properties must be addressed to model these requirements with simple definitions. We give an overview of a tool that helps to describe problems in an easy way that we consider more transparent and less error-prone.

翻译：本文提出Soda（符号化客观描述性分析语言），该语言能够以自然方式处理质与量的问题，并极大简化了其正确性验证任务。我们阐述了该语言的关键特性，其设计动机源于需要一种描述性语言来编码计算机系统的复杂需求，并解释了如何通过这些关键特性以简洁定义对这些需求进行建模。我们概述了一款辅助工具，它能以更透明、更不易出错的方式简化问题描述过程。