Geração de expressões algébricas para processos de negócio usando reduções de digrafos série-paralelo / Generation of algebraic expressions for business processes using reductions on series-parallel digraphs
AUTOR(ES)
Márcio Katsumi Oikawa
DATA DE PUBLICAÇÃO
2008
RESUMO
Modeling and execution control are complementary approaches of business process management that have been developed independently. On one hand, modeling is usually performed by business specialists and explores semantical aspects of the business process. On other hand, execution control studies consistent and efficient mechanisms for implementation. This work presents an algorithmic method which joins modeling and execution control through algebraic expression generation from acyclic digraphs. By hypothesis, we assume that business process models are defined by graph structures, and execution control mechanisms are based on interpretation of process algebra expressions. For algebraic expression generation, this thesis presents the topological properties of series-parallel digraphs and defines a transformation system based on digraph reduction. Therefore, we present an algorithm for identification of series-parallel digraphs and generation of algebraic expressions. This work also discusses the treatment of non-series-parallel digraphs and presents solutions based on topological changing for some cases. Finally, the algorithm is illustrated with a case study based on a real system.
ASSUNTO(S)
automated generation of algebraic expressions series-parallel digraphs business process management process algebra gerenciamento de processos de negócio transformação de digrafos álgebra de processos digrafos série-paralelo geração automatizada de expressões algébricas digraph transformation
Documentos Relacionados
- A line-interactive UPS system implementation with series-parallel active power-line conditioning for three-phase, four-wire systems
- Modelo dos processos de negócio para gerenciar a remanufatura
- Idiomatic expressions: exploring the paths of meaning generation
- UM FRAMEWORK ORIENTADO A ASPECTOS PARA MONITORAMENTO E ANÁLISE DE PROCESSOS DE NEGÓCIO
- Geração distribuída usando geradores síncronos trifásicos