Modelagem composicional de desempenho apresenta técnicas formais para representar e avaliar sistemas concorrentes por meio de modelos estocásticos.

O foco recai em operadores composicionais e em métodos para construir modelos a partir de componentes, permitindo estimar métricas como tempos de resposta e vazão.

Inclui exemplos aplicados a sistemas distribuídos e discute implicações para a avaliação de confiabilidade e eficiência operacional.