Geração de expressões algébricas para processos de negócio usando reduções de digrafos série-paralelo (2008)
- Authors:
- Autor USP: OIKAWA, MÁRCIO KATSUMI - IME
- Unidade: IME
- Sigla do Departamento: MAC
- Assunto: ALGORITMOS E ESTRUTURAS DE DADOS
- Language: Português
- Abstract: Modelagem e controle de execução são duas abordagens do gerenciamento de processos de negócio que, embora complementares, têm se desenvolvido independentemente. Por outro lado, a modelagem é normalmente conduzida por especialistas de negócio e explora aspectos semânticos do processo. Por outro lado, o controle de execução estuda mecanismos consistentes e eficientes de implementação. Este trabalho apresenta um método algorítmico que relaciona modelagem e controle de execução, por meio da geração de expressões algébricas a partir de dígrafos acíclicos. Por hipótese, assumimos que modelos de processos de negócio são formados por estruturas baseadas em grafos, e mecanismos de controle de execução são baseados na intrepretação de expressões de álgebra de processos. Para a geração de expressões algébricas, esta tese apresenta as propriedades topológicas de dígrafos série-paralelo e define um sistema de transformação baseado em redução de dígrafos. Além disso, um algoritmo de identificação de dígrafos série-paralelo e geração de expressões algébricas é apresentado. O texto também discute o tratamento de dígrafos que não são série-paralelo e apresenta, para alguns desses casos, soluções baseadas em mudanças topológicas. Finalmente, o algoritmo é ilustrado com o estudo de caso de uma aplicação real
- Imprenta:
- Data da defesa: 25.09.2008
-
ABNT
OIKAWA, Márcio Katsumi. Geração de expressões algébricas para processos de negócio usando reduções de digrafos série-paralelo. 2008. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-27102008-100359/. Acesso em: 05 jun. 2024. -
APA
Oikawa, M. K. (2008). Geração de expressões algébricas para processos de negócio usando reduções de digrafos série-paralelo (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-27102008-100359/ -
NLM
Oikawa MK. Geração de expressões algébricas para processos de negócio usando reduções de digrafos série-paralelo [Internet]. 2008 ;[citado 2024 jun. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-27102008-100359/ -
Vancouver
Oikawa MK. Geração de expressões algébricas para processos de negócio usando reduções de digrafos série-paralelo [Internet]. 2008 ;[citado 2024 jun. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-27102008-100359/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas