Classical models of computation have been successful in capturing the very essence of individual computing devices. Although they are useful to understand computability power and limitations in the small, such models are not suitable to study large-scale complex computations. Accordingly, plenty of formalisms have been proposed in the last half century as an attempt to raise the level of abstraction, with the aim of describing not only a single computing device but interactions among a collection of them. In this paper, we encompass such formalisms into a common framework which we refer to as Models of High-Level Computation. We particularly discuss the semantics, some of the key properties, paradigms and future directions of such models.

翻译：经典计算模型在捕捉单个计算设备本质方面取得了成功。尽管这些模型有助于理解小规模计算的可计算能力与局限性，但无法适用于研究大规模复杂计算。因此，过去半个世纪中，研究者提出了大量形式化方法以提升抽象层次，其目标不仅是描述单个计算设备，而是描述一组计算设备之间的交互作用。本文将这些形式化方法纳入一个统一框架，称之为"高级计算模型"。我们重点讨论了这类模型的语义、关键特性、范式及未来发展方向。