Processos baseados em Restries: uma Aplicao da

Teoria de Controle Supervisrio

Sauro Schaidt, Agnelo Denis Vieira, Eduardo Alves Portela Santos, Eduardo de
Freitas Rocha Loures
PPGEPS Pontifcia Universidade Catlica do Paran (PUCPR) Escola Politcnica
80.215-901 Curitiba PR Brazil
{sauro.schaidt, eduardo.portela, agnelo.vieira,
eduardo.loures}@pucpr.br
Abstract. Constraint-based processes require a set of rules that limit their
behavior to certain boundaries. These languages define the activities that must
be performed to produce the expected results but not define exactly how these
activities should be performed. The present paper proposes an approach to
deal with constraint-based processes. The proposed approach is based on
supervisory control theory, a formal foundation for building controllers for
discrete-event systems. The controller proposed in this paper monitors and
restricts execution sequences of tasks such that constraints are always obeyed.
We demonstrate that our approach can be used as a declarative language for
constraint-based processes.
Resumo. Processos baseados em restries exigem um conjunto de regras que
limitam o seu comportamento a certos limites. Estas linguagens definem as
tarefas que devem ser realizadas para produzir os resultados esperados, mas
no definem exatamente como essas tarefas devem ser realizadas. O presente
artigo prope uma nova abordagem para lidar com processos baseados em
restries. A abordagem proposta baseada na teoria de controle
supervisrio, uma base formal para a construo de controladores para
sistemas a eventos discretos. O controlador proposto neste trabalho monitora
e restringe as sequncias de execuo de tarefas de tal forma que as restries
sejam sempre obedecidas.
1. Introduo
Processos baseados em restries necessitam de um conjunto de regras que limitam o
seu comportamento a certos limites. Linguagens declarativas so mais adequadas para
modelar esses processos justamente porque facilitam a declarao de regras de negcio
[Pesic et al. 2006] [Pesic et al. 2007] [Aalst et al. 2009]. Estas linguagens definem as
tarefas que devem ser realizadas para produzir os resultados esperados, mas no definem
exatamente como essas tarefas devem ser realizadas. Assim, qualquer ordem de
execuo das tarefas possvel desde que as restries (impostas pelas regras) no
sejam violadas.
Um modelo declarativo especifica um conjunto de restries, ou seja, as regras
que devem ser seguidas durante a execuo de um processo. Deste modo, o modelo
declarativo implicitamente define o fluxo de controle como sendo todas as
17

possibilidades que no violam qualquer uma das restries dadas. H poucos trabalhos e
publicaes relacionados que tratam de modelos declarativos e processos baseados em
restries. [Pesic et al. 2007] e [Aalst et al. 2009] apresentam um Workflow
Management System (WFMS) baseado em restrio chamado DECLARE, um software
que implementa vrias linguagens declarativas (por exemplo, Condec). DECLARE
desenvolvido como um sistema baseado em restries e usa linguagem declarativa
baseada em Lgica Temporal Linear (LTL) [Clarke et al. 1999] para o desenvolvimento
e execuo de modelos de processo [Santos et al. 2012b].
No presente artigo, prope-se utilizar a Teoria de Controle Supervisrio
[Ramadge e Wonham 1989] como uma abordagem para lidar com processos baseados
em restries. A abordagem prope um sistema de controle baseado em supervisores
locais [Queiroz et al. 2000] que foram o processo a no violar as restries. Esta ao
realizada atravs da desativao dinmica de alguns eventos, a fim de restringir o espao
de estados do processo. Considera-se que este espao pode conter sequncias de eventos
que no so permitidas, pois podem violar uma ou mais restries e, portanto, precisam
ser evitadas. Assim, um supervisor local construdo de modo a assegurar que um
conjunto de restries no seja violado [Santos et al. 2012a].
2. Teoria de Controle Supervisrio
A Teoria de Controle Supervisorio (TCS) [Ramadge and Wonham 1989] foi
desenvolvida como uma metodologia formal para sntese automtica de controladores
timos para Sistemas a Eventos Discretos (SED). Nesta teoria, assume-se que um
sistema (planta) possui um comportamento incontrolvel que pode violar algumas
propriedades requeridas (ex.: segurana, ordenamento de eventos). Este comportamento
deve ser modificado atravs de um agente (supervisor) afim de se alcanar um conjunto
de especificaes (ou que determinadas restries no sejam violadas). Para tanto, o
supervisor age sobre a planta impedindo a gerao de alguns eventos e permitindo
outros. [De Queiroz and Cury, 2000] estenderam a TCS atravs da abordagem
denominada Controle Modular Local (CML). Esta abordagem, ao contrrio da TCS
clssica, prov uma estrutura de controle descentralizada, em que supervisores locais
atuam sobre partes da planta global.
No paradigma da TCS, dado um SED modelado atravs de um autmato G,
considera-se que a linguagem L(G) contm seqncias de eventos que no so aceitveis
por violarem alguma regra ou condio de bloqueio a ser imposta. Assim L(G)
representa o comportamento no controlado do SED em questo, e a premissa que tal
comportamento deve ser modificado por uma ao de controle. Tal modificao deve
ser entendida como uma restrio do comportamento do SED a um subconjunto de
L(G). Para alcanar esse fim, introduz-se o supervisor S. Ramadge and Wonham
consideram que S observa alguns (possivelmente todos) os eventos executados pela
planta G. Ento, S informa a G quais eventos (dentro daqueles ativos) podem ocorrer no
estado atual. Mais precisamente, S tem a capacidade de desabilitar eventos controlveis
de G. Desta maneira, S exerce um controle dinmico realimentado sobre G. Uma
possvel representao do supervisor um par S = (S;!), onde S o autmato que
representa o supervisor e !: Q
s
" 2
#
um mapa de sada que especifica o subconjunto de
eventos controlveis a serem desabilitados em casa estado do supervisor.
18

3. Modelagem de Restries
A fim de aplicar a TCS para controlar processos baseados em restries, necessrio
obter dois modelos: (1) o modelo do sistema sob controle e (2) o modelo de restries.
A abordagem aqui proposta considera que a cada tarefa atribudo um autmato que
representa o seu comportamento. Assumimos que cada tarefa ti (i = 1, 2, ..., n)
modelada como um autmato com dois estados: (1) um estado inicial onde a tarefa no
est sendo executada (uma instncia no foi iniciada) e (2) o outro estado onde a
instncia est sendo processada. Com o evento incio (tis), a tarefa iniciada (estado 1
alcanado). Quando a tarefa termina, sinalizada pela ocorrncia do evento completar
(tic), ou cancela (tix), ela retorna ao estado 0. A Figura 1 mostra o autmato que
representa uma tarefa ti.

Figura 1. Autmato representando uma tarefa ti
Para calcular o controlador que evita as sequncias no desejadas necessrio
expressar as restries em termos de autmatos. No presente trabalho os quatro grupos
de restries propostos por [Pesic 2008] so considerados: (1) existncia, (2) relao, (3)
negao e (4) escolha. Modelos de existncia especificam quantas vezes ou quando uma
tarefa pode ser executada. Modelos de relao definem alguma relao entre duas (ou
mais) tarefa. Modelos de negao definem uma relao negativa entre tarefas. Modelos
de escolha so usados para especificar que se deve escolher entre duas ou mais tarefas.
Considerando-se a aplicao da TCS, autmatos so utilizados para representar o
conjunto de restries. A Figura 2 mostra os modelos existence em autmatos. Devido
limitao de espao deste artigo, somente alguns modelos de alguns grupos so
apresentados. Os modelos existence 1 indica que a tarefa t1 executada pelo menos uma
vez. O modelo init pode ser usado para especificar que a tarefa t1 deve ser a primeira
tarefa executada.

Figura 2. Modelos de Existncia
A Figura 3 mostra os modelos de relao em autmatos. O modelo chain
precedence exige que a tarefa t1 preceda diretamente cada tarefa t2. O modelo chain
succession requer que as tarefas t1 e t2 sejam sempre executadas uma logo aps a outra.
A Figura 4 mostra os modelos de escolha em autmatos. O modelo 1of2 especifica que
uma das duas tarefas t1 e t2 tem que ser executada sendo que ambas podem ser
19

executadas. O modelo exclusive choice 1of2 especifica que uma das duas tarefas t1 e t2
tm que ser executada, enquanto a outra no pode ser executada.



Figure 3. Modelos de Relao



Figura 4. Modelos de Escolha
4. Exemplo de Aplicao
Uma das referncias mais difundidas no meio corporativo para gerenciamento de
projetos o PMBOK (Project Management Body of Knowledge) [PMBOK 2008]. Dos
42 macroprocessos apresentados pelo PMBOK, optou-se em selecionar o processo
Coletar Requisitos para a implementao da abordagem aqui apresentada. O PMBOK
estabelece trs estgios para cada processo: entradas, ferramentas e tcnicas, e sadas.
As entradas para o processo Coletar Requisitos so os documentos Termo de
Abertura do Projeto (TAP) e Registro das Partes Interessadas (RPI). A partir destas
entradas definimos para a nossa aplicao a atividade inicial revisar TAP e RPI (t1). As
ferramentas e tcnicas de execuo adotadas para este modelo so: entrevistas,
dinmicas de grupo, oficinas, questionrios e pesquisas, prottipos e brainstorm. Na
nossa aplicao o uso destas ferramentas e tcnicas se d atravs das atividades realizar
20

entrevistas (t2), realizar dinmicas de grupo (t3), realizar questionrios e pesquisas
(t4), realizar oficinas (t5), construir prottipo (t6), e realizar brainstorm (t7). As sadas
sugeridas pelo PMBOK so os documentos Documentao dos Requisitos, Plano de
Gerenciamento dos Requisitos (PGR) e Matriz de Rastreabilidade de Requisitos
(MRR). Para este trabalho selecionamos a sada Documentao dos Requisitos e a partir
dela definimos a atividade documentar requisitos (t8). Cada tarefa ti (i= 1, ..., 8)
modelada por um autmato, como mostrado na Figura 1.
Para restringir um as aes do usurio quatro restries para o processo so
definidas: a restrio C6 define que revisar TAP e RPI (t1) deve ser a primeira tarefa
executada; a restrio C21 define que pelo menos uma das cinco tarefas realizar
entrevistas (t2), realizar dinmicas de grupo (t3), realizar questionrios e pesquisas
(t4), realizar oficinas (t5), construir prottipo (t6) tem que ser executada; a restrio
C17 define que se construir prottipo (t6) executada ento realizar brainstorm (t7)
deve ser executada; a restrio C1 define que a tarefa documentar requisitos (t8) deve
ser executada pelo menos uma vez.
Para calcular a lgica de controle que evite as sequncias no desejadas
necessrio expressar os comportamentos requeridos em termos de autmatos conforme
as Figuras 2, 3 e 4. A Figura 5 apresenta as restries modeladas por autmatos
relacionados com o processo apresentado. Considerando que usamos o CML, o primeiro
passo para a sntese local de supervisores obter a planta local para cada restrio. As
plantas locais para C6, C21, C17 e C1 so dadas por Gl
C6
= t1||t2||t3||t4||t5||t6||t7||t8,
Gl
C21
= t2||t3||t4||t5||t6, Gl
C17
= t6||t7, Gl
C1
= t8 , respectivamente.

Figura 5. Modelos das restries
Utilizando os algoritmos propostos por Ramadge e Wonham possvel obter
quatro supervisores locais, cada um garantindo a restrio expressa pelo autmato
correspondente Sj (j=1,2,3,4). A sntese do supervisor local Sj realizado considerando
a restrio correspondente C
k
(k=1,6,17,21) e sua planta local Gl
k
. O software TCT
21

[Feng e Wonham 2006] realiza composio sncrona, sntese de supervisores, e
procedimentos de reduo de supervisores de acordo com [Su e Wonham 2004]. A
Figura 6 mostra os supervisores locais Sj.

Figura 6. Supervisores Locais
Cada supervisor local mostrado na Figura 6 desabilita um conjunto de eventos
controlveis de acordo com os seus estados. Um par correspondente (Sj, !j) representa
cada um supervisor, onde !j representa o mapa de sada. Considerando os supervisores
locais Sj mostrado na Figura 6, os seus mapas de sada so: S1 !1(0) = {t2s, t3s, t4s,
t5s, t6s, t7s, t8s}, !1(1) = "; S2 !2(0) = !2(1) = "; S3 !3(0) = ", !3(1) = {t7},
!3(2) = {t6}, !3(3) = {t6}, !3(4) = {t7} e S4 !4(0) = !4(1) = !4(2) = !4(3) = ".
A Figura 7 mostra a interao entre as tarefas t6 e t7 e o supervisor local S3. No
estado inicial do supervisor local no h nenhum evento controlvel sendo disabilitado
(!3(0) = "). Assim, ambas as tarefas t6 e t7 tarefas podem ser iniciadas. Isso significa
que os usurios podem escolher uma delas para iniciar. Neste caso t6 foi escolhida, o
estado 1 de S3 atingido e uma nova ao de controle estabelecida.

Figura 7. Interao entre tarefas e supervisor local 1
5. Concluso
A abordagem de superviso apresentada neste trabalho tem como objetivo monitorar e
restringir sequncias de execuo de tarefas de tal forma que restries no sejam
violadas. Apesar da lgica de controle ser construda com base em restries, ela no
22

limita o usurio impondo rgidas estruturas de controle de fluxo, mas define apenas o
que no pode ser executado em determinado estado do processo. A escolha em relao a
qual atividade dever ser executada deciso do usurio. Obtm-se assim um processo
flexvel.
A Teoria de Controle Supervisrio permite a sntese automtica de supervisores
de forma que restries no sejam violadas. Uma das vantagens dessa abordagem que
a soluo encontrada tima, no sentido que ela minimamente restritiva (a
desabilitao realizada somente quando necessrio) e no bloqueante (existe sempre
uma sequncia de eventos que conduz ao cumprimento de uma atividade). A abordagem
permite tambm que novos supervisores sejam rapidamente e automaticamente
projetados, quando, por exemplo, novas restries ou modificaes destas no so
necessrias. Garante-se ainda com a abordagem que a soluo obtida correta por
construo.
O trabalho ressalta a importncia de se estudar os modelos de processos
baseados em restries e as linguagens declarativas. Neste tipo de processo difcil
identificar todos os caminhos possveis e os processos so conduzidos por decises do
usurio, em vez de decises do sistema. Aqui os processos so menos repetitivos e a
nfase est na flexibilidade e capacitao do usurio. Por outro lado, difcil modelar
relaes mais abstratas entre tarefas quando o usurio tem muitas opes de escolha em
cada estado. Como perspectivas futuras da pesquisa, pretende-se investigar a aplicao
de novas extenses da TCS (por exemplo, estruturas hierrquicas e descentralizadas) em
processos baseados em restries. Ademais, o grupo de pesquisa est desenvolvendo um
prottipo de um sistema de informao para a execuo dessa classe de processos com a
abordagem TCS como motor fundamental.

Referncias
Pesic, M., Aalst, W. (2006) A declarative approach for flexible business processes
management, In: Eder, J., Dustdar, S. (eds.) BPM 2006. LNCS, vol. 4103, Springer,
Heidelberg 169180.
Pesic, M., Schonenberg, M., Sidorova, N., Aalst, W. (2007) Constraint-based
workflow models: Change made easy, In: Meersman, R., Tari, Z. (eds.) OTM 2007.
LNCS, vol. 4803, Springer, Heidelberg 7794.
Aalst, W., Pesic, M., Schonenberg, H. (2009) Declarative workflows: Balancing
between flexibility and support, Computer Science-Research and Development,
23(2), (2009) 99113.
Clarke Jr, Grumberg, O., Peled, D.A. (1999) Model Checking, The MIT Press,
Cambridge, Massachusetts and London, UK.
Ramadge, P., Wonham, W. (1989) The control of discrete event systems, Proceedings
of the IEEE, 77(1), 8198.
Queiroz, M.H., Cury, J.E.R. (2000) Modular supervisory control of large scale discrete
event sys-tems, In: Boel, R., Stremersch, G. (eds.) WODES 2000. Discrete Event
Systems: Analysis and Control, Kluwer Academic Publishers 103110.
23

Pesic, M. (2008) Constraint-based workflow management systems: Shifting control to
users, Phd thesis, Eindhoven University of Technology, Eindhoven.
Project Management Institute (2008) A guide to the project management body of
knowledge (PMBOK), An American National Standard ANSI/PMI 99-001-2008.
Feng, L., Wonham, W.M. (2006) TCT: A computation tool for supervisory control
synthesis, In: International Workshop on Discrete Event Systems. IEEE 388389.
Su, R., Wonham, W.M. (2004) Supervisor reduction for discrete-event systems,
Discrete Event Dynamic Systems 14 31-53.
Pesic, M., H. Schonenberg, H. and Aalst, W.M.P. (2007) DECLARE: Full Support for
Loosely-Structured Processes, In: 11th IEEE International Enterprise Distributed
Object Computing Conference EDOC 2007, Annapolis 287-299.
Pesic, M., H. Schonenberg, H. and Aalst, W.M.P. (2010) Declarative workflows, In:
Hofstede, A., Aalst, W.M.P., Adams, M., Russel, N. (eds.) Modern business process
automation: YAWL and its support environment. Springer, Heidelberg 175-201.
Santos, E.A.P., Francisco, R., Vieira, A.D., Loures, E.F.R., Busetti, M. (2012)
Modeling business rules for supervisory control of process-aware information
systems, In: Business Process Management Workshops (BPM 2011) - Lecture Notes
in Business Information Processing, number 100, pages 447458. Springer.
Santos, E.A.P., Schaidt, S., Loures, E.F.R., Busetti, M.A. (2012), Gerenciamento de
Processos de Negcio No Estruturados: Implementaco baseada em LTL, 8
Simpsio Brasileiro de Sistemas de Informao, So Paulo - SP - Brasil, Maio/2012.


24