在程序设计 中，数据流程编程 是一种编程范型 ，它将程序建模为数据在运算 （operation）之间流动的有向图 ，从而实现了数据流程 原理和架构。数据流程编程语言 ，共享了纯函数式语言 的某些特征，比如单赋值 ，并且开发它们的动因，通常是为了向更适合数值处理的语言，增加函数式编程概念。
先驱的数据流程语言是BLODI（BLOck DIagram），它是John Larry Kelly, Jr. 、Carol Lochbaum和Victor A. Vyssotsky 采样数据系统 [ 1] Bert Sutherland [ 2]
数据流程编程，是1960年代由Jack Dennis MIT 的研究生开创[ 3] 数据流程架构 [ 4] 非确定型机器 范型，一些作者使用术语“数据串流 ”（datastream）替代“数据流程”。
后续的数据流程语言，大多是在大型的超级计算机 实验室中开发的。其中最流行的是1983年发行的SISAL ，它是劳伦斯利弗莫尔国家实验室 开发的。SISAL看起来很像大多数的语句驱动语言，但是变量必须是单赋值 的。这允许编译器 容易的识别输入和输出。SISAL已经发展出了很多分支，包括SAC ，即单赋值C语言，它力求尽可能的接近流行的C 编程语言。
在1980年代早期，美国海军开发了ACOS和SPGN（信号处理图式表示法）。它今天仍用于很多实战平台中[ 5] Prograph
数据流程已被提议，用作规定分布式系统构件的全局行为的抽象方法：在现场分布式对象 分布式数据流程
传统上，程序被建模为，按照特定次序发生的一系列运算；这称为指令式 编程，这种编程方式也叫做顺序式[ 6] 过程式 [ 7] 控制流程 [ 7] 冯·诺伊曼 的顺序式编程愿景[ 6] [ 7]
与之相对，数据流程编程强调了数据的流动，并将程序建模为一系列的连接。显式的定义输入和输出的连接运算，它的功能类似于黑箱 [ 7] [ 8] 去中心化 的系统上运作[ 6] [ 9] [ 10]
计算机编程的关键概念之一，是状态 并行处理 机器中，状态信息需要在多个处理器之间共享。多数语言强制编程者增加额外代码，来指示哪些数据和哪部份代码，对于状态而言是重要的。这种代码趋向于在性能方面是代价昂贵的，并且难于阅读和调试。
如果将顺序式程序想象为，在任务（运算）之间移动的一个单一工人，则数据流程程序，更像是在一个装配线 上的一系列工人，每个人都在材料可获得的时候，作一份特定任务。因为运算只关心数据输入的可获得性，它们没有隐蔽的状态要追踪，都是同时“准备好的”。
数据流程程序，可以用不同方式来体现。一个传统程序，通常体现为一系列的正文指令，可以合理的描述一个串行系统，它在小型单一用途的，接收、处理并返回的工具之间，用管道 连通数据。数据流程程序开始于一个输入，可能有命令行 参数，并说明数据被怎样使用和修改。数据的流程是显式的，经常用连线或管道 来说明。
在编码方面上，数据流程程序，可以被实现为一个散列表 ，具有以可唯一性识别的输入作为键（key），用它来查找转至指令的指针。当任何运算完成时，程序逐项扫描运算的一个列表，直到找到第一个全部输入都当前有效的运算，并运行它。当运算结束时，它典型的会输出数据，因而使得另一个运算变为有效。
对于并行运算，只有这个列表需要被共享；它是整个程序的状态。因此维护状态的任务，从编程者移交给了语言的运行时系统 。在有着单一处理器核心的机器上，设计用于并行运算的实现，只会简单的产生开销，要完全去掉这种开销，可以使用一种不同的运行时系统。
数据流程编程语言包括：
