O gerenciamento de desempenho de processos pressupõe perspectivas e profundidades diferentes, a depender do grau de maturidade da organização em processos.

A BPEL (Business Process Execution Language) é uma linguagem de programação que descreve formalmente um processo de negócio, executa os passos do processo e coordena informações provenientes de uma variedade de fontes.

Um subprocesso representa uma parte de um processo de negócio considerando os aspectos de afinidade, o objetivo ou o resultado desejado.

Os cinco aspectos do processo descritos pelo SIPOC são fornecedores, entradas, atividades, saídas e clientes.

O Controle Estatístico de Processos (SPC – Statistical Process Control) é utilizado para auxiliar na coleta, na classificação, na análise e na interpretação numérica de fatos e dados.

No contexto de BPM, um processo de negócio pode cruzar fronteiras e encontrar o seu caminho por diversas áreas funcionais, necessárias para entregar um produto ou serviço completo.

Considere a seguinte argumentação lógica de premissas P₁, P₂, P₃ e conclusão C

P₁: Há um analista de sistemas que não é míope;
P₂: Todo mundo que usa óculos é míope;
P₃: Todo mundo ou usa óculos ou usa lentes de contato;
C: Portanto, algum analista de sistema usa lentes de contato.

Representando por x um indivíduo qualquer, por A(x) o fato de o indivíduo ser analista de sistemas, por M(x) o fato de ele ser míope, por O(x) o fato de ele usar óculos e por L(x) o fato de ele usar lentes de contato, as premissas P₁ e P₃ podem ser simbolizadas, respectivamente, por (∃x)(A(x) ∧ ~M(x)) e (∀x)(O(x)∨L(x)).

Considere a seguinte argumentação lógica de premissas P₁, P₂, P₃ e conclusão C

P₁: Há um analista de sistemas que não é míope;
P₂: Todo mundo que usa óculos é míope;
P₃: Todo mundo ou usa óculos ou usa lentes de contato;
C: Portanto, algum analista de sistema usa lentes de contato.

A argumentação apresentada é válida.

No universo dos números inteiros, a proposição (∀x)[x < 0 ⇒ (∃y)(y > 0 ∧ x + y = 0)] é verdadeira, e sua negação é (∃x)[ x < 0 ∧ (∀y)(y ≤ 0 ∨ x + y ≠ 0)].

Se na matriz !$ M= \begin{pmatrix}x & -1 & 0 \\1 & x & 1 \\0& 1 & 1 \end{pmatrix} !$, x pode assumir qualquer valor real, então a proposição “Para algum número real x, a matriz M não será inversível” é verdadeira.