一种用于经济学大规模协作的语言：金融模型的精简计算表示

本文介绍Sigma，一种用于经济学领域大规模协作的域特定计算表示。计算表示并非编程语言或软件平台。计算表示是一种基于三个特定要素——数据的方面（facets）、贡献（contributions）与约束（constraints）——的域特定表示系统。方面是构成主体或客体的可定义特征。贡献是可共享的形式化证据，带有特定属性，并作为基于众包的科学研究的结果而产生。数据约束是定义实体与关系之间域特定关联规则的限制。计算表示作为一种抽象层，是在计算机中定义域特定概念所必需的，这些概念可在众包中共享，以用于大规模受控科学研究。方面、贡献与数据约束通过对任何知识领域应用称为表示过程的一组通用输入、步骤与产物来定义。将此通用过程应用于我们的知识领域即经济学，产生了Sigma。本文从三个要素描述Sigma：方面（流、反应式、分布与仿真）、贡献（金融模型、处理器与端点）与数据约束（配置、执行与仿真元模型）。表示过程的各通用要素与Sigma计算表示均被详细描述并形式化。