2014/2016 - Balanced multi-perspective
checking of process conformance
"cidadãos de segunda
classe"
Dependências de
dados
atribuições de
recursos
restrições de
tempo
pode levar a uma Diagnósticos
As técnicas existentes ainda
diagnosticarão o fluxo de dados
como desviante, enquanto que
nossa abordagem realmente
indicará que o fluxo de controle
está desviando
Este artigo fornece duas
contribuições importantes.
abordamos a potencial preocupação de que
uma abordagem multidimensional pode
não ser viável para se aplicar aos logs de
eventos da vida real, considerando os
cálculos mais longos que são necessários
em comparação com uma abordagem de
perspectiva única
Em segundo lugar, e em contraste com a
abordagem multidimensional em [o outro
artigo], em que o controle-fluxo é
considerado como a perspectiva mais
importante na identificação de desvios, a
abordagem proposta neste trabalho permite
equilibrar as diferentes perspectivas de
forma totalmente personalizável
As duas tarefas de mineração de
processos mais proeminentes são:
process
discovery
conformance
checking
An initial Credit
Request activity is
executed for each
case,
durante a
solicitação de
crédito inicial O
montante do
empréstimo é
registado.
Verify
Além disso, a atividade
Verify resulta em um
resultado da Verificação
Renegotiate
Request
Advanced
Assessment
and Simple
Assessment
A escolha da atividades Advanced
Assessment, and Simple Assessment É
determinado com base nos valores
Verification and Amount.
Além das restrições de dados e recursos, podem
existir restrições relacionadas ao tempo Que são
importantes para governar. Por exemplo, se ocorrer uma
atividade de renegociação, Para seguir uma avaliação
dentro de 7 dias. O modelo do processo na Fig. 1
mostra que uma decisão é tomada 1 semana após a
atividade Renegociar Pedido é iniciado. Isso acrescenta
Uma perspectiva de tempo para um modelo de
processo
Se a verificação da
conformidade
considerasse apenas a
perspectiva do fluxo de
controle, as atividades
em si e sua ordenação
são as únicas questões
de preocupação.
Neste artigo, nós nos
concentramos nas perspectivas
adicionais sobre dados, recursos
e tempo. Este artigo baseia-se na
crença de que, embora recursos e
tempo estejam separados
Preocupações de uma perspectiva
empresarial ou de modelagem,
elas podem ser codificadas na
perspectiva dos dados.
Portanto, no restante deste trabalho,
usamos a perspectiva de dados para
capturar qualquer perspectiva diferente
do controle-fluxo. Vamos mostrar que
as dimensões de recursos e tempo
podem ser tratadas através de
elementos de dados dedicados. No
entanto, também outras perspectivas,
como custos e riscos, poderiam ser
codificadas da mesma maneira.
A identificação da
não-conformidade nas
suas diferentes formas
tem claramente valor
Próprio.
Na verdade, existem muitas situações
em que sabemos que os dados podem
ser considerados confiáveis. Isso pode
ser refletido nos pesos. Lembre-se de
que usaremos a perspectiva de dados
para capturar qualquer perspectiva
diferente do controle-fluxo para o
restante deste artigo.
The plug-in Balanced Data Conformance
Checker
2013 - Aligning Event Logs and Process Models
for Multi-Perspective Conformance Checking:
An Approach Based on Integer Linear
Programming
Existe uma variedade de técnicas para
verificação de conformidade foram
propostas para identificar discrepâncias
entre comportamento modelado e
observado.
No entanto, essas técnicas geralmente se concentram no
fluxo de controle e abstrai DADOS, RECURSOS e TEMPO.
Este artigo descreve uma abordagem que alinha o log de eventos e
o modelo ao levar em conta todas as perspectivas (isto é, também
dados, tempo e recursos).
Como as técnicas de verificação de
conformidade existentes abstraem
de dados, recursos e tempo, muitos
desvios permanecem
INDETECTÁVEIS.
Técnicas de verificação de
conformidade tomam um log de
eventos e um modelo de processo e
comparam os traços observados com
os traços possíveis de acordo com o
modelo
Existem diferentes dimensões para
comparar modelos de processo e
logs de eventos
Neste artigo, foca-se na dimensão
fitness (aptidão)
Um modelo tem uma aptidão perfeita se
todos os Log pode ser repetido pelo
modelo do começo ao fim.
Este artigo propõe uma técnica baseada na construção de um
programa ILP adequado para encontrar uma seqüência válida
de atividades que seja o mais próximo possível do rastro
observado, isto é, o objetivo é minimizar o custo dos desvios
e criar um alinhamento ótimo.
Os resultados experimentais mostram que a conformidade das
diferentes perspectivas pode ser verificada eficientemente. Ao
verificar a conformidade, localizar os desvios de cada traço é
definitivamente útil, mas não é suficiente.
Os analistas de processo precisam ser fornecidos com uma
visão de helicóptero da conformidade do modelo com respeito
ao log inteiro.
Este trabalho também introduz alguns diagnósticos para
destacar claramente os desvios encontrados durante as
execuções do processo e as causas mais comuns.
A abordagem baseada
em ILP apresentada
neste artigo também
permite valores
numéricos.
Baseado no artigo [Data- and Resource-Aware
Conformance Checking of Business Processes [5]***]
de 2012. A abordagem deste artigo também é
várias ordens de magnitude mais rápido.
O trabalho em [5]*** Estava limitado a retornar alinhamentos
ótimos. Neste artigo, fornecemos diagnósticos aprimorados
guiando o usuário para encontrar a causa raiz de problemas de
conformidade específicos.
Os autores destacam que, o modelo proposto por
eles para checar a conformidade é independente de
um formalismo específico de “control-flow” e
“data-flow” perspectivas, no entanto, modelo
BPMN, EPC ou qualquer outro formalismo, podem
ser utilizados para representar as perspectivas.
No entanto, precisamos de uma linguagem de
modelagem simples com semântica clara para
explicar nossa técnica.
For this purpose we use
Petri nets with data
Outras dimensões de qualidade
são: Simplicidade, Precisão e
Generalização.