O significado de conformidade

O modelo de referência estabelece a sequência na qual as funções devem ser executadas. No entanto, essa sequência não é uma sequência linear simples porque o modelo pode conter regras de divisão AND. Os ramos resultantes dessas regras podem ser executados em paralelo, de modo que existem muitas ordens de execução que são compatíveis com essa regra. As regras de junção, por outro lado, são pontos de sincronização: Eles indicam que a execução de todas as funções nas ramificações de entrada deve ser terminada antes de ser executada qualquer função que segue uma regra de junção.

A verificação de conformidade converte uma instância de processo em uma sequência linear de funções. Ela então determina se cada etapa na sequência funcional corresponde à sequência dessas funções no modelo de referência.

Além disso, para que seja considerada conforme, a última etapa deve terminar em um dos eventos finais modelados para o processo. Isso significa que os processos não finalizados (ou seja, os processos que requerem a conclusão de importações adicionais) serão provavelmente classificados como não conformes.