对系统建模而言,行为建模一般与结构建模相互依存。结构建模是对系统组成进行分解,行为建模则在此基础上对系统的每个组分的工作过程、组分之间以及组分与外界之间的交互进行描述。行为建模一般采用相位、状态、事件、条件、分支、活动、动作、交互、转移、序列、协同、延迟、流、消息等概念来刻画系统的行为。
由于行为模型语义的动态性,行为建模一般需要相应的执行引擎来对行为模型中的行为建模概念进行解释、计算与时间推进,从而产生出行为模型所描述的系统行为数据,在此基础上分析回答有关系统性能、效能的问题,实现对系统的定量化评价。行为模型执行引擎一般依据行为模型所使用的行为建模语言规范实现。一般的系统建模语言都提供行为建模子语言,例如SysML和UML提供活动图、序列图、交互图、状态图等子语言,Modelica提供非因果框图、微分方程、状态图等子语言。仿真建模语言是另外一大类行为建模语言,以行为分析(而不是系统设计)为主要目的,如DEVS、因果框图、系统动力学、Petri网、进程交互、元胞自动机、排队网络、事件图等。