並行程序表征和模型問題是計算機領域的核心論題。當前，基於串行理論（serial theory）的計算機技術似乎已經走到盡頭，無論硬件還是程序軟件的發展，都出現某種程度的停滯。而並行理論（Concurrent/Parallel theory）成了計算能力得以突破的重要途徑。尤其是在程序設計領域，發揮著主要作用的串行程序設計編程技術，其局限性隨著網絡技術和大規模計算的發展日益凸顯。因此，發展並行程序成為解決串行理論各類困境的有效途徑，而表征是解決並行理論發展瓶頸的前提。在這一方麵，當代主流的並行理論Ada 語言、Occam 語言、Petri 網等的表征特征明顯呈現出以語用化解決語義問題的發展趨勢。此外，對計算機模型思想而言，大數據時代顛覆了人們對傳統的確定性以及不確定性理論的理解，一種基於形式語言和邏輯之不確定性的計算機模型思想亟待形成，本節第二部分正是在討論並行程序不確定性難題的基礎上，把問題論域擴展至計算機模型的整體特征方麵，嚐試以大數據思維重塑該問題的理論麵貌。