[pt] Sistemas de gerência de workflow geralmente interpretam
rigidamente a
definição um workflow, não permitindo qualquer tipo de
desvio durante
a execução. No entanto, existem situaçãoes reais em que
usuários devem
poder desviar do fluxo pré-definido por diversas razãoes,
incluindo falta
de informação do valor de um parâmetro e indisponibilidade
de recursos
necessários á execução. Para alcançar execução flexível,
esta tese propõe
um mecanismo de tratamento de exceções, voltado para
flexibilização, que
permite a continuação da execução de uma instância quando
antes ela
deveria ser momentaneamente interrompida. A proposta
concretiza-se como
um conjunto de extensões a OWL-S, a linguagem adotada para
a definição de
workflows, e baseia-se em ontologias de processos e
recursos, que oferecem
a informação semântica necessária para o funcionamento do
mecanismo.
A tese apresenta ainda uma semântica operacional para um
fragmento
de OWL-S e para as extensões propostas, bem como uma
arquitetura
distribuída para um sistema de gerência de workflows. Em
particular, a
semântica proporciona uma forma de comportamento
transacional para a
execução de uma instância de workflow, no sentido de
garantir que ou todas
as ações da instância terminam corretamente, ou todas são
abandonadas. / [en] Workflow management systems usually interpret a workflow
definition
rigidly, allowing no deviations during execution. However,
there are real
life situations where users should be allowed to deviate
from the prescribed
static workflow definition for various reasons, including
lack of information
about parameter values and unavailability of the required
resources. To
flexibilize workflow execution, this thesis proposes an
exception handling
mechanism that allows the execution to proceed when
otherwise it would
have been stopped. The proposal is introduced as a set of
extensions to
OWL-S, the language adopted to define workflows, and is
based on process
and resource ontologies that capture the semantic
information needed
for the flexibilization mechanism. The thesis also defines
an operational
semantics for a fragment of OWL-S and the proposed
extensions, as well as
a distributed architecture for a workflow management
system. In particular,
the semantics define a form of transactional behavior for
the execution of
a workflow instance, in the sense that it guarantees that
either all actions
executed by the instance terminate correctly or they are
all abandoned.
| Identifer | oai:union.ndltd.org:puc-rio.br/oai:MAXWELL.puc-rio.br:7738 |
| Date | 03 February 2006 |
| Creators | TATIANA ALMEIDA SOUZA COELHO VIEIRA |
| Contributors | MARCO ANTONIO CASANOVA, MARCO ANTONIO CASANOVA, MARCO ANTONIO CASANOVA |
| Publisher | MAXWELL |
| Source Sets | PUC Rio |
| Language | Portuguese |
| Detected Language | English |
| Type | TEXTO |
Page generated in 0.0615 seconds