并行程序表征和模型问题是计算机领域的核心论题。当前，基于串行理论（serial theory）的计算机技术似乎已经走到尽头，无论硬件还是程序软件的发展，都出现某种程度的停滞。而并行理论（Concurrent/Parallel theory）成了计算能力得以突破的重要途径。尤其是在程序设计领域，发挥着主要作用的串行程序设计编程技术，其局限性随着网络技术和大规模计算的发展日益凸显。因此，发展并行程序成为解决串行理论各类困境的有效途径，而表征是解决并行理论发展瓶颈的前提。在这一方面，当代主流的并行理论Ada 语言、Occam 语言、Petri 网等的表征特征明显呈现出以语用化解决语义问题的发展趋势。此外，对计算机模型思想而言，大数据时代颠覆了人们对传统的确定性以及不确定性理论的理解，一种基于形式语言和逻辑之不确定性的计算机模型思想亟待形成，本节第二部分正是在讨论并行程序不确定性难题的基础上，把问题论域扩展至计算机模型的整体特征方面，尝试以大数据思维重塑该问题的理论面貌。