Você está na página 1de 16

Mtodo de avaliao do modelo de processos de

negcio do Enterprise Knowledge Development

Slvia Ins Dallavalle de Pdua


Ricardo Yassushi Inamasu
Resumo

Apresenta o mtodo de avaliao do modelo de processos de negcio do Enter-


prise Knowledge Development (MPN-EKD) e um exemplo de aplicao. Para criar
o mtodo de avaliao, foi desenvolvida a formalizao do modelo de processos de
negcio do EKD (MPN-EKD) e o mapeamento desse modelo em redes de Petri. Por
meio desse mtodo, possvel verificar se o modelo tem erros de construo e trava-
mentos. O EKD uma metodologia que fornece uma forma sistemtica e controlada
de analisar, entender, desenvolver e documentar uma organizao. A metodologia
EKD no possui uma sintaxe e uma semntica bem definidas, dificultando anlises
mais complexas dos modelos e a verificao da consitncia do modelo. Essa difi-
culdade motivou um estudo baseado em redes de Petri. O formalismo de redes de
Petri a torna uma importante tcnica de modelagem para a representao de pro-
cessos. Alm disso, redes de Petri permitem rastrear cada etapa da operao sem
ambigidade e possuem mtodos eficientes de anlise que garantem que o modelo
est livre de erros.
Palavras-chave: Redes de Petri. Modelagem organizacional. Modelo de processos de
negcio. Workflow. EKD. Avaliao do modelo de processos de negcio.

1 Introduo
Os processos de negcio so blocos fundamentais da sistemas de informao de acordo com Nurcan e Barrios
construo de uma organizao de sucesso. A tecnologia (2003) e Persson (2000). O processo de modelagem orga-
da informao, quando direcionada para o gerenciamento nizacional deve trazer respostas a essas questes: por
e melhoria dos processos de negcio, tem ajudado a orga- que, o que, quem, qual, quando, onde e como. Para tanto,
nizao a completar sua viso da empresa e a melhorar existem diversas tcnicas de modelagem na literatura
sua posio competitiva. As necessidades do negcio com uma significativa variedade de notaes.
devem ser atendidas pela tecnologia da informao A abordagem que ser utilizada neste trabalho o
buscando os objetivos de negcio como concorrncia, Enterprise Knowledge Development (EKD) uma meto-
competitividade e estratgias. Sistemas que no satis- dologia que fornece uma forma sistemtica e controlada
fazem as necessidades da organizao podem impedir o de analisar, entender, desenvolver e documentar uma
desenvolvimento do negcio. organizao e seus componentes, usando a Modelagem
De acordo com Jacobson et al. (1999) e Kruchten Organizacional (ROLLAND et al., 2000; BUBENKO
(2000), as tcnicas aplicadas ao desenvolvimento de etal., 1998; NURCAN, 1998). O EKD tambm contribui
sistemas no ajudam a buscar solues alternativas para a tomada de deciso em modernas organizaes que
aos problemas da organizao, no adicionam valor ao so altamente dependentes de tecnologia de informao
negcio e, na maioria das vezes, os processos manuais (NURCAN; BARRIOS, 2003; NURCAN; ROLLAND,
so automatizados sem nenhuma modificao. Isso 2003). De acordo com Bubenko et al. (1998), os tipos de
ocorre porque no foram considerados aspectos mais submodelos do mtodo EKD so: Modelo de Objetivos,
amplos como os objetivos da organizao, regras do Modelo de Regras do Negcio, Modelo de Conceitos,
negcio, restries, aspectos no funcionais relacionados Modelo de Processos do Negcio, Modelo de Atores
qualidade, confiabilidade e usabilidade. e Recursos e Modelo de Requisitos e Componentes
A modelagem organizacional, nesse contexto, facilita Tcnicos. Essa metodologia explicada em detalhes
a compreenso do ambiente empresarial e reconhecida em Pdua et al. (2004a), Dallavalle e Cazarini (2001) e
como uma atividade valiosa para o desenvolvimento de Pdua (2001).

Gest. Prod., So Carlos, v. 15, n. 3, p. 563-578, set.-dez. 2008


564 Pdua e Inamasu

O principal problema das abordagens de Modelagem Nos trabalhos de Aalst e Hee (2002), Verbeek et al.
Organizacional, incluindo-se o EKD, a ausncia de (2002), Salimifard e Wright (2001), Aalst (1999), Aalst e
tcnicas de anlise mais complexas. O problema da estru- Hofstede (2000), Voorhoeve (2000), Mold e Valk (2000)
tura informal das tcnicas de modelagem organizacional os processos de negcio so modelados diretamente em
e de processos de negcio tem sido discutido por diversos redes de Petri. Neste trabalho, a construo do modelo
autores. Entre eles, pode-se mencionar: Dongen et al. de processos de negcio seguiu o mtodo de modelagem
(2007), Lenz et al. (2005), Mevius e Oberweis (2005), organizacional EKD e no diretamente em redes de Petri.
Pdua et al. (2004b), Koubarakis e Plexousakis (2002), O procedimento de mapeamento do modelo de
Junginger et al. (2001), Jonkers et al. (2003), Dehnert processos de negcio em redes de Petri foi desenvolvido
(2003), Pdua (2004), Pdua et al. (2003), Pdua et al. baseado em redes de Petri lugar/transio. O poder de
(2002) e Aalst (1999). anlise das propriedades do modelo seria reduzido caso o
De acordo com Pdua (2004), a sintaxe e a semntica mapeamento fosse baseado em redes estendidas e de alto
do modelo de processos de negcio do EKD no so bem nvel. Mtodos para avaliar uma rede de Petri colorida
definidas formalmente e rigorosamente. Como resultado, o so computacionalmente caros sendo viveis apenas para
modelo de processos de negcio do EKD pode ser ambguo modelos mais simples (JENSEN, 1997).
e de difcil anlise, principalmente em sistemas mais O trabalho est estruturado em nove sees, incluindo
complexos, no sendo possvel verificar a consistncia e a presente introduo. Na seo dois, apresentam-se
completude do modelo. A ausncia de semntica formal conceitos importantes relacionados a redes de Petri no
dificulta, tambm, o uso de tcnicas mais eficientes de contexto de modelo de processos de negcios. Na seo
anlise. Neste trabalho, esses problemas foram estudados trs, faz-se uma apresentao da formalizao do modelo
sob uma abordagem baseada em redes de Petri. O forma- de processos de negcio. As sees quatro e cinco apre-
lismo das redes de Petri as torna uma poderosa tcnica de sentam respectivamente mapeamento do modelo de
modelagem para a representao de processos, permitindo a processos de negcio em redes de Petri e o mtodo de
exibio de: concorrncia, paralelismo, sincronizao, no- avaliao do modelo de processos de negcios do EKD.
determinismo e excluso mtua. Os principais conceitos de A seo seis mostra a aplicao do mtodo. As conside-
redes de Petri so discutidos em Pdua et al. (2002). raes finais so apresentadas na seo sete.
Muitos trabalhos tm valorizado a estrutura formal
das redes de Petri para representao de processos de
negcios, entre eles podem ser mencionados Verbeek
2 Redes de Petri e Modelo de Processos
etal. (2007), Guan et al. (2006), Zhang e Shuzen (2006), de Negcio
Ou-Yang e Lin (2007), Aalst e Hee (2002), Pdua (2004), De acordo com Aalst e Hofstede (2000), alguns erros
Pdua et al. (2003), Pdua et al. (2004b), Pdua et al. so facilmente identificados nos modelos de redes de
(2002) e Aalst (1999). Petri como travamento (deadlock), quando no possvel
Assim, este trabalho apresenta o mtodo de avaliao executar nenhuma tarefa; livelock, quando um caso fica
do modelo de processos de negcios do EKD. Para que o em loop infinito sendo possvel executar tarefas, mas
mtodo fosse criado, foi necessrio desenvolver a forma- nenhum progresso possvel e tarefas mortas (deadtask),
lizao do modelo de processos de negcio do EKD e quando uma tarefa nunca pode ser executada em nenhuma
o mapeamento do modelo de processos de negcio em situao.
redes de Petri. Alguns trabalhos investigam o uso de subclasses de
Foi aplicado o mtodo de avaliao no modelo processo redes de Petri para aumentar o poder de deciso sem
de planejamento estratgico de recursos humanos desen- reduzir o poder de modelagem das redes de Petri. Nestas
volvido no projeto ESPRIT ELEKTRA (Electrical subclasses, so feitas algumas restries estruturais s
Enterprise Knowledge for Transforming Applications) redes de Petri. A subclasse de redes de Petri denominada
(BUBENKO et al., 1998). O modelo mapeado em redes escolha-livre possibilita a modelagem de conflito do para-
de Petri foi simulado na ferramenta Petri Net Tools desen- lelismo e a sincronizao. Quando um lugar entrada de
volvida e implementada no Laboratrio de Simulao e diversas transies, este lugar a nica entrada destas tran-
Controle de Sistemas Discretos da USP de So Carlos sies. Desta forma, todas as transies estaro habilitadas
(SOARES, 2001). O editor possuia seis mdulos. Quatro ou nenhuma estar, possibilitando a escolha do evento
mdulos estavam em funcionamento: rede de Petri L/T livremente. Formalmente a definio de escolha-livre :
(lugar-transio), Mark Flow Graph (MFG), Sequential Seja uma rede de Petri = (P, T, I, O, K). I o conjunto
Flow Chart (SFC) e PN Estocsticas. O editor permite das entradas s transies e O o conjunto das sadas das
os seguintes tipos de anlises: rvore de alcanabilidade; transies. K a capacidade dos lugares. Esta rede clas-
matriz de incidncia; limitao; vivacidade; verificao sificada como uma rede de escolha-livre se, e somente se,
do estado final, transies e lugares invariantes. I(tj) = {pi} ou O(pi) ={tj}, tj T e pi I (tj).

Gest. Prod., So Carlos, v. 15, n. 3, p. 563-578, set.-dez. 2008


Mtodo de avaliao do modelo de processos de negcio do Enterprise Knowledge Development 565

O principal problema das abordagens de Modelagem criada, baseada em Aalst (1999), uma definio formal
Organizacional, incluindo-se o EKD, a ausncia de do Modelo de Processos de Negcio do EKD (MPN-
tcnicas de anlise objetivas. Nesse caso, as redes de Petri EKD). Dessa forma, foi possvel descrever os requisitos
tm um excelente potencial para resolver esse problema, que um modelo de processos de negcio deve satisfazer
uma vez que elas possuem representao grfica, so de para que o mapeamento seja desenvolvido.
fcil aprendizado, funcionam como linguagem de comu- Visando definio formal do modelo de processos
nicao entre especialistas de diversas reas, permitem a de negcio foi criado um conjunto de conectores para o
descrio dos aspectos estticos e dinmicos do sistema modelo de processos de negcio do EKD. O conjunto
a ser representado, e ainda possuem o formalismo mate- de conectores representado por C e composto por
mtico que permite a utilizao de mtodos de anlise. CAND, COR, CJ, CS, CIP e CPI. Os conectores COR e CAND
As diversas aplicaes das redes de Petri na Engenharia foram criados para identificar escolha (exclusiva) e para-
so apresentadas em Pdua et al. (2003). lelismo para que os casos de paralelismo e escolha no
Desde que Zisman (1977) usou as redes de Petri para sejam modelados exatamente da mesma forma, criando
modelar workflow pela primeira vez, muitos autores
ambigidades e dificuldades de compreenso. Os conec-
publicaram trabalhos que procuravam, tambm, integrar
tores CJ e CS definem conectores do tipo join e split. Para
os dois assuntos. Entre eles, podem ser mencionados:
descrever a natureza do fluxo dos processos e de suas
Chrzastowski-Wachtel et al. (2003), Rinderle et al.
interaes, existe um conjunto de termos, utilizados em
(2003), Dehnert (2003), Grigorova (2003) e Verbeck et al.
Workflow Management Coalition (1996) e em Aalst e
(2002). Aalst e Hee (2002) e Pdua et al. (2004) explicam
que existem diversas razes para se usar redes de Petri Hee (2002), que so apresentados a seguir:
para modelagem de processos de negcio: semntica AND-Split: ponto em que, de uma nica linha de
formal, natureza grfica, expressividade, propriedades, fluxo, partem duas ou mais linhas que so execu-
anlise e por no depender de fornecedor. tadas em paralelo;
O critrio de verificao de corretitude definido para AND-Join: ponto em que duas ou mais atividades,
workflow-nets chamado Soundness. Sound sinnimo sendo executadas em paralelo, convergem em uma
de correto de acordo com Aalst e Hee (2002). Aalst (1997) nica linha de fluxo comum;
desenvolveu uma tcnica que verifica se o procedimento OR-Split: ponto em que uma nica linha de fluxo
satisfaz os seguintes requisitos (de soundness): no deve faz uma deciso entre um nmero de opes; e
existir tarefa que no contribui para o processamento OR-Join: ponto no qual uma atividade que possui
dos casos; para qualquer caso, o procedimento terminar um nmero de alternativas direciona-se para uma
eventualmente e no momento em que o procedimento nica opo.
termina para casos especficos, todas as referncias a esse De acordo com essas definies de AND-Split, AND-
caso devem ser removidas. Join, OR-Split e OR-Join, as construes da Figura 1 no
so permitidas no MPN-EKD formal.
Os conectores CIP e CPI demonstram que um conector
3 Formalizao do Modelo de Processos C um caminho de um inf-set para um processo ou um
de Negcio caminho de um processo para um inf-set.
Para que seja possvel realizar o mapeamento do Os estados inicial e final no so especificados no
Modelo de Processos de Negcio em redes de Petri foi MPN-EKD, foi necessrio criar esses estados para que a

Processo Processo Processo Processo


inf-set inf-set inf-set inf-set

And Or
And Or



Processo Processo Processo Processo
inf-set inf-set inf-set inf-set

Figura 1. Construes que no so permitidas em um MPN-EKD formal.

Gest. Prod., So Carlos, v. 15, n. 3, p. 563-578, set.-dez. 2008


566 Pdua e Inamasu

formalizao fosse efetivamente realizada. Essa situao A Definio 3 possibilita especificar requisitos adicio-
ser explicada no decorrer deste artigo. nais que um MPN-EKD deveria satisfazer.
Definio 1. Um MPN-EKD uma quntupla (I, P, C, Definio 4. Um Modelo de Processo de Negcio do
Q, A): EKD satisfaz os seguintes requisitos:
I um conjunto finito de inf-set (conjunto de infor- O conjunto I, P e C so conjuntos disjuntos, isto ,
maes); I P = , I C = , e P C = ;
P um conjunto finito de processos; Para cada i I: |i| 1 e |i| 1;
C um conjunto finito de conectores lgicos; Existe ao menos um inf-set i I, tal que |i| = 0
Q C {AND, OR} uma funo que mapeia (inf-set inicial);
cada conector dentro de um tipo de conector; e Existe ao menos um inf-set i I, tal que |i| = 0
A (I P) (P I) (I C) (C I) (P C) (inf-set final);
(C P) um conjunto de arcos. Para cada p P: |p| = 1 e |p| = 1;
Um MPN-EKD composto por trs tipos de elementos: Para cada c C: |c| 1 e |c| 1;
inf-set conjunto de informaes (I), processos (P) O grafo induzido pelo MPN-EKD fracamente
e conectores (C). O tipo de cada conector dado pela conexo, isto , se para cada dois nodos n1, n2 N,
funo Q: Q(c) o tipo (AND ou OR) de um conector c (n1, n2) (A A-1)*;
C. A relao A especifica um conjunto de arcos conec- CJ e Cs diviso de C, isto CJ Cs = e CJ
tando processos, conjunto de informaes (inf-set) e Cs = C; e
CIP e CPI diviso de C, isto , CIP CPI = e CIP
conectores. A Definio 1 demonstra que no permitido
CPI = C.
ter um arco conectando dois processos ou dois inf-sets ou
O primeiro requisito da Definio 4 declara que cada
dois conectores.
componente tem um identificador nico (nome). Os
Definio 2. Um caminho direcionado p de um nodo
nomes dos conectores so omitidos no MPN-EKD. Os
n1 para um nodo nK uma seqncia <n1, n2,...nK>, tal
outros requisitos correspondem a restries na relao
que <ni, ni+1> A para 1 i k - 1. p elementar se, e
A. Inf-sets no podem ter mltiplos arcos de entrada e
somente se, para qualquer um dos nodos ni e nj em p, i
deve existir ao menos um inf-set inicial e um inf-set final.
j ni nj. Cada processo tem ao menos um inf-set inicial e um
A definio de caminho direcionado ser usada para inf-set final, um arco de entrada e um arco de sada, para
limitar o conjunto de construes de rotas que podem os dois nodos n1 e n2 (ignorando a direo dos arcos).
ser usadas. Essa definio permite a definio de CIP Um conector c um conector join (|c| = 1 e |c| 2)
(conjunto de conectores de um inf-set para um processo) ou split (|c| = 1 e |c| 2). O ltimo requisito declara
e CPI (conjunto de conectores de um processo para um que o conector c um caminho de um inf-set para um
inf-set). CIP e CPI divide o conjunto de conectores C. processo ou um caminho de um processo para um inf-set.
Baseado na funo Q, o C particionado em CAND e COR. O MPN-EKD sintaticamente correto se todos os requi-
O conjunto CJ e Cs usado para classificar os conectores sitos declarados na Definio 4 so satisfeitos.
em conectores join ou split.
Definio 3. Seja MPN-EKD = (I, P, C, Q, A) um:
N = I P C um conjunto de nodos do 4 Mapeamento do Modelo de Processos de
MPN-EKD; Negcio em redes de Petri
CAND = {c C| Q(c) = AND}; Nesta seo, ser apresentado o procedimento de mape-
COR = {c C| Q(c) = OR}; amento do Modelo de Processos de Negcio em redes de
Para n N: n = {m|(m,n) A} o conjunto de Petri. O procedimento de mapeamento foi desenvolvido
nodos de entrada, e n ={m|(n,m) A} um baseado em redes de Petri lugar/transio. As Definies1
conjunto de nodos de sada; e 4 apresentadas apenas relatam a sintaxe de um modelo
CJ = {c C | |c| 2} um conjunto de conectores de processos de negcio do EKD e no a semntica.
do tipo join; Os lugares representam inf-sets ou so construes
Cs = {c C | |c| 2} um conjunto de conectores necessrias para modelar o comportamento do conector do
do tipo split; MPN-EKD. As transies representam processos ou esto
CIP C tal que c CIP se, e somente se, existe um representando o comportamento do conector. Cada conector
caminho p = <n1, n2, n3>, tal que n1 I, n2 C, n3 c C corresponde a lugares, transies e/ou arcos.
P; e O conector pode corresponder a um nmero de arcos
CPI C tal que c CPI se, e somente se, existe um da rede de Petri ou uma pequena rede de lugares e tran-
caminho p = <n1, n2, n3>, tal que n1 P, n2 C, n3 sies. O conector OR corresponde ao comportamento
I. de um lugar. O conector AND corresponde ao compor-

Gest. Prod., So Carlos, v. 15, n. 3, p. 563-578, set.-dez. 2008


Mtodo de avaliao do modelo de processos de negcio do Enterprise Knowledge Development 567

tamento de uma transio. Na Definio 5, o elemento A Equao 4 determina que para representar esse
Lugar de redes de Petri ser representado por L para conector no necessrio acrescentar lugares. A
evitar confuso com o P de processo de MPN-EKD. A Equao5 determina que para representar esse conector
Definio 5, apresentada a seguir, demonstra como o no necessrio acrescentar transies. A Equao 6
mapeamento dos conectores do MPN-EKD desenvolvido determina os arcos que vo do conjunto de entrada do
neste trabalho. conector ao conjunto de sada do conector.
No contexto do MPN-EKD, os arcos sempre tm peso Nesse sentido, observa-se que o conector AND-join
igual a 1 porque lugares correspondem a condies. Em corresponde a dois ou mais arcos em redes de Petri se, e
uma rede de Petri que corresponde a um MPN-EKD somente se, a sada um processo. Na Figura 2, apre-
correto (sound) um lugar nunca conter mltiplas marcas. sentado um exemplo de mapeamento do conector c
A rede segura. Os estados com mltiplas marcas em CIP CJ CAND.
um lugar so resultados de erros de projeto. Para capturar
esses erros necessrio considerar redes no-seguras. Regra 2
Definio 5. Considere um MPN-EKD = (I, P, C, Q, c CPI CJ CAND
A). N(EKD)=(LPN, TPN, FPN) uma rede de Petri gerada Quando o conector c pertence a CPI (caminho de
pelo MPN-EKD (Equao 1). processo para inf-set) interseco de CJ (join) interseco
LPN = I ( LcPN) (1) de CAND, as definies de LcPN, TcPN e FcPN esto nas Equa-
c C es 7, 8 e 9, respectivamente.

O conjunto de lugares (LPN) formado pela unio de LcPN = {lxc | x c} (7)


todos os inf-sets com lugares que foram includos para
TcPN = {tc} (8)
representar conectores ( LcPN) (Equao 2).
c C
FcPN = {(x,lxc) | x c} {(lxc, tc) | x c}
T = P ( T )
PN PN
(2)
c C
c {(tc, x) | x c} (9)
Na Equao 7, determinado que, para representar
O conjunto de transies (TPN) formado pela unio
esse conector, necessrio acrescentar um lugar para
de todos os processos com transies que foram includas
cada processo de entrada do conector. Na Equao 8,
para representar conectores ( TcPN) (Equao 3).
c C indicado que, para representar esse conector, necessrio
acrescentar uma transio. Na Equao 9, determi-
F = (A ((I P) (P I))) ( FcPN)
PN
(3) nado que, para representar esse conector, necessrio
c C
acrescentar arcos que ligam as transies aos lugares de
O conjunto de arcos da rede (FPN) formado pelos entrada do conector, entre os lugares e a transio corres-
arcos do modelo que vo de I a P e de P a I e a unio dos pondente ao conector e entre a transio e o lugar de
arcos includos para representar conectores ( FcPN). sada do conector.
c C Neste caso, o conector AND-join tem o comporta-
A seguir sero apresentadas as definies de LcPN, TcPN mento de uma transio. acrescentado um lugar para
e FcPN de acordo com as regras de mapeamento relacio- cada processo de entrada do conector. Na Figura 3,
nadas ao tipo de conectores do MPN-EKD. Em seguida
a cada definio, so apresentados exemplos que repre-
sentam as regras utilizadas para mapear os conectores do
inf-set inf-set
MPN-EKD em redes de Petri.

Regra 1
c C IP CJ CAND And
Quando o conector c pertence a CIP (caminho de inf-set
para processo) interseco de CJ (join) interseco de
CAND, as definies de LcPN, TcPN e FcPN esto nas Equa-
es 4, 5 e 6, respectivamente. Processo

LcPN = (4)

TcPN = (5)
Figura 2. Exemplo de mapeamento do CAND entre dois ou mais
FcPN = {(x, y) | x c e y c} (6) inf-sets para um processo.

Gest. Prod., So Carlos, v. 15, n. 3, p. 563-578, set.-dez. 2008


568 Pdua e Inamasu

apresentado um exemplo de mapeamento do conector c Regra 5


CPI CJ CAND. c CIP Cs CAND
Quando o conector c pertence a CIP (caminho de inf-set
Regra 3 para processo) interseco de CS (join) interseco de
c CIP CJ COR
Quando o conector c pertence a CIP (caminho de inf-set
para processo) interseco de CJ (join) interseco de COR,
as definies de LcPN, TcPN e FcPN esto nas Equaes10,
Processo Processo
11 e 12, respectivamente.

LcPN = {lc} (10)

TcPN = {txc | x c} (11)


And
FcPN = {(x, txc) | x c} {(txc, lc) | x c}
{(lc, x) | x c} (12)
Na Equao 10, determinado que, para representar inf-set
este conector, necessrio acrescentar um lugar. Na
Equao 11, estabelecido que, para representar este
Figura 3. Exemplo de mapeamento do CAND entre dois ou mais
conector, necessrio acrescentar uma transio para
processos para um inf-set.
cada inf-set de entrada do conector. Na Equao 12,
determinado que, para representar este conector, neces-
srio acrescentar um conjunto de arcos dos lugares s
transies de entrada do conector, entre as transies e
inf-set inf-set
o lugar que corresponde o conector e entre o lugar e a
transio de sada do conector.
O conector OR-join tem o comportamento de um lugar
quando o conector CIP. Na Figura 4, apresentado um Or
exemplo de mapeamento do conector c CIP CJ
COR.
Processo
Regra 4
c CPI CJ COR
Quando o conector c pertence a CPI (caminho de
processo para inf-set) interseco de CJ (join) interseco
de COR, as definies de LcPN, TcPN e FcPN esto nas Equa- Figura 4. Exemplo de mapeamento COR entre dois ou mais inf-sets
para um processo.
es13, 14 e 15, respectivamente.
LcPN = (13)

TcPN = (14) Processo Processo

FcPN = {(x, y) | x c e y c} (15)

Na Equao 13, apresentado que no necessrio



acrescentar lugares para representar esse conector. Na
Or
Equao 14, determinado que no necessrio acres-
centar transies para representar esse conector. Na
Equao 15, apresentado que o conjunto de arcos est
entre o conjunto de entrada e o conjunto de sada. inf-set
O conector OR-join corresponde a dois ou mais arcos
em redes de Petri se, e somente se, o conector CPI. Na
Figura 5, apresentado um exemplo de mapeamento do Figura 5. Exemplo de mapeamento COR entre dois ou mais proces-
conector c CPI CJ COR. sos para um inf-set.

Gest. Prod., So Carlos, v. 15, n. 3, p. 563-578, set.-dez. 2008


Mtodo de avaliao do modelo de processos de negcio do Enterprise Knowledge Development 569

CAND, as definies de LcPN, TcPN e FcPN esto nas Equa- TcPN = (23)
es16, 17 e 18, respectivamente.
FcPN = {(x, y) | x c e y c} (24)
LcPN = {lxc | x c} (16)
Na Equao 22, apresentado que no necessrio
TcPN = {tc} (17) acrescentar lugares para representar esse conector. Na
Equao 23, determinado que no necessrio acres-
FcPN = {(x, tc) | x c} {(tc, lxc) | x c} centar transies para representar esse conector. Na
{(lxc, x) | x c} (18) Equao 24, apresentado que o conjunto de arcos est
entre o conjunto de entrada e o conjunto de sada.
Na Equao 16, apresentado que necessrio acres- O conector OR-split corresponde a um nmero de
centar um lugar para cada processo de sada do conector. arcos em redes de Petri se, e somente se, a sada dois ou
Na Equao 17, determinado que para representar mais processos. Na Figura 8, apresentado um exemplo
este conector necessrio acrescentar uma transio. de mapeamento do conector c CIP Cs COR.
Na Equao 18, apresentado que o conjunto de arcos
necessrios para representar este conector deve estar Regra 8
entre o lugar e a transio correspondente ao conector, c CPI Cs COR
entre a transio e os lugares de sada do conector e entre Quando o conector c pertence a CPI (caminho de
os lugares de sada do conector e a transio. processo para inf-set) interseco de CS (join) interseco
Dessa forma, o conector AND-split do tipo CIP tem o de COR, as definies de LcPN, TcPN e FcPN esto nas Equa-
comportamento de uma transio seguida de um nmero es25, 26 e 27, respectivamente.
de lugares igual ao nmero de processos. Na Figura 6,
apresentado um exemplo de mapeamento do conector c
CIP Cs CAND.
inf-set
Regra 6
c CPI Cs CAND
Quando o conector c pertence a CIP (caminho de inf-set
para processo) interseco de CS (join) interseco de And

CAND, as definies de LcPN, TcPN e FcPN esto nas Equa-
es19, 20 e 21, respectivamente.

LcPN = (19) Processo Processo

TcPN = (20)

FcPN = {(x, y) | x c e y c} (21)


Figura 6. Exemplo de mapeamento do CAND um inf-set para dois
Na Equao 19, apresentado que no necessrio ou mais processos.
acrescentar lugares para representar esse conector. Na
Equao 20, determinado que no necessrio acres-
centar transies para representar esse conector. Na
Equao 21, apresentado que o conjunto de arcos est
entre o conjunto de entrada e o conjunto de sada. Processo
O conector AND-split corresponde a um nmero de
arcos em redes de Petri se, e apenas se, a sada dois ou
mais inf-sets. Na Figura 7, apresentado um exemplo de

mapeamento do conector c CPI CS CAND.
And
Regra 7
c CIP Cs COR
Quando o conector c pertence a CIP (caminho de inf-set
inf-set inf-set
para processo) interseco de CS (join) interseco de COR,
as definies de LcPN, TcPN e FcPN esto nas Equaes22,
23 e 24, respectivamente.
Figura 7. Exemplo de mapeamento do CAND de um processo para
LcPN = (22) dois ou mais inf-sets.

Gest. Prod., So Carlos, v. 15, n. 3, p. 563-578, set.-dez. 2008


570 Pdua e Inamasu

LcPN = {lc} (25) apresentado um exemplo de mapeamento do conector c


CPI Cs COR.
TcPN = {txc | x c} (26) O MPN-EKD (I, P, C, Q, A) um modelo de processos
de negcio do EKD e PN = N(MPN-EKD) a rede de Petri
FcPN = {(x, lc) | x c} {(lc, txc) | x c} gerada pelo MPN-EKD. PN escolha-livre.
{(txc, x) | x c} (27) Definio 6. Um MPN-EKD regular se e somente se:
MPN-EKD tem dois inf-sets especiais: iincio e ifinal.
Na Equao 25, determinado que, para representar inf-set iincio um nodo fonte: iincio= . inf-set ifinal
este conector, necessrio acrescentar um lugar. Na um nodo final: ifinal = .
Equao 26, apresentado que necessrio acrescentar Todo nodo n N est no caminho do iincio para o
uma transio para cada inf-set de sada do conector. Na ifinal.
Equao 27, determinado que o conjunto de arcos deve A identificao do iincio e do ifinal permite uma definio
estar entre a transio inicial e o lugar correspondente ao clara do estado inicial e do estado final. Um MPN-EKD
conector, entre o lugar e as transies de sada do conector com mltiplos inf-sets iniciais (por exemplo, inf-sets
e entre as transies de sada do conector e os lugares. sem arcos iniciais) ou mltiplos inf-sets finais (por
A nica forma de existir um lugar com mais de um exemplo, inf-sets sem arcos finais) pode facilmente ser
arco de sada o mapeamento do conector OR-split de um estendido com uma parte de inicializao ou finalizao
processo para dois ou mais inf-sets. As regras de mape- que o primeiro requisito satisfeito. O segundo requi-
amento garantem que o nmero de transies igual ao sito precisa que todo inf-set ou processo esteja entre iincio
nmero de lugares. A rede escolha-livre. Na Figura 9, e ifinal. Se o segundo requisito no satisfeito, ento o
MPN-EKD :
a) composto de partes completamente disjuntas;
b) tem partes que nunca so ativadas; e
c) partes do MPN-EKD formam armadilhas.
inf-set
Como o MPN-EKD descreve o ciclo de vida de um
caso (por exemplo, uma instncia de processo), os dois
requisitos so razoveis. O ciclo de vida deveria ter um
Or evento inicial e um evento final, e todos os passos deve-
riam estar em um caminho entre esses dois eventos. No
presente trabalho, ser considerado MPN-EKD regular.

Um MPN-EKD descreve um procedimento com um
Processo Processo estado inicial e um estado final. O procedimento deveria
ser projetado de tal forma que sempre termine correta-
mente. Alm disso, deveria ser possvel executar qualquer
processo seguindo a rota apropriada do MPN-EKD.
Figura 8. Exemplo de mapeamento do COR de um inf-set para dois Definio 7. Um MPN-EKD regular sound se e
ou mais processos. somente se:
para cada marcao M alcanvel do estado inicial
(por exemplo, o estado, no qual o inf-set iincio o
nico inf-set que existe), existe uma seqncia de
disparos levando da marcao M para a marcao
Processo
final (por exemplo, em que o inf-set ifinal o nico
inf-set que existe);
a nica marca existente no final do processo est no
estado final ifinal; e
Or no existirem processos dead, por exemplo, para

cada processo p existe uma seqncia disparvel,
a qual executa p.
A conformidade, de acordo com as das redes de Petri,
inf-set inf-set o requisito mnimo que qualquer MPN-EKD deveria
satisfazer. Um MPN-EKD sound livre de potenciais trava-
mentos e livelocks. Se assumir fairness, ento os primeiros
Figura 9. Exemplo de mapeamento do COR de um processo para dois requisitos implicam que eventualmente a marcao
dois ou mais inf-sets. final ser alcanada (nota-se que esse um resultado da

Gest. Prod., So Carlos, v. 15, n. 3, p. 563-578, set.-dez. 2008


Mtodo de avaliao do modelo de processos de negcio do Enterprise Knowledge Development 571

combinao da propriedade de soundness e de escolha- 5 Mtodo de avaliao do Modelo de


livre). A propriedade escolha-livre implica que para cada Processos de Negcio do Enterprise
transio t1 e t2, t1 t2 que implica que t = t2.
Knowledge Development
Para os MPN-EKD complexos encontrados na prtica,
a verificao da propriedade soundness no simples. O mtodo de avaliao do modelo de processos de
Felizmente, tcnicas e ferramentas baseadas em redes de negcio consiste em:
Petri podem ser usadas para analisar essa propriedade. 1) Desenvolver o modelo organizacional EKD utili-
A inspeo da rvore de cobertura da rede de Petri, que zando as diretrizes apresentadas em Bubenko
corresponde ao MPN-EKD suficiente para verificar etal. (1998).
soundness. Para MPN-EKD complexos, a rvore de 2) Desenvolver o Modelo de Processos de Negcio
cobertura pode tornar-se muito grande. Esse fenmeno de acordo com a formalizao do MPN-EKD
conhecido como o problema de exploso de estado. apresentada neste trabalho. Conferir se o modelo
Um MPN-EKD com 80 processos pode facilmente ter atende aos seguintes requisitos:
mais de 200.000 marcaes. Embora os computadores 2.1) Todos os processos devem ter condio de
atualmente tenham dificuldade para analisar rvores de entrada e sada. Quando um processo no
cobertura desse tamanho, existem muitas tcnicas avan- tem nenhuma condio de entrada, no fica
adas que exploram a estrutura de redes de Petri, nesse claro quando poder ser realizado. Quando
caso gerada por um MPN-EKD. Essas tcnicas permitem um processo no tem condies de sada,
eficientes procedimentos de deciso. Antes de apresentar no contribui para o sucesso do caso e pode
tal procedimento, necessrio, primeiramente, listar ser omitido;
algumas propriedades presentes em qualquer rede de 2.2) Deve haver ao menos um inf-set final e um
Petri gerada por um MPN-EKD sound. inf-set inicial;
O MPN-EKD = (I, P, C, Q, A) sound e PN = N (MPN- 2.3) A entrada do processo deve ser igual a 1;
EKD) a rede de Petri gerada pelo MPN-EKD. Considere 2.4) A sada do processo deve ser igual a 1;
PN ser PN com uma transio t adicional conectando 2.5) A sada do inf-set deve ser igual ou menor
ifinal para iincio e deixar M ser a marcao inicial com uma que 1. Menor que 1 caso seja um inf-set
marca em iincio (AALST, 1999). final;
PN fortemente conexa;
2.6) A entrada do inf-set deve ser igual ou menor
PN passvel de cobertura;
que 1. Menor que 1 caso seja um inf-set
(PN, M) viva; e
inicial;
(PN, M) limitada.
2.7) A entrada do conector deve ser maior ou
Uma rede de Petri fortemente conexa se, e somente
igual a 1;
se, para cada par de nodos (lugares e transies) x e y,
2.8) A sada do conector deve ser maior ou igual
existir um caminho de x at y (AALST, 1997).
a 1;
PN fortemente conexa porque todos os nodos esto
no caminho do iincio para o ifinal e ifinal conectado em iincio 2.9) Todo conector deve ser do tipo OR ou
via t adicional. PN WF-net de acordo com Aalst (1997). AND;
Portanto, soundness coincide com vivacidade e limitao. 2.10) Todo conector dever ser do tipo Split ou
(PN, M) escolha-livre, viva e limitada e, de acordo Join;
com Aalst e Hee (2002), implica que PN passvel de 2.11) Todo conector deve ser do tipo PI ou IP;
cobertura e (PN, M) segura. Construindo os resul- 2.12) Um conector do tipo split deve ter a entrada
tados apresentados em Aalst (1997), a propriedade de igual a 1;
soundness pode ser verificada em tempo polinomial. 2.13) Um conector do tipo split deve ter a sada
Um MPN-EKD corresponde a uma rede WF-net igual ou maior que 2;
escolha-livre. Uma rede WF sound se e somente se a rede 2.14) Um conector do tipo join deve ter a entrada
estendida viva e limitada. Vivacidade e limitao podem maior ou igual a 2;
ser verificadas em tempo polinomial. Por essa razo, 2.15) Um conector do tipo join deve ter a sada
soundness pode ser verificado em tempo polinomial. igual a 1;
Nesse sentido, possvel estender ferramentas com 2.16) No permitido conectar processo a
procedimentos eficientes de deciso para verificar a proprie- processo;
dade soundness de um MPN-EKD. Para guiar o usurio em 2.17) No permitido conectar inf-set a inf-set;
procurar e corrigir defeitos em um projeto de um MPN-EKD 2.18) No permitido utilizar o conector ligando
possvel tambm suprir diagnsticos adicionais baseados processo(s) a processo(s) e inf-set(s) a inf-
na estrutura do MPN-EKD/redes de Petri. set(s);

Gest. Prod., So Carlos, v. 15, n. 3, p. 563-578, set.-dez. 2008


572 Pdua e Inamasu

2.19) No permitido a conexo de conector(es) seco de CAND, o conector (c CPI CS


com conector(es); e CAND) corresponde a um nmero de arcos
2.20) Todos os inf-sets que no foram gerados em redes de Petri;
pelo processo devem ser habilitados. 3.10) A Regra 7 estabelece que, quando o
3) Mapear o modelo em redes de Petri. Os inf-sets conector c pertence a CIP (caminho de
so representados por lugares e os processos so inf-set para processo) interseco de CS
representados por transies. Para mapear os (split) interseco de COR, o conector (c
conectores, necessrio seguir as regras apresen- CIP CS COR) corresponde a um nmero
tadas a seguir: de arcos em redes de Petri; e
3.1) O conjunto de lugares formado pela unio 3.11) A Regra 8 estabelece que quando o conector
de todos os inf-sets com lugares que foram c pertence a CPI (caminho de processo para
includos para representar os conectores; inf-set) interseco de CS (split) interseco
3.2) O conjunto de transies formado pela de COR, o conector (c CPI CS COR)
unio de todos os Processos com transies corresponde a um lugar seguido de um
que foram includas para representar conec- nmero de transies igual ao nmero de
tores; processos de sada do conector.
3.3) O conjunto de arcos da rede formado 4) Construir a rvore de alcanabilidade. Por meio da
pelos arcos de modelo que vo de I (inf-set) rvore de alcanabilidade possvel verificar vrios
a P (processo) e de P a I e a unio dos arcos erros que podem ocorrer na definio de processo,
includos para representar conectores; mesmo sem conhecimento especfico do processo
3.4) A Regra 1 estabelece que, quando o conector de negcio. Na ausncia de ferramenta de edio
c pertence a CIP (caminho de inf-set para de redes de Petri, possvel verificar a proprie-
processo) interseco de CJ (join) inter- dade soundness por meio da inspeo da rvore de
seco de CAND, o conector (c CIP CJ alcanabilidade que corresponde ao MPN-EKD.
CAND) corresponde a dois ou mais arcos em
5) Depois de fazer o mapeamento em redes de Petri,
redes de Petri;
avaliar o modelo utilizando uma ferramenta de
3.5) A Regra 2 estabelece que quando o conector
edio de redes de Petri. Neste trabalho, est
c pertence a CPI (caminho de processo para
sendo utilizado Petri Net Tools. Os seguintes itens
inf-set) interseco de CJ (join) interseco
devem ser considerados:
de CAND, o conector (c CPI CJ CAND)
5.1) Verificao de possvel travamento
tem o comportamento de uma transio.
(deadlock), ou seja, quando no possvel
acrescentado um lugar para cada processo
executar nenhuma tarefa;
de entrada do conector;
5.2) Eliminao de casos que ficam em loop
3.6) A Regra 3 estabelece que, quando o conector
infinito (livelock);
c pertence a CIP (caminho de inf-set para
processo) interseco de CJ (join) inter- 5.3) Verificao de possveis tarefas que no
seco de COR, o conector (c CIP CJ podem ser executadas (deadtask);
COR) tem o comportamento de um lugar; 5.4) Eliminao de conflitos;
3.7) A Regra 4 estabelece que, quando o conector 5.5) Verificao de possveis caminhos;
c pertence a CPI (caminho de processo para 5.6) Verificar a existncia de marcas nos outros
inf-set) interseco de CJ (join) interseco lugares depois que a condio fim foi
de COR, o conector (c CPI CJ COR) completada. Uma vez que a marca aparece
corresponde a dois ou mais arcos em redes no lugar fim, todas as outras marcas devem
de Petri; ter desaparecido; e
3.8) A Regra 5 estabelece que, quando o conector 6) Apresentar relatrio de problemas encontrados.
c pertence a CIP (caminho de inf-set para
processo) interseco de CS (split) inter-
6 Aplicao do mtodo
seco de CAND, o conector (c CIP CS
CAND) tem o comportamento de uma O modelo que ser apresentado foi desenvolvido
transio seguida de um nmero de lugares no projeto ESPRIT ELEKTRA (Electrical Enterprise
igual ao nmero de processos; Knowledge for Transforming Applications) (ELEKTRA,
3.9) A Regra 6 estabelece que, quando o conector 2000). O projeto ELEKTRA concentra-se principalmente
c pertence a CIP (caminho de inf-set para na aplicao do mtodo EKD para problemas de geren-
processo) interseco de CS (split) inter- ciamento de mudanas dentro de organizaes da Grcia

Gest. Prod., So Carlos, v. 15, n. 3, p. 563-578, set.-dez. 2008


Mtodo de avaliao do modelo de processos de negcio do Enterprise Knowledge Development 573

e Sucia, gerando um conjunto de prticas genricas de Pr7 haver um travamento (deadlock). Alm disso, no
forma a aplic-las em outras companhias. existe uma condio fim clara. O modelo no sound.
O caso Vattenfall foi escolhido no projeto ELEKTRA.
O projeto foi baseado em uma cuidadosa anlise no
apenas das prticas correntes e processo, mas tambm de
7 Consideraes finais
problemas, das necessidades, das oportunidades e obje- Foi destacado que o principal problema das abor-
tivos futuros percebidos. dagens de Modelagem Organizacional, incluindo-se o
O modelo do processo de planejamento estratgico EKD, a ausncia de tcnicas de anlise objetivas. As
de recursos humanos. O processo de planejamento tcnicas de anlise com rigor matemtico no so usuais
realizado em um nvel estratgico. Envolve a formulao para profissionais da rea de negcio. Constatou-se que
de polticas e objetivos para o planejamento de recursos as redes de Petri resolvem esse problema, uma vez que
humanos para Vattenfall, tratando as mtricas sobre a elas possuem representao grfica, so de fcil aprendi-
realizao dos objetivos formulados. O modelo descreve zado, funcionam como linguagem de comunicao entre
como o planejamento de recursos humanos deveria ser especialistas de diversas reas, permitem a descrio dos
integrado com o planejamento estratgico de negcio. aspectos estticos e dinmicos do sistema a ser repre-
Inicialmente, partindo dos objetivos do planejamento do sentado, e ainda possuem o formalismo matemtico que
negcio, formulado o grupo de objetivos e indicadores permite a utilizao de importantes mtodos de anlise.
dentro do domnio de competncia, em seguida, so comu- Os processos de negcio, normalmente, possuem uma
nicados os objetivos e indicadores para rea de negcio estrutura simples antes de serem introduzidos nos sistemas
nos documentos: pr-condies para planejamento de de informao avanados, tais como o sistema de workflow.
negcio/diretrizes de oramento. Paralelamente ou no, Essa simplicidade devida principalmente ao fato de que
so formuladas as polticas, as diretrizes e as instrues um documento (papel) pode estar apenas em um lugar
a partir do termo dos objetivos particulares e polticos. em um mesmo momento. O documento atua como um
conjunto de marcas que asseguram a execuo seqencial
Em seguida, so feitas comunicaes sobre essas pol-
das tarefas. Atualmente, aps vrios anos de desenvolvi-
ticas. Os processos seguintes so: executar atividades
mento de sistemas de forma seqencial, possvel modelar
dentro do domnio do suplente na competncia; retornar
processos de forma completamente diferente, uma vez que
trimestralmente os objetivos e indicadores com a ajuda
as informaes e os dados podem ser compartilhados.
do Sistema de Reviso do Grupo; apresentar um sumrio
Vrias pessoas podem trabalhar ao mesmo tempo no
dos objetivos alcanados e indicadores; comparar obje-
mesmo caso. Por essa razo nem sempre possvel que
tivos realizados e tendncias com objetivos propostos de
as tarefas sejam realizadas seqencialmente. Graas
acordo com as polticas particulares e planejamento de utilizao de processos de negcio paralelos possvel
negcio; e revisar objetivos. Na Figura 10, apresentado conseguir enormes redues no tempo de execuo. O
o modelo descrito alterado para ser mapeado em redes ambiente de negcio propcio para executar as tarefas
de Petri. As entradas do processo 1 foram modificadas em paralelo de acordo com a necessidade. Contudo, o uso
por no atender ao requisito do mtodo que afirma que de rotas seqencial, paralela, seletiva e iterativa no mesmo
o processo s poder ter uma entrada. Embora o mtodo processo torna difcil a avaliao dos processos definidos.
afirme que deve ser colocado um inf-set inicial e final, Neste sentido, a pesquisa mostrou que o Modelo de
no foi possvel colocar inf-set final por no estar claro o Processos de Negcio deve ser desenvolvido com muito
fim do procedimento. Foram adicionados os conectores. cuidado, pois, alm de os problemas resultantes de
Na Figura 11, apresentado o mesmo modelo mapeado erros no projeto serem difceis de detectar, os custos da
em redes de Petri de acordo com o mtodo apresentado neste correo dos erros so altos. As ambigidades e conflitos
trabalho. Os conectores do modelo de processo de planeja- devem ser eliminados dos modelos.
mento estratgico de recursos humanos e suas respectivas Foi possvel constatar que ambigidades e confuses
regras de mapeamento so apresentados no Quadro 1. Os no podem ser prevenidas em um modelo de Processos
elementos de redes de Petri correspondentes aos elementos de Negcio informal. Para resolver este problema, foi
do MPN-EKD so apresentados no Quadro2. desenvolvido o Modelo de Processos de Negcio com
uma semntica formal. Para desenvolver essa semntica,
6.1 Resultado do teste foi criado um conjunto de conectores para o Modelo de
Na Figura 12, apresentado o modelo simulado na Processos de Negcio do EKD. O conjunto de conectores
ferramenta Petri Net Tools. A rvore de alcanabilidade representado por C e composto por CAND, COR, CJ, CS, CIP
apresentada na Figura 13 demonstra que a transio Pr6 e CPI. Os conectores COR e CAND so importantes para iden-
ser disparada apenas se houver uma marca no lugar IS8. tificar escolha (exclusiva) e paralelismo para que os casos
Como no existe essa marca antes do disparo da transio de paralelismo e escolha no sejam modelados exatamente

Gest. Prod., So Carlos, v. 15, n. 3, p. 563-578, set.-dez. 2008


574 Pdua e Inamasu

Processo
And
Iniciar

inf-set 1
Objetivos do planejamento inf-set 2
de negcio Termo dos objetivos
particulares e polticos
inf-set 0 Or
Incio Processo 1
Formular grupo de objetivos
e indicadores dentro do Processo 2
domniode competncia Formular polticas,
diretrizes e instrues

inf-set 3
Objetivos do grupo e indicadores inf-set 4
dentro do domnio de competncia Polticas, diretrizes e instrues
dentro do domnio de suprimentos
de competncias
Processo 3
inf-set 5 Comunicar objetivos e indicadores Processo 4
Proposta para indicadores para rea de negcios nos documentos:
e objetivos revisados pr condies para planejamento de Comunicar polticas, etc
negcio/diretrizes de oramento via folder ou intranet

inf-set 6 inf-set 7
Pr-condies para planos de Polticas, diretrizes e instrues
negcio/diretrizes de oramento dentro do domnio de suplentes
Processo 5 na competncia
Revisar objetivos
Processo 6
e indicadores And
Executar atividades dentro inf-set 8
do domnio do suplente Objetivos revisados e indicadores
na competncia dentro do domnio de suplentes
na competncia

inf-set 9
Resultados das atividades para
suplentes na competncia

Processo 8
Retornar trimestralmente os objetivos
inf-set 10
e indicadores com a ajuda do
Informaes sobre a
Sistema de Reviso do Grupo
rea de negcio

inf-set 11 Processo 7
Informaes sobre rea de Reviso de objetivos
negcio para atingir objetivos e indicadores

Or
Processo 9
Resumo dos objetivos
alcanados e indicadores
Processo 10
Comparar objetivos realizados e inf-set 12
tendncias com objetivos propostos Objetivos e indicadores
de acordo com o as polticas particulares agregados
e planejamento de negcio

Figura 10. Modelo de Processo de planejamento estratgico de recursos humanos modificado.

Gest. Prod., So Carlos, v. 15, n. 3, p. 563-578, set.-dez. 2008


Mtodo de avaliao do modelo de processos de negcio do Enterprise Knowledge Development 575

Marcao inicial
Incio 1,
0,
0,
Iniciar 0,
IS 5 0,
IS 1 IS 2 0,
Pr Adic 1 Pr Adic 2 0,
0,
0,
0,
IS 0,
Adic 1 0,
0,
Pr 1 Pr 2 0,
0,
0
IS 3 IS 4

Iniciar
Pr 3 Pr 4 0,
Pr 5 1,
1,
IS 6 IS 7 0,
0,
0,
Pr 6 0,
IS 8 0,
0,
0,
IS 9 0,
0,
IS 10 Pr Adic 2 0, Pr 2
0, 0,
Pr 8 1, 0, 0,
0, 0, 1,
1, 0 0,
IS 11 0, 0,
0, 0,
Pr 7 0, 1,
0, 0,
Pr 10 Pr 9 0, 0,
Pr 1 0, 0, Pr 4
0, 0, 0, 0,
1, 0, 0, 0,
IS 12 0, 0, 0, 1,
0, 0, 0, 0,
Figura 11. Modelo de Planejamento estratgico mapeado em re- 0, 0, 0, 0,
des de Petri. 1, 0 0 0,
0, 0,
0, 0,
0, 1,
0, 0,
Pr 3 0, 0,
0,
1, 0, 0,
0, 0, 0,
0, 0, 0,
0, 0, 0,
0, 0 0
0,
1,
0,
0,
0,
0,
0,
0,
0,
0

Figura 12. Simulao do Modelo de Planejamento estratgico na Figura 13. rvore de alcanabilidade do Modelo de Planejamento
ferramenta Petri Net Tools. estratgico mapeado em redes de Petri.

Gest. Prod., So Carlos, v. 15, n. 3, p. 563-578, set.-dez. 2008


576 Pdua e Inamasu

Quadro 1. Conectores utilizados no Modelo de Planejamento estrat- da mesma forma, evitando ambigidades e dificuldades de
gico de recursos humanos e a regra de mapeamento correspondente. compreenso. Os conectores CJ e CS definem conectores
Conector Regra correspondente do tipo join e split. Os conectores CIP e CPI demonstram
CPI CS CAND Regra 6 que um conector c um caminho de um inf-set para um
CIP CJ COR Regra 3 processo ou um caminho de um processo para um inf-set.
CIP CJ CAND Regra 1 Foram includos os estados inicial e final para possibi-
CIP CS COR Regra 7 litar que a formalizao fosse efetivamente realizada. Esses
estados no so especificados no MPN-EKD original.
Quadro 2. Elementos de redes de Petri correspondentes aos ele- Foi desenvolvido neste trabalho um procedimento de
mentos do MPN-EKD de planejamento estratgico. mapeamento formal do modelo de processos de negcio
PN MPN-EKD em redes de Petri. O procedimento de mapeamento foi
Lugar inf-set Descrio desenvolvido com base em redes de Petri lugar/transio.
IS1 1 Objetivos do planejamento de negcio Por meio de um modelo de processos de negcio mapeado
em redes de Petri de acordo com este procedimento, foi
IS2 2 Termo dos objetivos particulares e polticos
possvel verificar alguns requisitos que garantem se o
IS3 3 Objetivos do grupo e indicadores dentro processo foi modelado corretamente e outros requisitos
do domnio de competncia
que permitem uma anlise do processo.
IS4 4 Polticas, diretrizes e instrues dentro do Dessa forma, a partir do procedimento de mapeamento
domnio de suprimentos de competncias
formal do modelo de processos de negcio em redes de
IS5 5 Proposta para indicadores e objetivos
revisados Petri, foi criado o Mtodo de Avaliao do MPN-EKD.
O mtodo consiste em uma seqncia de passos que vai
IS6 6 Pr-condies para planos de negcio/
diretrizes de oramento desde o desenvolvimento do modelo organizacional at a
construo da rvore de alcanabilidade e simulao do
IS7 7 Polticas, diretrizes e instrues dentro do
domnio de suplentes na competncia modelo em ferramenta.
IS8 8 Objetivos revisados e indicadores dentro
A aplicao do mtodo permitiu verificar a presena de
do domnio de suplentes na competncia deadlock (travamento), no qual o processo nunca poder
IS9 9 Resultados das atividades para suplentes ser realizado. Alm disso, no existe uma condio fim
na competncia clara e dessa forma, o modelo no sound.
IS10 10 Informaes sobre a rea de negcio Com base nesses problemas, pode-se afirmar que o
cuidado no processo de modelagem fundamental para
IS11 11 Informaes sobre a rea do negcio para
atingir objetivos que o modelo represente fielmente como o processo
realizado e que esses problemas so minimizados quando
IS12 12 Objetivos e indicadores agregados
o modelo desenvolvido de acordo com o mtodo desen-
Tr Pr Descrio
volvido neste trabalho.
Pr1 1 Formular grupo de objetivos e indicadores A grande convenincia, como afirmado anteriormente,
dentro do domnio de competncia
no uso de redes de Petri na modelagem de processos de
Pr2 2 Formular polticas negcios a possibilidade de um rastreamento minucioso
Pr3 3 Comunicar objetivos e indicadores para e no-ambguo de cada etapa da operao.
rea de negcio nos documentos: pr- Alm disso, este trabalho mostra que as redes de Petri
condies para planejamento de negcio/
diretrizes para oramento possibilitam uma representao matemtica formal e
Pr4 4 Comunicar polticas via folder ou intranet
disponibiliza mecanismos de anlise que tornam poss-
veis a verificao da correo do modelo e a checagem
Pr5 5 Revisar objetivos e indicadores
de suas propriedades.
Pr6 6 Executar atividades dentro do domnio do O fato de algumas construes no serem permitidas
suplente na competncia
pode ser considerado uma desvantagem da formalizao
Pr7 7 Reviso dos objetivos e indicadores do MPN-EKD. Porm, durante o processo de modelagem,
Pr8 8 Retornar trimestralmente os objetivos e essas construes devem ser analisadas cuidadosamente,
indicadores com a ajuda do sistema de sendo importante o discernimento da equipe ou pessoa
reviso do grupo
que est modelando para que o modelo seja desenvolvido
Pr9 9 Resumo dos objetivos alcanados e
indicadores de acordo com as definies apresentadas neste trabalho.
importante ressaltar que a aplicao do mtodo de
Pr10 10 Comparar objetivos realizados e tendn-
cias com objetivos propostos de acordo avaliao em muitos Modelos de Processos de Negcio
com as polticas particulares e planeja- poder ser invivel sem uma ferramenta computacional
mento de negcio que apie todos os passos do mtodo.

Gest. Prod., So Carlos, v. 15, n. 3, p. 563-578, set.-dez. 2008


Mtodo de avaliao do modelo de processos de negcio do Enterprise Knowledge Development 577

Assessment Method of the Business Process Model of EKD

Abstract

The EKD Enterprise Knowledge Development - is a methodology that offers a systematic and guided process to
analyze, understand, develop, and document an Enterprise. Unfortunately, its grammatical structure and context for-
mation are not clear nor easy to understand and interpret making the analyses of more complex models difficult.
As a result, the Enterprise Process model of EKD can be ambiguous and hard to analyze, especially regarding more
complex systems, and so it can also be difficult to verify the consistency and entireness the model. In this work, these
problems will be studied based on the Petri Nets approach. Due to the Petri Nets formalism, this is an important modeling
technique to process representation. Furthermore, Petri Nets allows the tracking of every step of the operation with no
ambiguity, and it offers efficient methodology for the analyses, which can guarantee the accuracy of the model. Therefore,
the objective of this study is to develop an evaluation methodology of the business process model of EKD (MPN-EKD).
Such methodology will allow the verification of possible building and locking model errors. This methodology can be ap-
plied to information systems or workflow. It can also be used to study strategies of work and workflow simulations.
Keywords: Petri nets. Enterprise modeling. Business rules. Software development. Business process model. Workflow. EKD.
Assessment of business process model.

Referncias bibliogrficas
AALST, W. M. P. V. D. Formalization and verification of event- GUAN, F. et al. Grid-flow: a grid-enabled scientific workflow system
driven process chains. Information and Software Technology, with a Petri-net-based interface. Concurrency and Computation:
v. 41, n. 10, p. 639-650, July, 1999. Practice and Experience, v.18,n.10, p. 11151140, 2006.
______. Verification of workflow nets. In: AZEMA, P.; BALBO, G. INAMASU, R. Y. Modelo de FMS: uma plataforma para
(Eds.). Application and theory of petri nets. Berlin: Springer- simulao e planejamento. So Carlos, 1995. 134p. Tese
Verlag, 1997. (Lectures Notes in Computer Science). de Doutorado - Escola de Engenharia de So Carlos,
AALST, W. M. P. V. D.; HOFSTEDE, A. H. M. T. Verification Universidade de So Paulo.
of workflow task structures a petri-net-based approach. JACOBSON, I.; BOOCH, G.; RUMBAUGH, J. The unified software
Information Systems, v. 25, n. 1, p. 43-69, 2000. development process. Reading: Addison-Wesley, 1999.
AALST, W. V. D.; HEE, V. K. Workflow management: models, JENSEN, K. A Brief Introduction to Coloured Petri Nets. In:
methods and systems. Cambridge: MIT Press, 2002. Brinksma, E. Lecture Notes in Computer Science, Vol. 1217:
BUBENKO JR., J. A.; STIRNA, J.; BRASH, D. EKD user guide, Tools and Algorithms for the Construction and Analysis of
Dpt of computer and systems sciences. Stockholm: Royal Systems. TACAS97 Workshop, Enschede, The Netherlands,
Institute of Technology, 1998. 1997, p.201-208. Proceedings The Netherlands: Springer-
CHRZASTOWSKI-WACHTEL, P. et al. A top-down petri Verlag, 1997.
net-based approach for dynamic workflow modeling. In: JONKERS, H. et al. Towards a language for coherent enterprise
INTERNATIONAL CONFERENCE BPM, 2003, Eindhoven. architecture descriptions. In: IEEE INTERNATIONAL
ProceedingBerlin: Springer, 2003, p. 336-353. ENTERPRISE DISTRIBUTED OBJECT COMPUTING
DALLAVALLE, S. I.; CAZARINI, E. W. Modelagem organizacional CONFERENCE, 7, 2003, Brisbane. Proceedings Los
desenvolvimento do conhecimento organizacional, facilitador Alamintos: IEEE Computer Society, 2003.
de desenvolvimento de sistemas de informao. In: Encontro JUNGINGER, S. et al. Building complex workflow applications:
Nacional de Engenharia de Produo, 11, 2001, Salvador. how to overcome the limitations for the waterfall model. In:
Anais... Salvador, 2001. CD-ROM. FISCHER, L. (Ed.). Workflow management coalition: the
DEHNERT, J. Four steps towards sound business process models. In: workflow handbook 2001. Disponvel em:<http://www.boc-eu.
EHRIG., H. et al. (Eds.). Petri net technology for communication- com/english/papers/Complex_Workflow_Appl.pdf>. Acesso
based systems- advances in petri nets. Berlin: Springer, 2003. em: 16 apr. 2001.
p.66-82. (Lecture Notes in Computer Science, 2472). KOUBARAKIS, M.; PLEXOUSAKIS, D. A formal framework for
DONGEN, V. B. F. et al. Verification of the SAP reference models business process modelling and design. Information Systems,
using EPC reduction, state-space analysis, and invariants. v. 27, n. 5, p. 299-319, jul. 2002.
Computers in Industry, v. 58,n. 6, p. 578-601, 2007. KRUCHTEN, P. The rational unified process. 2 ed. Harlow:
ELEKTRA - Electrical Enterprise Knowledge for Transforming Addison-Wesley, 2000.
Applications. The ELEKTRA project programme. LENZ, K.; MEVIUS, M.; OBERWEIS, A. Process-Oriented business
Disponvel em: <www.singular.gr/elektra.ekd.htm>. Acesso performance management with petri nets. In: CHEUNG, W.;
em: 27 Nov. 2000. HSU, J. (Eds.). IEEE conference on e-technology, e-commerce
GRIGOROVA, K. Process modelling using petri nets. In: and e-service, 2, Hong-Kong, 2005, p. 89-92. Proceedings
INTERNATIONAL CONFERENCE ON COMPUTER Hong Kong, 2005.
SYSTEMSANDTECHNOLOGIES: E-Learning, 4, 2003, Rousse. MEVIUS, M.; OBERWEIS, A. A Petri-Net based approach to
Disponvel em: <http://doi.acm.org/10.1145/973620.973636>. performance management of collaborative business processes.
Acesso em: 14 June. 2004. In: International Workshop on Database and Expert Systems

Gest. Prod., So Carlos, v. 15, n. 3, p. 563-578, set.-dez. 2008


578 Pdua e Inamasu

Applications (DEXA05), 16, 2005. Proceeding Karlsruhe: ______. Redes de petri aplicadas aos sistemas de gerenciamento de
University of Karlsruhepp, 2005. 987-991. Workflow. In: Encontro Nacional de Engenharia de Produo,
MOLD, D.; VALK, R. Object oriented petri net in business process 12, 2002, Curitiba. Anais... Curitiba, 2002. CD-ROM.
modeling. In: AALST, V. D. W.; DESEL, J.; OBERWEIS, A. PERSSON, A. The utility of participative enterprise modelling
Business process management: models, techniques, and in IS development: challenges and research issues. In:
empirical studies. Berlin: Springer, 2000. p. 254-273. (Lectures INTERNATIONAL WORKSHOP ON THE REQUIREMENTS
Notes in Computer Sciences, 1806). ENGINEERING PROCESS, 2, 2000, Greenwich.
MURATA, T. 1989. Petri net: properties, analysis and applications. Proceedings Berlin: Springer, 2000. p. 978-982.
Proceedings of the IEEE, v. 77, n. 4, p. 541-579. PETERSON, J. L. Petri nets: theory and modelling of systems.
NURCAN, A.; ROLLAND, C. A multi-method for defining the Englewood Cliffs: Prentice-Hall, 1981.
organizational change. Journal of Information and Software RINDERLE, S.; REICHERT, M.; DADAM, P. Evaluation
Technology, v. 45, n. 2, p. 61-82, feb. 2003. of correctness criteria for dynamic workflow changes. In:
NURCAN, S. Analysis and design of co-operative work process INTERNATIONAL CONFERENCE BPM 2003, Eindhoven.
a framework. Information and Software Technology, v. 40, Proceedings Berlin: Springer, 2003, p.41-57. (Lecture Notes
n.3, p. 143-156, jun. 1998. in Computer Science, 2678).
NURCAN, S.; BARRIOS, J. Enterprise knowledge and information ROLLAND, C.; NURCAN, S.; GROSZ, G. A Decision making
system modelling in na evolving enviroment. In: INTERNATIONAL pattern for guiding the enterprise knowledge development
WORKSHOP ON ENGINEERING METHODS TO SUPORT process. Journal of Information and Software Technology,
INFORMATION SYSTEMS EVOLUTION IN CONJUNCTION v. 42, n. 5, p. 313-331, apr. 2000.
WITH, 2003, Geneva. Proceedings Geneva: Switzerland, 2003. SALIMIFARD, S.; WRIGHT M. Petri net based modelling
Disponvel em <http://cui.unige.ch/db-research/EMSISE03/Rp07. of workflow systems: an overview. European Journal of
pdf>. Acesso em: 11 apr. 2008. Operational Research, v.134, n. 3, p. 664-676, nov. 2001.
OU-YANG, C.; LIN Y. D. BPMN-based business process model SOARES, J. B. Editor de modelos de sistemas de eventos
feasibility analysis: a petri net approach. International Journal discretos, baseado em redes de Petri interpretadas. So
of Production Research, v. 45, n. 12, 2007. Carlos, 2001. Dissertao (Mestrado) Escola de Engenharia
PDUA, S. I. D. Investigao do processo de desenvolvimento de So Carlos, Universidade de So Paulo.
de software a partir da modelagem organizacional, VERBBEK H. M. W.; AALST, W. M. P.; HOFSTEDE, A. H. M.
enfatizando regras do negcio. So Carlos, 2001. 145 p. Verifying workflows with cancellation regions and OR-joins:
an approach based on relaxed soundness and invariants. The
Dissertao (Mestrado) Escola de Engenharia de So Carlos,
Computer Journal Advance, v. 50, n. 3, p. 294-314, 2007.
Universidade de So Paulo.
VERBEEK, H. M. W.; BASTEN, T.; AALST, W. M. P. Diagnosing
______. Mtodo de avaliao do modelo de processos de
workflow using woflan. Eindhoven: Eindhoven University of
negcios. So Carlos, 2004. 252 p. Tese (Doutorado) Escola
Technology, 2002. (BETA Working Paper Series, WP 48).
de Engenharia de So Carlos, Universidade de So Paulo.
VOORHOEVE, M. Compositional modeling and verification
PDUA, S. I. D.; CAZARINI, E. W.; INAMASU, R. Y. Modelagem
of workflow process. In: AALST, V. D. W.; DESEL, J.;
organizacional: captura dos requisitos organizacionais no
OBERWEIS, A. Business process management: models,
desenvolvimento de sistemas de informao. Revista Gesto e
techniques, and empirical studies. Berlin: Springer, 2000,
Produo, v. 11, n. 2, p. 1-20, maio-ago. 2004a.
p.184-200. (Lectures Notes in Computer Sciences, 1806).
PDUA, S. I. D.; SILVA, A. R. Y.; INAMASU, R. Y.; PORTO, A.
WORKFLOW management coliation: reference model. Hampshire,
J. V. Aplicaes e potencial das redes de Petri na Engenharia
1996. ( Document Number WFMC-TC00-1003).
de Produo. In: SIMPSIO DE ENGENHARIA DE ZHANG, L.;SHUZHEN, Y. Research on workflow patterns based
PRODUO, 10, 2003. Disponvel em: http://www.bauru. on Petri nets. In: IEEE CONFERENCE ON CYBERNETICS &
unesp.br/acontece/simpep.html. Acesso em: 30 nov. 2003. INTELLIGENT SYSTEMS (CIS) ROBOTICS, AUTOMATION
______. O potencial das redes de Petri em modelagem e anlise de AND MECHATRONICS (RAM), 2006, Bangkok. Proceeding
processos de negcios. Revista Gesto e Produo, v. 11, n. 1, Bangkok: IEEE Computer Society, 2006. p. 1-6.
p. 1-11, abr. 2004b. ZISMAN, M. D. Representation, specification and automation
of office procedures. Pennsylvania, 1977. Thesis (PhD) -
University of Pennsylvania, Wharton School of Business.

Sobre os autores
Slvia Ins Dallavalle de Pdua
Faculdade de Economia, Administrao e Contabilidade de Ribeiro Preto, Universidade de So Paulo FEA-RP/USP,
Av. Bandeirantes, 3900, CEP 14040-900, Monte Alegre, Ribeiro Preto, SP,
e-mail: dallavalle@fearp.usp.br

Ricardo Yassushi Inamasu


EMBRAPA Centro Nacional de Pesquisa e Desenvolvimento de Instrumentao Agropecuria,
Rua XV de Novembro, 1452, CEP 13560-970, So Carlos, SP,
e-mail: ricardo@cnpdia.embrapa.br
Agradecimentos: Os autores deste trabalho agradecem especialmente ao Prof. Dr. Adenilso da Silva Simo, CAPES, EMBRAPA e FIPAI.

Recebido em 08/11/2007
Aceito em 27/10/2008

Gest. Prod., So Carlos, v. 15, n. 3, p. 563-578, set.-dez. 2008