请问可用于建模并发/并行程序与系统的UML图有哪些？

• 活动图：原生支持并发流建模，通过分叉节点拆分出多条并行执行的活动路径，再用汇合节点同步结果，能直观展示系统中哪些任务可以并行执行，以及并行任务的流转逻辑。

• 状态机图：支持正交状态区域，可建模单个对象内部的并行行为。比如一个服务器对象可以同时处于"监听连接"和"处理请求"两个并行状态，清晰呈现并发对象的状态变化。

• 序列图：通过异步消息（虚线箭头）表示非阻塞的并发交互，还可使用par组合片段明确标记并行执行的消息序列，直观展示多个线程/进程同时发起的操作及交互顺序。

• 通信图：聚焦对象间的协作关系，同样支持异步消息与并行片段，适合在展示并发组件连接结构的同时，体现它们的并发交互逻辑。

• 时序图：以时间轴为核心，清晰对比多个并发线程/进程的执行时序，能直观呈现不同并行任务在时间维度上的依赖、重叠或冲突情况，便于分析并发时序问题。

• 部署图：展示系统的物理部署架构，包括多处理器、分布式节点、独立进程的分布，明确哪些组件运行在不同并行硬件/进程环境中，体现系统的物理并发基础。

内容的提问来源于stack exchange，提问作者Evan Aad